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-4245239-1500685406/watcher-4245239-1500685406 -o /tmp/evaluation-result-4245239-1500685406/solver-4245239-1500685406 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1605771869 HOME/instance-4245239-1500685406.xml
pid=26384
running on 8 cores: 1,3,5,7,9,11,13,15
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.04 14.43 11.85 9/273 26387
/proc/meminfo: memFree=28423900/32770624 swapFree=5800/238316
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.04 14.43 11.85 9/273 26387
/proc/meminfo: memFree=28423900/32770624 swapFree=5800/238316
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200308 s]
/proc/loadavg: 15.04 14.43 11.85 9/273 26387
/proc/meminfo: memFree=28423900/32770624 swapFree=5800/238316
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300304 s]
/proc/loadavg: 15.04 14.43 11.85 9/273 26387
/proc/meminfo: memFree=28423900/32770624 swapFree=5800/238316
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 15.04 14.43 11.85 9/273 26387
/proc/meminfo: memFree=28423900/32770624 swapFree=5800/238316
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50133 s]
/proc/loadavg: 15.04 14.43 11.85 20/302 26416
/proc/meminfo: memFree=28295332/32770624 swapFree=5800/238360
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
[pid=26388] ppid=26387 vsize=13801768 CPUtime=7.25 cores=1,3,5,7,9,11,13,15
/proc/26388/stat : 26388 (java) S 26387 26387 7621 0 -1 1077944320 16563 0 0 0 716 9 0 0 20 0 28 0 3808389 14133010432 41457 33554432000 4194304 4196468 140723125144352 140723125126896 139884062863095 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
/proc/26388/statm: 3450442 41457 3223 1 0 3437675 0
[pid=26388/tid=26389] ppid=26387 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26389/stat : 26389 (java) S 26387 26387 7621 0 -1 1077944384 6934 0 0 0 82 4 0 0 20 0 28 0 3808390 14133010432 41457 33554432000 4194304 4196468 140723125144352 139884067103872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26391] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26391/stat : 26391 (java) S 26387 26387 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139884001827472 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26392] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26392/stat : 26392 (java) S 26387 26387 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139884000774672 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26393] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26393/stat : 26393 (java) S 26387 26387 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883999721872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26394] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26394/stat : 26394 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883658565904 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26395] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26395/stat : 26395 (java) S 26387 26387 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883657514128 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26396] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26396/stat : 26396 (java) S 26387 26387 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883656461328 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26397] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26397/stat : 26397 (java) S 26387 26387 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883655408528 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26398] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26398/stat : 26398 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883654355728 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26399] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26399/stat : 26399 (java) S 26387 26387 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3808393 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883524897136 139884062874242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26400] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26400/stat : 26400 (java) S 26387 26387 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883523843104 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26401] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26401/stat : 26401 (java) S 26387 26387 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883522790256 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26402] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26402/stat : 26402 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883521738576 139884062881691 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26403] ppid=26387 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26403/stat : 26403 (java) R 26387 26387 7621 0 -1 4202560 2117 0 0 0 78 0 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883520679448 139884046349297 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26404] ppid=26387 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26404/stat : 26404 (java) R 26387 26387 7621 0 -1 4202560 1489 0 0 0 78 0 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883519620040 139884042239601 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26405] ppid=26387 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26405/stat : 26405 (java) R 26387 26387 7621 0 -1 4202560 1671 0 0 0 70 0 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883518568176 139884047255076 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26406] ppid=26387 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26406/stat : 26406 (java) S 26387 26387 7621 0 -1 1077944384 2695 0 0 0 63 1 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883517528560 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26407] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26407/stat : 26407 (java) S 26387 26387 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883516476000 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26408] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26408/stat : 26408 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808399 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883515423280 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26409] ppid=26387 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26409/stat : 26409 (java) R 26387 26387 7621 0 -1 4202560 54 0 0 0 45 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883507408624 139883684648447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26410] ppid=26387 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26410/stat : 26410 (java) R 26387 26387 7621 0 -1 4202560 53 0 0 0 54 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883506358616 139883684648486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26411] ppid=26387 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26411/stat : 26411 (java) R 26387 26387 7621 0 -1 4202560 45 0 0 0 37 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883505304104 139883685466169 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26412] ppid=26387 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26412/stat : 26412 (java) R 26387 26387 7621 0 -1 4202560 43 0 0 0 38 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883504251336 139883684648502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26413] ppid=26387 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26413/stat : 26413 (java) R 26387 26387 7621 0 -1 4202560 45 0 0 0 48 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883503200968 139883685466169 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26414] ppid=26387 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26414/stat : 26414 (java) R 26387 26387 7621 0 -1 4202560 40 0 0 0 44 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883502145776 139883684648831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26415] ppid=26387 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26415/stat : 26415 (java) R 26387 26387 7621 0 -1 4202560 32 0 0 0 35 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883501093064 139883685464576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26416] ppid=26387 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26416/stat : 26416 (java) R 26387 26387 7621 0 -1 4202560 30 0 0 0 40 0 0 0 20 0 28 0 3808478 14133010432 41457 33554432000 4194304 4196468 140723125144352 139883500042144 139883684648831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 13811280
[startup+3.10341 s]
/proc/loadavg: 15.04 14.43 11.85 20/302 26416
/proc/meminfo: memFree=28240144/32770624 swapFree=5800/238360
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
[pid=26388] ppid=26387 vsize=13801768 CPUtime=19.94 cores=1,3,5,7,9,11,13,15
/proc/26388/stat : 26388 (java) S 26387 26387 7621 0 -1 1077944320 29542 0 0 0 1974 20 0 0 20 0 28 0 3808389 14133010432 57320 33554432000 4194304 4196468 140723125144352 140723125126896 139884062863095 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
/proc/26388/statm: 3450442 57320 3260 1 0 3437675 0
[pid=26388/tid=26389] ppid=26387 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26389/stat : 26389 (java) S 26387 26387 7621 0 -1 1077944384 6934 0 0 0 82 4 0 0 20 0 28 0 3808390 14133010432 57320 33554432000 4194304 4196468 140723125144352 139884067103872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26391] ppid=26387 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26391/stat : 26391 (java) S 26387 26387 7621 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139884001827472 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26392] ppid=26387 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26392/stat : 26392 (java) S 26387 26387 7621 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139884000774672 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26393] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26393/stat : 26393 (java) S 26387 26387 7621 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883999721872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26394] ppid=26387 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26394/stat : 26394 (java) S 26387 26387 7621 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883658565904 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26395] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26395/stat : 26395 (java) S 26387 26387 7621 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883657514128 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26396] ppid=26387 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26396/stat : 26396 (java) S 26387 26387 7621 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883656461328 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26397] ppid=26387 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26397/stat : 26397 (java) S 26387 26387 7621 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883655408528 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26398] ppid=26387 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26398/stat : 26398 (java) S 26387 26387 7621 0 -1 1077944384 248 0 0 0 1 1 0 0 20 0 28 0 3808391 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883654355728 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26399] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26399/stat : 26399 (java) S 26387 26387 7621 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 3808393 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883524897136 139884062874242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26400] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26400/stat : 26400 (java) S 26387 26387 7621 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883523843168 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26401] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26401/stat : 26401 (java) S 26387 26387 7621 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883522790256 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26402] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26402/stat : 26402 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883521738576 139884062881691 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26403] ppid=26387 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26403/stat : 26403 (java) S 26387 26387 7621 0 -1 1077944384 6358 0 0 0 188 1 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883520686960 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26404] ppid=26387 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26404/stat : 26404 (java) S 26387 26387 7621 0 -1 1077944384 4456 0 0 0 196 0 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883519634160 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26405] ppid=26387 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26405/stat : 26405 (java) S 26387 26387 7621 0 -1 1077944384 4660 0 0 0 185 0 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883518581360 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26406] ppid=26387 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26406/stat : 26406 (java) S 26387 26387 7621 0 -1 1077944384 3842 0 0 0 75 1 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883517528560 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26407] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26407/stat : 26407 (java) S 26387 26387 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883516476000 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26408] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26408/stat : 26408 (java) S 26387 26387 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3808399 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883515423280 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26409] ppid=26387 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26409/stat : 26409 (java) R 26387 26387 7621 0 -1 4202560 98 0 0 0 170 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883507408104 139883686387589 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26410] ppid=26387 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26410/stat : 26410 (java) R 26387 26387 7621 0 -1 4202560 247 0 0 0 166 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883506356248 139883686387638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26411] ppid=26387 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26411/stat : 26411 (java) R 26387 26387 7621 0 -1 4202560 150 0 0 0 158 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883505306264 139883686387748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26412] ppid=26387 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26412/stat : 26412 (java) R 26387 26387 7621 0 -1 4202560 343 0 0 0 133 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883504252352 139883686387869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26413] ppid=26387 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26413/stat : 26413 (java) R 26387 26387 7621 0 -1 4202560 86 0 0 0 152 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883503200568 139883686388418 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26414] ppid=26387 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26414/stat : 26414 (java) R 26387 26387 7621 0 -1 4202560 102 0 0 0 167 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883502147800 139883685531208 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26415] ppid=26387 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26415/stat : 26415 (java) R 26387 26387 7621 0 -1 4202560 86 0 0 0 127 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883501093416 139883685329676 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26416] ppid=26387 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26416/stat : 26416 (java) R 26387 26387 7621 0 -1 4202560 80 0 0 0 160 0 0 0 20 0 28 0 3808478 14133010432 57320 33554432000 4194304 4196468 140723125144352 139883500040856 139883686388165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (KiB) 13811280
[startup+6.30159 s]
/proc/loadavg: 15.36 14.51 11.89 18/302 26416
/proc/meminfo: memFree=28165028/32770624 swapFree=5800/238372
################
# More data... #
################
/proc/26388/task/26415/stat : 26415 (java) R 26387 26387 7621 0 -1 4202560 1123 0 0 0 27784 1 0 0 20 0 28 0 3808478 14133010432 59631 33554432000 4194304 4196468 140723125144352 139883501092696 139883685531363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26416] ppid=26387 vsize=13801768 CPUtime=278.77 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26416/stat : 26416 (java) R 26387 26387 7621 0 -1 4202560 736 0 0 0 27876 1 0 0 20 0 28 0 3808478 14133010432 59631 33554432000 4194304 4196468 140723125144352 139883500039896 139883688221316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
Current children cumulated CPU time (s) 2240.14
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.501 s]
/proc/loadavg: 16.00 15.49 13.04 17/300 26516
/proc/meminfo: memFree=31355792/32770624 swapFree=5800/238724
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
[pid=26388] ppid=26387 vsize=13801768 CPUtime=2400.39 cores=1,3,5,7,9,11,13,15
/proc/26388/stat : 26388 (java) S 26387 26387 7621 0 -1 1077944320 73458 0 0 0 239894 145 0 0 20 0 28 0 3808389 14133010432 61647 33554432000 4194304 4196468 140723125144352 140723125126896 139884062863095 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
/proc/26388/statm: 3450442 61647 3278 1 0 3437675 0
[pid=26388/tid=26389] ppid=26387 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26389/stat : 26389 (java) S 26387 26387 7621 0 -1 1077944384 6934 0 0 0 82 4 0 0 20 0 28 0 3808390 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884067103872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26391] ppid=26387 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26391/stat : 26391 (java) S 26387 26387 7621 0 -1 1077944384 1037 0 0 0 25 7 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884001827472 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26392] ppid=26387 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26392/stat : 26392 (java) S 26387 26387 7621 0 -1 1077944384 706 0 0 0 26 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884000774672 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26393] ppid=26387 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26393/stat : 26393 (java) S 26387 26387 7621 0 -1 1077944384 1282 0 0 0 24 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883999721872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26394] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26394/stat : 26394 (java) S 26387 26387 7621 0 -1 1077944384 934 0 0 0 26 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883658565904 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26395] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26395/stat : 26395 (java) S 26387 26387 7621 0 -1 1077944384 1460 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883657514128 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26396] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26396/stat : 26396 (java) S 26387 26387 7621 0 -1 1077944384 545 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883656461328 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26397] ppid=26387 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26397/stat : 26397 (java) S 26387 26387 7621 0 -1 1077944384 1735 0 0 0 25 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883655408528 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26398] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26398/stat : 26398 (java) S 26387 26387 7621 0 -1 1077944384 1930 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883654355728 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26399] ppid=26387 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26399/stat : 26399 (java) S 26387 26387 7621 0 -1 1077944384 2410 0 0 0 26 39 0 0 20 0 28 0 3808393 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883524897136 139884062874242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26400] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26400/stat : 26400 (java) S 26387 26387 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883523843168 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26401] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26401/stat : 26401 (java) S 26387 26387 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883522790272 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26402] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26402/stat : 26402 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883521738576 139884062881691 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26403] ppid=26387 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26403/stat : 26403 (java) S 26387 26387 7621 0 -1 1077944384 12105 0 0 0 341 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883520686960 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26404] ppid=26387 vsize=13801768 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26404/stat : 26404 (java) S 26387 26387 7621 0 -1 1077944384 9324 0 0 0 319 1 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883519634160 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26405] ppid=26387 vsize=13801768 CPUtime=3.28 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26405/stat : 26405 (java) S 26387 26387 7621 0 -1 1077944384 12865 0 0 0 326 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883518581360 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26406] ppid=26387 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26406/stat : 26406 (java) S 26387 26387 7621 0 -1 1077944384 7842 0 0 0 91 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883517528560 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26407] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26407/stat : 26407 (java) S 26387 26387 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883516476000 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26408] ppid=26387 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26408/stat : 26408 (java) S 26387 26387 7621 0 -1 1077944384 375 0 0 0 8 7 0 0 20 0 28 0 3808399 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883515423280 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26409] ppid=26387 vsize=13801768 CPUtime=298.66 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26409/stat : 26409 (java) R 26387 26387 7621 0 -1 4202560 1284 0 0 0 29865 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883507407656 139883686388333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26410] ppid=26387 vsize=13801768 CPUtime=298.21 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26410/stat : 26410 (java) R 26387 26387 7621 0 -1 4202560 1325 0 0 0 29819 2 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883506358720 139883686268907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26411] ppid=26387 vsize=13801768 CPUtime=298.66 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26411/stat : 26411 (java) R 26387 26387 7621 0 -1 4202560 1918 0 0 0 29864 2 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883505303664 139883687755104 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26412] ppid=26387 vsize=13801768 CPUtime=297.44 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26412/stat : 26412 (java) R 26387 26387 7621 0 -1 4202560 1880 0 0 0 29743 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883504251416 139883688221323 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26413] ppid=26387 vsize=13801768 CPUtime=297.54 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26413/stat : 26413 (java) R 26387 26387 7621 0 -1 4202560 1607 0 0 0 29753 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883503198616 139883688221323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26414] ppid=26387 vsize=13801768 CPUtime=297.94 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26414/stat : 26414 (java) R 26387 26387 7621 0 -1 4202560 625 0 0 0 29793 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883502145736 139883686387216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26415] ppid=26387 vsize=13801768 CPUtime=297.89 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26415/stat : 26415 (java) R 26387 26387 7621 0 -1 4202560 1194 0 0 0 29788 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883501092728 139883685532435 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26416] ppid=26387 vsize=13801768 CPUtime=298.67 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26416/stat : 26416 (java) R 26387 26387 7621 0 -1 4202560 803 0 0 0 29866 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883500040152 139883686388418 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
Current children cumulated CPU time (s) 2400.39
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 26388 sig 9
??? kill 26387 sig 9
??? kill -26387 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.501 s]
/proc/loadavg: 16.00 15.49 13.04 17/300 26516
/proc/meminfo: memFree=31355792/32770624 swapFree=5800/238724
[pid=26387] ppid=26384 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26387/stat : 26387 (xcsp3-exec) S 26384 26387 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3808389 9740288 346 33554432000 4194304 5098028 140724029507648 140724029505752 140305797829244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8146944 140724029510798 140724029511008 140724029511008 140724029513707 0
/proc/26387/statm: 2378 346 289 221 0 87 0
[pid=26388] ppid=26387 vsize=13801768 CPUtime=2400.39 cores=1,3,5,7,9,11,13,15
/proc/26388/stat : 26388 (java) S 26387 26387 7621 0 -1 1077944320 73458 0 0 0 239894 145 0 0 20 0 28 0 3808389 14133010432 61647 33554432000 4194304 4196468 140723125144352 140723125126896 139884062863095 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
/proc/26388/statm: 3450442 61647 3278 1 0 3437675 0
[pid=26388/tid=26389] ppid=26387 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26389/stat : 26389 (java) S 26387 26387 7621 0 -1 1077944384 6934 0 0 0 82 4 0 0 20 0 28 0 3808390 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884067103872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26391] ppid=26387 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26391/stat : 26391 (java) S 26387 26387 7621 0 -1 1077944384 1037 0 0 0 25 7 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884001827472 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26392] ppid=26387 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26392/stat : 26392 (java) S 26387 26387 7621 0 -1 1077944384 706 0 0 0 26 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139884000774672 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26393] ppid=26387 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26393/stat : 26393 (java) S 26387 26387 7621 0 -1 1077944384 1282 0 0 0 24 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883999721872 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26394] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26394/stat : 26394 (java) S 26387 26387 7621 0 -1 1077944384 934 0 0 0 26 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883658565904 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26395] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26395/stat : 26395 (java) S 26387 26387 7621 0 -1 1077944384 1460 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883657514128 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26396] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26396/stat : 26396 (java) S 26387 26387 7621 0 -1 1077944384 545 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883656461328 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26397] ppid=26387 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26397/stat : 26397 (java) S 26387 26387 7621 0 -1 1077944384 1735 0 0 0 25 8 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883655408528 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26398] ppid=26387 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26398/stat : 26398 (java) S 26387 26387 7621 0 -1 1077944384 1930 0 0 0 25 9 0 0 20 0 28 0 3808391 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883654355728 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26399] ppid=26387 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26399/stat : 26399 (java) S 26387 26387 7621 0 -1 1077944384 2410 0 0 0 26 39 0 0 20 0 28 0 3808393 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883524897136 139884062874242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26400] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26400/stat : 26400 (java) S 26387 26387 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883523843168 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26401] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26401/stat : 26401 (java) S 26387 26387 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3808394 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883522790272 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26402] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26402/stat : 26402 (java) S 26387 26387 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883521738576 139884062881691 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26403] ppid=26387 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26403/stat : 26403 (java) S 26387 26387 7621 0 -1 1077944384 12105 0 0 0 341 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883520686960 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26404] ppid=26387 vsize=13801768 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26404/stat : 26404 (java) S 26387 26387 7621 0 -1 1077944384 9324 0 0 0 319 1 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883519634160 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26405] ppid=26387 vsize=13801768 CPUtime=3.28 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26405/stat : 26405 (java) S 26387 26387 7621 0 -1 1077944384 12865 0 0 0 326 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883518581360 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26406] ppid=26387 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26406/stat : 26406 (java) S 26387 26387 7621 0 -1 1077944384 7842 0 0 0 91 2 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883517528560 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26407] ppid=26387 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26407/stat : 26407 (java) S 26387 26387 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3808398 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883516476000 139884062873301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26408] ppid=26387 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26408/stat : 26408 (java) S 26387 26387 7621 0 -1 1077944384 375 0 0 0 8 7 0 0 20 0 28 0 3808399 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883515423280 139884062874242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26409] ppid=26387 vsize=13801768 CPUtime=298.66 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26409/stat : 26409 (java) R 26387 26387 7621 0 -1 4202560 1284 0 0 0 29865 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883507407656 139883686388333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26410] ppid=26387 vsize=13801768 CPUtime=298.21 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26410/stat : 26410 (java) R 26387 26387 7621 0 -1 4202560 1325 0 0 0 29819 2 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883506358720 139883686268907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26411] ppid=26387 vsize=13801768 CPUtime=298.66 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26411/stat : 26411 (java) R 26387 26387 7621 0 -1 4202560 1918 0 0 0 29864 2 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883505303664 139883687755104 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26412] ppid=26387 vsize=13801768 CPUtime=297.44 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26412/stat : 26412 (java) R 26387 26387 7621 0 -1 4202560 1880 0 0 0 29743 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883504251416 139883688221323 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26413] ppid=26387 vsize=13801768 CPUtime=297.54 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26413/stat : 26413 (java) R 26387 26387 7621 0 -1 4202560 1607 0 0 0 29753 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883503198616 139883688221323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26414] ppid=26387 vsize=13801768 CPUtime=297.94 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26414/stat : 26414 (java) R 26387 26387 7621 0 -1 4202560 625 0 0 0 29793 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883502145736 139883686387216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26415] ppid=26387 vsize=13801768 CPUtime=297.89 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26415/stat : 26415 (java) R 26387 26387 7621 0 -1 4202560 1194 0 0 0 29788 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883501092728 139883685532435 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
[pid=26388/tid=26416] ppid=26387 vsize=13801768 CPUtime=298.67 cores=1,3,5,7,9,11,13,15
/proc/26388/task/26416/stat : 26416 (java) R 26387 26387 7621 0 -1 4202560 803 0 0 0 29866 1 0 0 20 0 28 0 3808478 14133010432 61647 33554432000 4194304 4196468 140723125144352 139883500040152 139883686388418 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22827008 140723125146812 140723125146988 140723125146988 140723125149647 0
Current children cumulated CPU time (s) 2400.39
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 26387 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1489
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1489
# CPU time returned by wait4() is 0.002978
# while last known CPU time is 2400.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.528
CPU time (s): 2400.39
CPU user time (s): 2398.94
CPU system time (s): 1.45
CPU usage (%): 793.443
Max. virtual memory (cumulated for all children) (KiB): 13815412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001489
system time used= 0.001489
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.67428 second user time and 4.07123 second system time
The end