runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4249637-1500695580/watcher-4249637-1500695580 -o /tmp/evaluation-result-4249637-1500695580/solver-4249637-1500695580 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 78837306 HOME/instance-4249637-1500695580.xml
pid=16661
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.24 14.06 14.06 9/272 16664
/proc/meminfo: memFree=28213424/32770624 swapFree=5656/335084
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
[startup+0.100134 s]
/proc/loadavg: 15.24 14.06 14.06 9/272 16664
/proc/meminfo: memFree=28213424/32770624 swapFree=5656/335084
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 15.24 14.06 14.06 9/272 16664
/proc/meminfo: memFree=28213424/32770624 swapFree=5656/335084
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300376 s]
/proc/loadavg: 15.24 14.06 14.06 9/272 16664
/proc/meminfo: memFree=28213424/32770624 swapFree=5656/335084
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700204 s]
/proc/loadavg: 15.24 14.06 14.06 9/272 16664
/proc/meminfo: memFree=28213424/32770624 swapFree=5656/335084
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50464 s]
/proc/loadavg: 15.24 14.06 14.06 21/301 16693
/proc/meminfo: memFree=28048016/32770624 swapFree=5656/335116
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
[pid=16665] ppid=16664 vsize=13801768 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/16665/stat : 16665 (java) S 16664 16664 7102 0 -1 1077944320 16116 0 0 0 713 34 0 0 20 0 28 0 4825502 14133010432 60233 33554432000 4194304 4196468 140726610505952 140726610488496 140363613957879 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
/proc/16665/statm: 3450442 60233 3253 1 0 3437675 0
[pid=16665/tid=16666] ppid=16664 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16666/stat : 16666 (java) S 16664 16664 7102 0 -1 1077944384 6868 0 0 0 79 5 0 0 20 0 28 0 4825502 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363618198656 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16668] ppid=16664 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16668/stat : 16668 (java) S 16664 16664 7102 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363566578704 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16669] ppid=16664 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16669/stat : 16669 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363565526160 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16670] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16670/stat : 16670 (java) S 16664 16664 7102 0 -1 1077944384 32 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363564473104 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16671] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16671/stat : 16671 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363563420560 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16672] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16672/stat : 16672 (java) S 16664 16664 7102 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363562367504 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16673] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16673/stat : 16673 (java) S 16664 16664 7102 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363561314960 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16674] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16674/stat : 16674 (java) S 16664 16664 7102 0 -1 1077944384 29 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363560261904 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16675] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16675/stat : 16675 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60233 33554432000 4194304 4196468 140726610505952 140363559209360 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16676] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16676/stat : 16676 (java) S 16664 16664 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362874821360 140363613969026 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16677] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16677/stat : 16677 (java) S 16664 16664 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362873767584 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16678] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16678/stat : 16678 (java) S 16664 16664 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4825507 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362872714480 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16679] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16679/stat : 16679 (java) S 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825510 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362871663056 140363613976475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16680] ppid=16664 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16680/stat : 16680 (java) S 16664 16664 7102 0 -1 1077944384 2057 0 0 0 76 0 0 0 20 0 28 0 4825510 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362870610160 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16681] ppid=16664 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16681/stat : 16681 (java) S 16664 16664 7102 0 -1 1077944384 1392 0 0 0 76 0 0 0 20 0 28 0 4825510 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362869557616 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16682] ppid=16664 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16682/stat : 16682 (java) S 16664 16664 7102 0 -1 1077944384 1303 0 0 0 72 0 0 0 20 0 28 0 4825510 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362868504560 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16683] ppid=16664 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16683/stat : 16683 (java) S 16664 16664 7102 0 -1 1077944384 2520 0 0 0 57 1 0 0 20 0 28 0 4825510 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362867452016 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16684] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16684/stat : 16684 (java) S 16664 16664 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362866400224 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16685] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16685/stat : 16685 (java) R 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362865347760 140363613969026 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16686] ppid=16664 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16686/stat : 16686 (java) R 16664 16664 7102 0 -1 4202560 62 0 0 0 42 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362857331640 140363244638343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16687] ppid=16664 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16687/stat : 16687 (java) R 16664 16664 7102 0 -1 4202560 46 0 0 0 36 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362856280232 140363244638350 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16688] ppid=16664 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16688/stat : 16688 (java) R 16664 16664 7102 0 -1 4202560 38 0 0 0 47 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362855227112 140363244852901 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16689] ppid=16664 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16689/stat : 16689 (java) R 16664 16664 7102 0 -1 4202560 75 0 0 0 37 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362854174904 140363244612350 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16690] ppid=16664 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16690/stat : 16690 (java) R 16664 16664 7102 0 -1 4202560 29 0 0 0 38 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362853121576 140363244638350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16691] ppid=16664 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16691/stat : 16691 (java) R 16664 16664 7102 0 -1 4202560 39 0 0 0 45 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362852069464 140363244638300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16692] ppid=16664 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16692/stat : 16692 (java) R 16664 16664 7102 0 -1 4202560 34 0 0 0 39 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362851017000 140363244638314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16693] ppid=16664 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16693/stat : 16693 (java) R 16664 16664 7102 0 -1 4202560 41 0 0 0 41 0 0 0 20 0 28 0 4825590 14133010432 60233 33554432000 4194304 4196468 140726610505952 140362849963672 140363244852215 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 15.24 14.06 14.06 19/301 16693
/proc/meminfo: memFree=27985152/32770624 swapFree=5656/335116
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
[pid=16665] ppid=16664 vsize=13801768 CPUtime=20.19 cores=0,2,4,6,8,10,12,14
/proc/16665/stat : 16665 (java) S 16664 16664 7102 0 -1 1077944320 16553 0 0 0 1984 35 0 0 20 0 28 0 4825502 14133010432 60582 33554432000 4194304 4196468 140726610505952 140726610488496 140363613957879 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
/proc/16665/statm: 3450442 60582 3254 1 0 3437675 0
[pid=16665/tid=16666] ppid=16664 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16666/stat : 16666 (java) S 16664 16664 7102 0 -1 1077944384 6868 0 0 0 79 5 0 0 20 0 28 0 4825502 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363618198656 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16668] ppid=16664 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16668/stat : 16668 (java) S 16664 16664 7102 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363566578704 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16669] ppid=16664 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16669/stat : 16669 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363565526160 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16670] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16670/stat : 16670 (java) S 16664 16664 7102 0 -1 1077944384 32 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363564473104 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16671] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16671/stat : 16671 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363563420560 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16672] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16672/stat : 16672 (java) S 16664 16664 7102 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363562367504 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16673] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16673/stat : 16673 (java) S 16664 16664 7102 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363561314960 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16674] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16674/stat : 16674 (java) S 16664 16664 7102 0 -1 1077944384 29 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363560261904 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16675] ppid=16664 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16675/stat : 16675 (java) S 16664 16664 7102 0 -1 1077944384 26 0 0 0 2 3 0 0 20 0 28 0 4825503 14133010432 60582 33554432000 4194304 4196468 140726610505952 140363559209360 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16676] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16676/stat : 16676 (java) S 16664 16664 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362874821360 140363613969026 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16677] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16677/stat : 16677 (java) S 16664 16664 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362873767584 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16678] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16678/stat : 16678 (java) S 16664 16664 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4825507 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362872714480 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16679] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16679/stat : 16679 (java) S 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825510 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362871663056 140363613976475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16680] ppid=16664 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16680/stat : 16680 (java) S 16664 16664 7102 0 -1 1077944384 2263 0 0 0 121 1 0 0 20 0 28 0 4825510 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362870610160 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16681] ppid=16664 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16681/stat : 16681 (java) S 16664 16664 7102 0 -1 1077944384 1411 0 0 0 99 0 0 0 20 0 28 0 4825510 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362869557616 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16682] ppid=16664 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16682/stat : 16682 (java) S 16664 16664 7102 0 -1 1077944384 1449 0 0 0 98 0 0 0 20 0 28 0 4825510 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362868504560 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16683] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16683/stat : 16683 (java) S 16664 16664 7102 0 -1 1077944384 2539 0 0 0 60 1 0 0 20 0 28 0 4825510 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362867452016 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16684] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16684/stat : 16684 (java) S 16664 16664 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362866400224 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16685] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16685/stat : 16685 (java) S 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362865347760 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16686] ppid=16664 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16686/stat : 16686 (java) R 16664 16664 7102 0 -1 4202560 68 0 0 0 185 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362857331504 140363244638242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16687] ppid=16664 vsize=13801768 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16687/stat : 16687 (java) R 16664 16664 7102 0 -1 4202560 49 0 0 0 168 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362856282680 140363244638259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16688] ppid=16664 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16688/stat : 16688 (java) R 16664 16664 7102 0 -1 4202560 46 0 0 0 206 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362855229512 140363244560022 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16689] ppid=16664 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16689/stat : 16689 (java) R 16664 16664 7102 0 -1 4202560 85 0 0 0 178 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362854177080 140363244638285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16690] ppid=16664 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16690/stat : 16690 (java) R 16664 16664 7102 0 -1 4202560 39 0 0 0 187 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362853123984 140363244638242 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16691] ppid=16664 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16691/stat : 16691 (java) R 16664 16664 7102 0 -1 4202560 41 0 0 0 205 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362852069144 140363244638285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16692] ppid=16664 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16692/stat : 16692 (java) R 16664 16664 7102 0 -1 4202560 37 0 0 0 191 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362851019336 140363244638222 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16693] ppid=16664 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16693/stat : 16693 (java) R 16664 16664 7102 0 -1 4202560 46 0 0 0 179 0 0 0 20 0 28 0 4825590 14133010432 60582 33554432000 4194304 4196468 140726610505952 140362849966952 140363244381610 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
Current children cumulated CPU time (s) 20.19
Current children cumulated vsize (KiB) 13811280
[startup+6.30168 s]
/proc/loadavg: 14.98 14.02 14.05 17/301 16693
/proc/meminfo: memFree=27982592/32770624 swapFree=5656/335116
################
# More data... #
################
[pid=16665/tid=16692] ppid=16664 vsize=13801768 CPUtime=218.09 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16692/stat : 16692 (java) R 16664 16664 7102 0 -1 4202560 505 0 0 0 21808 1 0 0 20 0 28 0 4825590 14133010432 206108 33554432000 4194304 4196468 140726610505952 140362851017768 140363244381564 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16693] ppid=16664 vsize=13801768 CPUtime=217.13 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16693/stat : 16693 (java) R 16664 16664 7102 0 -1 4202560 1151 0 0 0 21711 2 0 0 20 0 28 0 4825590 14133010432 206108 33554432000 4194304 4196468 140726610505952 140362849964328 140363245884979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
Current children cumulated CPU time (s) 1755.3
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.01 15.14 14.51 17/299 16793
/proc/meminfo: memFree=27485996/32770624 swapFree=5656/335504
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
[pid=16665] ppid=16664 vsize=13801768 CPUtime=2232.81 cores=0,2,4,6,8,10,12,14
/proc/16665/stat : 16665 (java) S 16664 16664 7102 0 -1 1077944320 72759 0 0 0 223157 124 0 0 20 0 28 0 4825502 14133010432 236115 33554432000 4194304 4196468 140726610505952 140726610488496 140363613957879 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
/proc/16665/statm: 3450442 236115 3301 1 0 3437675 0
[pid=16665/tid=16666] ppid=16664 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16666/stat : 16666 (java) S 16664 16664 7102 0 -1 1077944384 6868 0 0 0 79 5 0 0 20 0 28 0 4825502 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363618198656 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16668] ppid=16664 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16668/stat : 16668 (java) S 16664 16664 7102 0 -1 1077944384 266 0 0 0 51 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363566578704 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16669] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16669/stat : 16669 (java) S 16664 16664 7102 0 -1 1077944384 313 0 0 0 52 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363565526160 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16670] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16670/stat : 16670 (java) S 16664 16664 7102 0 -1 1077944384 488 0 0 0 50 11 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363564473104 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16671] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16671/stat : 16671 (java) S 16664 16664 7102 0 -1 1077944384 587 0 0 0 51 10 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363563420560 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16672] ppid=16664 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16672/stat : 16672 (java) S 16664 16664 7102 0 -1 1077944384 825 0 0 0 53 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363562367504 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16673] ppid=16664 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16673/stat : 16673 (java) S 16664 16664 7102 0 -1 1077944384 596 0 0 0 51 8 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363561314960 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16674] ppid=16664 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16674/stat : 16674 (java) S 16664 16664 7102 0 -1 1077944384 579 0 0 0 47 10 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363560261904 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16675] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16675/stat : 16675 (java) S 16664 16664 7102 0 -1 1077944384 335 0 0 0 53 8 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363559209360 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16676] ppid=16664 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16676/stat : 16676 (java) S 16664 16664 7102 0 -1 1077944384 7568 0 0 0 133 11 0 0 20 0 28 0 4825506 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362874821360 140363613969026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16677] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16677/stat : 16677 (java) S 16664 16664 7102 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362873767648 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16678] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16678/stat : 16678 (java) S 16664 16664 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4825507 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362872714496 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16679] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16679/stat : 16679 (java) S 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362871663056 140363613976475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16680] ppid=16664 vsize=13801768 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16680/stat : 16680 (java) S 16664 16664 7102 0 -1 1077944384 9976 0 0 0 269 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362870610160 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16681] ppid=16664 vsize=13801768 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16681/stat : 16681 (java) S 16664 16664 7102 0 -1 1077944384 12282 0 0 0 299 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362869557616 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 8 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16682] ppid=16664 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16682/stat : 16682 (java) S 16664 16664 7102 0 -1 1077944384 10440 0 0 0 277 1 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362868504560 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16683] ppid=16664 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16683/stat : 16683 (java) S 16664 16664 7102 0 -1 1077944384 9393 0 0 0 92 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362867452016 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16684] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16684/stat : 16684 (java) S 16664 16664 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362866400224 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16685] ppid=16664 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16685/stat : 16685 (java) S 16664 16664 7102 0 -1 1077944384 1008 0 0 0 8 8 0 0 20 0 28 0 4825511 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362865347760 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16686] ppid=16664 vsize=13801768 CPUtime=276.13 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16686/stat : 16686 (java) R 16664 16664 7102 0 -1 4202560 1248 0 0 0 27612 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362857331672 140363245704684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16687] ppid=16664 vsize=13801768 CPUtime=277.85 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16687/stat : 16687 (java) R 16664 16664 7102 0 -1 4202560 1077 0 0 0 27785 0 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362856280264 140363245704684 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16688] ppid=16664 vsize=13801768 CPUtime=277.9 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16688/stat : 16688 (java) R 16664 16664 7102 0 -1 4202560 1876 0 0 0 27788 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362855229408 140363245884559 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16689] ppid=16664 vsize=13801768 CPUtime=275.71 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16689/stat : 16689 (java) R 16664 16664 7102 0 -1 4202560 1736 0 0 0 27570 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362854175880 140363244381564 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16690] ppid=16664 vsize=13801768 CPUtime=276.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16690/stat : 16690 (java) R 16664 16664 7102 0 -1 4202560 1721 0 0 0 27659 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362853121704 140363245884389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16691] ppid=16664 vsize=13801768 CPUtime=276.89 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16691/stat : 16691 (java) R 16664 16664 7102 0 -1 4202560 525 0 0 0 27688 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362852069160 140363245884310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16692] ppid=16664 vsize=13801768 CPUtime=277.89 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16692/stat : 16692 (java) R 16664 16664 7102 0 -1 4202560 574 0 0 0 27788 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362851016952 140363244560000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16693] ppid=16664 vsize=13801768 CPUtime=276.89 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16693/stat : 16693 (java) R 16664 16664 7102 0 -1 4202560 1159 0 0 0 27687 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362849964328 140363245059377 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
Current children cumulated CPU time (s) 2232.81
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 16.01 15.20 14.54 17/299 16795
/proc/meminfo: memFree=27483448/32770624 swapFree=5656/335548
[pid=16664] ppid=16661 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16664/stat : 16664 (xcsp3-exec) S 16661 16664 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4825502 9740288 346 33554432000 4194304 5098028 140731524858912 140731524857016 140603302367868 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17715200 140731524863120 140731524863328 140731524863328 140731524866027 0
/proc/16664/statm: 2378 346 289 221 0 87 0
[pid=16665] ppid=16664 vsize=13801768 CPUtime=2400.77 cores=0,2,4,6,8,10,12,14
/proc/16665/stat : 16665 (java) S 16664 16664 7102 0 -1 1077944320 75079 0 0 0 239953 124 0 0 20 0 28 0 4825502 14133010432 236115 33554432000 4194304 4196468 140726610505952 140726610488496 140363613957879 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
/proc/16665/statm: 3450442 236115 3301 1 0 3437675 0
[pid=16665/tid=16666] ppid=16664 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16666/stat : 16666 (java) S 16664 16664 7102 0 -1 1077944384 6868 0 0 0 79 5 0 0 20 0 28 0 4825502 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363618198656 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16668] ppid=16664 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16668/stat : 16668 (java) S 16664 16664 7102 0 -1 1077944384 266 0 0 0 51 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363566578704 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16669] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16669/stat : 16669 (java) S 16664 16664 7102 0 -1 1077944384 313 0 0 0 52 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363565526160 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16670] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16670/stat : 16670 (java) S 16664 16664 7102 0 -1 1077944384 488 0 0 0 50 11 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363564473104 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16671] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16671/stat : 16671 (java) S 16664 16664 7102 0 -1 1077944384 587 0 0 0 51 10 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363563420560 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16672] ppid=16664 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16672/stat : 16672 (java) S 16664 16664 7102 0 -1 1077944384 825 0 0 0 53 9 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363562367504 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16673] ppid=16664 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16673/stat : 16673 (java) S 16664 16664 7102 0 -1 1077944384 596 0 0 0 51 8 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363561314960 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16674] ppid=16664 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16674/stat : 16674 (java) S 16664 16664 7102 0 -1 1077944384 579 0 0 0 47 10 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363560261904 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16675] ppid=16664 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16675/stat : 16675 (java) S 16664 16664 7102 0 -1 1077944384 335 0 0 0 53 8 0 0 20 0 28 0 4825503 14133010432 236115 33554432000 4194304 4196468 140726610505952 140363559209360 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16676] ppid=16664 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16676/stat : 16676 (java) S 16664 16664 7102 0 -1 1077944384 7575 0 0 0 133 11 0 0 20 0 28 0 4825506 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362874821360 140363613969026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16677] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16677/stat : 16677 (java) S 16664 16664 7102 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4825506 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362873767648 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16678] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16678/stat : 16678 (java) S 16664 16664 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4825507 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362872714496 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16679] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16679/stat : 16679 (java) S 16664 16664 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362871663056 140363613976475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16680] ppid=16664 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16680/stat : 16680 (java) S 16664 16664 7102 0 -1 1077944384 10820 0 0 0 270 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362870610160 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16681] ppid=16664 vsize=13801768 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16681/stat : 16681 (java) S 16664 16664 7102 0 -1 1077944384 12285 0 0 0 299 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362869557616 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 8 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16682] ppid=16664 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16682/stat : 16682 (java) S 16664 16664 7102 0 -1 1077944384 11143 0 0 0 280 1 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362868504560 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16683] ppid=16664 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16683/stat : 16683 (java) S 16664 16664 7102 0 -1 1077944384 9397 0 0 0 92 2 0 0 20 0 28 0 4825510 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362867452016 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16684] ppid=16664 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16684/stat : 16684 (java) S 16664 16664 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4825511 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362866400224 140363613968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16685] ppid=16664 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16685/stat : 16685 (java) S 16664 16664 7102 0 -1 1077944384 1048 0 0 0 9 8 0 0 20 0 28 0 4825511 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362865347760 140363613969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16686] ppid=16664 vsize=13801768 CPUtime=296.81 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16686/stat : 16686 (java) R 16664 16664 7102 0 -1 4202560 1348 0 0 0 29680 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362857331672 140363245704881 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16687] ppid=16664 vsize=13801768 CPUtime=298.68 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16687/stat : 16687 (java) R 16664 16664 7102 0 -1 4202560 1187 0 0 0 29868 0 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362856280296 140363245884425 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16688] ppid=16664 vsize=13801768 CPUtime=298.99 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16688/stat : 16688 (java) R 16664 16664 7102 0 -1 4202560 2019 0 0 0 29897 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362855227752 140363245884554 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16689] ppid=16664 vsize=13801768 CPUtime=296.8 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16689/stat : 16689 (java) R 16664 16664 7102 0 -1 4202560 1802 0 0 0 29679 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362854175880 140363245704586 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16690] ppid=16664 vsize=13801768 CPUtime=297.67 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16690/stat : 16690 (java) R 16664 16664 7102 0 -1 4202560 1796 0 0 0 29765 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362853121704 140363245884310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16691] ppid=16664 vsize=13801768 CPUtime=297.96 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16691/stat : 16691 (java) R 16664 16664 7102 0 -1 4202560 602 0 0 0 29795 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362852069160 140363245884075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16692] ppid=16664 vsize=13801768 CPUtime=298.96 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16692/stat : 16692 (java) R 16664 16664 7102 0 -1 4202560 631 0 0 0 29895 1 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362851016952 140363245884310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
[pid=16665/tid=16693] ppid=16664 vsize=13801768 CPUtime=297.93 cores=0,2,4,6,8,10,12,14
/proc/16665/task/16693/stat : 16693 (java) R 16664 16664 7102 0 -1 4202560 1250 0 0 0 29791 2 0 0 20 0 28 0 4825590 14133010432 236115 33554432000 4194304 4196468 140726610505952 140362849964328 140363245704965 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14385152 140726610506940 140726610507116 140726610507116 140726610509775 0
Current children cumulated CPU time (s) 2400.77
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16665 sig 9
??? kill 16664 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16664 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1822
# CPU time returned by wait4() is 0.002733
# while last known CPU time is 2400.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.413
CPU time (s): 2400.77
CPU user time (s): 2399.53
CPU system time (s): 1.24
CPU usage (%): 791.255
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000911
system time used= 0.001822
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26317 second user time and 5.03044 second system time
The end