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-4248081-1500691311/watcher-4248081-1500691311 -o /tmp/evaluation-result-4248081-1500691311/solver-4248081-1500691311 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1969419422 HOME/instance-4248081-1500691311.xml
pid=11398
running on 8 cores: 4-7,12-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.06 15.44 14.18 10/276 11401
/proc/meminfo: memFree=29769560/32770624 swapFree=5944/262556
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 15.06 15.44 14.18 10/276 11401
/proc/meminfo: memFree=29769560/32770624 swapFree=5944/262556
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 15.06 15.44 14.18 10/276 11401
/proc/meminfo: memFree=29769560/32770624 swapFree=5944/262556
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300261 s]
/proc/loadavg: 15.06 15.44 14.18 10/276 11401
/proc/meminfo: memFree=29769560/32770624 swapFree=5944/262556
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70022 s]
/proc/loadavg: 15.06 15.44 14.18 10/276 11401
/proc/meminfo: memFree=29769560/32770624 swapFree=5944/262556
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/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.45 15.51 14.21 20/305 11430
/proc/meminfo: memFree=29758936/32770624 swapFree=5944/262584
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
[pid=11402] ppid=11401 vsize=13801768 CPUtime=8.55 cores=4-7,12-15
/proc/11402/stat : 11402 (java) S 11401 11401 18810 0 -1 1077944320 18661 0 0 0 847 8 0 0 20 0 28 0 4398313 14133010432 30929 33554432000 4194304 4196468 140733797534128 140733797516672 139986973855479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
/proc/11402/statm: 3450442 30929 3225 1 0 3437675 0
[pid=11402/tid=11403] ppid=11401 vsize=13801768 CPUtime=0.51 cores=4-7,12-15
/proc/11402/task/11403/stat : 11403 (java) S 11401 11401 18810 0 -1 1077944384 6304 0 0 0 49 2 0 0 20 0 28 0 4398314 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986978096256 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11405] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11405/stat : 11405 (java) S 11401 11401 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986572815248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11406] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11406/stat : 11406 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986571762448 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11407] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11407/stat : 11407 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986570710160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11408] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11408/stat : 11408 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986569657360 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11409] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11409/stat : 11409 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986568604048 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11410] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11410/stat : 11410 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986567551248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11411] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11411/stat : 11411 (java) S 11401 11401 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986566498960 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11412] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11412/stat : 11412 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986565446160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11413] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11413/stat : 11413 (java) S 11401 11401 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986100562544 139986973866626 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11414] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11414/stat : 11414 (java) S 11401 11401 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986099508512 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11415] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11415/stat : 11415 (java) S 11401 11401 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4398318 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986098456176 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11416] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11416/stat : 11416 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986097404496 139986973874075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11417] ppid=11401 vsize=13801768 CPUtime=0.81 cores=4-7,12-15
/proc/11402/task/11417/stat : 11417 (java) R 11401 11401 18810 0 -1 4202560 3418 0 0 0 80 1 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986096337696 139986955041436 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11418] ppid=11401 vsize=13801768 CPUtime=0.88 cores=4-7,12-15
/proc/11402/task/11418/stat : 11418 (java) R 11401 11401 18810 0 -1 4202560 2410 0 0 0 88 0 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986095283104 139986957351981 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11419] ppid=11401 vsize=13801768 CPUtime=0.72 cores=4-7,12-15
/proc/11402/task/11419/stat : 11419 (java) R 11401 11401 18810 0 -1 4202560 2535 0 0 0 72 0 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986094227272 139986954557143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11420] ppid=11401 vsize=13801768 CPUtime=0.48 cores=4-7,12-15
/proc/11402/task/11420/stat : 11420 (java) S 11401 11401 18810 0 -1 1077944384 2281 0 0 0 47 1 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986093193456 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11421] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11421/stat : 11421 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986092141408 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11422] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11422/stat : 11422 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398322 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986091088688 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11423] ppid=11401 vsize=13801768 CPUtime=0.58 cores=4-7,12-15
/proc/11402/task/11423/stat : 11423 (java) R 11401 11401 18810 0 -1 4202560 62 0 0 0 58 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986083073216 139986959066703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11424] ppid=11401 vsize=13801768 CPUtime=0.52 cores=4-7,12-15
/proc/11402/task/11424/stat : 11424 (java) R 11401 11401 18810 0 -1 4202560 47 0 0 0 52 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986082024104 139986611031782 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11425] ppid=11401 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/11402/task/11425/stat : 11425 (java) R 11401 11401 18810 0 -1 4202560 48 0 0 0 62 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986080969680 139986614105862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11426] ppid=11401 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/11402/task/11426/stat : 11426 (java) R 11401 11401 18810 0 -1 4202560 76 0 0 0 59 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986079915512 139986614132921 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11427] ppid=11401 vsize=13801768 CPUtime=0.67 cores=4-7,12-15
/proc/11402/task/11427/stat : 11427 (java) R 11401 11401 18810 0 -1 4202560 33 0 0 0 67 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986078863560 139986614533416 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11428] ppid=11401 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/11402/task/11428/stat : 11428 (java) R 11401 11401 18810 0 -1 4202560 32 0 0 0 62 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986077811288 139986611013320 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11429] ppid=11401 vsize=13801768 CPUtime=0.71 cores=4-7,12-15
/proc/11402/task/11429/stat : 11429 (java) R 11401 11401 18810 0 -1 4202560 51 0 0 0 71 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986076759784 139986614039464 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11430] ppid=11401 vsize=13801768 CPUtime=0.74 cores=4-7,12-15
/proc/11402/task/11430/stat : 11430 (java) R 11401 11401 18810 0 -1 4202560 59 0 0 0 74 0 0 0 20 0 28 0 4398368 14133010432 30929 33554432000 4194304 4196468 140733797534128 139986075705672 139986973867414 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 13811280
[startup+3.10166 s]
/proc/loadavg: 15.45 15.51 14.21 20/305 11430
/proc/meminfo: memFree=29653644/32770624 swapFree=5944/262584
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
[pid=11402] ppid=11401 vsize=13801768 CPUtime=21.21 cores=4-7,12-15
/proc/11402/stat : 11402 (java) S 11401 11401 18810 0 -1 1077944320 34538 0 0 0 2107 14 0 0 20 0 28 0 4398313 14133010432 57097 33554432000 4194304 4196468 140733797534128 140733797516672 139986973855479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
/proc/11402/statm: 3450442 57097 3258 1 0 3437675 0
[pid=11402/tid=11403] ppid=11401 vsize=13801768 CPUtime=0.51 cores=4-7,12-15
/proc/11402/task/11403/stat : 11403 (java) S 11401 11401 18810 0 -1 1077944384 6304 0 0 0 49 2 0 0 20 0 28 0 4398314 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986978096256 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11405] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11405/stat : 11405 (java) S 11401 11401 18810 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986572815248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11406] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11406/stat : 11406 (java) S 11401 11401 18810 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986571762448 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11407] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11407/stat : 11407 (java) S 11401 11401 18810 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986570710160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11408] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11408/stat : 11408 (java) S 11401 11401 18810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986569657360 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11409] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11409/stat : 11409 (java) S 11401 11401 18810 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986568604048 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11410] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11410/stat : 11410 (java) S 11401 11401 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986567551248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11411] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11411/stat : 11411 (java) S 11401 11401 18810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986566498960 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11412] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11412/stat : 11412 (java) S 11401 11401 18810 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986565446160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11413] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11413/stat : 11413 (java) S 11401 11401 18810 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986100562544 139986973866626 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11414] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11414/stat : 11414 (java) S 11401 11401 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986099508512 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11415] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11415/stat : 11415 (java) S 11401 11401 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4398318 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986098456176 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11416] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11416/stat : 11416 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986097404496 139986973874075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11417] ppid=11401 vsize=13801768 CPUtime=1.53 cores=4-7,12-15
/proc/11402/task/11417/stat : 11417 (java) S 11401 11401 18810 0 -1 1077944384 10597 0 0 0 151 2 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986096351344 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11418] ppid=11401 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/11402/task/11418/stat : 11418 (java) S 11401 11401 18810 0 -1 1077944384 4904 0 0 0 147 0 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986095298544 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11419] ppid=11401 vsize=13801768 CPUtime=1.41 cores=4-7,12-15
/proc/11402/task/11419/stat : 11419 (java) S 11401 11401 18810 0 -1 1077944384 6265 0 0 0 140 1 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986094246256 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11420] ppid=11401 vsize=13801768 CPUtime=0.54 cores=4-7,12-15
/proc/11402/task/11420/stat : 11420 (java) S 11401 11401 18810 0 -1 1077944384 2521 0 0 0 53 1 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986093193456 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11421] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11421/stat : 11421 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986092141408 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11422] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11422/stat : 11422 (java) S 11401 11401 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4398322 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986091088688 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11423] ppid=11401 vsize=13801768 CPUtime=1.85 cores=4-7,12-15
/proc/11402/task/11423/stat : 11423 (java) R 11401 11401 18810 0 -1 4202560 161 0 0 0 185 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986083077456 139986615020007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11424] ppid=11401 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/11402/task/11424/stat : 11424 (java) R 11401 11401 18810 0 -1 4202560 150 0 0 0 173 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986082026232 139986614105816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11425] ppid=11401 vsize=13801768 CPUtime=1.85 cores=4-7,12-15
/proc/11402/task/11425/stat : 11425 (java) R 11401 11401 18810 0 -1 4202560 221 0 0 0 185 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986080970496 139986615091136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11426] ppid=11401 vsize=13801768 CPUtime=1.87 cores=4-7,12-15
/proc/11402/task/11426/stat : 11426 (java) R 11401 11401 18810 0 -1 4202560 210 0 0 0 187 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986079919704 139986614180207 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11427] ppid=11401 vsize=13801768 CPUtime=1.99 cores=4-7,12-15
/proc/11402/task/11427/stat : 11427 (java) R 11401 11401 18810 0 -1 4202560 97 0 0 0 199 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986078867408 139986614105903 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11428] ppid=11401 vsize=13801768 CPUtime=2.01 cores=4-7,12-15
/proc/11402/task/11428/stat : 11428 (java) R 11401 11401 18810 0 -1 4202560 127 0 0 0 201 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986077811384 139986614105852 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11429] ppid=11401 vsize=13801768 CPUtime=2.1 cores=4-7,12-15
/proc/11402/task/11429/stat : 11429 (java) R 11401 11401 18810 0 -1 4202560 194 0 0 0 210 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986076758848 139986614105903 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11430] ppid=11401 vsize=13801768 CPUtime=2.16 cores=4-7,12-15
/proc/11402/task/11430/stat : 11430 (java) R 11401 11401 18810 0 -1 4202560 133 0 0 0 216 0 0 0 20 0 28 0 4398368 14133010432 57097 33554432000 4194304 4196468 140733797534128 139986075710024 139986615798526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
################
# More data... #
################
/proc/11402/task/11414/stat : 11414 (java) S 11401 11401 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986099508512 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11415] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11415/stat : 11415 (java) S 11401 11401 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4398318 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986098456176 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11416] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11416/stat : 11416 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986097404496 139986973874075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11417] ppid=11401 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/11402/task/11417/stat : 11417 (java) S 11401 11401 18810 0 -1 1077944384 10644 0 0 0 155 2 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986096351344 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11418] ppid=11401 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/11402/task/11418/stat : 11418 (java) S 11401 11401 18810 0 -1 1077944384 4910 0 0 0 147 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986095298544 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11419] ppid=11401 vsize=13801768 CPUtime=1.42 cores=4-7,12-15
/proc/11402/task/11419/stat : 11419 (java) S 11401 11401 18810 0 -1 1077944384 6269 0 0 0 141 1 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986094246256 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11420] ppid=11401 vsize=13801768 CPUtime=0.54 cores=4-7,12-15
/proc/11402/task/11420/stat : 11420 (java) S 11401 11401 18810 0 -1 1077944384 2659 0 0 0 53 1 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986093193456 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11421] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11421/stat : 11421 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986092141408 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11422] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11422/stat : 11422 (java) S 11401 11401 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4398322 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986091088688 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11423] ppid=11401 vsize=13801768 CPUtime=2.29 cores=4-7,12-15
/proc/11402/task/11423/stat : 11423 (java) R 11401 11401 18810 0 -1 4202560 164 0 0 0 229 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986083074136 139986615596019 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11424] ppid=11401 vsize=13801768 CPUtime=2.21 cores=4-7,12-15
/proc/11402/task/11424/stat : 11424 (java) R 11401 11401 18810 0 -1 4202560 162 0 0 0 221 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986082023664 139986615790614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11425] ppid=11401 vsize=13801768 CPUtime=2.34 cores=4-7,12-15
/proc/11402/task/11425/stat : 11425 (java) R 11401 11401 18810 0 -1 4202560 223 0 0 0 234 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986080969256 139986953580605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11426] ppid=11401 vsize=13801768 CPUtime=2.36 cores=4-7,12-15
/proc/11402/task/11426/stat : 11426 (java) R 11401 11401 18810 0 -1 4202560 214 0 0 0 236 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986079916456 139986615090201 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11427] ppid=11401 vsize=13801768 CPUtime=2.47 cores=4-7,12-15
/proc/11402/task/11427/stat : 11427 (java) R 11401 11401 18810 0 -1 4202560 101 0 0 0 247 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986078864168 139986614105744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11428] ppid=11401 vsize=13801768 CPUtime=2.49 cores=4-7,12-15
/proc/11402/task/11428/stat : 11428 (java) R 11401 11401 18810 0 -1 4202560 127 0 0 0 249 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986077811384 139986614105751 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11429] ppid=11401 vsize=13801768 CPUtime=2.56 cores=4-7,12-15
/proc/11402/task/11429/stat : 11429 (java) R 11401 11401 18810 0 -1 4202560 195 0 0 0 256 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986076758720 139986615008800 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11430] ppid=11401 vsize=13801768 CPUtime=2.64 cores=4-7,12-15
/proc/11402/task/11430/stat : 11430 (java) R 11401 11401 18810 0 -1 4202560 138 0 0 0 264 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986075706280 139986615092656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 13811280
[startup+3.80151 s]
/proc/loadavg: 15.45 15.51 14.21 10/305 11430
/proc/meminfo: memFree=29635400/32770624 swapFree=5944/262584
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
[pid=11402] ppid=11401 vsize=13801768 CPUtime=26.7 cores=4-7,12-15
/proc/11402/stat : 11402 (java) S 11401 11401 18810 0 -1 1077944320 34845 0 0 0 2656 14 0 0 20 0 28 0 4398313 14133010432 57163 33554432000 4194304 4196468 140733797534128 140733797516672 139986973855479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
/proc/11402/statm: 3450442 57163 3258 1 0 3437675 0
[pid=11402/tid=11403] ppid=11401 vsize=13801768 CPUtime=0.51 cores=4-7,12-15
/proc/11402/task/11403/stat : 11403 (java) S 11401 11401 18810 0 -1 1077944384 6304 0 0 0 49 2 0 0 20 0 28 0 4398314 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986978096256 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11405] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11405/stat : 11405 (java) S 11401 11401 18810 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986572815248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11406] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11406/stat : 11406 (java) S 11401 11401 18810 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986571762448 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11407] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11407/stat : 11407 (java) S 11401 11401 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986570710160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11408] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11408/stat : 11408 (java) S 11401 11401 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986569657360 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11409] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11409/stat : 11409 (java) S 11401 11401 18810 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986568604048 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11410] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11410/stat : 11410 (java) S 11401 11401 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986567551248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11411] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11411/stat : 11411 (java) S 11401 11401 18810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986566498960 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11412] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11412/stat : 11412 (java) S 11401 11401 18810 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 4398315 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986565446160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11413] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11413/stat : 11413 (java) S 11401 11401 18810 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 28 0 4398317 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986100562544 139986973866626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11414] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11414/stat : 11414 (java) S 11401 11401 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986099508512 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11415] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11415/stat : 11415 (java) S 11401 11401 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4398318 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986098456176 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11416] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11416/stat : 11416 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986097404496 139986973874075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11417] ppid=11401 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/11402/task/11417/stat : 11417 (java) S 11401 11401 18810 0 -1 1077944384 10644 0 0 0 155 2 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986096351344 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11418] ppid=11401 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/11402/task/11418/stat : 11418 (java) S 11401 11401 18810 0 -1 1077944384 4910 0 0 0 147 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986095298544 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11419] ppid=11401 vsize=13801768 CPUtime=1.42 cores=4-7,12-15
/proc/11402/task/11419/stat : 11419 (java) S 11401 11401 18810 0 -1 1077944384 6269 0 0 0 141 1 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986094246256 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11420] ppid=11401 vsize=13801768 CPUtime=0.54 cores=4-7,12-15
/proc/11402/task/11420/stat : 11420 (java) S 11401 11401 18810 0 -1 1077944384 2659 0 0 0 53 1 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986093193456 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11421] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11421/stat : 11421 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986092141408 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11422] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11422/stat : 11422 (java) S 11401 11401 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4398322 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986091088688 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11423] ppid=11401 vsize=13801768 CPUtime=2.49 cores=4-7,12-15
/proc/11402/task/11423/stat : 11423 (java) R 11401 11401 18810 0 -1 4202560 164 0 0 0 249 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986083074136 139986614105827 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11424] ppid=11401 vsize=13801768 CPUtime=2.41 cores=4-7,12-15
/proc/11402/task/11424/stat : 11424 (java) R 11401 11401 18810 0 -1 4202560 162 0 0 0 241 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986082022280 139986615470059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11425] ppid=11401 vsize=13801768 CPUtime=2.54 cores=4-7,12-15
/proc/11402/task/11425/stat : 11425 (java) R 11401 11401 18810 0 -1 4202560 223 0 0 0 254 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986080969256 139986616077775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11426] ppid=11401 vsize=13801768 CPUtime=2.56 cores=4-7,12-15
/proc/11402/task/11426/stat : 11426 (java) R 11401 11401 18810 0 -1 4202560 214 0 0 0 256 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986079916456 139986614105284 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11427] ppid=11401 vsize=13801768 CPUtime=2.67 cores=4-7,12-15
/proc/11402/task/11427/stat : 11427 (java) R 11401 11401 18810 0 -1 4202560 101 0 0 0 267 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986078864168 139986614105754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11428] ppid=11401 vsize=13801768 CPUtime=2.69 cores=4-7,12-15
/proc/11402/task/11428/stat : 11428 (java) R 11401 11401 18810 0 -1 4202560 127 0 0 0 269 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986077811384 139986614105800 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11429] ppid=11401 vsize=13801768 CPUtime=2.76 cores=4-7,12-15
/proc/11402/task/11429/stat : 11429 (java) R 11401 11401 18810 0 -1 4202560 195 0 0 0 276 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986076758720 139986614180446 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11430] ppid=11401 vsize=13801768 CPUtime=2.84 cores=4-7,12-15
/proc/11402/task/11430/stat : 11430 (java) R 11401 11401 18810 0 -1 4202560 138 0 0 0 284 0 0 0 20 0 28 0 4398368 14133010432 57163 33554432000 4194304 4196468 140733797534128 139986075706280 139986615021579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
Current children cumulated CPU time (s) 26.7
Current children cumulated vsize (KiB) 13811280
[startup+3.90168 s]
/proc/loadavg: 15.45 15.51 14.21 10/305 11430
/proc/meminfo: memFree=29635400/32770624 swapFree=5944/262584
[pid=11401] ppid=11398 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11401/stat : 11401 (xcsp3-exec) S 11398 11401 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4398313 9740288 346 33554432000 4194304 5098028 140726077865056 140726077863160 140684916118140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35868672 140726077871246 140726077871456 140726077871456 140726077874155 0
/proc/11401/statm: 2378 346 289 221 0 87 0
[pid=11402] ppid=11401 vsize=13801768 CPUtime=27.48 cores=4-7,12-15
/proc/11402/stat : 11402 (java) S 11401 11401 18810 0 -1 1077944320 34870 0 0 0 2732 16 0 0 20 0 28 0 4398313 14133010432 58712 33554432000 4194304 4196468 140733797534128 140733797516672 139986973855479 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
/proc/11402/statm: 3450442 58712 3260 1 0 3437675 0
[pid=11402/tid=11403] ppid=11401 vsize=13801768 CPUtime=0.51 cores=4-7,12-15
/proc/11402/task/11403/stat : 11403 (java) S 11401 11401 18810 0 -1 1077944384 6304 0 0 0 49 2 0 0 20 0 28 0 4398314 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986978096256 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11405] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11405/stat : 11405 (java) S 11401 11401 18810 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986572815248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11406] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11406/stat : 11406 (java) S 11401 11401 18810 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986571762448 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11407] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11407/stat : 11407 (java) S 11401 11401 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986570710160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11408] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11408/stat : 11408 (java) S 11401 11401 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986569657360 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11409] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11409/stat : 11409 (java) S 11401 11401 18810 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986568604048 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11410] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11410/stat : 11410 (java) S 11401 11401 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986567551248 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11411] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11411/stat : 11411 (java) S 11401 11401 18810 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986566498960 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11412] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11412/stat : 11412 (java) S 11401 11401 18810 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 28 0 4398315 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986565446160 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11413] ppid=11401 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11402/task/11413/stat : 11413 (java) S 11401 11401 18810 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 28 0 4398317 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986100562544 139986973866626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11414] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11414/stat : 11414 (java) S 11401 11401 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4398317 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986099508512 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11415] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11415/stat : 11415 (java) S 11401 11401 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4398318 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986098456176 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11416] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11416/stat : 11416 (java) S 11401 11401 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986097404496 139986973874075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11417] ppid=11401 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/11402/task/11417/stat : 11417 (java) S 11401 11401 18810 0 -1 1077944384 10644 0 0 0 155 2 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986096351344 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11418] ppid=11401 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/11402/task/11418/stat : 11418 (java) S 11401 11401 18810 0 -1 1077944384 4910 0 0 0 147 0 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986095298544 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11419] ppid=11401 vsize=13801768 CPUtime=1.42 cores=4-7,12-15
/proc/11402/task/11419/stat : 11419 (java) S 11401 11401 18810 0 -1 1077944384 6269 0 0 0 141 1 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986094246256 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11420] ppid=11401 vsize=13801768 CPUtime=0.54 cores=4-7,12-15
/proc/11402/task/11420/stat : 11420 (java) S 11401 11401 18810 0 -1 1077944384 2659 0 0 0 53 1 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986093193456 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11421] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11421/stat : 11421 (java) S 11401 11401 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4398321 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986092141408 139986973865685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11422] ppid=11401 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11402/task/11422/stat : 11422 (java) S 11401 11401 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4398322 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986091088688 139986973866626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11423] ppid=11401 vsize=13801768 CPUtime=2.58 cores=4-7,12-15
/proc/11402/task/11423/stat : 11423 (java) R 11401 11401 18810 0 -1 4202560 164 0 0 0 258 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986083074280 139986614105822 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11424] ppid=11401 vsize=13801768 CPUtime=2.51 cores=4-7,12-15
/proc/11402/task/11424/stat : 11424 (java) R 11401 11401 18810 0 -1 4202560 162 0 0 0 251 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986082022584 139986615447129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11425] ppid=11401 vsize=13801768 CPUtime=2.63 cores=4-7,12-15
/proc/11402/task/11425/stat : 11425 (java) R 11401 11401 18810 0 -1 4202560 223 0 0 0 263 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986080968360 139986615092452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11426] ppid=11401 vsize=13801768 CPUtime=2.65 cores=4-7,12-15
/proc/11402/task/11426/stat : 11426 (java) R 11401 11401 18810 0 -1 4202560 214 0 0 0 265 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986079916456 139986615089970 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11427] ppid=11401 vsize=13801768 CPUtime=2.77 cores=4-7,12-15
/proc/11402/task/11427/stat : 11427 (java) R 11401 11401 18810 0 -1 4202560 101 0 0 0 277 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986078862816 139986614105878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11428] ppid=11401 vsize=13801768 CPUtime=2.79 cores=4-7,12-15
/proc/11402/task/11428/stat : 11428 (java) R 11401 11401 18810 0 -1 4202560 127 0 0 0 279 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986077811384 139986614105800 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11429] ppid=11401 vsize=13801768 CPUtime=2.85 cores=4-7,12-15
/proc/11402/task/11429/stat : 11429 (java) R 11401 11401 18810 0 -1 4202560 195 0 0 0 285 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986076759096 139986612029463 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
[pid=11402/tid=11430] ppid=11401 vsize=13801768 CPUtime=2.93 cores=4-7,12-15
/proc/11402/task/11430/stat : 11430 (java) R 11401 11401 18810 0 -1 4202560 139 0 0 0 293 0 0 0 20 0 28 0 4398368 14133010432 58712 33554432000 4194304 4196468 140733797534128 139986075707520 139986615591345 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14241792 140733797536956 140733797537132 140733797537132 140733797539791 0
Current children cumulated CPU time (s) 27.48
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 3.96274
CPU time (s): 27.9148
CPU user time (s): 27.7327
CPU system time (s): 0.182151
CPU usage (%): 704.433
Max. virtual memory (cumulated for all children) (KiB): 13813248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7327
system time used= 0.182151
maximum resident set size= 234908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3335
involuntary context switches= 2259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055187 second user time and 0.044967 second system time
The end