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-4246271-1500687380/watcher-4246271-1500687380 -o /tmp/evaluation-result-4246271-1500687380/solver-4246271-1500687380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1523415405 HOME/instance-4246271-1500687380.xml
pid=27473
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.86 15.18 14.57 10/270 27476
/proc/meminfo: memFree=31628360/32770624 swapFree=5808/100380
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
[startup+0.100133 s]
/proc/loadavg: 15.86 15.18 14.57 10/270 27476
/proc/meminfo: memFree=31628360/32770624 swapFree=5808/100380
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200312 s]
/proc/loadavg: 15.86 15.18 14.57 10/270 27476
/proc/meminfo: memFree=31628360/32770624 swapFree=5808/100380
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300266 s]
/proc/loadavg: 15.86 15.18 14.57 10/270 27476
/proc/meminfo: memFree=31628360/32770624 swapFree=5808/100380
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 15.86 15.18 14.57 10/270 27476
/proc/meminfo: memFree=31628360/32770624 swapFree=5808/100380
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5015 s]
/proc/loadavg: 15.86 15.18 14.57 20/299 27505
/proc/meminfo: memFree=31534772/32770624 swapFree=5808/100412
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
[pid=27477] ppid=27476 vsize=13801768 CPUtime=8.14 cores=0,2,4,6,8,10,12,14
/proc/27477/stat : 27477 (java) S 27476 27476 15196 0 -1 1077944320 14362 0 0 0 806 8 0 0 20 0 28 0 4003081 14133010432 29602 33554432000 4194304 4196468 140730373055504 140730373038048 139763014070007 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
/proc/27477/statm: 3450442 29602 3227 1 0 3437675 0
[pid=27477/tid=27478] ppid=27476 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27478/stat : 27478 (java) S 27476 27476 15196 0 -1 1077944384 6548 0 0 0 57 4 0 0 20 0 28 0 4003081 14133010432 29602 33554432000 4194304 4196468 140730373055504 139763018310784 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27480] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27480/stat : 27480 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762946206224 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27481] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27481/stat : 27481 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762945153680 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27482] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27482/stat : 27482 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762944100624 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27483] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27483/stat : 27483 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762943048080 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27484] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27484/stat : 27484 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762941996048 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27485] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27485/stat : 27485 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762940943504 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27486] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27486/stat : 27486 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762939890448 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27487] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27487/stat : 27487 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762938837904 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27488] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27488/stat : 27488 (java) S 27476 27476 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762073716976 139763014081154 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27489] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27489/stat : 27489 (java) S 27476 27476 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762072663200 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27490] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27490/stat : 27490 (java) S 27476 27476 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4003086 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762071610096 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27491] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27491/stat : 27491 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762070558672 139763014088603 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27492] ppid=27476 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27492/stat : 27492 (java) R 27476 27476 15196 0 -1 4202560 1717 0 0 0 72 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762069487552 139762997555899 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27493] ppid=27476 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27493/stat : 27493 (java) R 27476 27476 15196 0 -1 4202560 1245 0 0 0 74 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762068440280 139763006359456 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27494] ppid=27476 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27494/stat : 27494 (java) R 27476 27476 15196 0 -1 4202560 1161 0 0 0 74 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762067400336 139762993580600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27495] ppid=27476 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27495/stat : 27495 (java) S 27476 27476 15196 0 -1 1077944384 2020 0 0 0 56 1 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762066348656 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27496] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27496/stat : 27496 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762065295840 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27497] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27497/stat : 27497 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762064243376 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27498] ppid=27476 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27498/stat : 27498 (java) R 27476 27476 15196 0 -1 4202560 59 0 0 0 64 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139762062683024 139762615108737 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27499] ppid=27476 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27499/stat : 27499 (java) R 27476 27476 15196 0 -1 4202560 45 0 0 0 66 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139761659762152 139762619335536 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27500] ppid=27476 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27500/stat : 27500 (java) R 27476 27476 15196 0 -1 4202560 56 0 0 0 59 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760920154760 139762998410128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27501] ppid=27476 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27501/stat : 27501 (java) R 27476 27476 15196 0 -1 4202560 80 0 0 0 54 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760919102232 139762619668967 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27502] ppid=27476 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27502/stat : 27502 (java) R 27476 27476 15196 0 -1 4202560 32 0 0 0 53 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760918048464 139762619445885 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27503] ppid=27476 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27503/stat : 27503 (java) R 27476 27476 15196 0 -1 4202560 32 0 0 0 53 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760916996600 139762620251652 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27504] ppid=27476 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27504/stat : 27504 (java) R 27476 27476 15196 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760915943640 139762619335442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27505] ppid=27476 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27505/stat : 27505 (java) R 27476 27476 15196 0 -1 4202560 47 0 0 0 67 0 0 0 20 0 28 0 4003145 14133010432 29602 33554432000 4194304 4196468 140730373055504 139760914891240 139762619335384 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 13811280
[startup+3.10153 s]
/proc/loadavg: 15.87 15.19 14.58 18/299 27505
/proc/meminfo: memFree=31461980/32770624 swapFree=5808/100412
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
[pid=27477] ppid=27476 vsize=13801768 CPUtime=20.86 cores=0,2,4,6,8,10,12,14
/proc/27477/stat : 27477 (java) S 27476 27476 15196 0 -1 1077944320 20662 0 0 0 2073 13 0 0 20 0 28 0 4003081 14133010432 49567 33554432000 4194304 4196468 140730373055504 140730373038048 139763014070007 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
/proc/27477/statm: 3450442 49567 3235 1 0 3437675 0
[pid=27477/tid=27478] ppid=27476 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27478/stat : 27478 (java) S 27476 27476 15196 0 -1 1077944384 6548 0 0 0 57 4 0 0 20 0 28 0 4003081 14133010432 49567 33554432000 4194304 4196468 140730373055504 139763018310784 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27480] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27480/stat : 27480 (java) S 27476 27476 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762946206224 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27481] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27481/stat : 27481 (java) S 27476 27476 15196 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762945153680 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27482] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27482/stat : 27482 (java) S 27476 27476 15196 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762944100624 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27483] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27483/stat : 27483 (java) S 27476 27476 15196 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762943048080 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27484] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27484/stat : 27484 (java) S 27476 27476 15196 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762941996048 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27485] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27485/stat : 27485 (java) S 27476 27476 15196 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762940943504 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27486] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27486/stat : 27486 (java) S 27476 27476 15196 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762939890448 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27487] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27487/stat : 27487 (java) S 27476 27476 15196 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4003082 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762938837904 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27488] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27488/stat : 27488 (java) S 27476 27476 15196 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762073716976 139763014081154 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27489] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27489/stat : 27489 (java) S 27476 27476 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762072663200 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27490] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27490/stat : 27490 (java) S 27476 27476 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4003086 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762071610096 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27491] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27491/stat : 27491 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762070558672 139763014088603 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27492] ppid=27476 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27492/stat : 27492 (java) S 27476 27476 15196 0 -1 1077944384 4870 0 0 0 106 1 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762069506800 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27493] ppid=27476 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27493/stat : 27493 (java) S 27476 27476 15196 0 -1 1077944384 2191 0 0 0 110 0 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762068454256 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27494] ppid=27476 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27494/stat : 27494 (java) S 27476 27476 15196 0 -1 1077944384 1554 0 0 0 94 0 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762067401200 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27495] ppid=27476 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27495/stat : 27495 (java) S 27476 27476 15196 0 -1 1077944384 2354 0 0 0 60 1 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762066348656 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27496] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27496/stat : 27496 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762065295840 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27497] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27497/stat : 27497 (java) S 27476 27476 15196 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762064243376 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27498] ppid=27476 vsize=13801768 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27498/stat : 27498 (java) R 27476 27476 15196 0 -1 4202560 162 0 0 0 220 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139762062683352 139762615802805 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27499] ppid=27476 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27499/stat : 27499 (java) R 27476 27476 15196 0 -1 4202560 111 0 0 0 204 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139761659759832 139762619335559 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27500] ppid=27476 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27500/stat : 27500 (java) R 27476 27476 15196 0 -1 4202560 191 0 0 0 196 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760920154096 139762620109538 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27501] ppid=27476 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27501/stat : 27501 (java) R 27476 27476 15196 0 -1 4202560 270 0 0 0 199 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760919104232 139762619635924 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27502] ppid=27476 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27502/stat : 27502 (java) R 27476 27476 15196 0 -1 4202560 167 0 0 0 204 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760918048424 139762619877332 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27503] ppid=27476 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27503/stat : 27503 (java) R 27476 27476 15196 0 -1 4202560 118 0 0 0 192 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760916997032 139762618800917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27504] ppid=27476 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27504/stat : 27504 (java) R 27476 27476 15196 0 -1 4202560 77 0 0 0 201 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760915943736 139762618800465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27505] ppid=27476 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27505/stat : 27505 (java) R 27476 27476 15196 0 -1 4202560 127 0 0 0 223 0 0 0 20 0 28 0 4003145 14133010432 49567 33554432000 4194304 4196468 140730373055504 139760914890552 139762618800131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
Current children cumulated CPU time (s) 20.86
Current children cumulated vsize (KiB) 13811280
[startup+6.30114 s]
/proc/loadavg: 15.87 15.19 14.58 18/299 27505
/proc/meminfo: memFree=31417516/32770624 swapFree=5808/100424
################
# More data... #
################
[pid=27477/tid=27504] ppid=27476 vsize=13801768 CPUtime=276.21 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27504/stat : 27504 (java) R 27476 27476 15196 0 -1 4202560 2933 0 0 0 27617 4 0 0 20 0 28 0 4003145 14133010432 376814 33554432000 4194304 4196468 140730373055504 139760915944008 139762619335449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27505] ppid=27476 vsize=13801768 CPUtime=276.86 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27505/stat : 27505 (java) R 27476 27476 15196 0 -1 4202560 4148 0 0 0 27682 4 0 0 20 0 28 0 4003145 14133010432 376814 33554432000 4194304 4196468 140730373055504 139760914890664 139762620109771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
Current children cumulated CPU time (s) 2234.86
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.102 s]
/proc/loadavg: 16.03 15.67 14.95 17/301 27821
/proc/meminfo: memFree=26839780/32770624 swapFree=5808/100812
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
[pid=27477] ppid=27476 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/27477/stat : 27477 (java) S 27476 27476 15196 0 -1 1077944320 83374 0 0 0 239476 529 0 0 20 0 28 0 4003081 14133010432 704922 33554432000 4194304 4196468 140730373055504 140730373038048 139763014070007 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
/proc/27477/statm: 3450442 704922 3278 1 0 3437675 0
[pid=27477/tid=27478] ppid=27476 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27478/stat : 27478 (java) S 27476 27476 15196 0 -1 1077944384 6548 0 0 0 57 4 0 0 20 0 28 0 4003081 14133010432 704922 33554432000 4194304 4196468 140730373055504 139763018310784 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27480] ppid=27476 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27480/stat : 27480 (java) S 27476 27476 15196 0 -1 1077944384 1948 0 0 0 162 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762946206224 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27481] ppid=27476 vsize=13801768 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27481/stat : 27481 (java) S 27476 27476 15196 0 -1 1077944384 2435 0 0 0 162 52 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762945153680 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27482] ppid=27476 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27482/stat : 27482 (java) S 27476 27476 15196 0 -1 1077944384 2404 0 0 0 159 51 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762944100624 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27483] ppid=27476 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27483/stat : 27483 (java) S 27476 27476 15196 0 -1 1077944384 2141 0 0 0 160 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762943048080 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27484] ppid=27476 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27484/stat : 27484 (java) S 27476 27476 15196 0 -1 1077944384 2165 0 0 0 160 47 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762941996048 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27485] ppid=27476 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27485/stat : 27485 (java) S 27476 27476 15196 0 -1 1077944384 2242 0 0 0 164 49 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762940943504 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27486] ppid=27476 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27486/stat : 27486 (java) S 27476 27476 15196 0 -1 1077944384 1924 0 0 0 166 49 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762939890448 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27487] ppid=27476 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27487/stat : 27487 (java) S 27476 27476 15196 0 -1 1077944384 2434 0 0 0 162 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762938837904 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27488] ppid=27476 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27488/stat : 27488 (java) S 27476 27476 15196 0 -1 1077944384 7552 0 0 0 46 52 0 0 20 0 28 0 4003085 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762073716976 139763014081154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27489] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27489/stat : 27489 (java) S 27476 27476 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762072663200 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27490] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27490/stat : 27490 (java) S 27476 27476 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4003086 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762071610096 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27491] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27491/stat : 27491 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762070558672 139763014088603 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27492] ppid=27476 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27492/stat : 27492 (java) S 27476 27476 15196 0 -1 1077944384 5765 0 0 0 113 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762069506800 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27493] ppid=27476 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27493/stat : 27493 (java) S 27476 27476 15196 0 -1 1077944384 3892 0 0 0 128 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762068454256 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27494] ppid=27476 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27494/stat : 27494 (java) S 27476 27476 15196 0 -1 1077944384 4711 0 0 0 116 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762067401200 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27495] ppid=27476 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27495/stat : 27495 (java) S 27476 27476 15196 0 -1 1077944384 2975 0 0 0 62 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762066348656 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27496] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27496/stat : 27496 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762065295840 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27497] ppid=27476 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27497/stat : 27497 (java) S 27476 27476 15196 0 -1 1077944384 256 0 0 0 6 7 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762064243376 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27498] ppid=27476 vsize=13801768 CPUtime=297.55 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27498/stat : 27498 (java) R 27476 27476 15196 0 -1 4202560 5766 0 0 0 29737 18 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762062682840 139762619335106 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27499] ppid=27476 vsize=13801768 CPUtime=297.18 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27499/stat : 27499 (java) R 27476 27476 15196 0 -1 4202560 2431 0 0 0 29713 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139761659761096 140730374060246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27500] ppid=27476 vsize=13801768 CPUtime=297.43 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27500/stat : 27500 (java) R 27476 27476 15196 0 -1 4202560 2251 0 0 0 29738 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760920154160 139762620109659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27501] ppid=27476 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27501/stat : 27501 (java) R 27476 27476 15196 0 -1 4202560 9927 0 0 0 29766 12 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760919104656 139762620019000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27502] ppid=27476 vsize=13801768 CPUtime=297.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27502/stat : 27502 (java) R 27476 27476 15196 0 -1 4202560 4782 0 0 0 29706 8 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760918049608 139762620110034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27503] ppid=27476 vsize=13801768 CPUtime=295.69 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27503/stat : 27503 (java) R 27476 27476 15196 0 -1 4202560 317 0 0 0 29568 1 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760916996552 139762619335429 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27504] ppid=27476 vsize=13801768 CPUtime=296.79 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27504/stat : 27504 (java) R 27476 27476 15196 0 -1 4202560 3026 0 0 0 29672 7 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760915944008 139762619335429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27505] ppid=27476 vsize=13801768 CPUtime=297.4 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27505/stat : 27505 (java) R 27476 27476 15196 0 -1 4202560 4188 0 0 0 29735 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760914891464 139762619335011 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
Current children cumulated CPU time (s) 2400.05
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 27477 sig 9
??? kill 27476 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.102 s]
/proc/loadavg: 16.03 15.67 14.95 17/301 27821
/proc/meminfo: memFree=26839780/32770624 swapFree=5808/100812
[pid=27476] ppid=27473 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27476/stat : 27476 (xcsp3-exec) S 27473 27476 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4003081 9740288 346 33554432000 4194304 5098028 140729548572000 140729548570104 140568295326332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14405632 140729548579982 140729548580192 140729548580192 140729548582891 0
/proc/27476/statm: 2378 346 289 221 0 87 0
[pid=27477] ppid=27476 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/27477/stat : 27477 (java) S 27476 27476 15196 0 -1 1077944320 83374 0 0 0 239476 529 0 0 20 0 28 0 4003081 14133010432 704922 33554432000 4194304 4196468 140730373055504 140730373038048 139763014070007 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
/proc/27477/statm: 3450442 704922 3278 1 0 3437675 0
[pid=27477/tid=27478] ppid=27476 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27478/stat : 27478 (java) S 27476 27476 15196 0 -1 1077944384 6548 0 0 0 57 4 0 0 20 0 28 0 4003081 14133010432 704922 33554432000 4194304 4196468 140730373055504 139763018310784 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27480] ppid=27476 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27480/stat : 27480 (java) S 27476 27476 15196 0 -1 1077944384 1948 0 0 0 162 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762946206224 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27481] ppid=27476 vsize=13801768 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27481/stat : 27481 (java) S 27476 27476 15196 0 -1 1077944384 2435 0 0 0 162 52 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762945153680 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27482] ppid=27476 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27482/stat : 27482 (java) S 27476 27476 15196 0 -1 1077944384 2404 0 0 0 159 51 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762944100624 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27483] ppid=27476 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27483/stat : 27483 (java) S 27476 27476 15196 0 -1 1077944384 2141 0 0 0 160 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762943048080 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27484] ppid=27476 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27484/stat : 27484 (java) S 27476 27476 15196 0 -1 1077944384 2165 0 0 0 160 47 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762941996048 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27485] ppid=27476 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27485/stat : 27485 (java) S 27476 27476 15196 0 -1 1077944384 2242 0 0 0 164 49 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762940943504 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27486] ppid=27476 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27486/stat : 27486 (java) S 27476 27476 15196 0 -1 1077944384 1924 0 0 0 166 49 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762939890448 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27487] ppid=27476 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27487/stat : 27487 (java) S 27476 27476 15196 0 -1 1077944384 2434 0 0 0 162 50 0 0 20 0 28 0 4003082 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762938837904 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27488] ppid=27476 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27488/stat : 27488 (java) S 27476 27476 15196 0 -1 1077944384 7552 0 0 0 46 52 0 0 20 0 28 0 4003085 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762073716976 139763014081154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27489] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27489/stat : 27489 (java) S 27476 27476 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4003085 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762072663200 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27490] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27490/stat : 27490 (java) S 27476 27476 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4003086 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762071610096 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27491] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27491/stat : 27491 (java) S 27476 27476 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762070558672 139763014088603 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27492] ppid=27476 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27492/stat : 27492 (java) S 27476 27476 15196 0 -1 1077944384 5765 0 0 0 113 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762069506800 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27493] ppid=27476 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27493/stat : 27493 (java) S 27476 27476 15196 0 -1 1077944384 3892 0 0 0 128 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762068454256 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27494] ppid=27476 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27494/stat : 27494 (java) S 27476 27476 15196 0 -1 1077944384 4711 0 0 0 116 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762067401200 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27495] ppid=27476 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27495/stat : 27495 (java) S 27476 27476 15196 0 -1 1077944384 2975 0 0 0 62 1 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762066348656 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27496] ppid=27476 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27496/stat : 27496 (java) S 27476 27476 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762065295840 139763014080213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27497] ppid=27476 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27497/stat : 27497 (java) S 27476 27476 15196 0 -1 1077944384 256 0 0 0 6 7 0 0 20 0 28 0 4003090 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762064243376 139763014081154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27498] ppid=27476 vsize=13801768 CPUtime=297.55 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27498/stat : 27498 (java) R 27476 27476 15196 0 -1 4202560 5766 0 0 0 29737 18 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139762062682840 139762619335106 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27499] ppid=27476 vsize=13801768 CPUtime=297.18 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27499/stat : 27499 (java) R 27476 27476 15196 0 -1 4202560 2431 0 0 0 29713 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139761659761096 140730374060246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27500] ppid=27476 vsize=13801768 CPUtime=297.43 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27500/stat : 27500 (java) R 27476 27476 15196 0 -1 4202560 2251 0 0 0 29738 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760920154160 139762620109659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27501] ppid=27476 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27501/stat : 27501 (java) R 27476 27476 15196 0 -1 4202560 9927 0 0 0 29766 12 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760919104656 139762620019000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27502] ppid=27476 vsize=13801768 CPUtime=297.14 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27502/stat : 27502 (java) R 27476 27476 15196 0 -1 4202560 4782 0 0 0 29706 8 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760918049608 139762620110034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27503] ppid=27476 vsize=13801768 CPUtime=295.69 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27503/stat : 27503 (java) R 27476 27476 15196 0 -1 4202560 317 0 0 0 29568 1 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760916996552 139762619335429 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27504] ppid=27476 vsize=13801768 CPUtime=296.79 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27504/stat : 27504 (java) R 27476 27476 15196 0 -1 4202560 3026 0 0 0 29672 7 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760915944008 139762619335429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
[pid=27477/tid=27505] ppid=27476 vsize=13801768 CPUtime=297.4 cores=0,2,4,6,8,10,12,14
/proc/27477/task/27505/stat : 27505 (java) R 27476 27476 15196 0 -1 4202560 4188 0 0 0 29735 5 0 0 20 0 28 0 4003145 14133010432 704922 33554432000 4194304 4196468 140730373055504 139760914891464 139762619335011 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9904128 140730373063868 140730373064044 140730373064044 140730373066703 0
Current children cumulated CPU time (s) 2400.05
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 27476 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2040
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1020
# CPU time returned by wait4() is 0.00306
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.112
CPU time (s): 2400.05
CPU user time (s): 2394.76
CPU system time (s): 5.29
CPU usage (%): 791.802
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00204
system time used= 0.00102
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.7524 second user time and 4.41607 second system time
The end