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/2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf.dudf-real.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.25 1.15 1.05 5/37 14907
/proc/meminfo: memFree=406172/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2572 CPUtime=0
/proc/14906/stat : 14906 (p2cudf) R 14905 14905 1511 34817 1511 4202496 347 0 0 0 0 0 0 0 25 0 1 0 3342372 2633728 272 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/14906/statm: 643 272 231 194 0 30 0
[pid=14907] ppid=14906 vsize=2572 CPUtime=0
/proc/14907/stat : 14907 (p2cudf) R 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 3342372 2633728 41 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/14907/statm: 643 41 0 194 0 30 0

[startup+0.165826 s]
/proc/loadavg: 1.25 1.15 1.05 5/37 14907
/proc/meminfo: memFree=406172/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.20582 s]
/proc/loadavg: 1.25 1.15 1.05 5/37 14907
/proc/meminfo: memFree=406172/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.305833 s]
/proc/loadavg: 1.25 1.15 1.05 5/37 14907
/proc/meminfo: memFree=406172/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.705892 s]
/proc/loadavg: 1.25 1.15 1.05 5/37 14907
/proc/meminfo: memFree=406172/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50603 s]
/proc/loadavg: 1.25 1.15 1.05 5/47 14928
/proc/meminfo: memFree=370680/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=881440 CPUtime=1.48
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 21690 0 1 0 140 8 0 0 25 0 10 0 3342376 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 220360 18496 1724 10 0 217451 0
[pid=14919/tid=14920] ppid=14906 vsize=881440 CPUtime=0.76
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 11090 0 1 0 72 4 0 0 25 0 10 0 3342376 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4149302506 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 3342378 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 3342378 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 3342378 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3342381 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=881440 CPUtime=0.55
/proc/14919/task/14925/stat : 14925 (java) R 14906 14905 1511 34817 1511 4202560 9158 0 0 0 53 2 0 0 22 0 10 0 3342381 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4150063840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=881440 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 23 0 10 0 3342381 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3342381 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=881440 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3342381 902594560 18496 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 886588

[startup+3.11746 s]
/proc/loadavg: 1.25 1.15 1.05 2/47 14928
/proc/meminfo: memFree=229816/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879296 CPUtime=3.08
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 73433 0 1 0 284 24 0 0 25 0 10 0 3342376 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219824 69529 1743 10 0 216915 0
[pid=14919/tid=14920] ppid=14906 vsize=879296 CPUtime=1.67
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50090 0 1 0 148 19 0 0 25 0 10 0 3342376 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879296 CPUtime=0.25
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 12291 0 0 0 24 1 0 0 16 0 10 0 3342378 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879296 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 3342378 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879296 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 3342378 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879296 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3342381 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879296 CPUtime=0.99
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 9614 0 0 0 97 2 0 0 15 0 10 0 3342381 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879296 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 10 0 3342381 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879296 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3342381 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879296 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3342381 900399104 69529 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 884444

[startup+6.30726 s]
/proc/loadavg: 1.31 1.17 1.06 3/47 14928
/proc/meminfo: memFree=86232/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879620 CPUtime=6.27
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86739 0 1 0 596 31 0 0 25 0 11 0 3342376 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219905 81553 1774 10 0 216996 0
[pid=14919/tid=14920] ppid=14906 vsize=879620 CPUtime=3.01
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50270 0 1 0 282 19 0 0 25 0 11 0 3342376 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4096322790 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879620 CPUtime=0.56
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 6 0 0 16 0 11 0 3342378 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879620 CPUtime=2.54
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11117 0 0 0 250 4 0 0 16 0 11 0 3342381 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879620 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 900730880 81553 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 884768

[startup+12.7092 s]
/proc/loadavg: 1.28 1.16 1.06 3/48 14930
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879620 CPUtime=12.67
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86804 0 1 0 1236 31 0 0 25 0 11 0 3342376 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219905 81618 1783 10 0 216996 0
[pid=14919/tid=14920] ppid=14906 vsize=879620 CPUtime=9.05
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50283 0 1 0 886 19 0 0 25 0 11 0 3342376 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4096220096 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879620 CPUtime=0.56
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 6 0 0 16 0 11 0 3342378 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879620 CPUtime=2.89
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11169 0 0 0 285 4 0 0 15 0 11 0 3342381 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879620 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14929] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14929/stat : 14929 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 3342935 900730880 81618 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884768

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

[startup+15.9101 s]
/proc/loadavg: 1.26 1.16 1.05 2/48 14930
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879620 CPUtime=15.86
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86807 0 1 0 1555 31 0 0 25 0 11 0 3342376 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219905 81621 1783 10 0 216996 0
[pid=14919/tid=14920] ppid=14906 vsize=879620 CPUtime=12.22
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50283 0 1 0 1203 19 0 0 25 0 11 0 3342376 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4096259040 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879620 CPUtime=0.56
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 6 0 0 15 0 11 0 3342378 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879620 CPUtime=2.92
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11172 0 0 0 288 4 0 0 15 0 11 0 3342381 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879620 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14929] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14929/stat : 14929 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 3342935 900730880 81621 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 884768

[startup+19.1111 s]
/proc/loadavg: 1.24 1.16 1.05 2/48 14931
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879620 CPUtime=19.06
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86811 0 1 0 1875 31 0 0 25 0 11 0 3342376 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219905 81625 1783 10 0 216996 0
[pid=14919/tid=14920] ppid=14906 vsize=879620 CPUtime=15.4
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50284 0 1 0 1521 19 0 0 25 0 11 0 3342376 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4096266169 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879620 CPUtime=0.56
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 6 0 0 16 0 11 0 3342378 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879620 CPUtime=2.94
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11175 0 0 0 290 4 0 0 15 0 11 0 3342381 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879620 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) R 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14929] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14929/stat : 14929 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 3342935 900730880 81625 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 884768

[startup+20.7116 s]
/proc/loadavg: 1.24 1.16 1.05 3/48 14931
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879620 CPUtime=20.66
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86812 0 1 0 2035 31 0 0 25 0 11 0 3342376 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219905 81626 1783 10 0 216996 0
[pid=14919/tid=14920] ppid=14906 vsize=879620 CPUtime=16.97
/proc/14919/task/14920/stat : 14920 (java) R 14906 14905 1511 34817 1511 4202560 50284 0 1 0 1678 19 0 0 25 0 11 0 3342376 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4096422860 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879620 CPUtime=0.56
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 6 0 0 15 0 11 0 3342378 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879620 CPUtime=2.96
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11176 0 0 0 292 4 0 0 15 0 11 0 3342381 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879620 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14929] ppid=14906 vsize=879620 CPUtime=0
/proc/14919/task/14929/stat : 14929 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 3342935 900730880 81626 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 884768

[startup+21.1071 s]
/proc/loadavg: 1.24 1.16 1.05 1/48 14932
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879944 CPUtime=20.72
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86830 0 1 0 2040 32 0 0 25 0 11 0 3342376 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219986 81644 1784 10 0 217077 0
[pid=14919/tid=14920] ppid=14906 vsize=879944 CPUtime=16.99
/proc/14919/task/14920/stat : 14920 (java) S 14906 14905 1511 34817 1511 4202560 50292 0 1 0 1680 19 0 0 25 0 11 0 3342376 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879944 CPUtime=0.57
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 7 0 0 16 0 11 0 3342378 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879944 CPUtime=3
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11181 0 0 0 296 4 0 0 15 0 11 0 3342381 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879944 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14932] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14932/stat : 14932 (java) S 14906 14905 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 3344449 901062656 81644 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.74
Current children cumulated vsize (KiB) 885092

[startup+21.3151 s]
/proc/loadavg: 1.24 1.16 1.05 1/48 14932
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879944 CPUtime=20.76
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86831 0 1 0 2042 34 0 0 25 0 11 0 3342376 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219986 81645 1784 10 0 217077 0
[pid=14919/tid=14920] ppid=14906 vsize=879944 CPUtime=16.99
/proc/14919/task/14920/stat : 14920 (java) S 14906 14905 1511 34817 1511 4202560 50292 0 1 0 1680 19 0 0 25 0 11 0 3342376 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879944 CPUtime=0.57
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 7 0 0 16 0 11 0 3342378 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879944 CPUtime=3
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11181 0 0 0 296 4 0 0 15 0 11 0 3342381 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879944 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14932] ppid=14906 vsize=879944 CPUtime=0.03
/proc/14919/task/14932/stat : 14932 (java) R 14906 14905 1511 34817 1511 4202560 5 0 0 0 2 1 0 0 20 0 11 0 3344449 901062656 81645 1283457024 134512640 134550932 4289946544 18446744073709551615 4095213342 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 885092

[startup+21.4151 s]
/proc/loadavg: 1.24 1.16 1.05 1/48 14932
/proc/meminfo: memFree=85612/1048576 swapFree=0/0
[pid=14905] ppid=14904 vsize=2572 CPUtime=0
/proc/14905/stat : 14905 (p2cudf-trendy-1) S 14904 14905 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 3342372 2633728 271 1283457024 134512640 135304128 4289176688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14905/statm: 643 271 230 194 0 30 0
[pid=14906] ppid=14905 vsize=2576 CPUtime=0.02
/proc/14906/stat : 14906 (p2cudf) S 14905 14905 1511 34817 1511 4202496 394 3016 0 1 0 0 0 2 25 0 1 0 3342372 2637824 281 1283457024 134512640 135304128 4290594224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14906/statm: 644 281 239 194 0 31 0
[pid=14919] ppid=14906 vsize=879944 CPUtime=20.86
/proc/14919/stat : 14919 (java) S 14906 14905 1511 34817 1511 4202496 86832 0 1 0 2052 34 0 0 25 0 11 0 3342376 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14919/statm: 219986 81646 1784 10 0 217077 0
[pid=14919/tid=14920] ppid=14906 vsize=879944 CPUtime=16.99
/proc/14919/task/14920/stat : 14920 (java) S 14906 14905 1511 34817 1511 4202560 50292 0 1 0 1680 19 0 0 25 0 11 0 3342376 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14921] ppid=14906 vsize=879944 CPUtime=0.57
/proc/14919/task/14921/stat : 14921 (java) S 14906 14905 1511 34817 1511 4202560 23910 0 0 0 50 7 0 0 16 0 11 0 3342378 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 0 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14922] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14922/stat : 14922 (java) S 14906 14905 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14923] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14923/stat : 14923 (java) S 14906 14905 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3342378 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14924] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14924/stat : 14924 (java) S 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14925] ppid=14906 vsize=879944 CPUtime=3.04
/proc/14919/task/14925/stat : 14925 (java) S 14906 14905 1511 34817 1511 4202560 11181 0 0 0 300 4 0 0 16 0 11 0 3342381 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14926] ppid=14906 vsize=879944 CPUtime=0.14
/proc/14919/task/14926/stat : 14926 (java) S 14906 14905 1511 34817 1511 4202560 361 0 0 0 14 0 0 0 22 0 11 0 3342381 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14927] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14927/stat : 14927 (java) S 14906 14905 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 3342381 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 18446612133097739264 0 0 -1 0 0 0 0
[pid=14919/tid=14928] ppid=14906 vsize=879944 CPUtime=0
/proc/14919/task/14928/stat : 14928 (java) R 14906 14905 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 3342381 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14919/tid=14932] ppid=14906 vsize=879944 CPUtime=0.08
/proc/14919/task/14932/stat : 14932 (java) R 14906 14905 1511 34817 1511 4202560 6 0 0 0 7 1 0 0 21 0 11 0 3344449 901062656 81646 1283457024 134512640 134550932 4289946544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.88
Current children cumulated vsize (KiB) 885092

Child status: 0
Real time (s): 21.4906
CPU time (s): 20.9613
CPU user time (s): 20.5493
CPU system time (s): 0.412025
CPU usage (%): 97.537
Max. virtual memory (cumulated for all children) (KiB): 886588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5493
system time used= 0.412025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90642
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= 1316
involuntary context switches= 1420

runsolver used 0 second user time and 0 second system time

The end