runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand252.cudf.dudf-random.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-random//rand252.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand252.cudf.dudf-random.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.13 1.08 1.02 5/35 5382
/proc/meminfo: memFree=508356/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2568 CPUtime=0
/proc/5381/stat : 5381 (p2cudf) R 5380 5380 1511 34817 1511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 1318161 2629632 272 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5381/statm: 642 272 231 194 0 29 0
[pid=5382] ppid=5381 vsize=2568 CPUtime=0
/proc/5382/stat : 5382 (p2cudf) R 5381 5380 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 1318161 2629632 41 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5382/statm: 642 41 0 194 0 29 0

[startup+0.125924 s]
/proc/loadavg: 1.13 1.08 1.02 5/35 5382
/proc/meminfo: memFree=508356/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205926 s]
/proc/loadavg: 1.13 1.08 1.02 5/35 5382
/proc/meminfo: memFree=508356/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305963 s]
/proc/loadavg: 1.13 1.08 1.02 5/35 5382
/proc/meminfo: memFree=508356/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.706773 s]
/proc/loadavg: 1.13 1.08 1.02 5/35 5382
/proc/meminfo: memFree=508356/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50699 s]
/proc/loadavg: 1.13 1.08 1.02 4/45 5403
/proc/meminfo: memFree=468400/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=879308 CPUtime=1.46
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 21008 0 1 0 141 5 0 0 25 0 10 0 1318164 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219827 18113 1724 10 0 216918 0
[pid=5394/tid=5395] ppid=5381 vsize=879308 CPUtime=0.78
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 10985 0 1 0 76 2 0 0 25 0 10 0 1318165 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4094952824 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 1318166 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 1318167 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 1318167 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1318169 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=879308 CPUtime=0.55
/proc/5394/task/5400/stat : 5400 (java) R 5381 5380 1511 34817 1511 4202560 7744 0 0 0 52 3 0 0 22 0 10 0 1318169 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4149827384 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=879308 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 10 0 1318169 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1318169 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1318169 900411392 18113 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884448

[startup+3.10729 s]
/proc/loadavg: 1.13 1.08 1.02 2/45 5403
/proc/meminfo: memFree=336464/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=879308 CPUtime=3.07
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 71281 0 1 0 284 23 0 0 25 0 10 0 1318164 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219827 68205 1740 10 0 216918 0
[pid=5394/tid=5395] ppid=5381 vsize=879308 CPUtime=1.9
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50059 0 1 0 171 19 0 0 25 0 10 0 1318165 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4094926855 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=879308 CPUtime=0.22
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 10976 0 0 0 22 0 0 0 16 0 10 0 1318166 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 1318167 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 1318167 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1318169 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=879308 CPUtime=0.8
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 7971 0 0 0 77 3 0 0 15 0 10 0 1318169 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=879308 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 10 0 1318169 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1318169 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=879308 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 1318169 900411392 68205 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 884448

[startup+6.30794 s]
/proc/loadavg: 1.12 1.08 1.02 2/45 5403
/proc/meminfo: memFree=186548/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=879632 CPUtime=6.26
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 85070 0 1 0 598 28 0 0 25 0 11 0 1318164 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219908 81994 1774 10 0 216999 0
[pid=5394/tid=5395] ppid=5381 vsize=879632 CPUtime=3.27
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50271 0 1 0 307 20 0 0 25 0 11 0 1318165 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4096023011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=879632 CPUtime=0.52
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 24320 0 0 0 48 4 0 0 16 0 11 0 1318166 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=879632 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=879632 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=879632 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=879632 CPUtime=2.33
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8200 0 0 0 230 3 0 0 16 0 11 0 1318169 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=879632 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=879632 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=879632 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 900743168 81994 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 884772

[startup+12.7098 s]
/proc/loadavg: 1.11 1.08 1.02 2/46 5404
/proc/meminfo: memFree=187912/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877480 CPUtime=12.67
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 85137 0 1 0 1238 29 0 0 25 0 11 0 1318164 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219370 81540 1783 10 0 216461 0
[pid=5394/tid=5395] ppid=5381 vsize=877480 CPUtime=9.28
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50284 0 1 0 907 21 0 0 25 0 11 0 1318165 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4095961518 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877480 CPUtime=0.52
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 24320 0 0 0 48 4 0 0 15 0 11 0 1318166 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877480 CPUtime=2.72
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8254 0 0 0 269 3 0 0 15 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877480 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5404] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5404/stat : 5404 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 1318728 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 882620

Solver just ended. Dumping a history of the last processes samples

[startup+12.8098 s]
/proc/loadavg: 1.11 1.08 1.02 2/46 5404
/proc/meminfo: memFree=187912/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877480 CPUtime=12.77
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 85137 0 1 0 1248 29 0 0 25 0 11 0 1318164 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219370 81540 1783 10 0 216461 0
[pid=5394/tid=5395] ppid=5381 vsize=877480 CPUtime=9.38
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50284 0 1 0 917 21 0 0 25 0 11 0 1318165 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4095961207 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877480 CPUtime=0.52
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 24320 0 0 0 48 4 0 0 15 0 11 0 1318166 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877480 CPUtime=2.72
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8254 0 0 0 269 3 0 0 15 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877480 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5404] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5404/stat : 5404 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 1318728 898539520 81540 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 882620

[startup+15.9108 s]
/proc/loadavg: 1.10 1.08 1.02 2/46 5404
/proc/meminfo: memFree=187912/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877480 CPUtime=15.87
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 85140 0 1 0 1558 29 0 0 25 0 11 0 1318164 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219370 81543 1783 10 0 216461 0
[pid=5394/tid=5395] ppid=5381 vsize=877480 CPUtime=12.43
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50284 0 1 0 1222 21 0 0 25 0 11 0 1318165 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4096216464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877480 CPUtime=0.52
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 24320 0 0 0 48 4 0 0 15 0 11 0 1318166 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877480 CPUtime=2.77
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8257 0 0 0 274 3 0 0 15 0 11 0 1318169 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877480 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5404] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5404/stat : 5404 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 1318728 898539520 81543 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.9
Current children cumulated vsize (KiB) 882620

[startup+19.1119 s]
/proc/loadavg: 1.10 1.08 1.02 2/46 5404
/proc/meminfo: memFree=187912/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877480 CPUtime=19.07
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 85144 0 1 0 1878 29 0 0 25 0 11 0 1318164 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219370 81547 1783 10 0 216461 0
[pid=5394/tid=5395] ppid=5381 vsize=877480 CPUtime=15.59
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50284 0 1 0 1538 21 0 0 25 0 11 0 1318165 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4096022995 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877480 CPUtime=0.52
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 24320 0 0 0 48 4 0 0 15 0 11 0 1318166 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877480 CPUtime=2.81
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8261 0 0 0 278 3 0 0 15 0 11 0 1318169 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877480 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5404] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5404/stat : 5404 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 1318728 898539520 81547 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 882620

[startup+20.7122 s]
/proc/loadavg: 1.09 1.08 1.02 3/46 5404
/proc/meminfo: memFree=187912/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877480 CPUtime=20.66
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 95161 0 1 0 2036 30 0 0 25 0 11 0 1318164 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219370 91564 1788 10 0 216461 0
[pid=5394/tid=5395] ppid=5381 vsize=877480 CPUtime=16.31
/proc/5394/task/5395/stat : 5395 (java) R 5381 5380 1511 34817 1511 4202560 50285 0 1 0 1610 21 0 0 25 0 11 0 1318165 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4095921672 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877480 CPUtime=1.02
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 34288 0 0 0 96 6 0 0 16 0 11 0 1318166 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877480 CPUtime=3.19
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8309 0 0 0 316 3 0 0 16 0 11 0 1318169 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877480 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5404] ppid=5381 vsize=877480 CPUtime=0
/proc/5394/task/5404/stat : 5404 (java) S 5381 5380 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 1318728 898539520 91564 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 882620

[startup+21.4072 s]
/proc/loadavg: 1.09 1.08 1.02 2/46 5404
/proc/meminfo: memFree=147984/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877804 CPUtime=20.87
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 95175 0 1 0 2057 30 0 0 25 0 11 0 1318164 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219451 91578 1789 10 0 216542 0
[pid=5394/tid=5395] ppid=5381 vsize=877804 CPUtime=16.49
/proc/5394/task/5395/stat : 5395 (java) S 5381 5380 1511 34817 1511 4202560 50293 0 1 0 1628 21 0 0 25 0 11 0 1318165 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877804 CPUtime=1.02
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 34288 0 0 0 96 6 0 0 16 0 11 0 1318166 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877804 CPUtime=3.23
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8309 0 0 0 320 3 0 0 16 0 11 0 1318169 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877804 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898871296 91578 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (KiB) 882944

[startup+21.6113 s]
/proc/loadavg: 1.09 1.08 1.02 2/46 5404
/proc/meminfo: memFree=147984/1048576 swapFree=0/0
[pid=5380] ppid=5379 vsize=2568 CPUtime=0
/proc/5380/stat : 5380 (p2cudf-trendy-1) S 5379 5380 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 1318160 2629632 270 1283457024 134512640 135304128 4293939504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5380/statm: 642 270 230 194 0 29 0
[pid=5381] ppid=5380 vsize=2572 CPUtime=0.03
/proc/5381/stat : 5381 (p2cudf) S 5380 5380 1511 34817 1511 4202496 393 3014 0 1 0 0 1 2 25 0 1 0 1318161 2633728 281 1283457024 134512640 135304128 4289828144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5381/statm: 643 281 239 194 0 30 0
[pid=5394] ppid=5381 vsize=877804 CPUtime=21.05
/proc/5394/stat : 5394 (java) S 5381 5380 1511 34817 1511 4202496 95179 0 1 0 2067 38 0 0 25 0 11 0 1318164 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5394/statm: 219451 91582 1789 10 0 216542 0
[pid=5394/tid=5395] ppid=5381 vsize=877804 CPUtime=16.49
/proc/5394/task/5395/stat : 5395 (java) S 5381 5380 1511 34817 1511 4202560 50293 0 1 0 1628 21 0 0 25 0 11 0 1318165 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5396] ppid=5381 vsize=877804 CPUtime=1.02
/proc/5394/task/5396/stat : 5396 (java) S 5381 5380 1511 34817 1511 4202560 34288 0 0 0 96 6 0 0 16 0 11 0 1318166 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5397] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5397/stat : 5397 (java) S 5381 5380 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 1318167 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5398] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5398/stat : 5398 (java) S 5381 5380 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 1318167 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5399] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5399/stat : 5399 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5400] ppid=5381 vsize=877804 CPUtime=3.28
/proc/5394/task/5400/stat : 5400 (java) S 5381 5380 1511 34817 1511 4202560 8311 0 0 0 324 4 0 0 15 0 11 0 1318169 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5401] ppid=5381 vsize=877804 CPUtime=0.12
/proc/5394/task/5401/stat : 5401 (java) S 5381 5380 1511 34817 1511 4202560 1197 0 0 0 12 0 0 0 20 0 11 0 1318169 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5402] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5402/stat : 5402 (java) S 5381 5380 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 1318169 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5394/tid=5403] ppid=5381 vsize=877804 CPUtime=0
/proc/5394/task/5403/stat : 5403 (java) S 5381 5380 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 1318169 898871296 91582 1283457024 134512640 134550932 4287525280 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.08
Current children cumulated vsize (KiB) 882944

Child status: 0
Real time (s): 21.6754
CPU time (s): 21.1293
CPU user time (s): 20.6933
CPU system time (s): 0.436027
CPU usage (%): 97.4806
Max. virtual memory (cumulated for all children) (KiB): 884772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.6933
system time used= 0.436027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98982
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1311
involuntary context switches= 1470

runsolver used 0 second user time and 0 second system time

The end