runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312638-1304126695/watcher-3312638-1304126695 -o /tmp/evaluation-result-3312638-1304126695/solver-3312638-1304126695 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312638-1304126695.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.92 7.81 7.92 2/173 18606
/proc/meminfo: memFree=23079860/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (java) R 18604 18606 18277 0 -1 4202496 1028 0 0 0 0 0 0 0 23 0 1 0 524269933 23580672 515 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244441982741 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18606/statm: 5757 529 402 9 0 124 0
[startup+0.053697 s]
/proc/loadavg: 6.92 7.81 7.92 2/173 18606
/proc/meminfo: memFree=23079860/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15604248 CPUtime=0.03 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 3881 0 1 0 3 0 0 0 23 0 13 0 524269933 15978749952 3320 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3901062 3320 1689 9 0 3891810 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248
[startup+0.104654 s]
/proc/loadavg: 6.92 7.81 7.92 2/173 18606
/proc/meminfo: memFree=23079860/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15742128 CPUtime=0.09 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 5550 0 1 0 9 0 0 0 23 0 18 0 524269933 16119939072 4960 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3935532 4960 2115 9 0 3926251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15742128
[startup+0.30172 s]
/proc/loadavg: 6.92 7.81 7.92 2/173 18606
/proc/meminfo: memFree=23079860/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15751500 CPUtime=0.49 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 11463 0 1 0 47 2 0 0 23 0 22 0 524269933 16129536000 9984 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3937838 9947 2212 9 0 3928557 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15751500
[startup+0.700481 s]
/proc/loadavg: 6.92 7.81 7.92 2/173 18606
/proc/meminfo: memFree=23079860/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15765124 CPUtime=1.76 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 27887 0 1 0 172 4 0 0 23 0 22 0 524269933 16143486976 23329 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3941281 23329 2251 9 0 3932000 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 15765124
[startup+1.50133 s]
/proc/loadavg: 6.92 7.81 7.92 11/220 18654
/proc/meminfo: memFree=22733044/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=4.92 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 62532 0 1 0 483 9 0 0 23 0 22 0 524269933 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 56974 2282 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 1338 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 675 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 838 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 1634 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 2557 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 1721 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524269935 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.67 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5293 0 0 0 67 0 0 0 15 0 22 0 524269938 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18639] ppid=18604 vsize=15762508 CPUtime=0.82 cores=0,2,4,6
/proc/18606/task/18639/stat : 18639 (java) S 18604 18606 18277 0 -1 4202560 10288 0 0 0 81 1 0 0 15 0 22 0 524269938 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18640] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18640/stat : 18640 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524269938 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18641] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18641/stat : 18641 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524269938 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18647] ppid=18604 vsize=15762508 CPUtime=0.89 cores=0,2,4,6
/proc/18606/task/18647/stat : 18647 (java) R 18604 18606 18277 0 -1 4202560 11931 0 0 0 88 1 0 0 25 0 22 0 524269960 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505825082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=0.72 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 3429 0 0 0 72 0 0 0 25 0 22 0 524269960 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505770144 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=0.58 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 3438 0 0 0 58 0 0 0 23 0 22 0 524269960 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505746424 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=0.73 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 9916 0 0 0 73 0 0 0 23 0 22 0 524269960 16140808192 56974 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505825145 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 15762508
[startup+3.10103 s]
/proc/loadavg: 6.92 7.81 7.92 10/220 18654
/proc/meminfo: memFree=22461608/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=11.3 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 156446 0 1 0 1109 21 0 0 23 0 22 0 524269933 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 150817 2284 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 2009 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 2657 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 2211 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 2661 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 1714 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 3447 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 4208 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 1965 0 0 0 0 0 0 0 16 0 22 0 524269934 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 448 0 0 0 0 0 0 0 15 0 22 0 524269935 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.68 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5293 0 0 0 68 0 0 0 15 0 22 0 524269938 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18639] ppid=18604 vsize=15762508 CPUtime=0.88 cores=0,2,4,6
/proc/18606/task/18639/stat : 18639 (java) S 18604 18606 18277 0 -1 4202560 10300 0 0 0 87 1 0 0 15 0 22 0 524269938 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18640] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18640/stat : 18640 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524269938 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18641] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18641/stat : 18641 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524269938 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18647] ppid=18604 vsize=15762508 CPUtime=2.48 cores=0,2,4,6
/proc/18606/task/18647/stat : 18647 (java) R 18604 18606 18277 0 -1 4202560 33662 0 0 0 244 4 0 0 25 0 22 0 524269960 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 47455647058204 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=2.24 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 22510 0 0 0 222 2 0 0 25 0 22 0 524269960 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505745553 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=2.15 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 24282 0 0 0 212 3 0 0 25 0 22 0 524269960 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505699699 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=2.3 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 30674 0 0 0 228 2 0 0 25 0 22 0 524269960 16140808192 150817 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505746314 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 15762508
[startup+6.30144 s]
/proc/loadavg: 7.01 7.82 7.92 9/220 18654
/proc/meminfo: memFree=21374176/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=24.07 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 283596 0 1 0 2371 36 0 0 23 0 22 0 524269933 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 276864 2284 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 2780 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 2657 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=0.01 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 2440 0 0 0 1 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=0.01 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 2913 0 0 0 1 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 1987 0 0 0 0 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=0.01 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 4074 0 0 0 1 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=0.01 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 4808 0 0 0 1 0 0 0 15 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=0.01 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 2380 0 0 0 1 0 0 0 16 0 22 0 524269934 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 22 0 524269935 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.76 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5340 0 0 0 76 0 0 0 16 0 22 0 524269938 16140808192 276864 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=1049.21 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 401237 0 0 0 104862 59 0 0 25 0 22 0 524269960 16140808192 107794 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505726737 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=1048.47 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 410283 0 0 0 104792 55 0 0 25 0 22 0 524269960 16140808192 107794 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505524199 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=1048.21 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 412864 0 0 0 104763 58 0 0 25 0 22 0 524269960 16140808192 107794 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505724299 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4226.06
Current children cumulated vsize (KiB) 15762508
[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.02 9/220 18684
/proc/meminfo: memFree=22327412/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=4464.79 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 3128978 0 1 0 445909 570 0 0 23 0 22 0 524269933 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 120143 2298 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=3.48 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 168141 0 0 0 318 30 0 0 16 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=3.45 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 171985 0 0 0 316 29 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=3.41 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 167919 0 0 0 312 29 0 0 16 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=3.41 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 169362 0 0 0 311 30 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=3.58 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 174817 0 0 0 328 30 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=3.57 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 174631 0 0 0 326 31 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=3.41 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 173483 0 0 0 312 29 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=3.46 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 171364 0 0 0 318 28 0 0 15 0 22 0 524269934 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=2.02 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 8097 0 0 0 120 82 0 0 15 0 22 0 524269935 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.84 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5360 0 0 0 84 0 0 0 15 0 22 0 524269938 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18639] ppid=18604 vsize=15762508 CPUtime=1.03 cores=0,2,4,6
/proc/18606/task/18639/stat : 18639 (java) S 18604 18606 18277 0 -1 4202560 10319 0 0 0 102 1 0 0 15 0 22 0 524269938 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18640] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18640/stat : 18640 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524269938 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18641] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18641/stat : 18641 (java) S 18604 18606 18277 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 524269938 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18647] ppid=18604 vsize=15762508 CPUtime=1108.95 cores=0,2,4,6
/proc/18606/task/18647/stat : 18647 (java) R 18604 18606 18277 0 -1 4202560 438512 0 0 0 110834 61 0 0 25 0 22 0 524269960 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505649344 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=1108.56 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 420645 0 0 0 110794 62 0 0 25 0 22 0 524269960 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505824889 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=1107.59 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 432301 0 0 0 110700 59 0 0 25 0 22 0 524269960 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505826283 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=1107.47 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 433574 0 0 0 110686 61 0 0 25 0 22 0 524269960 16140808192 120143 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912506167510 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4464.79
Current children cumulated vsize (KiB) 15762508
[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 8.03 9/220 18685
/proc/meminfo: memFree=22377972/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=4703.49 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 3285743 0 1 0 469750 599 0 0 23 0 22 0 524269933 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 103624 2298 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=3.66 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 174700 0 0 0 336 30 0 0 15 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=3.64 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 178032 0 0 0 333 31 0 0 15 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=3.62 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 173697 0 0 0 332 30 0 0 16 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=3.61 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 176594 0 0 0 329 32 0 0 16 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=3.76 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 179539 0 0 0 345 31 0 0 15 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=3.77 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 180743 0 0 0 345 32 0 0 15 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=3.6 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 179668 0 0 0 330 30 0 0 15 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=3.63 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 176042 0 0 0 335 28 0 0 16 0 22 0 524269934 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=2.15 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 8598 0 0 0 127 88 0 0 15 0 22 0 524269935 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.84 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5360 0 0 0 84 0 0 0 15 0 22 0 524269938 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18639] ppid=18604 vsize=15762508 CPUtime=1.03 cores=0,2,4,6
/proc/18606/task/18639/stat : 18639 (java) S 18604 18606 18277 0 -1 4202560 10319 0 0 0 102 1 0 0 15 0 22 0 524269938 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18640] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18640/stat : 18640 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524269938 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18641] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18641/stat : 18641 (java) S 18604 18606 18277 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 524269938 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18647] ppid=18604 vsize=15762508 CPUtime=1168.18 cores=0,2,4,6
/proc/18606/task/18647/stat : 18647 (java) R 18604 18606 18277 0 -1 4202560 467585 0 0 0 116753 65 0 0 25 0 22 0 524269960 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505699721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=1167.82 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 447612 0 0 0 116717 65 0 0 25 0 22 0 524269960 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505825158 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=1166.91 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 458977 0 0 0 116629 62 0 0 25 0 22 0 524269960 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505825069 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=1166.73 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 459806 0 0 0 116608 65 0 0 25 0 22 0 524269960 16140808192 103624 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505824889 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4703.49
Current children cumulated vsize (KiB) 15762508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.6 s]
/proc/loadavg: 8.20 8.12 8.04 9/220 18686
/proc/meminfo: memFree=22372376/32951124 swapFree=67111524/67111528
[pid=18606] ppid=18604 vsize=15762508 CPUtime=4800.16 cores=0,2,4,6
/proc/18606/stat : 18606 (java) S 18604 18606 18277 0 -1 4202496 3353005 0 1 0 479403 613 0 0 23 0 22 0 524269933 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18606/statm: 3940627 103941 2298 9 0 3931346 0
[pid=18606/tid=18609] ppid=18604 vsize=15762508 CPUtime=0.39 cores=0,2,4,6
/proc/18606/task/18609/stat : 18609 (java) S 18604 18606 18277 0 -1 4202560 7018 0 1 0 38 1 0 0 25 0 22 0 524269933 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18615] ppid=18604 vsize=15762508 CPUtime=3.73 cores=0,2,4,6
/proc/18606/task/18615/stat : 18615 (java) S 18604 18606 18277 0 -1 4202560 180207 0 0 0 341 32 0 0 15 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18616] ppid=18604 vsize=15762508 CPUtime=3.71 cores=0,2,4,6
/proc/18606/task/18616/stat : 18616 (java) S 18604 18606 18277 0 -1 4202560 182434 0 0 0 339 32 0 0 15 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18617] ppid=18604 vsize=15762508 CPUtime=3.7 cores=0,2,4,6
/proc/18606/task/18617/stat : 18617 (java) S 18604 18606 18277 0 -1 4202560 177989 0 0 0 339 31 0 0 15 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18618] ppid=18604 vsize=15762508 CPUtime=3.67 cores=0,2,4,6
/proc/18606/task/18618/stat : 18618 (java) S 18604 18606 18277 0 -1 4202560 181252 0 0 0 335 32 0 0 16 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18619] ppid=18604 vsize=15762508 CPUtime=3.83 cores=0,2,4,6
/proc/18606/task/18619/stat : 18619 (java) S 18604 18606 18277 0 -1 4202560 185645 0 0 0 352 31 0 0 15 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18620] ppid=18604 vsize=15762508 CPUtime=3.82 cores=0,2,4,6
/proc/18606/task/18620/stat : 18620 (java) S 18604 18606 18277 0 -1 4202560 185128 0 0 0 350 32 0 0 15 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18621] ppid=18604 vsize=15762508 CPUtime=3.67 cores=0,2,4,6
/proc/18606/task/18621/stat : 18621 (java) S 18604 18606 18277 0 -1 4202560 183943 0 0 0 336 31 0 0 16 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 0 0 0 0
[pid=18606/tid=18622] ppid=18604 vsize=15762508 CPUtime=3.72 cores=0,2,4,6
/proc/18606/task/18622/stat : 18622 (java) S 18604 18606 18277 0 -1 4202560 182301 0 0 0 343 29 0 0 16 0 22 0 524269934 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18631] ppid=18604 vsize=15762508 CPUtime=2.21 cores=0,2,4,6
/proc/18606/task/18631/stat : 18631 (java) S 18604 18606 18277 0 -1 4202560 8812 0 0 0 131 90 0 0 15 0 22 0 524269935 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 0 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18633] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18633/stat : 18633 (java) S 18604 18606 18277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18634] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18634/stat : 18634 (java) S 18604 18606 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18637] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18637/stat : 18637 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524269938 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458768817 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18638] ppid=18604 vsize=15762508 CPUtime=0.84 cores=0,2,4,6
/proc/18606/task/18638/stat : 18638 (java) S 18604 18606 18277 0 -1 4202560 5360 0 0 0 84 0 0 0 15 0 22 0 524269938 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 2 0 0 0
[pid=18606/tid=18639] ppid=18604 vsize=15762508 CPUtime=1.03 cores=0,2,4,6
/proc/18606/task/18639/stat : 18639 (java) S 18604 18606 18277 0 -1 4202560 10319 0 0 0 102 1 0 0 15 0 22 0 524269938 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18640] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18640/stat : 18640 (java) S 18604 18606 18277 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524269938 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761113 0 4 0 16800975 18446604453857727424 0 0 -1 4 0 0 0
[pid=18606/tid=18641] ppid=18604 vsize=15762508 CPUtime=0 cores=0,2,4,6
/proc/18606/task/18641/stat : 18641 (java) S 18604 18606 18277 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 524269938 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 244458761728 0 4 0 16800975 18446604453857727424 0 0 -1 6 0 0 0
[pid=18606/tid=18647] ppid=18604 vsize=15762508 CPUtime=1192.21 cores=0,2,4,6
/proc/18606/task/18647/stat : 18647 (java) R 18604 18606 18277 0 -1 4202560 474442 0 0 0 119155 66 0 0 25 0 22 0 524269960 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505797991 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18606/tid=18648] ppid=18604 vsize=15762508 CPUtime=1191.8 cores=0,2,4,6
/proc/18606/task/18648/stat : 18648 (java) R 18604 18606 18277 0 -1 4202560 454157 0 0 0 119114 66 0 0 25 0 22 0 524269960 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505746342 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18606/tid=18649] ppid=18604 vsize=15762508 CPUtime=1190.95 cores=0,2,4,6
/proc/18606/task/18649/stat : 18649 (java) R 18604 18606 18277 0 -1 4202560 466050 0 0 0 119031 64 0 0 25 0 22 0 524269960 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505729685 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18606/tid=18650] ppid=18604 vsize=15762508 CPUtime=1190.69 cores=0,2,4,6
/proc/18606/task/18650/stat : 18650 (java) R 18604 18606 18277 0 -1 4202560 466493 0 0 0 119003 66 0 0 25 0 22 0 524269960 16140808192 103941 33554432000 1073741824 1073778376 140733250740240 18446744073709551615 46912505824948 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 15762508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1206.64
CPU time (s): 4800.22
CPU user time (s): 4794.06
CPU system time (s): 6.15106
CPU usage (%): 397.816
Max. virtual memory (cumulated for all children) (KiB): 15765124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.07
system time used= 6.15106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3353030
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= 199870
involuntary context switches= 122034
runsolver used 1.9507 second user time and 4.70029 second system time
The end