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-4245075-1500685009/watcher-4245075-1500685009 -o /tmp/evaluation-result-4245075-1500685009/solver-4245075-1500685009 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 116619105 HOME/instance-4245075-1500685009.xml
pid=17299
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.94 15.53 13.93 10/270 17302
/proc/meminfo: memFree=29654876/32770624 swapFree=5880/240052
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
[startup+0.100064 s]
/proc/loadavg: 15.94 15.53 13.93 10/270 17302
/proc/meminfo: memFree=29654876/32770624 swapFree=5880/240052
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200251 s]
/proc/loadavg: 15.94 15.53 13.93 10/270 17302
/proc/meminfo: memFree=29654876/32770624 swapFree=5880/240052
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300345 s]
/proc/loadavg: 15.94 15.53 13.93 10/270 17302
/proc/meminfo: memFree=29654876/32770624 swapFree=5880/240052
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700187 s]
/proc/loadavg: 15.94 15.53 13.93 10/270 17302
/proc/meminfo: memFree=29654876/32770624 swapFree=5880/240052
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50155 s]
/proc/loadavg: 15.94 15.53 13.93 21/299 17331
/proc/meminfo: memFree=29549228/32770624 swapFree=5880/240080
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
[pid=17303] ppid=17302 vsize=13801768 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/17303/stat : 17303 (java) S 17302 17302 7744 0 -1 1077944320 18653 0 0 0 700 10 0 0 20 0 28 0 3768618 14133010432 33351 33554432000 4194304 4196468 140731206794208 140731206776752 140480192487159 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
/proc/17303/statm: 3450442 33351 3216 1 0 3437675 0
[pid=17303/tid=17304] ppid=17302 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17304/stat : 17304 (java) S 17302 17302 7744 0 -1 1077944384 7015 0 0 0 78 4 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480196727936 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17306] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17306/stat : 17306 (java) S 17302 17302 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480131451152 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17307] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17307/stat : 17307 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480130398608 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17308] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17308/stat : 17308 (java) S 17302 17302 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480129346064 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17309] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17309/stat : 17309 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480128293520 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17310] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17310/stat : 17310 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 33351 33554432000 4194304 4196468 140731206794208 140480127240976 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17311] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17311/stat : 17311 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479786605456 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17312] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17312/stat : 17312 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479785552912 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17313] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17313/stat : 17313 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479784500368 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17314] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17314/stat : 17314 (java) S 17302 17302 7744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3768622 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479385552880 140480192498306 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17315] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17315/stat : 17315 (java) S 17302 17302 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3768623 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479384499104 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17316] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17316/stat : 17316 (java) S 17302 17302 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3768623 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479383446512 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17317] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17317/stat : 17317 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768627 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479382395088 140480192505755 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17318] ppid=17302 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17318/stat : 17318 (java) R 17302 17302 7744 0 -1 4202560 2906 0 0 0 63 1 0 0 20 0 28 0 3768627 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479381328584 140480174009938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17319] ppid=17302 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17319/stat : 17319 (java) R 17302 17302 7744 0 -1 4202560 1921 0 0 0 62 1 0 0 20 0 28 0 3768627 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479380275120 140480170375680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17320] ppid=17302 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17320/stat : 17320 (java) R 17302 17302 7744 0 -1 4202560 1876 0 0 0 65 0 0 0 20 0 28 0 3768628 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479379230104 140480174031386 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17321] ppid=17302 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17321/stat : 17321 (java) S 17302 17302 7744 0 -1 1077944384 3113 0 0 0 81 1 0 0 20 0 28 0 3768628 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479378185072 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17322] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17322/stat : 17322 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768628 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479377131744 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17323] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17323/stat : 17323 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768628 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479376079280 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17324] ppid=17302 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17324/stat : 17324 (java) R 17302 17302 7744 0 -1 4202560 81 0 0 0 46 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479368563256 140479812287801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17325] ppid=17302 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17325/stat : 17325 (java) R 17302 17302 7744 0 -1 4202560 48 0 0 0 43 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479367513608 140479812369262 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17326] ppid=17302 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17326/stat : 17326 (java) R 17302 17302 7744 0 -1 4202560 96 0 0 0 41 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479366461544 140479812369103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17327] ppid=17302 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17327/stat : 17327 (java) R 17302 17302 7744 0 -1 4202560 74 0 0 0 37 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479365408472 140479812444771 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17328] ppid=17302 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17328/stat : 17328 (java) R 17302 17302 7744 0 -1 4202560 38 0 0 0 38 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479364354152 140479812320391 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17329] ppid=17302 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17329/stat : 17329 (java) R 17302 17302 7744 0 -1 4202560 92 0 0 0 44 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479363304328 140479812391484 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17330] ppid=17302 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17330/stat : 17330 (java) R 17302 17302 7744 0 -1 4202560 36 0 0 0 45 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479362250392 140479812286319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17331] ppid=17302 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17331/stat : 17331 (java) R 17302 17302 7744 0 -1 4202560 45 0 0 0 50 0 0 0 20 0 28 0 3768703 14133010432 33351 33554432000 4194304 4196468 140731206794208 140479361195976 140479812286883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 13811280
[startup+3.10143 s]
/proc/loadavg: 16.27 15.61 13.96 20/299 17331
/proc/meminfo: memFree=29172900/32770624 swapFree=5880/240080
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
[pid=17303] ppid=17302 vsize=13801768 CPUtime=19.83 cores=1,3,5,7,9,11,13,15
/proc/17303/stat : 17303 (java) S 17302 17302 7744 0 -1 1077944320 45707 0 0 0 1969 14 0 0 20 0 28 0 3768618 14133010432 50962 33554432000 4194304 4196468 140731206794208 140731206776752 140480192487159 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
/proc/17303/statm: 3450442 50962 3237 1 0 3437675 0
[pid=17303/tid=17304] ppid=17302 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17304/stat : 17304 (java) S 17302 17302 7744 0 -1 1077944384 7015 0 0 0 78 4 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480196727936 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17306] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17306/stat : 17306 (java) S 17302 17302 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480131451152 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17307] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17307/stat : 17307 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480130398608 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17308] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17308/stat : 17308 (java) S 17302 17302 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480129346064 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17309] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17309/stat : 17309 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480128293520 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17310] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17310/stat : 17310 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768619 14133010432 50962 33554432000 4194304 4196468 140731206794208 140480127240976 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17311] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17311/stat : 17311 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479786605456 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17312] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17312/stat : 17312 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479785552912 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17313] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17313/stat : 17313 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768620 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479784500368 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17314] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17314/stat : 17314 (java) S 17302 17302 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3768622 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479385552880 140480192498306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17315] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17315/stat : 17315 (java) S 17302 17302 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3768623 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479384499104 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17316] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17316/stat : 17316 (java) S 17302 17302 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3768623 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479383446512 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17317] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17317/stat : 17317 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768627 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479382395088 140480192505755 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17318] ppid=17302 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17318/stat : 17318 (java) R 17302 17302 7744 0 -1 4202560 15554 0 0 0 160 2 0 0 20 0 28 0 3768627 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479381329248 140480174005071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17319] ppid=17302 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17319/stat : 17319 (java) R 17302 17302 7744 0 -1 4202560 6937 0 0 0 152 1 0 0 20 0 28 0 3768627 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479380276040 140480174031359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17320] ppid=17302 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17320/stat : 17320 (java) R 17302 17302 7744 0 -1 4202560 9298 0 0 0 157 1 0 0 20 0 28 0 3768628 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479379223496 140480174031377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17321] ppid=17302 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17321/stat : 17321 (java) S 17302 17302 7744 0 -1 1077944384 4364 0 0 0 91 1 0 0 20 0 28 0 3768628 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479378185072 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17322] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17322/stat : 17322 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768628 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479377131744 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17323] ppid=17302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17323/stat : 17323 (java) S 17302 17302 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3768628 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479376079280 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17324] ppid=17302 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17324/stat : 17324 (java) R 17302 17302 7744 0 -1 4202560 119 0 0 0 189 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479368565328 140479812931097 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17325] ppid=17302 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17325/stat : 17325 (java) R 17302 17302 7744 0 -1 4202560 151 0 0 0 178 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479367513304 140479812759637 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17326] ppid=17302 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17326/stat : 17326 (java) R 17302 17302 7744 0 -1 4202560 125 0 0 0 172 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479366459848 140479813644241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17327] ppid=17302 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17327/stat : 17327 (java) R 17302 17302 7744 0 -1 4202560 295 0 0 0 133 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479365409160 140479813081468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17328] ppid=17302 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17328/stat : 17328 (java) R 17302 17302 7744 0 -1 4202560 124 0 0 0 171 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479364353120 140479814376396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17329] ppid=17302 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17329/stat : 17329 (java) R 17302 17302 7744 0 -1 4202560 129 0 0 0 163 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479363300712 140479812173063 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17330] ppid=17302 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17330/stat : 17330 (java) R 17302 17302 7744 0 -1 4202560 146 0 0 0 148 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479362250600 140479813275964 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17331] ppid=17302 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17331/stat : 17331 (java) R 17302 17302 7744 0 -1 4202560 96 0 0 0 172 0 0 0 20 0 28 0 3768703 14133010432 50962 33554432000 4194304 4196468 140731206794208 140479361194648 140479812637171 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (KiB) 13811280
[startup+6.30168 s]
/proc/loadavg: 16.27 15.61 13.96 20/299 17331
/proc/meminfo: memFree=29024028/32770624 swapFree=5880/240088
################
# More data... #
################
[pid=17303/tid=17330] ppid=17302 vsize=13803816 CPUtime=217.13 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17330/stat : 17330 (java) R 17302 17302 7744 0 -1 4202560 1814 0 0 0 21712 1 0 0 20 0 28 0 3768703 14135107584 92401 33554432000 4194304 4196468 140731206794208 140479362248440 140479814316999 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17331] ppid=17302 vsize=13803816 CPUtime=217.02 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17331/stat : 17331 (java) R 17302 17302 7744 0 -1 4202560 1040 0 0 0 21702 0 0 0 20 0 28 0 3768703 14135107584 92401 33554432000 4194304 4196468 140731206794208 140479361195944 140479814784676 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
Current children cumulated CPU time (s) 1758.67
Current children cumulated vsize (KiB) 13813328
[startup+282.302 s]
/proc/loadavg: 15.96 15.77 14.46 17/301 17468
/proc/meminfo: memFree=31203120/32770624 swapFree=5880/240456
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
[pid=17303] ppid=17302 vsize=13803816 CPUtime=2231.12 cores=1,3,5,7,9,11,13,15
/proc/17303/stat : 17303 (java) S 17302 17302 7744 0 -1 1077944320 108044 0 0 0 222862 250 0 0 20 0 28 0 3768618 14135107584 95427 33554432000 4194304 4196468 140731206794208 140731206776752 140480192487159 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
/proc/17303/statm: 3450954 95427 3295 1 0 3438187 0
[pid=17303/tid=17304] ppid=17302 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17304/stat : 17304 (java) S 17302 17302 7744 0 -1 1077944384 7015 0 0 0 78 4 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480196727936 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17306] ppid=17302 vsize=13803816 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17306/stat : 17306 (java) S 17302 17302 7744 0 -1 1077944384 1620 0 0 0 65 13 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480131451152 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17307] ppid=17302 vsize=13803816 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17307/stat : 17307 (java) S 17302 17302 7744 0 -1 1077944384 2801 0 0 0 65 15 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480130398608 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17308] ppid=17302 vsize=13803816 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17308/stat : 17308 (java) S 17302 17302 7744 0 -1 1077944384 1260 0 0 0 65 13 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480129346064 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17309] ppid=17302 vsize=13803816 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17309/stat : 17309 (java) S 17302 17302 7744 0 -1 1077944384 956 0 0 0 66 13 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480128293520 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17310] ppid=17302 vsize=13803816 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17310/stat : 17310 (java) S 17302 17302 7744 0 -1 1077944384 943 0 0 0 63 14 0 0 20 0 28 0 3768619 14135107584 95427 33554432000 4194304 4196468 140731206794208 140480127240976 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17311] ppid=17302 vsize=13803816 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17311/stat : 17311 (java) S 17302 17302 7744 0 -1 1077944384 1305 0 0 0 65 15 0 0 20 0 28 0 3768620 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479786605456 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17312] ppid=17302 vsize=13803816 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17312/stat : 17312 (java) S 17302 17302 7744 0 -1 1077944384 872 0 0 0 64 12 0 0 20 0 28 0 3768620 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479785552912 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17313] ppid=17302 vsize=13803816 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17313/stat : 17313 (java) S 17302 17302 7744 0 -1 1077944384 1549 0 0 0 64 13 0 0 20 0 28 0 3768620 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479784500368 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17314] ppid=17302 vsize=13803816 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17314/stat : 17314 (java) S 17302 17302 7744 0 -1 1077944384 5767 0 0 0 66 103 0 0 20 0 28 0 3768622 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479385552880 140480192498306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17315] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17315/stat : 17315 (java) S 17302 17302 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3768623 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479384499168 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17316] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17316/stat : 17316 (java) S 17302 17302 7744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3768623 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479383446528 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17317] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17317/stat : 17317 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768627 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479382395088 140480192505755 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17318] ppid=17302 vsize=13803816 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17318/stat : 17318 (java) S 17302 17302 7744 0 -1 1077944384 24418 0 0 0 537 3 0 0 20 0 28 0 3768627 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479381342704 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17319] ppid=17302 vsize=13803816 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17319/stat : 17319 (java) S 17302 17302 7744 0 -1 1077944384 15853 0 0 0 482 3 0 0 20 0 28 0 3768627 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479380290160 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17320] ppid=17302 vsize=13803816 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17320/stat : 17320 (java) S 17302 17302 7744 0 -1 1077944384 19214 0 0 0 494 3 0 0 20 0 28 0 3768628 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479379237616 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17321] ppid=17302 vsize=13803816 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17321/stat : 17321 (java) S 17302 17302 7744 0 -1 1077944384 9522 0 0 0 119 3 0 0 20 0 28 0 3768628 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479378185072 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17322] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17322/stat : 17322 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768628 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479377131744 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17323] ppid=17302 vsize=13803816 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17323/stat : 17323 (java) S 17302 17302 7744 0 -1 1077944384 1010 0 0 0 8 7 0 0 20 0 28 0 3768628 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479376079280 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17324] ppid=17302 vsize=13803816 CPUtime=276.02 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17324/stat : 17324 (java) R 17302 17302 7744 0 -1 4202560 1352 0 0 0 27601 1 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479368563944 140479812128908 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17325] ppid=17302 vsize=13803816 CPUtime=275.92 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17325/stat : 17325 (java) R 17302 17302 7744 0 -1 4202560 1732 0 0 0 27591 1 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479367514992 140479813868448 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17326] ppid=17302 vsize=13803816 CPUtime=276.39 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17326/stat : 17326 (java) R 17302 17302 7744 0 -1 4202560 1192 0 0 0 27637 2 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479366459440 140479815241762 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17327] ppid=17302 vsize=13803816 CPUtime=275.08 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17327/stat : 17327 (java) R 17302 17302 7744 0 -1 4202560 2884 0 0 0 27506 2 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479365407144 140479815241762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17328] ppid=17302 vsize=13803816 CPUtime=275.9 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17328/stat : 17328 (java) R 17302 17302 7744 0 -1 4202560 1299 0 0 0 27590 0 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479364354600 140479815241735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17329] ppid=17302 vsize=13803816 CPUtime=275.12 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17329/stat : 17329 (java) R 17302 17302 7744 0 -1 4202560 929 0 0 0 27510 2 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479363301448 140479816876205 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17330] ppid=17302 vsize=13803816 CPUtime=275.64 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17330/stat : 17330 (java) R 17302 17302 7744 0 -1 4202560 1868 0 0 0 27562 2 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479362248488 140479815241762 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17331] ppid=17302 vsize=13803816 CPUtime=275.49 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17331/stat : 17331 (java) R 17302 17302 7744 0 -1 4202560 1338 0 0 0 27548 1 0 0 20 0 28 0 3768703 14135107584 95427 33554432000 4194304 4196468 140731206794208 140479361195192 140479816124506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
Current children cumulated CPU time (s) 2231.12
Current children cumulated vsize (KiB) 13813328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.802 s]
/proc/loadavg: 15.71 15.72 14.47 17/301 17468
/proc/meminfo: memFree=31172204/32770624 swapFree=5880/240480
[pid=17302] ppid=17299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17302/stat : 17302 (xcsp3-exec) S 17299 17302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3768618 9740288 346 33554432000 4194304 5098028 140730703081440 140730703079544 140637690516092 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37404672 140730703086735 140730703086944 140730703086944 140730703089643 0
/proc/17302/statm: 2378 346 289 221 0 87 0
[pid=17303] ppid=17302 vsize=13803816 CPUtime=2400.62 cores=1,3,5,7,9,11,13,15
/proc/17303/stat : 17303 (java) S 17302 17302 7744 0 -1 1077944320 108616 0 0 0 239794 268 0 0 20 0 28 0 3768618 14135107584 95547 33554432000 4194304 4196468 140731206794208 140731206776752 140480192487159 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
/proc/17303/statm: 3450954 95547 3297 1 0 3438187 0
[pid=17303/tid=17304] ppid=17302 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17304/stat : 17304 (java) S 17302 17302 7744 0 -1 1077944384 7015 0 0 0 78 4 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480196727936 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17306] ppid=17302 vsize=13803816 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17306/stat : 17306 (java) S 17302 17302 7744 0 -1 1077944384 1649 0 0 0 70 13 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480131451152 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17307] ppid=17302 vsize=13803816 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17307/stat : 17307 (java) S 17302 17302 7744 0 -1 1077944384 2840 0 0 0 71 15 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480130398608 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17308] ppid=17302 vsize=13803816 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17308/stat : 17308 (java) S 17302 17302 7744 0 -1 1077944384 1289 0 0 0 71 13 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480129346064 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17309] ppid=17302 vsize=13803816 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17309/stat : 17309 (java) S 17302 17302 7744 0 -1 1077944384 992 0 0 0 71 14 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480128293520 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17310] ppid=17302 vsize=13803816 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17310/stat : 17310 (java) S 17302 17302 7744 0 -1 1077944384 970 0 0 0 69 14 0 0 20 0 28 0 3768619 14135107584 95547 33554432000 4194304 4196468 140731206794208 140480127240976 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17311] ppid=17302 vsize=13803816 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17311/stat : 17311 (java) S 17302 17302 7744 0 -1 1077944384 1356 0 0 0 70 15 0 0 20 0 28 0 3768620 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479786605456 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17312] ppid=17302 vsize=13803816 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17312/stat : 17312 (java) S 17302 17302 7744 0 -1 1077944384 878 0 0 0 69 12 0 0 20 0 28 0 3768620 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479785552912 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17313] ppid=17302 vsize=13803816 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17313/stat : 17313 (java) S 17302 17302 7744 0 -1 1077944384 1596 0 0 0 70 13 0 0 20 0 28 0 3768620 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479784500368 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17314] ppid=17302 vsize=13803816 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17314/stat : 17314 (java) S 17302 17302 7744 0 -1 1077944384 5897 0 0 0 78 118 0 0 20 0 28 0 3768622 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479385552880 140480192498306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17315] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17315/stat : 17315 (java) S 17302 17302 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3768623 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479384499168 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17316] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17316/stat : 17316 (java) S 17302 17302 7744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3768623 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479383446528 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17317] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17317/stat : 17317 (java) S 17302 17302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3768627 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479382395088 140480192505755 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17318] ppid=17302 vsize=13803816 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17318/stat : 17318 (java) S 17302 17302 7744 0 -1 1077944384 24420 0 0 0 537 3 0 0 20 0 28 0 3768627 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479381342704 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17319] ppid=17302 vsize=13803816 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17319/stat : 17319 (java) S 17302 17302 7744 0 -1 1077944384 15855 0 0 0 482 3 0 0 20 0 28 0 3768627 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479380290160 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17320] ppid=17302 vsize=13803816 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17320/stat : 17320 (java) S 17302 17302 7744 0 -1 1077944384 19216 0 0 0 494 3 0 0 20 0 28 0 3768628 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479379237616 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17321] ppid=17302 vsize=13803816 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17321/stat : 17321 (java) S 17302 17302 7744 0 -1 1077944384 9524 0 0 0 119 3 0 0 20 0 28 0 3768628 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479378185072 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17322] ppid=17302 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17322/stat : 17322 (java) S 17302 17302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3768628 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479377131744 140480192497365 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17323] ppid=17302 vsize=13803816 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17323/stat : 17323 (java) S 17302 17302 7744 0 -1 1077944384 1022 0 0 0 8 8 0 0 20 0 28 0 3768628 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479376079280 140480192498306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17324] ppid=17302 vsize=13803816 CPUtime=297.12 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17324/stat : 17324 (java) R 17302 17302 7744 0 -1 4202560 1378 0 0 0 29711 1 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479368566400 140479817833482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17325] ppid=17302 vsize=13803816 CPUtime=296.85 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17325/stat : 17325 (java) R 17302 17302 7744 0 -1 4202560 1760 0 0 0 29684 1 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479367511448 140479810566886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17326] ppid=17302 vsize=13803816 CPUtime=297.64 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17326/stat : 17326 (java) R 17302 17302 7744 0 -1 4202560 1201 0 0 0 29762 2 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479366459688 140479815241755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17327] ppid=17302 vsize=13803816 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17327/stat : 17327 (java) R 17302 17302 7744 0 -1 4202560 2891 0 0 0 29624 2 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479365406896 140479815241728 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17328] ppid=17302 vsize=13803816 CPUtime=297.09 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17328/stat : 17328 (java) R 17302 17302 7744 0 -1 4202560 1318 0 0 0 29709 0 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479364354600 140479810258075 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17329] ppid=17302 vsize=13803816 CPUtime=296.24 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17329/stat : 17329 (java) R 17302 17302 7744 0 -1 4202560 963 0 0 0 29622 2 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479363302616 140479812700583 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17330] ppid=17302 vsize=13803816 CPUtime=296.61 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17330/stat : 17330 (java) R 17302 17302 7744 0 -1 4202560 1888 0 0 0 29659 2 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479362248088 140479814808852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
[pid=17303/tid=17331] ppid=17302 vsize=13803816 CPUtime=296.49 cores=1,3,5,7,9,11,13,15
/proc/17303/task/17331/stat : 17331 (java) R 17302 17302 7744 0 -1 4202560 1353 0 0 0 29648 1 0 0 20 0 28 0 3768703 14135107584 95547 33554432000 4194304 4196468 140731206794208 140479361195336 140479815981984 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12374016 140731206800572 140731206800748 140731206800748 140731206803407 0
Current children cumulated CPU time (s) 2400.62
Current children cumulated vsize (KiB) 13813328
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 17303 sig 9
??? kill 17302 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17302 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1093
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1093
# CPU time returned by wait4() is 0.002186
# while last known CPU time is 2400.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.813
CPU time (s): 2400.62
CPU user time (s): 2397.94
CPU system time (s): 2.68
CPU usage (%): 790.165
Max. virtual memory (cumulated for all children) (KiB): 13814308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001093
system time used= 0.001093
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.75461 second user time and 4.32114 second system time
The end