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-3456271-1307227083/watcher-3456271-1307227083 -o /tmp/evaluation-result-3456271-1307227083/solver-3456271-1307227083 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456271-1307227083.opb
running on 4 cores: 0,2,4,6
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.97 2.04 2.01 2/454 5180
/proc/meminfo: memFree=16863344/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 834306195 37810176 1072 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 9231 1072 832 9 0 387 0
[pid=5180/tid=5181] ppid=5178 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 3873 0 1 0 0 0 0 0 25 0 2 0 834306196 10694979584 4689 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0349979 s]
/proc/loadavg: 1.97 2.04 2.01 2/454 5180
/proc/meminfo: memFree=16863344/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 10902 0 1 0 1 1 0 0 25 0 11 0 834306195 10716594176 10601 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2616356 10601 1564 9 0 2607104 0
[pid=5180/tid=5181] ppid=5178 vsize=10465424 CPUtime=0.01 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) S 5178 5180 3845 0 -1 4202560 9780 0 1 0 1 0 0 0 25 0 11 0 834306196 10716594176 10601 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16784584 18446604453790560448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.107232 s]
/proc/loadavg: 1.97 2.04 2.01 2/454 5180
/proc/meminfo: memFree=16863344/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10540192 CPUtime=0.11 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 13129 0 1 0 9 2 0 0 25 0 18 0 834306195 10793156608 12796 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2635048 12797 2093 9 0 2625782 0
[pid=5180/tid=5181] ppid=5178 vsize=10540192 CPUtime=0.08 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 11224 0 1 0 7 1 0 0 18 0 18 0 834306196 10793156608 12797 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540192
[startup+0.307602 s]
/proc/loadavg: 1.97 2.04 2.01 2/454 5180
/proc/meminfo: memFree=16863344/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10543096 CPUtime=0.46 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 16166 0 1 0 44 2 0 0 25 0 18 0 834306195 10796130304 15402 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2635774 15402 2212 9 0 2626508 0
[pid=5180/tid=5181] ppid=5178 vsize=10543096 CPUtime=0.28 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 12681 0 1 0 27 1 0 0 18 0 18 0 834306196 10796130304 15403 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505575198 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10543096
[startup+0.878073 s]
/proc/loadavg: 1.97 2.04 2.01 2/454 5180
/proc/meminfo: memFree=16863344/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10553940 CPUtime=2.08 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 39454 0 1 0 202 6 0 0 25 0 19 0 834306195 10807234560 34841 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2638485 34841 2236 9 0 2629219 0
[pid=5180/tid=5181] ppid=5178 vsize=10553940 CPUtime=0.85 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 26796 0 1 0 82 3 0 0 19 0 19 0 834306196 10807234560 34842 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505774285 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 10553940
[startup+1.501 s]
/proc/loadavg: 1.97 2.04 2.01 3/473 5199
/proc/meminfo: memFree=16653268/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10553940 CPUtime=2.91 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 67500 0 1 0 282 9 0 0 25 0 19 0 834306195 10807234560 62886 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2638485 62888 2238 9 0 2629219 0
[pid=5180/tid=5181] ppid=5178 vsize=10553940 CPUtime=1.48 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 54808 0 1 0 141 7 0 0 18 0 19 0 834306196 10807234560 62889 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505802430 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62890 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62892 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62893 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62894 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62896 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62897 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62900 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 62900 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834306199 10807234560 62902 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306199 10807234560 62903 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306199 10807234560 62904 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10807234560 62904 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10553940 CPUtime=0.71 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6904 0 0 0 71 0 0 0 17 0 19 0 834306201 10807234560 62905 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10553940 CPUtime=0.7 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4631 0 0 0 69 1 0 0 15 0 19 0 834306201 10807234560 62907 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10807234560 62908 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834306201 10807234560 62909 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10807234560 62910 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 10553940
[startup+3.10071 s]
/proc/loadavg: 1.97 2.04 2.01 3/473 5199
/proc/meminfo: memFree=16462060/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10553940 CPUtime=4.56 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 136811 0 1 0 438 18 0 0 25 0 19 0 834306195 10807234560 132195 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2638485 132195 2238 9 0 2629219 0
[pid=5180/tid=5181] ppid=5178 vsize=10553940 CPUtime=3.08 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 124116 0 1 0 293 15 0 0 18 0 19 0 834306196 10807234560 132195 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505688212 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132196 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132197 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132199 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132201 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132203 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132205 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132208 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10807234560 132210 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834306199 10807234560 132211 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306199 10807234560 132212 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306199 10807234560 132214 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10807234560 132216 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10553940 CPUtime=0.74 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6904 0 0 0 74 0 0 0 15 0 19 0 834306201 10807234560 132222 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10553940 CPUtime=0.72 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4631 0 0 0 71 1 0 0 15 0 19 0 834306201 10807234560 132223 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10807234560 132225 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834306201 10807234560 132229 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10553940 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10807234560 132230 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10553940
[startup+6.30108 s]
/proc/loadavg: 1.97 2.04 2.01 3/473 5199
/proc/meminfo: memFree=15900584/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10549320 CPUtime=7.8 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 270451 0 1 0 745 35 0 0 25 0 19 0 834306195 10802503680 264663 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2637330 264665 2239 9 0 2628064 0
[pid=5180/tid=5181] ppid=5178 vsize=10549320 CPUtime=6.28 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 257749 0 1 0 596 32 0 0 20 0 19 0 834306196 10802503680 264665 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505779690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264666 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264667 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264668 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264669 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264670 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264671 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264673 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306198 10802503680 264674 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306199 10802503680 264677 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306199 10802503680 264679 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306199 10802503680 264680 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 264681 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10549320 CPUtime=0.78 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6912 0 0 0 78 0 0 0 15 0 19 0 834306201 10802503680 264682 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10549320 CPUtime=0.72 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4631 0 0 0 71 1 0 0 15 0 19 0 834306201 10802503680 264683 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10549320 CPUtime=0.92 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6938 0 0 0 91 1 0 0 15 0 19 0 834306201 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10549320 CPUtime=0.95 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4692 0 0 0 94 1 0 0 15 0 19 0 834306201 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834306201 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10802503680 933460 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.57
Current children cumulated vsize (KiB) 10549320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/473 5305
/proc/meminfo: memFree=13017448/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10549320 CPUtime=1726.64 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 942535 0 1 0 172538 126 0 0 25 0 19 0 834306195 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2637330 935024 2269 9 0 2628064 0
[pid=5180/tid=5181] ppid=5178 vsize=10549320 CPUtime=1720.41 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 824015 0 1 0 171935 106 0 0 25 0 19 0 834306196 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505801859 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 12294 0 0 0 44 2 0 0 15 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10549320 CPUtime=0.39 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 8857 0 0 0 38 1 0 0 15 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10549320 CPUtime=0.48 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 16933 0 0 0 46 2 0 0 16 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10549320 CPUtime=0.45 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 12113 0 0 0 44 1 0 0 16 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10549320 CPUtime=0.43 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 10452 0 0 0 42 1 0 0 16 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 12721 0 0 0 44 2 0 0 16 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10549320 CPUtime=0.41 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 14793 0 0 0 39 2 0 0 15 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10549320 CPUtime=0.54 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 16957 0 0 0 52 2 0 0 15 0 19 0 834306198 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10549320 CPUtime=0.62 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 521 0 0 0 62 0 0 0 15 0 19 0 834306199 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10549320 CPUtime=0.92 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6938 0 0 0 91 1 0 0 15 0 19 0 834306201 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10549320 CPUtime=0.95 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4692 0 0 0 94 1 0 0 15 0 19 0 834306201 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834306201 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10802503680 935024 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.64
Current children cumulated vsize (KiB) 10549320
[startup+1782.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 5307
/proc/meminfo: memFree=12999312/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10549320 CPUtime=1786.73 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 943695 0 1 0 178546 127 0 0 25 0 19 0 834306195 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2637330 936149 2269 9 0 2628064 0
[pid=5180/tid=5181] ppid=5178 vsize=10549320 CPUtime=1780.39 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 824017 0 1 0 177933 106 0 0 25 0 19 0 834306196 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505802019 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 12294 0 0 0 44 2 0 0 15 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10549320 CPUtime=0.44 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 9221 0 0 0 42 2 0 0 16 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10549320 CPUtime=0.48 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 16933 0 0 0 46 2 0 0 15 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10549320 CPUtime=0.47 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 12247 0 0 0 46 1 0 0 15 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 11011 0 0 0 45 1 0 0 16 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 12721 0 0 0 44 2 0 0 15 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10549320 CPUtime=0.43 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 14886 0 0 0 41 2 0 0 16 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10549320 CPUtime=0.54 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 16957 0 0 0 52 2 0 0 15 0 19 0 834306198 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10549320 CPUtime=0.62 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 525 0 0 0 62 0 0 0 15 0 19 0 834306199 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10549320 CPUtime=0.92 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6938 0 0 0 91 1 0 0 15 0 19 0 834306201 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10549320 CPUtime=0.95 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4692 0 0 0 94 1 0 0 15 0 19 0 834306201 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834306201 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10802503680 936149 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1786.73
Current children cumulated vsize (KiB) 10549320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.08 2.03 2.01 5/473 5307
/proc/meminfo: memFree=12996708/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=10549320 CPUtime=1800.06 cores=0,2,4,6
/proc/5180/stat : 5180 (java) S 5178 5180 3845 0 -1 4202496 943849 0 1 0 179879 127 0 0 25 0 19 0 834306195 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 2637330 936298 2269 9 0 2628064 0
[pid=5180/tid=5181] ppid=5178 vsize=10549320 CPUtime=1793.68 cores=0,2,4,6
/proc/5180/task/5181/stat : 5181 (java) R 5178 5180 3845 0 -1 4202560 824018 0 1 0 179262 106 0 0 25 0 19 0 834306196 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 46912505804221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5180/tid=5183] ppid=5178 vsize=10549320 CPUtime=0.47 cores=0,2,4,6
/proc/5180/task/5183/stat : 5183 (java) S 5178 5180 3845 0 -1 4202560 12364 0 0 0 45 2 0 0 16 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5184] ppid=5178 vsize=10549320 CPUtime=0.44 cores=0,2,4,6
/proc/5180/task/5184/stat : 5184 (java) S 5178 5180 3845 0 -1 4202560 9221 0 0 0 42 2 0 0 15 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5185] ppid=5178 vsize=10549320 CPUtime=0.49 cores=0,2,4,6
/proc/5180/task/5185/stat : 5185 (java) S 5178 5180 3845 0 -1 4202560 16976 0 0 0 47 2 0 0 16 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5186] ppid=5178 vsize=10549320 CPUtime=0.47 cores=0,2,4,6
/proc/5180/task/5186/stat : 5186 (java) S 5178 5180 3845 0 -1 4202560 12247 0 0 0 46 1 0 0 15 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5187] ppid=5178 vsize=10549320 CPUtime=0.46 cores=0,2,4,6
/proc/5180/task/5187/stat : 5187 (java) S 5178 5180 3845 0 -1 4202560 11011 0 0 0 45 1 0 0 15 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5188] ppid=5178 vsize=10549320 CPUtime=0.47 cores=0,2,4,6
/proc/5180/task/5188/stat : 5188 (java) S 5178 5180 3845 0 -1 4202560 12734 0 0 0 45 2 0 0 16 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5189] ppid=5178 vsize=10549320 CPUtime=0.43 cores=0,2,4,6
/proc/5180/task/5189/stat : 5189 (java) S 5178 5180 3845 0 -1 4202560 14886 0 0 0 41 2 0 0 15 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
[pid=5180/tid=5190] ppid=5178 vsize=10549320 CPUtime=0.55 cores=0,2,4,6
/proc/5180/task/5190/stat : 5190 (java) S 5178 5180 3845 0 -1 4202560 16980 0 0 0 53 2 0 0 16 0 19 0 834306198 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5191] ppid=5178 vsize=10549320 CPUtime=0.62 cores=0,2,4,6
/proc/5180/task/5191/stat : 5191 (java) S 5178 5180 3845 0 -1 4202560 527 0 0 0 62 0 0 0 15 0 19 0 834306199 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 0 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5192] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5192/stat : 5192 (java) S 5178 5180 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5193] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5193/stat : 5193 (java) S 5178 5180 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834306199 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5194] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5194/stat : 5194 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389125041 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5195] ppid=5178 vsize=10549320 CPUtime=0.92 cores=0,2,4,6
/proc/5180/task/5195/stat : 5195 (java) S 5178 5180 3845 0 -1 4202560 6938 0 0 0 91 1 0 0 15 0 19 0 834306201 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 4 0 0 0
[pid=5180/tid=5196] ppid=5178 vsize=10549320 CPUtime=0.95 cores=0,2,4,6
/proc/5180/task/5196/stat : 5196 (java) S 5178 5180 3845 0 -1 4202560 4692 0 0 0 94 1 0 0 15 0 19 0 834306201 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5197] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5197/stat : 5197 (java) S 5178 5180 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306201 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117337 0 4 0 16800975 18446604453790560448 0 0 -1 6 0 0 0
[pid=5180/tid=5198] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5198/stat : 5198 (java) S 5178 5180 3845 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834306201 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 2 0 0 0
[pid=5180/tid=5199] ppid=5178 vsize=10549320 CPUtime=0 cores=0,2,4,6
/proc/5180/task/5199/stat : 5199 (java) S 5178 5180 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306235 10802503680 936298 33554432000 1073741824 1073778376 140734693401856 18446744073709551615 255389117952 0 4 0 16800975 18446604453790560448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10549320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.72 s]
/proc/loadavg: 2.08 2.03 2.01 5/473 5307
/proc/meminfo: memFree=12996708/32951124 swapFree=60787360/67111528
[pid=5180] ppid=5178 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/5180/stat : 5180 (java) Z 5178 5180 3845 0 -1 4203548 943878 0 1 0 179883 136 0 0 17 0 2 0 834306195 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5180/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.78
CPU time (s): 1800.25
CPU user time (s): 1798.83
CPU system time (s): 1.41978
CPU usage (%): 100.249
Max. virtual memory (cumulated for all children) (KiB): 10554980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.41978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943878
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= 38634
involuntary context switches= 5217
runsolver used 8.28274 second user time and 17.8773 second system time
The end