runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455933-1307225403/watcher-3455933-1307225403 -o /tmp/evaluation-result-3455933-1307225403/solver-3455933-1307225403 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455933-1307225403.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23767
/proc/meminfo: memFree=17937044/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 4613 0 1 0 0 0 0 0 22 0 2 0 834136977 10694979584 4315 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2611079 4328 917 9 0 2602235 0
[pid=23767/tid=23768] ppid=23765 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 3666 0 1 0 0 0 0 0 23 0 2 0 834136978 10694979584 4482 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0567439 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23767
/proc/meminfo: memFree=17937044/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10533152 CPUtime=0.03 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 11432 0 1 0 3 0 0 0 22 0 13 0 834136977 10785947648 11129 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2633288 11129 1684 9 0 2624036 0
[pid=23767/tid=23768] ppid=23765 vsize=10533152 CPUtime=0.03 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) S 23765 23767 22626 0 -1 4202560 10284 0 1 0 3 0 0 0 20 0 13 0 834136978 10785947648 11129 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254500687717 0 2147483391 0 16800971 18446744071699199166 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533152
[startup+0.100708 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23767
/proc/meminfo: memFree=17937044/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10540204 CPUtime=0.09 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 12949 0 1 0 8 1 0 0 22 0 18 0 834136977 10793168896 12646 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2635051 12649 2092 9 0 2625785 0
[pid=23767/tid=23768] ppid=23765 vsize=10540204 CPUtime=0.08 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 11044 0 1 0 7 1 0 0 18 0 18 0 834136978 10793168896 12651 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 47131776860165 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540204
[startup+0.347664 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23767
/proc/meminfo: memFree=17937044/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10545464 CPUtime=0.66 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 20530 0 1 0 64 2 0 0 22 0 19 0 834136977 10798555136 18601 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2636366 18603 2194 9 0 2627100 0
[pid=23767/tid=23768] ppid=23765 vsize=10545464 CPUtime=0.32 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 14422 0 1 0 31 1 0 0 19 0 19 0 834136978 10798555136 18603 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505546644 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10545464
[startup+0.700599 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 23767
/proc/meminfo: memFree=17937044/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=1.71 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 46460 0 1 0 166 5 0 0 22 0 19 0 834136977 10813784064 42539 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 42542 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=0.67 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 33325 0 1 0 64 3 0 0 19 0 19 0 834136978 10813784064 42543 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505574788 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10560336
[startup+1.50146 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23788
/proc/meminfo: memFree=17649408/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=2.79 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 134436 0 1 0 265 14 0 0 22 0 19 0 834136977 10813784064 130512 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 130516 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=1.48 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 121260 0 1 0 135 13 0 0 18 0 19 0 834136978 10813784064 130518 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505521599 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23767/tid=23770] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23770/stat : 23770 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834136979 10813784064 130519 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23771] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23771/stat : 23771 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130523 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23772] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23772/stat : 23772 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130525 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23773] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23773/stat : 23773 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130528 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23774] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23774/stat : 23774 (java) S 23765 23767 22626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130531 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23776] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23776/stat : 23776 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130534 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23777] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23777/stat : 23777 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130537 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23778] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23778/stat : 23778 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 130540 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23779] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23779/stat : 23779 (java) S 23765 23767 22626 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 834136980 10813784064 130543 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23780] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23780/stat : 23780 (java) S 23765 23767 22626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834136981 10813784064 130546 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23781] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23781/stat : 23781 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834136981 10813784064 130549 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23782] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23782/stat : 23782 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834136983 10813784064 130552 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23783] ppid=23765 vsize=10560336 CPUtime=0.69 cores=1,3,5,7
/proc/23767/task/23783/stat : 23783 (java) S 23765 23767 22626 0 -1 4202560 6596 0 0 0 69 0 0 0 16 0 19 0 834136983 10813784064 130555 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23784] ppid=23765 vsize=10560336 CPUtime=0.6 cores=1,3,5,7
/proc/23767/task/23784/stat : 23784 (java) S 23765 23767 22626 0 -1 4202560 5424 0 0 0 60 0 0 0 15 0 19 0 834136983 10813784064 130559 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23786] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23786/stat : 23786 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834136983 10813784064 130562 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23787] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23787/stat : 23787 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834136983 10813784064 130564 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23788] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23788/stat : 23788 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834136992 10813784064 130566 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10560336
[startup+3.10114 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23788
/proc/meminfo: memFree=17161464/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=4.46 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 306914 0 1 0 412 34 0 0 22 0 19 0 834136977 10813784064 302989 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 302994 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=3.08 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 293732 0 1 0 275 33 0 0 18 0 19 0 834136978 10813784064 302997 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505597179 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23767/tid=23770] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23770/stat : 23770 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834136979 10813784064 303000 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23771] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23771/stat : 23771 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303003 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23772] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23772/stat : 23772 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303006 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23773] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23773/stat : 23773 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303009 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23774] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23774/stat : 23774 (java) S 23765 23767 22626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303011 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23776] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23776/stat : 23776 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303014 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23777] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23777/stat : 23777 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303018 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23778] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23778/stat : 23778 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 303020 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23779] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23779/stat : 23779 (java) S 23765 23767 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834136980 10813784064 303024 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23780] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23780/stat : 23780 (java) S 23765 23767 22626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834136981 10813784064 303028 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23781] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23781/stat : 23781 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834136981 10813784064 303032 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23782] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23782/stat : 23782 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834136983 10813784064 303035 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23783] ppid=23765 vsize=10560336 CPUtime=0.76 cores=1,3,5,7
/proc/23767/task/23783/stat : 23783 (java) S 23765 23767 22626 0 -1 4202560 6604 0 0 0 76 0 0 0 15 0 19 0 834136983 10813784064 303039 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23784] ppid=23765 vsize=10560336 CPUtime=0.6 cores=1,3,5,7
/proc/23767/task/23784/stat : 23784 (java) S 23765 23767 22626 0 -1 4202560 5424 0 0 0 60 0 0 0 15 0 19 0 834136983 10813784064 303044 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23786] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23786/stat : 23786 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834136983 10813784064 303047 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23787] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23787/stat : 23787 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834136983 10813784064 303049 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23788] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23788/stat : 23788 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834136992 10813784064 303053 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 10560336
Solver just ended. Dumping a history of the last processes samples
[startup+3.90098 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23788
/proc/meminfo: memFree=16686420/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=5.27 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 390603 0 1 0 484 43 0 0 22 0 19 0 834136977 10813784064 386678 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 386682 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=3.87 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 377419 0 1 0 346 41 0 0 20 0 19 0 834136978 10813784064 386684 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505521585 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23767/tid=23770] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23770/stat : 23770 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834136979 10813784064 386686 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23771] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23771/stat : 23771 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386689 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23772] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23772/stat : 23772 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386691 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23773] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23773/stat : 23773 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386693 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23774] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23774/stat : 23774 (java) S 23765 23767 22626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386695 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23776] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23776/stat : 23776 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386697 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23777] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23777/stat : 23777 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386700 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23778] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23778/stat : 23778 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 386702 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23779] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23779/stat : 23779 (java) S 23765 23767 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834136980 10813784064 386704 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23780] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23780/stat : 23780 (java) S 23765 23767 22626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834136981 10813784064 386706 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23781] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23781/stat : 23781 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834136981 10813784064 386708 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23782] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23782/stat : 23782 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834136983 10813784064 386710 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23783] ppid=23765 vsize=10560336 CPUtime=0.77 cores=1,3,5,7
/proc/23767/task/23783/stat : 23783 (java) S 23765 23767 22626 0 -1 4202560 6604 0 0 0 77 0 0 0 15 0 19 0 834136983 10813784064 386713 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23784] ppid=23765 vsize=10560336 CPUtime=0.6 cores=1,3,5,7
/proc/23767/task/23784/stat : 23784 (java) S 23765 23767 22626 0 -1 4202560 5424 0 0 0 60 0 0 0 15 0 19 0 834136983 10813784064 386714 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23786] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23786/stat : 23786 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834136983 10813784064 386717 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23787] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23787/stat : 23787 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834136983 10813784064 386719 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23788] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23788/stat : 23788 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834136992 10813784064 386721 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 10560336
[startup+4.3009 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23788
/proc/meminfo: memFree=16225004/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=5.7 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 434662 0 1 0 523 47 0 0 22 0 19 0 834136977 10813784064 430736 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 430739 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=4.3 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 421498 0 1 0 384 46 0 0 21 0 19 0 834136978 10813784064 430762 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 46912505596195 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23767/tid=23770] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23770/stat : 23770 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834136979 10813784064 430765 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23771] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23771/stat : 23771 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430768 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23772] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23772/stat : 23772 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430771 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23773] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23773/stat : 23773 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430774 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23774] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23774/stat : 23774 (java) S 23765 23767 22626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430776 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23776] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23776/stat : 23776 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430779 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23777] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23777/stat : 23777 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430782 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23778] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23778/stat : 23778 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 430787 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23779] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23779/stat : 23779 (java) S 23765 23767 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834136980 10813784064 430791 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23780] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23780/stat : 23780 (java) S 23765 23767 22626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834136981 10813784064 430794 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23781] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23781/stat : 23781 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834136981 10813784064 430797 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23782] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23782/stat : 23782 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834136983 10813784064 430798 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23783] ppid=23765 vsize=10560336 CPUtime=0.78 cores=1,3,5,7
/proc/23767/task/23783/stat : 23783 (java) S 23765 23767 22626 0 -1 4202560 6604 0 0 0 78 0 0 0 15 0 19 0 834136983 10813784064 430801 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23784] ppid=23765 vsize=10560336 CPUtime=0.6 cores=1,3,5,7
/proc/23767/task/23784/stat : 23784 (java) S 23765 23767 22626 0 -1 4202560 5424 0 0 0 60 0 0 0 15 0 19 0 834136983 10813784064 430803 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23786] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23786/stat : 23786 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834136983 10813784064 430806 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23787] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23787/stat : 23787 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834136983 10813784064 430809 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23788] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23788/stat : 23788 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834136992 10813784064 430812 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 10560336
[startup+4.42086 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23788
/proc/meminfo: memFree=16225004/32950928 swapFree=34259960/67111528
[pid=23767] ppid=23765 vsize=10560336 CPUtime=5.81 cores=1,3,5,7
/proc/23767/stat : 23767 (java) S 23765 23767 22626 0 -1 4202496 444000 0 1 0 533 48 0 0 22 0 19 0 834136977 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23767/statm: 2640084 440074 2220 9 0 2630818 0
[pid=23767/tid=23768] ppid=23765 vsize=10560336 CPUtime=4.39 cores=1,3,5,7
/proc/23767/task/23768/stat : 23768 (java) R 23765 23767 22626 0 -1 4202560 430810 0 1 0 393 46 0 0 21 0 19 0 834136978 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 47131781023882 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23767/tid=23770] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23770/stat : 23770 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23771] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23771/stat : 23771 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23772] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23772/stat : 23772 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23773] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23773/stat : 23773 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23774] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23774/stat : 23774 (java) S 23765 23767 22626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23776] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23776/stat : 23776 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
[pid=23767/tid=23777] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23777/stat : 23777 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23778] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23778/stat : 23778 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834136979 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 3 0 0 0
[pid=23767/tid=23779] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23779/stat : 23779 (java) S 23765 23767 22626 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834136980 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 0 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23780] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23780/stat : 23780 (java) S 23765 23767 22626 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834136981 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23781] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23781/stat : 23781 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834136981 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23782] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23782/stat : 23782 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834136983 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512515505 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23783] ppid=23765 vsize=10560336 CPUtime=0.79 cores=1,3,5,7
/proc/23767/task/23783/stat : 23783 (java) R 23765 23767 22626 0 -1 4202560 6604 0 0 0 79 0 0 0 15 0 19 0 834136983 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 47131776202899 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23767/tid=23784] ppid=23765 vsize=10560336 CPUtime=0.6 cores=1,3,5,7
/proc/23767/task/23784/stat : 23784 (java) S 23765 23767 22626 0 -1 4202560 5424 0 0 0 60 0 0 0 15 0 19 0 834136983 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23786] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23786/stat : 23786 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834136983 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512507801 0 4 0 16800975 18446604469807461312 0 0 -1 1 0 0 0
[pid=23767/tid=23787] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23787/stat : 23787 (java) S 23765 23767 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834136983 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 5 0 0 0
[pid=23767/tid=23788] ppid=23765 vsize=10560336 CPUtime=0 cores=1,3,5,7
/proc/23767/task/23788/stat : 23788 (java) S 23765 23767 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834136992 10813784064 440074 33554432000 1073741824 1073778376 140737442949424 18446744073709551615 254512508416 0 4 0 16800975 18446604469807461312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 10560336
Child status: 30
Real time (s): 4.50061
CPU time (s): 5.9041
CPU user time (s): 5.35019
CPU system time (s): 0.553915
CPU usage (%): 131.184
Max. virtual memory (cumulated for all children) (KiB): 10560336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.35019
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444020
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 27
runsolver used 0.033994 second user time and 0.065989 second system time
The end