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-3456565-1307636897/watcher-3456565-1307636897 -o /tmp/evaluation-result-3456565-1307636897/solver-3456565-1307636897 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456565-1307636897.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: 1.94 1.99 1.91 2/194 10065
/proc/meminfo: memFree=32148808/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 1200 0 0 0 0 0 0 0 25 0 2 0 331299160 31313920 926 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 7645 935 710 9 0 383 0
[pid=10065/tid=10066] ppid=10063 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 100 0 0 0 0 0 0 0 25 0 2 0 331299161 31313920 940 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218875602039 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0406489 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 10065
/proc/meminfo: memFree=32148808/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 11224 0 1 0 1 1 0 0 25 0 13 0 331299160 10718699520 10921 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2616870 10922 1669 9 0 2607618 0
[pid=10065/tid=10066] ppid=10063 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 10079 0 1 0 1 1 0 0 25 0 13 0 331299161 10718699520 10923 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218880225989 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.10064 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 10065
/proc/meminfo: memFree=32148808/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10539712 CPUtime=0.1 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 13115 0 1 0 8 2 0 0 25 0 18 0 331299160 10792665088 12765 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2634928 12765 2093 9 0 2625662 0
[pid=10065/tid=10066] ppid=10063 vsize=10539712 CPUtime=0.09 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 11160 0 1 0 7 2 0 0 18 0 18 0 331299161 10792665088 12765 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 47588510306309 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539712
[startup+0.300584 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 10065
/proc/meminfo: memFree=32148808/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10541652 CPUtime=0.48 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 16064 0 1 0 46 2 0 0 25 0 18 0 331299160 10794651648 15535 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2635413 15535 2202 9 0 2626147 0
[pid=10065/tid=10066] ppid=10063 vsize=10541652 CPUtime=0.28 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 13044 0 1 0 26 2 0 0 18 0 18 0 331299161 10794651648 15536 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 47588511168106 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541652
[startup+0.700533 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 10065
/proc/meminfo: memFree=32148808/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10541288 CPUtime=0.99 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 55593 0 1 0 92 7 0 0 25 0 18 0 331299160 10794278912 54091 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2635322 54096 2211 9 0 2626056 0
[pid=10065/tid=10066] ppid=10063 vsize=10541288 CPUtime=0.69 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 50723 0 1 0 62 7 0 0 18 0 18 0 331299161 10794278912 54099 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505609860 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10541288
[startup+1.50139 s]
/proc/loadavg: 1.94 1.99 1.91 7/214 10085
/proc/meminfo: memFree=31675860/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=2.66 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 84046 0 1 0 255 11 0 0 25 0 19 0 331299160 10807922688 80151 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 80151 2236 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=1.48 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 72079 0 1 0 139 9 0 0 19 0 19 0 331299161 10807922688 80151 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505833688 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 80152 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 331299163 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.55 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3898 0 0 0 55 0 0 0 21 0 19 0 331299166 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.6 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6910 0 0 0 60 0 0 0 23 0 19 0 331299166 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 80153 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10554612
[startup+3.1011 s]
/proc/loadavg: 1.94 1.99 1.91 3/214 10085
/proc/meminfo: memFree=31383524/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=4.35 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 144108 0 1 0 418 17 0 0 25 0 19 0 331299160 10807922688 140212 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 140216 2237 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=3.08 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 132134 0 1 0 293 15 0 0 25 0 19 0 331299161 10807922688 140218 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505808413 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140220 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140220 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140221 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140222 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140223 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140223 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140224 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 140225 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 331299163 10807922688 140226 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 140227 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 140227 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 140228 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.58 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3904 0 0 0 58 0 0 0 18 0 19 0 331299166 10807922688 140229 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.65 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6916 0 0 0 65 0 0 0 15 0 19 0 331299166 10807922688 140230 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 140231 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 140231 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 140232 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10554612
[startup+6.30154 s]
/proc/loadavg: 1.94 1.99 1.91 3/214 10085
/proc/meminfo: memFree=30477588/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=7.63 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 263264 0 1 0 734 29 0 0 25 0 19 0 331299160 10807922688 258936 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 258937 2239 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=6.29 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 251274 0 1 0 601 28 0 0 25 0 19 0 331299161 10807922688 258937 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505725823 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258937 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258937 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258937 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258937 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258938 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258938 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258938 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299162 10807922688 258938 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 331299163 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331299164 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.58 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3904 0 0 0 58 0 0 0 18 0 19 0 331299166 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.73 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6926 0 0 0 73 0 0 0 15 0 19 0 331299166 10807922688 258939 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.7 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3927 0 0 0 70 0 0 0 16 0 19 0 331299166 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.94 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6971 0 0 0 94 0 0 0 15 0 19 0 331299166 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 1257407 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1675.99
Current children cumulated vsize (KiB) 10554612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/214 10131
/proc/meminfo: memFree=22526344/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=1736.4 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 1274376 0 1 0 173490 150 0 0 25 0 19 0 331299160 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 1260868 2267 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=1714.31 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 678058 0 1 0 171358 73 0 0 25 0 19 0 331299161 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505806745 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=2.21 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 79442 0 0 0 212 9 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=2.03 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 62456 0 0 0 196 7 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=1.92 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 58814 0 0 0 186 6 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=1.86 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 77322 0 0 0 176 10 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=2.39 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 85573 0 0 0 228 11 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=2.27 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 80561 0 0 0 216 11 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=1.82 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 64737 0 0 0 175 7 0 0 16 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=2.11 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 72262 0 0 0 203 8 0 0 15 0 19 0 331299162 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=3.69 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 3001 0 0 0 369 0 0 0 15 0 19 0 331299163 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.7 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3927 0 0 0 70 0 0 0 16 0 19 0 331299166 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.94 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6971 0 0 0 94 0 0 0 15 0 19 0 331299166 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 1260868 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1736.4
Current children cumulated vsize (KiB) 10554612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10132
/proc/meminfo: memFree=22498112/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=1796.62 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 1276795 0 1 0 179511 151 0 0 25 0 19 0 331299160 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 1263211 2267 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=1774.25 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 678059 0 1 0 177352 73 0 0 25 0 19 0 331299161 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505806131 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=2.22 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 79442 0 0 0 213 9 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=2.03 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 62456 0 0 0 196 7 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=1.99 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 59665 0 0 0 193 6 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=1.94 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 77902 0 0 0 183 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=2.46 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 86220 0 0 0 235 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=2.34 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 80895 0 0 0 223 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=1.82 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 64737 0 0 0 175 7 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=2.11 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 72262 0 0 0 203 8 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=3.69 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 3003 0 0 0 369 0 0 0 15 0 19 0 331299163 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.7 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3927 0 0 0 70 0 0 0 16 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.94 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6971 0 0 0 94 0 0 0 15 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (KiB) 10554612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10133
/proc/meminfo: memFree=22498108/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=10554612 CPUtime=1800.03 cores=1,3,5,7
/proc/10065/stat : 10065 (java) S 10063 10065 9650 0 -1 4202496 1276795 0 1 0 179852 151 0 0 25 0 19 0 331299160 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 2638653 1263211 2267 9 0 2629387 0
[pid=10065/tid=10066] ppid=10063 vsize=10554612 CPUtime=1777.65 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4202560 678059 0 1 0 177692 73 0 0 25 0 19 0 331299161 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 46912505805735 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10065/tid=10068] ppid=10063 vsize=10554612 CPUtime=2.22 cores=1,3,5,7
/proc/10065/task/10068/stat : 10068 (java) S 10063 10065 9650 0 -1 4202560 79442 0 0 0 213 9 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10069] ppid=10063 vsize=10554612 CPUtime=2.03 cores=1,3,5,7
/proc/10065/task/10069/stat : 10069 (java) S 10063 10065 9650 0 -1 4202560 62456 0 0 0 196 7 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10070] ppid=10063 vsize=10554612 CPUtime=1.99 cores=1,3,5,7
/proc/10065/task/10070/stat : 10070 (java) S 10063 10065 9650 0 -1 4202560 59665 0 0 0 193 6 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10071] ppid=10063 vsize=10554612 CPUtime=1.94 cores=1,3,5,7
/proc/10065/task/10071/stat : 10071 (java) S 10063 10065 9650 0 -1 4202560 77902 0 0 0 183 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10072] ppid=10063 vsize=10554612 CPUtime=2.46 cores=1,3,5,7
/proc/10065/task/10072/stat : 10072 (java) S 10063 10065 9650 0 -1 4202560 86220 0 0 0 235 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10073] ppid=10063 vsize=10554612 CPUtime=2.34 cores=1,3,5,7
/proc/10065/task/10073/stat : 10073 (java) S 10063 10065 9650 0 -1 4202560 80895 0 0 0 223 11 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10074] ppid=10063 vsize=10554612 CPUtime=1.82 cores=1,3,5,7
/proc/10065/task/10074/stat : 10074 (java) S 10063 10065 9650 0 -1 4202560 64737 0 0 0 175 7 0 0 15 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
[pid=10065/tid=10075] ppid=10063 vsize=10554612 CPUtime=2.11 cores=1,3,5,7
/proc/10065/task/10075/stat : 10075 (java) S 10063 10065 9650 0 -1 4202560 72262 0 0 0 203 8 0 0 16 0 19 0 331299162 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10076] ppid=10063 vsize=10554612 CPUtime=3.69 cores=1,3,5,7
/proc/10065/task/10076/stat : 10076 (java) S 10063 10065 9650 0 -1 4202560 3003 0 0 0 369 0 0 0 15 0 19 0 331299163 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 0 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10077] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10077/stat : 10077 (java) S 10063 10065 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10078] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10078/stat : 10078 (java) S 10063 10065 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331299164 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10079] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10079/stat : 10079 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892388785 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10080] ppid=10063 vsize=10554612 CPUtime=0.7 cores=1,3,5,7
/proc/10065/task/10080/stat : 10080 (java) S 10063 10065 9650 0 -1 4202560 3927 0 0 0 70 0 0 0 16 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10081] ppid=10063 vsize=10554612 CPUtime=0.94 cores=1,3,5,7
/proc/10065/task/10081/stat : 10081 (java) S 10063 10065 9650 0 -1 4202560 6971 0 0 0 94 0 0 0 15 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 5 0 0 0
[pid=10065/tid=10082] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10082/stat : 10082 (java) S 10063 10065 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381081 0 4 0 16800975 18446604471124722944 0 0 -1 1 0 0 0
[pid=10065/tid=10083] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10083/stat : 10083 (java) S 10063 10065 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 331299166 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 3 0 0 0
[pid=10065/tid=10085] ppid=10063 vsize=10554612 CPUtime=0 cores=1,3,5,7
/proc/10065/task/10085/stat : 10085 (java) S 10063 10065 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331299237 10807922688 1263211 33554432000 1073741824 1073778376 140735932604352 18446744073709551615 218892381696 0 4 0 16800975 18446604471124722944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10554612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10133
/proc/meminfo: memFree=22498108/32950928 swapFree=67054696/67111528
[pid=10065] ppid=10063 vsize=0 CPUtime=1800.45 cores=1,3,5,7
/proc/10065/stat : 10065 (java) Z 10063 10065 9650 0 -1 4203548 1277820 0 1 0 179884 161 0 0 17 0 2 0 331299160 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10065/statm: 0 0 0 0 0 0 0
[pid=10065/tid=10066] ppid=10063 vsize=0 CPUtime=1777.77 cores=1,3,5,7
/proc/10065/task/10066/stat : 10066 (java) R 10063 10065 9650 0 -1 4203588 678059 0 1 0 177694 83 0 0 25 0 2 0 331299161 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1785.99
CPU time (s): 1800.55
CPU user time (s): 1798.85
CPU system time (s): 1.70174
CPU usage (%): 100.815
Max. virtual memory (cumulated for all children) (KiB): 10554612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.70174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1277820
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= 38069
involuntary context switches= 17028
runsolver used 2.89856 second user time and 6.87096 second system time
The end