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-4246695-1500688101/watcher-4246695-1500688101 -o /tmp/evaluation-result-4246695-1500688101/solver-4246695-1500688101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 220994952 HOME/instance-4246695-1500688101.xml
pid=22058
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: 13.84 12.94 13.25 11/270 22061
/proc/meminfo: memFree=31628700/32770624 swapFree=5860/276256
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[startup+0.100096 s]
/proc/loadavg: 13.84 12.94 13.25 11/270 22061
/proc/meminfo: memFree=31628700/32770624 swapFree=5860/276256
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200291 s]
/proc/loadavg: 13.84 12.94 13.25 11/270 22061
/proc/meminfo: memFree=31628700/32770624 swapFree=5860/276256
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300212 s]
/proc/loadavg: 13.84 12.94 13.25 11/270 22061
/proc/meminfo: memFree=31628700/32770624 swapFree=5860/276256
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 13.84 12.94 13.25 11/270 22061
/proc/meminfo: memFree=31628700/32770624 swapFree=5860/276256
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5011 s]
/proc/loadavg: 13.84 12.94 13.25 20/299 22090
/proc/meminfo: memFree=31510872/32770624 swapFree=5860/276228
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[pid=22062] ppid=22061 vsize=13801768 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/22062/stat : 22062 (java) S 22061 22061 7411 0 -1 1077944320 17588 0 0 0 716 12 0 0 20 0 28 0 4077577 14133010432 50249 33554432000 4194304 4196468 140725929482416 140725929464960 140137743412983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
/proc/22062/statm: 3450442 50249 3240 1 0 3437675 0
[pid=22062/tid=22063] ppid=22061 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22063/stat : 22063 (java) S 22061 22061 7411 0 -1 1077944384 6982 0 0 0 78 2 0 0 20 0 28 0 4077577 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137747653760 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22065] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22065/stat : 22065 (java) S 22061 22061 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137675549072 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22066] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22066/stat : 22066 (java) S 22061 22061 7411 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137674496272 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22067] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22067/stat : 22067 (java) S 22061 22061 7411 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137673443984 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22068] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22068/stat : 22068 (java) S 22061 22061 7411 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137672391184 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22069] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22069/stat : 22069 (java) S 22061 22061 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137671338896 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22070] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22070/stat : 22070 (java) S 22061 22061 7411 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137336900368 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22071] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22071/stat : 22071 (java) S 22061 22061 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137335848080 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22072] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22072/stat : 22072 (java) S 22061 22061 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137334795280 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22073] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22073/stat : 22073 (java) S 22061 22061 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4077580 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137272813680 140137743424130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22074] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22074/stat : 22074 (java) S 22061 22061 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4077581 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137271759712 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22075] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22075/stat : 22075 (java) S 22061 22061 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4077582 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137270707312 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22076] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22076/stat : 22076 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077585 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137269655632 140137743431579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22077] ppid=22061 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22077/stat : 22077 (java) R 22061 22061 7411 0 -1 4202560 2550 0 0 0 79 0 0 0 20 0 28 0 4077585 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137268596696 140137726823985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22078] ppid=22061 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22078/stat : 22078 (java) R 22061 22061 7411 0 -1 4202560 1658 0 0 0 79 0 0 0 20 0 28 0 4077585 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137065329872 140137724113881 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22079] ppid=22061 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22079/stat : 22079 (java) R 22061 22061 7411 0 -1 4202560 1694 0 0 0 86 0 0 0 20 0 28 0 4077585 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137064277408 140137724940752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22080] ppid=22061 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22080/stat : 22080 (java) S 22061 22061 7411 0 -1 1077944384 2527 0 0 0 63 1 0 0 20 0 28 0 4077585 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137063238384 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22081] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22081/stat : 22081 (java) S 22061 22061 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4077586 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137062185312 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22082] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22082/stat : 22082 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077586 14133010432 50249 33554432000 4194304 4196468 140725929482416 140137061132592 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 13811280
[startup+3.10167 s]
/proc/loadavg: 13.84 12.94 13.25 20/299 22106
/proc/meminfo: memFree=31436628/32770624 swapFree=5860/276228
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[pid=22062] ppid=22061 vsize=13801768 CPUtime=19.99 cores=1,3,5,7,9,11,13,15
/proc/22062/stat : 22062 (java) S 22061 22061 7411 0 -1 1077944320 21240 0 0 0 1981 18 0 0 20 0 28 0 4077577 14133010432 59273 33554432000 4194304 4196468 140725929482416 140725929464960 140137743412983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
/proc/22062/statm: 3450442 59273 3255 1 0 3437675 0
[pid=22062/tid=22063] ppid=22061 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22063/stat : 22063 (java) S 22061 22061 7411 0 -1 1077944384 6982 0 0 0 78 2 0 0 20 0 28 0 4077577 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137747653760 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22065] ppid=22061 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22065/stat : 22065 (java) S 22061 22061 7411 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137675549072 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22066] ppid=22061 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22066/stat : 22066 (java) S 22061 22061 7411 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137674496272 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22067] ppid=22061 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22067/stat : 22067 (java) S 22061 22061 7411 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137673443984 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22068] ppid=22061 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22068/stat : 22068 (java) S 22061 22061 7411 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137672391184 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22069] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22069/stat : 22069 (java) S 22061 22061 7411 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137671338896 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22070] ppid=22061 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22070/stat : 22070 (java) S 22061 22061 7411 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137336900368 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22071] ppid=22061 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22071/stat : 22071 (java) S 22061 22061 7411 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137335848080 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22072] ppid=22061 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22072/stat : 22072 (java) S 22061 22061 7411 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 4077578 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137334795280 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22073] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22073/stat : 22073 (java) S 22061 22061 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4077580 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137272813680 140137743424130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22074] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22074/stat : 22074 (java) S 22061 22061 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4077581 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137271759712 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22075] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22075/stat : 22075 (java) S 22061 22061 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4077582 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137270707328 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22076] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22076/stat : 22076 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077585 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137269655632 140137743431579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22077] ppid=22061 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22077/stat : 22077 (java) R 22061 22061 7411 0 -1 4202560 2789 0 0 0 201 0 0 0 20 0 28 0 4077585 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137268590320 140137728334786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22078] ppid=22061 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22078/stat : 22078 (java) R 22061 22061 7411 0 -1 4202560 3046 0 0 0 181 0 0 0 20 0 28 0 4077585 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137065328432 140137728521021 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22079] ppid=22061 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22079/stat : 22079 (java) R 22061 22061 7411 0 -1 4202560 3052 0 0 0 198 0 0 0 20 0 28 0 4077585 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137064277208 140137724957214 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22080] ppid=22061 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22080/stat : 22080 (java) S 22061 22061 7411 0 -1 1077944384 2835 0 0 0 78 1 0 0 20 0 28 0 4077585 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137063238384 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22081] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22081/stat : 22081 (java) S 22061 22061 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4077586 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137062185312 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22082] ppid=22061 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22082/stat : 22082 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077586 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137061132592 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22099] ppid=22061 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22099/stat : 22099 (java) R 22061 22061 7411 0 -1 4202560 43 0 0 0 121 0 0 0 20 0 28 0 4077717 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137051507856 140137356753422 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22100] ppid=22061 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22100/stat : 22100 (java) R 22061 22061 7411 0 -1 4202560 30 0 0 0 113 0 0 0 20 0 28 0 4077717 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137047302200 140137356191071 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22101] ppid=22061 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22101/stat : 22101 (java) R 22061 22061 7411 0 -1 4202560 48 0 0 0 112 0 0 0 20 0 28 0 4077717 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137050462392 140137356754220 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22102] ppid=22061 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22102/stat : 22102 (java) R 22061 22061 7411 0 -1 4202560 47 0 0 0 122 0 0 0 20 0 28 0 4077717 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137049406744 140137357338302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22103] ppid=22061 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22103/stat : 22103 (java) R 22061 22061 7411 0 -1 4202560 36 0 0 0 118 0 0 0 20 0 28 0 4077719 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137046248864 140137356485148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22104] ppid=22061 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22104/stat : 22104 (java) R 22061 22061 7411 0 -1 4202560 35 0 0 0 122 0 0 0 20 0 28 0 4077719 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137052565472 140137727936748 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22105] ppid=22061 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22105/stat : 22105 (java) R 22061 22061 7411 0 -1 4202560 35 0 0 0 115 0 0 0 20 0 28 0 4077719 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137053617048 140137356478671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22106] ppid=22061 vsize=13801768 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22106/stat : 22106 (java) R 22061 22061 7411 0 -1 4202560 168 0 0 0 121 0 0 0 20 0 28 0 4077720 14133010432 59273 33554432000 4194304 4196468 140725929482416 140137048353008 140137356484242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 13811280
[startup+6.30125 s]
/proc/loadavg: 14.18 13.03 13.28 17/299 22122
/proc/meminfo: memFree=31351660/32770624 swapFree=5860/276240
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[pid=22062] ppid=22061 vsize=14001460 CPUtime=45.39 cores=1,3,5,7,9,11,13,15
/proc/22062/stat : 22062 (java) S 22061 22061 7411 0 -1 1077944320 26031 0 0 0 4516 23 0 0 20 0 28 0 4077577 14337495040 89296 33554432000 4194304 4196468 140725929482416 140725929464960 140137743412983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
/proc/22062/statm: 3500365 89296 3269 1 0 3487598 0
[pid=22062/tid=22063] ppid=22061 vsize=14001460 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22063/stat : 22063 (java) S 22061 22061 7411 0 -1 1077944384 7203 0 0 0 78 2 0 0 20 0 28 0 4077577 14337495040 89296 33554432000 4194304 4196468 140725929482416 140137747653760 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22065] ppid=22061 vsize=14001460 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22065/stat : 22065 (java) S 22061 22061 7411 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 4077578 14337495040 89296 33554432000 4194304 4196468 140725929482416 140137675549072 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22066] ppid=22061 vsize=14001460 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22066/stat : 22066 (java) S 22061 22061 7411 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4077578 14337495040 89296 33554432000 4194304 4196468 140725929482416 140137674496272 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22067] ppid=22061 vsize=14001460 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22067/stat : 22067 (java) S 22061 22061 7411 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4077578 14337495040 89296 33554432000 4194304 4196468 140725929482416 140137673443984 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22068] ppid=22061 vsize=14001460 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22068/stat : 22068 (java) S 22061 22061 7411 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 4077578 14337495040 89296 33554432000 4194304 4196468 140725929482416 140137672391184 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
################
# More data... #
################
[pid=22062/tid=22178] ppid=22061 vsize=14001460 CPUtime=146.31 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22178/stat : 22178 (java) R 22061 22061 7411 0 -1 4202560 1085 0 0 0 14631 0 0 0 20 0 28 0 4085018 14337495040 61294 33554432000 4194304 4196468 140725929482416 140137044143736 140137357338328 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22179] ppid=22061 vsize=14001460 CPUtime=145.99 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22179/stat : 22179 (java) R 22061 22061 7411 0 -1 4202560 474 0 0 0 14599 0 0 0 20 0 28 0 4085018 14337495040 61294 33554432000 4194304 4196468 140725929482416 140137048354072 140137356970109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
Current children cumulated CPU time (s) 1758.4
Current children cumulated vsize (KiB) 14010972
[startup+282.302 s]
/proc/loadavg: 15.39 14.62 13.91 17/300 22324
/proc/meminfo: memFree=29533484/32770624 swapFree=5860/276576
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[pid=22062] ppid=22061 vsize=14001460 CPUtime=2231.64 cores=1,3,5,7,9,11,13,15
/proc/22062/stat : 22062 (java) S 22061 22061 7411 0 -1 1077944320 100945 0 0 0 222987 177 0 0 20 0 28 0 4077577 14337495040 84499 33554432000 4194304 4196468 140725929482416 140725929464960 140137743412983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
/proc/22062/statm: 3500365 84499 3279 1 0 3487598 0
[pid=22062/tid=22063] ppid=22061 vsize=14001460 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22063/stat : 22063 (java) S 22061 22061 7411 0 -1 1077944384 7789 0 0 0 79 2 0 0 20 0 28 0 4077577 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137747653760 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22065] ppid=22061 vsize=14001460 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22065/stat : 22065 (java) S 22061 22061 7411 0 -1 1077944384 2601 0 0 0 40 7 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137675549072 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22066] ppid=22061 vsize=14001460 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22066/stat : 22066 (java) S 22061 22061 7411 0 -1 1077944384 2949 0 0 0 41 8 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137674496272 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22067] ppid=22061 vsize=14001460 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22067/stat : 22067 (java) S 22061 22061 7411 0 -1 1077944384 3688 0 0 0 41 8 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137673443984 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22068] ppid=22061 vsize=14001460 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22068/stat : 22068 (java) S 22061 22061 7411 0 -1 1077944384 2253 0 0 0 43 8 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137672391184 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22069] ppid=22061 vsize=14001460 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22069/stat : 22069 (java) S 22061 22061 7411 0 -1 1077944384 1566 0 0 0 39 7 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137671338896 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22070] ppid=22061 vsize=14001460 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22070/stat : 22070 (java) S 22061 22061 7411 0 -1 1077944384 3814 0 0 0 40 9 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137336900368 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22071] ppid=22061 vsize=14001460 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22071/stat : 22071 (java) S 22061 22061 7411 0 -1 1077944384 2307 0 0 0 42 7 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137335848080 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22072] ppid=22061 vsize=14001460 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22072/stat : 22072 (java) S 22061 22061 7411 0 -1 1077944384 3293 0 0 0 42 8 0 0 20 0 28 0 4077578 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137334795280 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22073] ppid=22061 vsize=14001460 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22073/stat : 22073 (java) S 22061 22061 7411 0 -1 1077944384 6759 0 0 0 60 78 0 0 20 0 28 0 4077580 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137272813680 140137743424130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22074] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22074/stat : 22074 (java) S 22061 22061 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4077581 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137271759712 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22075] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22075/stat : 22075 (java) S 22061 22061 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4077582 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137270707328 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22076] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22076/stat : 22076 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077585 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137269655632 140137743431579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22077] ppid=22061 vsize=14001460 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22077/stat : 22077 (java) S 22061 22061 7411 0 -1 1077944384 9481 0 0 0 318 1 0 0 20 0 28 0 4077585 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137268603504 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22078] ppid=22061 vsize=14001460 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22078/stat : 22078 (java) S 22061 22061 7411 0 -1 1077944384 7528 0 0 0 283 0 0 0 20 0 28 0 4077585 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137065343472 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22079] ppid=22061 vsize=14001460 CPUtime=3.17 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22079/stat : 22079 (java) S 22061 22061 7411 0 -1 1077944384 10109 0 0 0 316 1 0 0 20 0 28 0 4077585 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137064291184 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22080] ppid=22061 vsize=14001460 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22080/stat : 22080 (java) S 22061 22061 7411 0 -1 1077944384 8001 0 0 0 95 2 0 0 20 0 28 0 4077585 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137063238384 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22081] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22081/stat : 22081 (java) S 22061 22061 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4077586 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137062185312 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22082] ppid=22061 vsize=14001460 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22082/stat : 22082 (java) S 22061 22061 7411 0 -1 1077944384 914 0 0 0 5 7 0 0 20 0 28 0 4077586 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137061132592 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22293] ppid=22061 vsize=14001460 CPUtime=50.87 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22293/stat : 22293 (java) R 22061 22061 7411 0 -1 4202560 846 0 0 0 5087 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137047300704 140137358695475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22294] ppid=22061 vsize=14001460 CPUtime=50.81 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22294/stat : 22294 (java) R 22061 22061 7411 0 -1 4202560 571 0 0 0 5081 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137050460032 140137356753968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22295] ppid=22061 vsize=14001460 CPUtime=51.01 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22295/stat : 22295 (java) R 22061 22061 7411 0 -1 4202560 309 0 0 0 5101 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137044144032 140137358695461 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22296] ppid=22061 vsize=14001460 CPUtime=50.7 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22296/stat : 22296 (java) R 22061 22061 7411 0 -1 4202560 379 0 0 0 5070 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137048354528 140137358694852 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22297] ppid=22061 vsize=14001460 CPUtime=50.87 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22297/stat : 22297 (java) R 22061 22061 7411 0 -1 4202560 576 0 0 0 5087 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137045199920 140137358045552 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22298] ppid=22061 vsize=14001460 CPUtime=50.7 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22298/stat : 22298 (java) R 22061 22061 7411 0 -1 4202560 194 0 0 0 5070 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137052565888 140137357338430 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22299] ppid=22061 vsize=14001460 CPUtime=50.9 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22299/stat : 22299 (java) R 22061 22061 7411 0 -1 4202560 632 0 0 0 5090 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137053617856 140137357982338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22300] ppid=22061 vsize=14001460 CPUtime=50.55 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22300/stat : 22300 (java) R 22061 22061 7411 0 -1 4202560 308 0 0 0 5055 0 0 0 20 0 28 0 4100631 14337495040 84499 33554432000 4194304 4196468 140725929482416 140137051512208 140137358022134 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
Current children cumulated CPU time (s) 2231.64
Current children cumulated vsize (KiB) 14010972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.802 s]
/proc/loadavg: 15.66 14.75 13.97 17/300 22325
/proc/meminfo: memFree=29452760/32770624 swapFree=5860/276640
[pid=22061] ppid=22058 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22061/stat : 22061 (xcsp3-exec) S 22058 22061 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4077577 9740288 345 33554432000 4194304 5098028 140727219027920 140727219026024 140063641227900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 22372352 140727219029135 140727219029344 140727219029344 140727219032043 0
/proc/22061/statm: 2378 345 289 221 0 87 0
[pid=22062] ppid=22061 vsize=14001460 CPUtime=2400.61 cores=1,3,5,7,9,11,13,15
/proc/22062/stat : 22062 (java) S 22061 22061 7411 0 -1 1077944320 103769 0 0 0 239855 206 0 0 20 0 28 0 4077577 14337495040 96267 33554432000 4194304 4196468 140725929482416 140725929464960 140137743412983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
/proc/22062/statm: 3500365 96267 3279 1 0 3487598 0
[pid=22062/tid=22063] ppid=22061 vsize=14001460 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22063/stat : 22063 (java) S 22061 22061 7411 0 -1 1077944384 7789 0 0 0 79 2 0 0 20 0 28 0 4077577 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137747653760 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22065] ppid=22061 vsize=14001460 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22065/stat : 22065 (java) S 22061 22061 7411 0 -1 1077944384 2699 0 0 0 50 8 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137675549072 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22066] ppid=22061 vsize=14001460 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22066/stat : 22066 (java) S 22061 22061 7411 0 -1 1077944384 3055 0 0 0 49 9 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137674496272 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22067] ppid=22061 vsize=14001460 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22067/stat : 22067 (java) S 22061 22061 7411 0 -1 1077944384 3793 0 0 0 50 9 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137673443984 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22068] ppid=22061 vsize=14001460 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22068/stat : 22068 (java) S 22061 22061 7411 0 -1 1077944384 2372 0 0 0 52 9 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137672391184 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22069] ppid=22061 vsize=14001460 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22069/stat : 22069 (java) S 22061 22061 7411 0 -1 1077944384 1655 0 0 0 48 8 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137671338896 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22070] ppid=22061 vsize=14001460 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22070/stat : 22070 (java) S 22061 22061 7411 0 -1 1077944384 3853 0 0 0 49 11 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137336900368 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22071] ppid=22061 vsize=14001460 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22071/stat : 22071 (java) S 22061 22061 7411 0 -1 1077944384 2470 0 0 0 50 8 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137335848080 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22072] ppid=22061 vsize=14001460 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22072/stat : 22072 (java) S 22061 22061 7411 0 -1 1077944384 4061 0 0 0 51 9 0 0 20 0 28 0 4077578 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137334795280 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22073] ppid=22061 vsize=14001460 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22073/stat : 22073 (java) S 22061 22061 7411 0 -1 1077944384 7096 0 0 0 73 97 0 0 20 0 28 0 4077580 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137272813680 140137743424130 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22074] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22074/stat : 22074 (java) S 22061 22061 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4077581 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137271759712 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22075] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22075/stat : 22075 (java) S 22061 22061 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4077582 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137270707328 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22076] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22076/stat : 22076 (java) S 22061 22061 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4077585 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137269655632 140137743431579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22077] ppid=22061 vsize=14001460 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22077/stat : 22077 (java) S 22061 22061 7411 0 -1 1077944384 9483 0 0 0 318 1 0 0 20 0 28 0 4077585 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137268603504 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22078] ppid=22061 vsize=14001460 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22078/stat : 22078 (java) S 22061 22061 7411 0 -1 1077944384 7531 0 0 0 283 0 0 0 20 0 28 0 4077585 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137065343472 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22079] ppid=22061 vsize=14001460 CPUtime=3.17 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22079/stat : 22079 (java) S 22061 22061 7411 0 -1 1077944384 10111 0 0 0 316 1 0 0 20 0 28 0 4077585 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137064291184 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22080] ppid=22061 vsize=14001460 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22080/stat : 22080 (java) S 22061 22061 7411 0 -1 1077944384 8003 0 0 0 95 2 0 0 20 0 28 0 4077585 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137063238384 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22081] ppid=22061 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22081/stat : 22081 (java) S 22061 22061 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4077586 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137062185312 140137743423189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22082] ppid=22061 vsize=14001460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22082/stat : 22082 (java) S 22061 22061 7411 0 -1 1077944384 934 0 0 0 5 8 0 0 20 0 28 0 4077586 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137061132592 140137743424130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22293] ppid=22061 vsize=14001460 CPUtime=71.89 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22293/stat : 22293 (java) R 22061 22061 7411 0 -1 4202560 965 0 0 0 7189 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137047301512 140137357466440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22294] ppid=22061 vsize=14001460 CPUtime=71.85 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22294/stat : 22294 (java) R 22061 22061 7411 0 -1 4202560 756 0 0 0 7185 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137050460072 140137358040189 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22295] ppid=22061 vsize=14001460 CPUtime=72.09 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22295/stat : 22295 (java) R 22061 22061 7411 0 -1 4202560 437 0 0 0 7209 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137044143920 140137358695475 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22296] ppid=22061 vsize=14001460 CPUtime=71.68 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22296/stat : 22296 (java) R 22061 22061 7411 0 -1 4202560 496 0 0 0 7168 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137048357760 140137356484477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22297] ppid=22061 vsize=14001460 CPUtime=71.91 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22297/stat : 22297 (java) R 22061 22061 7411 0 -1 4202560 699 0 0 0 7191 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137045200712 140137357338302 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22298] ppid=22061 vsize=14001460 CPUtime=71.64 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22298/stat : 22298 (java) R 22061 22061 7411 0 -1 4202560 247 0 0 0 7164 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137052565752 140137358045552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22299] ppid=22061 vsize=14001460 CPUtime=71.65 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22299/stat : 22299 (java) R 22061 22061 7411 0 -1 4202560 781 0 0 0 7165 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137053617848 140137357466050 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
[pid=22062/tid=22300] ppid=22061 vsize=14001460 CPUtime=71.52 cores=1,3,5,7,9,11,13,15
/proc/22062/task/22300/stat : 22300 (java) R 22061 22061 7411 0 -1 4202560 405 0 0 0 7152 0 0 0 20 0 28 0 4100631 14337495040 96267 33554432000 4194304 4196468 140725929482416 140137051512008 140137356754116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140725929489596 140725929489772 140725929489772 140725929492431 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 14010972
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 22062 sig 9
??? kill 22061 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 22061 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2937
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=779
# CPU time returned by wait4() is 0.003716
# while last known CPU time is 2400.61
#
# 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.61
CPU user time (s): 2398.55
CPU system time (s): 2.06
CPU usage (%): 790.161
Max. virtual memory (cumulated for all children) (KiB): 14010972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002937
system time used= 0.000779
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.84322 second user time and 4.46118 second system time
The end