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-4249608-1500695154/watcher-4249608-1500695154 -o /tmp/evaluation-result-4249608-1500695154/solver-4249608-1500695154 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 887222421 HOME/instance-4249608-1500695154.xml
pid=11648
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: 12.94 12.06 13.13 10/270 11651
/proc/meminfo: memFree=31476748/32770624 swapFree=5892/130232
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 12.94 12.06 13.13 10/270 11651
/proc/meminfo: memFree=31476748/32770624 swapFree=5892/130232
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200278 s]
/proc/loadavg: 12.94 12.06 13.13 10/270 11651
/proc/meminfo: memFree=31476748/32770624 swapFree=5892/130232
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300197 s]
/proc/loadavg: 12.94 12.06 13.13 10/270 11651
/proc/meminfo: memFree=31476748/32770624 swapFree=5892/130232
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700187 s]
/proc/loadavg: 12.94 12.06 13.13 10/270 11651
/proc/meminfo: memFree=31476748/32770624 swapFree=5892/130232
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 12.94 12.06 13.13 20/299 11680
/proc/meminfo: memFree=31386360/32770624 swapFree=5892/130296
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
[pid=11652] ppid=11651 vsize=13801768 CPUtime=8.19 cores=0,2,4,6,8,10,12,14
/proc/11652/stat : 11652 (java) S 11651 11651 15667 0 -1 1077944320 16316 0 0 0 812 7 0 0 20 0 28 0 4785115 14133010432 26401 33554432000 4194304 4196468 140732503526320 140732503508864 140651773517559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
/proc/11652/statm: 3450442 26401 3232 1 0 3437675 0
[pid=11652/tid=11653] ppid=11651 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11653/stat : 11653 (java) S 11651 11651 15667 0 -1 1077944384 6838 0 0 0 58 3 0 0 20 0 28 0 4785115 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651777758336 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11655] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11655/stat : 11655 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651726138000 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11656] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11656/stat : 11656 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651725085200 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11657] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11657/stat : 11657 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651370314128 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11658] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11658/stat : 11658 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651369261328 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11659] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11659/stat : 11659 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651368209552 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11660] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11660/stat : 11660 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651367156752 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11661] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11661/stat : 11661 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651366103952 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11662] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11662/stat : 11662 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 26401 33554432000 4194304 4196468 140732503526320 140651365051152 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11663] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11663/stat : 11663 (java) S 11651 11651 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4785118 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650437626224 140651773528706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11664] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11664/stat : 11664 (java) S 11651 11651 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650436572192 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11665] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11665/stat : 11665 (java) S 11651 11651 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650435519344 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11666] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11666/stat : 11666 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650434467664 140651773536155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11667] ppid=11651 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11667/stat : 11667 (java) R 11651 11651 15667 0 -1 4202560 1991 0 0 0 74 0 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650433397064 140651757508127 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11668] ppid=11651 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11668/stat : 11668 (java) S 11651 11651 15667 0 -1 1077944384 2015 0 0 0 70 1 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650432363248 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11669] ppid=11651 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11669/stat : 11669 (java) R 11651 11651 15667 0 -1 4202560 2057 0 0 0 90 0 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650431303552 140651755063066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11670] ppid=11651 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11670/stat : 11670 (java) S 11651 11651 15667 0 -1 1077944384 1735 0 0 0 46 0 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650430257648 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11671] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11671/stat : 11671 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650429205088 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11672] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11672/stat : 11672 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785124 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650428152368 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11673] ppid=11651 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11673/stat : 11673 (java) R 11651 11651 15667 0 -1 4202560 59 0 0 0 57 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650420639080 140651404584677 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11674] ppid=11651 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11674/stat : 11674 (java) R 11651 11651 15667 0 -1 4202560 49 0 0 0 49 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650419584984 140651404584899 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11675] ppid=11651 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11675/stat : 11675 (java) R 11651 11651 15667 0 -1 4202560 40 0 0 0 69 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650418533216 140651404492105 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11676] ppid=11651 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11676/stat : 11676 (java) R 11651 11651 15667 0 -1 4202560 64 0 0 0 72 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650417481608 140651404599219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11677] ppid=11651 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11677/stat : 11677 (java) R 11651 11651 15667 0 -1 4202560 33 0 0 0 51 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650416429464 140651404596062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11678] ppid=11651 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11678/stat : 11678 (java) R 11651 11651 15667 0 -1 4202560 44 0 0 0 64 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650415376808 140651404595488 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11679] ppid=11651 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11679/stat : 11679 (java) R 11651 11651 15667 0 -1 4202560 42 0 0 0 63 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650414324784 140651404584899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11680] ppid=11651 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11680/stat : 11680 (java) R 11651 11651 15667 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 28 0 4785179 14133010432 26401 33554432000 4194304 4196468 140732503526320 140650413268344 140651404599245 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 13811280
[startup+3.1015 s]
/proc/loadavg: 12.94 12.06 13.13 20/299 11680
/proc/meminfo: memFree=31376624/32770624 swapFree=5892/130296
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
[pid=11652] ppid=11651 vsize=13801768 CPUtime=20.9 cores=0,2,4,6,8,10,12,14
/proc/11652/stat : 11652 (java) S 11651 11651 15667 0 -1 1077944320 25369 0 0 0 2080 10 0 0 20 0 28 0 4785115 14133010432 32305 33554432000 4194304 4196468 140732503526320 140732503508864 140651773517559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
/proc/11652/statm: 3450442 32305 3246 1 0 3437675 0
[pid=11652/tid=11653] ppid=11651 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11653/stat : 11653 (java) S 11651 11651 15667 0 -1 1077944384 6838 0 0 0 58 3 0 0 20 0 28 0 4785115 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651777758336 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11655] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11655/stat : 11655 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651726138000 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11656] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11656/stat : 11656 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651725085200 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11657] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11657/stat : 11657 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651370314128 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11658] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11658/stat : 11658 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651369261328 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11659] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11659/stat : 11659 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651368209552 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11660] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11660/stat : 11660 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651367156752 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11661] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11661/stat : 11661 (java) S 11651 11651 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651366103952 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11662] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11662/stat : 11662 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785116 14133010432 32305 33554432000 4194304 4196468 140732503526320 140651365051152 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11663] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11663/stat : 11663 (java) S 11651 11651 15667 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4785118 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650437626224 140651773528706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11664] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11664/stat : 11664 (java) S 11651 11651 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650436572192 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11665] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11665/stat : 11665 (java) S 11651 11651 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650435519344 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11666] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11666/stat : 11666 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650434467664 140651773536155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11667] ppid=11651 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11667/stat : 11667 (java) R 11651 11651 15667 0 -1 4202560 5295 0 0 0 153 1 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650433397248 140651751112337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11668] ppid=11651 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11668/stat : 11668 (java) R 11651 11651 15667 0 -1 4202560 3820 0 0 0 135 1 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650432349680 140651757018097 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11669] ppid=11651 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11669/stat : 11669 (java) R 11651 11651 15667 0 -1 1077944384 4299 0 0 0 149 1 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650431297920 140651773527765 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11670] ppid=11651 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11670/stat : 11670 (java) S 11651 11651 15667 0 -1 1077944384 2461 0 0 0 57 0 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650430257648 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11671] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11671/stat : 11671 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650429205088 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11672] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11672/stat : 11672 (java) S 11651 11651 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4785124 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650428152368 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11673] ppid=11651 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11673/stat : 11673 (java) R 11651 11651 15667 0 -1 4202560 106 0 0 0 208 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650420636312 140651409406837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11674] ppid=11651 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11674/stat : 11674 (java) R 11651 11651 15667 0 -1 4202560 83 0 0 0 178 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650419584616 140651409404238 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11675] ppid=11651 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11675/stat : 11675 (java) R 11651 11651 15667 0 -1 4202560 293 0 0 0 199 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650418532840 140651409403998 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11676] ppid=11651 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11676/stat : 11676 (java) R 11651 11651 15667 0 -1 4202560 265 0 0 0 196 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650417480632 140651409403908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11677] ppid=11651 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11677/stat : 11677 (java) R 11651 11651 15667 0 -1 4202560 238 0 0 0 180 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650416427600 140651409404519 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11678] ppid=11651 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11678/stat : 11678 (java) R 11651 11651 15667 0 -1 4202560 99 0 0 0 199 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650415374456 140651409403727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11679] ppid=11651 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11679/stat : 11679 (java) R 11651 11651 15667 0 -1 4202560 82 0 0 0 187 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650414321640 140651409404212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11680] ppid=11651 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11680/stat : 11680 (java) R 11651 11651 15667 0 -1 4202560 103 0 0 0 175 0 0 0 20 0 28 0 4785179 14133010432 32305 33554432000 4194304 4196468 140732503526320 140650413267864 140651409407082 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 13.18 12.12 13.14 17/299 11680
/proc/meminfo: memFree=31271436/32770624 swapFree=5892/130320
################
# More data... #
################
[pid=11652/tid=11679] ppid=11651 vsize=13801768 CPUtime=279.45 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11679/stat : 11679 (java) R 11651 11651 15667 0 -1 4202560 942 0 0 0 27945 0 0 0 20 0 28 0 4785179 14133010432 56650 33554432000 4194304 4196468 140732503526320 140650414324496 140651409406998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11680] ppid=11651 vsize=13801768 CPUtime=279.91 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11680/stat : 11680 (java) R 11651 11651 15667 0 -1 4202560 719 0 0 0 27990 1 0 0 20 0 28 0 4785179 14133010432 56650 33554432000 4194304 4196468 140732503526320 140650413268888 140651409403998 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
Current children cumulated CPU time (s) 2243.2
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.101 s]
/proc/loadavg: 15.27 14.33 13.84 17/300 11788
/proc/meminfo: memFree=29664640/32770624 swapFree=5892/130696
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
[pid=11652] ppid=11651 vsize=13801768 CPUtime=2400.68 cores=0,2,4,6,8,10,12,14
/proc/11652/stat : 11652 (java) S 11651 11651 15667 0 -1 1077944320 64514 0 0 0 239967 101 0 0 20 0 28 0 4785115 14133010432 56674 33554432000 4194304 4196468 140732503526320 140732503508864 140651773517559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
/proc/11652/statm: 3450442 56674 3275 1 0 3437675 0
[pid=11652/tid=11653] ppid=11651 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11653/stat : 11653 (java) S 11651 11651 15667 0 -1 1077944384 6838 0 0 0 58 3 0 0 20 0 28 0 4785115 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651777758336 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11655] ppid=11651 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11655/stat : 11655 (java) S 11651 11651 15667 0 -1 1077944384 362 0 0 0 25 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651726138000 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11656] ppid=11651 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11656/stat : 11656 (java) S 11651 11651 15667 0 -1 1077944384 1799 0 0 0 24 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651725085200 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11657] ppid=11651 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11657/stat : 11657 (java) S 11651 11651 15667 0 -1 1077944384 1059 0 0 0 25 8 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651370314128 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11658] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11658/stat : 11658 (java) S 11651 11651 15667 0 -1 1077944384 665 0 0 0 25 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651369261328 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11659] ppid=11651 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11659/stat : 11659 (java) S 11651 11651 15667 0 -1 1077944384 421 0 0 0 27 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651368209552 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11660] ppid=11651 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11660/stat : 11660 (java) S 11651 11651 15667 0 -1 1077944384 546 0 0 0 23 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651367156752 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11661] ppid=11651 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11661/stat : 11661 (java) S 11651 11651 15667 0 -1 1077944384 1560 0 0 0 25 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651366103952 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11662] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11662/stat : 11662 (java) S 11651 11651 15667 0 -1 1077944384 945 0 0 0 25 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651365051152 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11663] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11663/stat : 11663 (java) S 11651 11651 15667 0 -1 1077944384 2402 0 0 0 14 17 0 0 20 0 28 0 4785118 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650437626224 140651773528706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11664] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11664/stat : 11664 (java) S 11651 11651 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650436572192 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11665] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11665/stat : 11665 (java) S 11651 11651 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650435519344 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11666] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11666/stat : 11666 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650434467664 140651773536155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11667] ppid=11651 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11667/stat : 11667 (java) S 11651 11651 15667 0 -1 1077944384 10323 0 0 0 252 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650433416048 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11668] ppid=11651 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11668/stat : 11668 (java) S 11651 11651 15667 0 -1 1077944384 10960 0 0 0 255 2 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650432363248 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11669] ppid=11651 vsize=13801768 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11669/stat : 11669 (java) S 11651 11651 15667 0 -1 1077944384 9354 0 0 0 227 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650431310448 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11670] ppid=11651 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11670/stat : 11670 (java) S 11651 11651 15667 0 -1 1077944384 5666 0 0 0 67 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650430257648 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11671] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11671/stat : 11671 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650429205088 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11672] ppid=11651 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11672/stat : 11672 (java) S 11651 11651 15667 0 -1 1077944384 505 0 0 0 4 5 0 0 20 0 28 0 4785124 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650428152368 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11673] ppid=11651 vsize=13801768 CPUtime=298.04 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11673/stat : 11673 (java) R 11651 11651 15667 0 -1 4202560 938 0 0 0 29804 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650420636248 140651408629363 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11674] ppid=11651 vsize=13801768 CPUtime=298.99 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11674/stat : 11674 (java) R 11651 11651 15667 0 -1 4202560 881 0 0 0 29899 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650419584664 140651409926569 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11675] ppid=11651 vsize=13801768 CPUtime=299.33 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11675/stat : 11675 (java) R 11651 11651 15667 0 -1 4202560 2245 0 0 0 29932 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650418535216 140651410668475 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11676] ppid=11651 vsize=13801768 CPUtime=297.89 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11676/stat : 11676 (java) R 11651 11651 15667 0 -1 4202560 1782 0 0 0 29788 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650417480088 140651409403441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11677] ppid=11651 vsize=13801768 CPUtime=297 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11677/stat : 11677 (java) R 11651 11651 15667 0 -1 4202560 1625 0 0 0 29699 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650416427288 140651410668732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11678] ppid=11651 vsize=13801768 CPUtime=299.03 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11678/stat : 11678 (java) R 11651 11651 15667 0 -1 4202560 625 0 0 0 29900 3 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650415374488 140651409404064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11679] ppid=11651 vsize=13801768 CPUtime=298.92 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11679/stat : 11679 (java) R 11651 11651 15667 0 -1 4202560 944 0 0 0 29892 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650414321440 140651409403692 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11680] ppid=11651 vsize=13801768 CPUtime=299.64 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11680/stat : 11680 (java) R 11651 11651 15667 0 -1 4202560 722 0 0 0 29963 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650413268760 140651409406858 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
Current children cumulated CPU time (s) 2400.68
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 11652 sig 9
??? kill 11651 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.101 s]
/proc/loadavg: 15.27 14.33 13.84 17/300 11788
/proc/meminfo: memFree=29664640/32770624 swapFree=5892/130696
[pid=11651] ppid=11648 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11651/stat : 11651 (xcsp3-exec) S 11648 11651 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4785114 9740288 346 33554432000 4194304 5098028 140736182518512 140736182516616 140063776162428 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28409856 140736182527119 140736182527328 140736182527328 140736182530027 0
/proc/11651/statm: 2378 346 289 221 0 87 0
[pid=11652] ppid=11651 vsize=13801768 CPUtime=2400.68 cores=0,2,4,6,8,10,12,14
/proc/11652/stat : 11652 (java) S 11651 11651 15667 0 -1 1077944320 64514 0 0 0 239967 101 0 0 20 0 28 0 4785115 14133010432 56674 33554432000 4194304 4196468 140732503526320 140732503508864 140651773517559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
/proc/11652/statm: 3450442 56674 3275 1 0 3437675 0
[pid=11652/tid=11653] ppid=11651 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11653/stat : 11653 (java) S 11651 11651 15667 0 -1 1077944384 6838 0 0 0 58 3 0 0 20 0 28 0 4785115 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651777758336 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11655] ppid=11651 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11655/stat : 11655 (java) S 11651 11651 15667 0 -1 1077944384 362 0 0 0 25 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651726138000 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11656] ppid=11651 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11656/stat : 11656 (java) S 11651 11651 15667 0 -1 1077944384 1799 0 0 0 24 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651725085200 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11657] ppid=11651 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11657/stat : 11657 (java) S 11651 11651 15667 0 -1 1077944384 1059 0 0 0 25 8 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651370314128 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11658] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11658/stat : 11658 (java) S 11651 11651 15667 0 -1 1077944384 665 0 0 0 25 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651369261328 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11659] ppid=11651 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11659/stat : 11659 (java) S 11651 11651 15667 0 -1 1077944384 421 0 0 0 27 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651368209552 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11660] ppid=11651 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11660/stat : 11660 (java) S 11651 11651 15667 0 -1 1077944384 546 0 0 0 23 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651367156752 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11661] ppid=11651 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11661/stat : 11661 (java) S 11651 11651 15667 0 -1 1077944384 1560 0 0 0 25 7 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651366103952 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11662] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11662/stat : 11662 (java) S 11651 11651 15667 0 -1 1077944384 945 0 0 0 25 6 0 0 20 0 28 0 4785116 14133010432 56674 33554432000 4194304 4196468 140732503526320 140651365051152 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11663] ppid=11651 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11663/stat : 11663 (java) S 11651 11651 15667 0 -1 1077944384 2402 0 0 0 14 17 0 0 20 0 28 0 4785118 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650437626224 140651773528706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11664] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11664/stat : 11664 (java) S 11651 11651 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650436572192 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11665] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11665/stat : 11665 (java) S 11651 11651 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4785119 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650435519344 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11666] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11666/stat : 11666 (java) S 11651 11651 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650434467664 140651773536155 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11667] ppid=11651 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11667/stat : 11667 (java) S 11651 11651 15667 0 -1 1077944384 10323 0 0 0 252 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650433416048 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11668] ppid=11651 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11668/stat : 11668 (java) S 11651 11651 15667 0 -1 1077944384 10960 0 0 0 255 2 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650432363248 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11669] ppid=11651 vsize=13801768 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11669/stat : 11669 (java) S 11651 11651 15667 0 -1 1077944384 9354 0 0 0 227 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650431310448 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11670] ppid=11651 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11670/stat : 11670 (java) S 11651 11651 15667 0 -1 1077944384 5666 0 0 0 67 1 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650430257648 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11671] ppid=11651 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11671/stat : 11671 (java) S 11651 11651 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4785123 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650429205088 140651773527765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11672] ppid=11651 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11672/stat : 11672 (java) S 11651 11651 15667 0 -1 1077944384 505 0 0 0 4 5 0 0 20 0 28 0 4785124 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650428152368 140651773528706 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11673] ppid=11651 vsize=13801768 CPUtime=298.04 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11673/stat : 11673 (java) R 11651 11651 15667 0 -1 4202560 938 0 0 0 29804 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650420636248 140651408629363 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11674] ppid=11651 vsize=13801768 CPUtime=298.99 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11674/stat : 11674 (java) R 11651 11651 15667 0 -1 4202560 881 0 0 0 29899 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650419584664 140651409926569 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11675] ppid=11651 vsize=13801768 CPUtime=299.33 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11675/stat : 11675 (java) R 11651 11651 15667 0 -1 4202560 2245 0 0 0 29932 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650418535216 140651410668475 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11676] ppid=11651 vsize=13801768 CPUtime=297.89 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11676/stat : 11676 (java) R 11651 11651 15667 0 -1 4202560 1782 0 0 0 29788 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650417480088 140651409403441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11677] ppid=11651 vsize=13801768 CPUtime=297 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11677/stat : 11677 (java) R 11651 11651 15667 0 -1 4202560 1625 0 0 0 29699 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650416427288 140651410668732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11678] ppid=11651 vsize=13801768 CPUtime=299.03 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11678/stat : 11678 (java) R 11651 11651 15667 0 -1 4202560 625 0 0 0 29900 3 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650415374488 140651409404064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11679] ppid=11651 vsize=13801768 CPUtime=298.92 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11679/stat : 11679 (java) R 11651 11651 15667 0 -1 4202560 944 0 0 0 29892 0 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650414321440 140651409403692 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
[pid=11652/tid=11680] ppid=11651 vsize=13801768 CPUtime=299.64 cores=0,2,4,6,8,10,12,14
/proc/11652/task/11680/stat : 11680 (java) R 11651 11651 15667 0 -1 4202560 722 0 0 0 29963 1 0 0 20 0 28 0 4785179 14133010432 56674 33554432000 4194304 4196468 140732503526320 140650413268760 140651409406858 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27729920 140732503528636 140732503528812 140732503528812 140732503531471 0
Current children cumulated CPU time (s) 2400.68
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11651 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2063
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1031
# CPU time returned by wait4() is 0.003094
# while last known CPU time is 2400.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.68
CPU user time (s): 2399.67
CPU system time (s): 1.01
CPU usage (%): 794.632
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002063
system time used= 0.001031
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86734 second user time and 3.90034 second system time
The end