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-4246902-1500688619/watcher-4246902-1500688619 -o /tmp/evaluation-result-4246902-1500688619/solver-4246902-1500688619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 952073019 HOME/instance-4246902-1500688619.xml
pid=32689
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.04 12.36 13.17 9/270 32692
/proc/meminfo: memFree=29699176/32770624 swapFree=5736/259344
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[startup+0.100129 s]
/proc/loadavg: 12.04 12.36 13.17 9/270 32692
/proc/meminfo: memFree=29699176/32770624 swapFree=5736/259344
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 12.04 12.36 13.17 9/270 32692
/proc/meminfo: memFree=29699176/32770624 swapFree=5736/259344
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300383 s]
/proc/loadavg: 12.04 12.36 13.17 9/270 32692
/proc/meminfo: memFree=29699176/32770624 swapFree=5736/259344
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 12.04 12.36 13.17 9/270 32692
/proc/meminfo: memFree=29699176/32770624 swapFree=5736/259344
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 12.04 12.36 13.17 14/291 32713
/proc/meminfo: memFree=29566524/32770624 swapFree=5736/259400
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[pid=32693] ppid=32692 vsize=13269256 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/32693/stat : 32693 (java) S 32692 32692 16473 0 -1 1077944320 21380 0 0 0 510 21 0 0 20 0 20 0 4131092 13587718144 56078 33554432000 4194304 4196468 140724213918880 140724213901424 140565028151031 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
/proc/32693/statm: 3317314 56078 3247 1 0 3304547 0
[pid=32693/tid=32694] ppid=32692 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32694/stat : 32694 (java) R 32692 32692 16473 0 -1 4202560 8015 0 0 0 139 3 0 0 20 0 20 0 4131092 13587718144 56078 33554432000 4194304 4196468 140724213918880 140565032384872 140564636562801 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32696] ppid=32692 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32696/stat : 32696 (java) S 32692 32692 16473 0 -1 1077944384 116 0 0 0 2 2 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564960287248 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32697] ppid=32692 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32697/stat : 32697 (java) S 32692 32692 16473 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564959234704 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32698] ppid=32692 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32698/stat : 32698 (java) S 32692 32692 16473 0 -1 1077944384 93 0 0 0 3 1 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564958181648 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32699] ppid=32692 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32699/stat : 32699 (java) S 32692 32692 16473 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564957129104 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32700] ppid=32692 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32700/stat : 32700 (java) S 32692 32692 16473 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564956077072 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32701] ppid=32692 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32701/stat : 32701 (java) S 32692 32692 16473 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564955024528 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32702] ppid=32692 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32702/stat : 32702 (java) S 32692 32692 16473 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564953971472 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32703] ppid=32692 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32703/stat : 32703 (java) S 32692 32692 16473 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 20 0 4131093 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564952918928 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32704] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32704/stat : 32704 (java) S 32692 32692 16473 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 4131095 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564490434800 140565028162178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32705] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32705/stat : 32705 (java) S 32692 32692 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4131096 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564489381024 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32706] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32706/stat : 32706 (java) S 32692 32692 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4131096 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564488327920 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32707] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32707/stat : 32707 (java) S 32692 32692 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564487276496 140565028169627 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32708] ppid=32692 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32708/stat : 32708 (java) R 32692 32692 16473 0 -1 4202560 3711 0 0 0 95 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564486211088 140565012158861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32709] ppid=32692 vsize=13269256 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32709/stat : 32709 (java) R 32692 32692 16473 0 -1 4202560 2673 0 0 0 99 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564485165120 140565009695655 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32710] ppid=32692 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32710/stat : 32710 (java) R 32692 32692 16473 0 -1 4202560 2240 0 0 0 103 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564484104016 140565011637077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32711] ppid=32692 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32711/stat : 32711 (java) S 32692 32692 16473 0 -1 1077944384 2814 0 0 0 56 1 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564483066480 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32712] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32712/stat : 32712 (java) S 32692 32692 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564414589408 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32713] ppid=32692 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32713/stat : 32713 (java) S 32692 32692 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4131101 13587718144 56078 33554432000 4194304 4196468 140724213918880 140564413536944 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 13278768
[startup+3.10153 s]
/proc/loadavg: 12.04 12.36 13.17 21/299 32721
/proc/meminfo: memFree=29401468/32770624 swapFree=5736/259400
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[pid=32693] ppid=32692 vsize=13801768 CPUtime=16.43 cores=0,2,4,6,8,10,12,14
/proc/32693/stat : 32693 (java) S 32692 32692 16473 0 -1 1077944320 31848 0 0 0 1588 55 0 0 20 0 28 0 4131092 14133010432 79135 33554432000 4194304 4196468 140724213918880 140724213901424 140565028151031 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
/proc/32693/statm: 3450442 79135 3263 1 0 3437675 0
[pid=32693/tid=32694] ppid=32692 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32694/stat : 32694 (java) S 32692 32692 16473 0 -1 1077944384 8220 0 0 0 174 3 0 0 20 0 28 0 4131092 14133010432 79135 33554432000 4194304 4196468 140724213918880 140565032391808 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32696] ppid=32692 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32696/stat : 32696 (java) S 32692 32692 16473 0 -1 1077944384 141 0 0 0 4 5 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564960287248 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32697] ppid=32692 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32697/stat : 32697 (java) S 32692 32692 16473 0 -1 1077944384 49 0 0 0 3 5 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564959234704 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32698] ppid=32692 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32698/stat : 32698 (java) S 32692 32692 16473 0 -1 1077944384 128 0 0 0 5 5 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564958181648 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32699] ppid=32692 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32699/stat : 32699 (java) S 32692 32692 16473 0 -1 1077944384 82 0 0 0 4 5 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564957129104 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32700] ppid=32692 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32700/stat : 32700 (java) S 32692 32692 16473 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564956077072 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32701] ppid=32692 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32701/stat : 32701 (java) S 32692 32692 16473 0 -1 1077944384 87 0 0 0 4 6 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564955024528 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32702] ppid=32692 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32702/stat : 32702 (java) S 32692 32692 16473 0 -1 1077944384 85 0 0 0 4 6 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564953971472 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32703] ppid=32692 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32703/stat : 32703 (java) S 32692 32692 16473 0 -1 1077944384 53 0 0 0 3 5 0 0 20 0 28 0 4131093 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564952918928 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32704] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32704/stat : 32704 (java) S 32692 32692 16473 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 4131095 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564490434800 140565028162178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32705] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32705/stat : 32705 (java) S 32692 32692 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564489381088 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32706] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32706/stat : 32706 (java) S 32692 32692 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564488327936 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32707] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32707/stat : 32707 (java) S 32692 32692 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564487276496 140565028169627 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32708] ppid=32692 vsize=13801768 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32708/stat : 32708 (java) R 32692 32692 16473 0 -1 1077944384 6643 0 0 0 226 1 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564486224624 140565028162178 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32709] ppid=32692 vsize=13801768 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32709/stat : 32709 (java) R 32692 32692 16473 0 -1 4202560 5088 0 0 0 215 1 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564485158104 140565013276803 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32710] ppid=32692 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32710/stat : 32710 (java) R 32692 32692 16473 0 -1 4202560 5255 0 0 0 204 1 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564484119024 140565007370425 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32711] ppid=32692 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32711/stat : 32711 (java) S 32692 32692 16473 0 -1 1077944384 3767 0 0 0 80 2 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564483066480 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32712] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32712/stat : 32712 (java) S 32692 32692 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564414589408 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32713] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32713/stat : 32713 (java) S 32692 32692 16473 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564413536944 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32714] ppid=32692 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32714/stat : 32714 (java) R 32692 32692 16473 0 -1 4202560 107 0 0 0 70 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564405521440 140564640710698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32715] ppid=32692 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32715/stat : 32715 (java) R 32692 32692 16473 0 -1 4202560 68 0 0 0 98 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564404470264 140564640395702 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32716] ppid=32692 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32716/stat : 32716 (java) R 32692 32692 16473 0 -1 4202560 183 0 0 0 83 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564403417296 140564640395573 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32717] ppid=32692 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32717/stat : 32717 (java) R 32692 32692 16473 0 -1 4202560 112 0 0 0 86 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564402364904 140564640395779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32718] ppid=32692 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32718/stat : 32718 (java) R 32692 32692 16473 0 -1 4202560 39 0 0 0 81 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564401312296 140564640396204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32719] ppid=32692 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32719/stat : 32719 (java) R 32692 32692 16473 0 -1 4202560 41 0 0 0 67 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564400258496 140564640396070 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32720] ppid=32692 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32720/stat : 32720 (java) R 32692 32692 16473 0 -1 4202560 37 0 0 0 83 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564399205776 140564640395725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32721] ppid=32692 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32721/stat : 32721 (java) R 32692 32692 16473 0 -1 4202560 87 0 0 0 80 0 0 0 20 0 28 0 4131283 14133010432 79135 33554432000 4194304 4196468 140724213918880 140564398155656 140564640930074 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (KiB) 13811280
[startup+6.30149 s]
/proc/loadavg: 12.36 12.42 13.18 18/299 32721
/proc/meminfo: memFree=29398000/32770624 swapFree=5736/259408
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[pid=32693] ppid=32692 vsize=13801768 CPUtime=41.84 cores=0,2,4,6,8,10,12,14
/proc/32693/stat : 32693 (java) S 32692 32692 16473 0 -1 1077944320 38278 0 0 0 4125 59 0 0 20 0 28 0 4131092 14133010432 78000 33554432000 4194304 4196468 140724213918880 140724213901424 140565028151031 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
/proc/32693/statm: 3450442 78000 3283 1 0 3437675 0
[pid=32693/tid=32694] ppid=32692 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32694/stat : 32694 (java) S 32692 32692 16473 0 -1 1077944384 8220 0 0 0 174 3 0 0 20 0 28 0 4131092 14133010432 78000 33554432000 4194304 4196468 140724213918880 140565032391808 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32696] ppid=32692 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32696/stat : 32696 (java) S 32692 32692 16473 0 -1 1077944384 141 0 0 0 4 5 0 0 20 0 28 0 4131093 14133010432 78000 33554432000 4194304 4196468 140724213918880 140564960287248 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32697] ppid=32692 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32697/stat : 32697 (java) S 32692 32692 16473 0 -1 1077944384 49 0 0 0 3 5 0 0 20 0 28 0 4131093 14133010432 78000 33554432000 4194304 4196468 140724213918880 140564959234704 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32698] ppid=32692 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32698/stat : 32698 (java) S 32692 32692 16473 0 -1 1077944384 128 0 0 0 5 5 0 0 20 0 28 0 4131093 14133010432 78000 33554432000 4194304 4196468 140724213918880 140564958181648 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32699] ppid=32692 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32699/stat : 32699 (java) S 32692 32692 16473 0 -1 1077944384 82 0 0 0 4 5 0 0 20 0 28 0 4131093 14133010432 78000 33554432000 4194304 4196468 140724213918880 140564957129104 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
################
# More data... #
################
[pid=32693/tid=32720] ppid=32692 vsize=13801768 CPUtime=219.54 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32720/stat : 32720 (java) R 32692 32692 16473 0 -1 4202560 897 0 0 0 21954 0 0 0 20 0 28 0 4131283 14133010432 121286 33554432000 4194304 4196468 140724213918880 140564399206344 140564640395753 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32721] ppid=32692 vsize=13801768 CPUtime=217.84 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32721/stat : 32721 (java) R 32692 32692 16473 0 -1 4202560 952 0 0 0 21782 2 0 0 20 0 28 0 4131283 14133010432 121286 33554432000 4194304 4196468 140724213918880 140564398153616 140564640396088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
Current children cumulated CPU time (s) 1762.29
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.07 14.59 13.90 17/303 601
/proc/meminfo: memFree=27490304/32770624 swapFree=5736/259896
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[pid=32693] ppid=32692 vsize=13801768 CPUtime=2240 cores=0,2,4,6,8,10,12,14
/proc/32693/stat : 32693 (java) S 32692 32692 16473 0 -1 1077944320 63441 0 0 0 223888 112 0 0 20 0 28 0 4131092 14133010432 156614 33554432000 4194304 4196468 140724213918880 140724213901424 140565028151031 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
/proc/32693/statm: 3450442 156614 3286 1 0 3437675 0
[pid=32693/tid=32694] ppid=32692 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32694/stat : 32694 (java) S 32692 32692 16473 0 -1 1077944384 8220 0 0 0 174 3 0 0 20 0 28 0 4131092 14133010432 156614 33554432000 4194304 4196468 140724213918880 140565032391808 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32696] ppid=32692 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32696/stat : 32696 (java) S 32692 32692 16473 0 -1 1077944384 210 0 0 0 7 9 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564960287248 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32697] ppid=32692 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32697/stat : 32697 (java) S 32692 32692 16473 0 -1 1077944384 271 0 0 0 6 8 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564959234704 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32698] ppid=32692 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32698/stat : 32698 (java) S 32692 32692 16473 0 -1 1077944384 875 0 0 0 9 9 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564958181648 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32699] ppid=32692 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32699/stat : 32699 (java) S 32692 32692 16473 0 -1 1077944384 379 0 0 0 8 9 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564957129104 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32700] ppid=32692 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32700/stat : 32700 (java) S 32692 32692 16473 0 -1 1077944384 361 0 0 0 7 8 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564956077072 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32701] ppid=32692 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32701/stat : 32701 (java) S 32692 32692 16473 0 -1 1077944384 197 0 0 0 8 10 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564955024528 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32702] ppid=32692 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32702/stat : 32702 (java) S 32692 32692 16473 0 -1 1077944384 169 0 0 0 7 10 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564953971472 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32703] ppid=32692 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32703/stat : 32703 (java) S 32692 32692 16473 0 -1 1077944384 374 0 0 0 7 9 0 0 20 0 28 0 4131093 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564952918928 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32704] ppid=32692 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32704/stat : 32704 (java) S 32692 32692 16473 0 -1 1077944384 1222 0 0 0 3 1 0 0 20 0 28 0 4131095 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564490434800 140565028162178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32705] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32705/stat : 32705 (java) S 32692 32692 16473 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564489381088 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32706] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32706/stat : 32706 (java) S 32692 32692 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564488327936 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32707] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32707/stat : 32707 (java) S 32692 32692 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564487276496 140565028169627 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32708] ppid=32692 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32708/stat : 32708 (java) S 32692 32692 16473 0 -1 1077944384 12124 0 0 0 298 2 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564486224624 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32709] ppid=32692 vsize=13801768 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32709/stat : 32709 (java) S 32692 32692 16473 0 -1 1077944384 9901 0 0 0 306 2 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564485172080 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32710] ppid=32692 vsize=13801768 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32710/stat : 32710 (java) S 32692 32692 16473 0 -1 1077944384 10687 0 0 0 308 2 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564484119024 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32711] ppid=32692 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32711/stat : 32711 (java) S 32692 32692 16473 0 -1 1077944384 6864 0 0 0 91 2 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564483066480 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32712] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32712/stat : 32712 (java) S 32692 32692 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564414589408 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32713] ppid=32692 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32713/stat : 32713 (java) S 32692 32692 16473 0 -1 1077944384 543 0 0 0 8 6 0 0 20 0 28 0 4131101 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564413536944 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 11 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32714] ppid=32692 vsize=13801768 CPUtime=278.29 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32714/stat : 32714 (java) R 32692 32692 16473 0 -1 4202560 1189 0 0 0 27828 1 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564405520904 140564640287787 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32715] ppid=32692 vsize=13801768 CPUtime=275.93 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32715/stat : 32715 (java) R 32692 32692 16473 0 -1 4202560 929 0 0 0 27589 4 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564404472064 140564640395740 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32716] ppid=32692 vsize=13801768 CPUtime=279.02 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32716/stat : 32716 (java) R 32692 32692 16473 0 -1 4202560 1669 0 0 0 27899 3 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564403417544 140564640395573 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32717] ppid=32692 vsize=13801768 CPUtime=278.87 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32717/stat : 32717 (java) R 32692 32692 16473 0 -1 4202560 1309 0 0 0 27884 3 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564402365000 140564640395725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32718] ppid=32692 vsize=13801768 CPUtime=279.49 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32718/stat : 32718 (java) R 32692 32692 16473 0 -1 4202560 855 0 0 0 27949 0 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564401311672 140564640395645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32719] ppid=32692 vsize=13801768 CPUtime=277.64 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32719/stat : 32719 (java) R 32692 32692 16473 0 -1 4202560 1733 0 0 0 27763 1 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564400259400 140564641090622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32720] ppid=32692 vsize=13801768 CPUtime=279.48 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32720/stat : 32720 (java) R 32692 32692 16473 0 -1 4202560 943 0 0 0 27948 0 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564399206344 140564640395645 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32721] ppid=32692 vsize=13801768 CPUtime=277.7 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32721/stat : 32721 (java) R 32692 32692 16473 0 -1 4202560 1062 0 0 0 27767 3 0 0 20 0 28 0 4131283 14133010432 156614 33554432000 4194304 4196468 140724213918880 140564398153616 140564640395428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
Current children cumulated CPU time (s) 2240
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.401 s]
/proc/loadavg: 16.12 14.70 13.95 17/303 602
/proc/meminfo: memFree=27386708/32770624 swapFree=5736/259928
[pid=32692] ppid=32689 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32692/stat : 32692 (xcsp3-exec) S 32689 32692 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4131091 9740288 346 33554432000 4194304 5098028 140722479151616 140722479149720 140670398755452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19853312 140722479154319 140722479154528 140722479154528 140722479157227 0
/proc/32692/statm: 2378 346 289 221 0 87 0
[pid=32693] ppid=32692 vsize=13801768 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/32693/stat : 32693 (java) S 32692 32692 16473 0 -1 1077944320 66824 0 0 0 239881 123 0 0 20 0 28 0 4131092 14133010432 180941 33554432000 4194304 4196468 140724213918880 140724213901424 140565028151031 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
/proc/32693/statm: 3450442 180941 3286 1 0 3437675 0
[pid=32693/tid=32694] ppid=32692 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32694/stat : 32694 (java) S 32692 32692 16473 0 -1 1077944384 8220 0 0 0 174 3 0 0 20 0 28 0 4131092 14133010432 180941 33554432000 4194304 4196468 140724213918880 140565032391808 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32696] ppid=32692 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32696/stat : 32696 (java) S 32692 32692 16473 0 -1 1077944384 251 0 0 0 8 10 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564960287248 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32697] ppid=32692 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32697/stat : 32697 (java) S 32692 32692 16473 0 -1 1077944384 493 0 0 0 7 9 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564959234704 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32698] ppid=32692 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32698/stat : 32698 (java) S 32692 32692 16473 0 -1 1077944384 950 0 0 0 10 10 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564958181648 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32699] ppid=32692 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32699/stat : 32699 (java) S 32692 32692 16473 0 -1 1077944384 531 0 0 0 9 10 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564957129104 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32700] ppid=32692 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32700/stat : 32700 (java) S 32692 32692 16473 0 -1 1077944384 403 0 0 0 9 9 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564956077072 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32701] ppid=32692 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32701/stat : 32701 (java) S 32692 32692 16473 0 -1 1077944384 217 0 0 0 9 11 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564955024528 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32702] ppid=32692 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32702/stat : 32702 (java) S 32692 32692 16473 0 -1 1077944384 208 0 0 0 9 11 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564953971472 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32703] ppid=32692 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32703/stat : 32703 (java) S 32692 32692 16473 0 -1 1077944384 1096 0 0 0 8 10 0 0 20 0 28 0 4131093 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564952918928 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32704] ppid=32692 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32704/stat : 32704 (java) S 32692 32692 16473 0 -1 1077944384 1748 0 0 0 3 1 0 0 20 0 28 0 4131095 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564490434800 140565028162178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32705] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32705/stat : 32705 (java) S 32692 32692 16473 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564489381088 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32706] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32706/stat : 32706 (java) S 32692 32692 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4131096 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564488327936 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32707] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32707/stat : 32707 (java) S 32692 32692 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564487276496 140565028169627 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32708] ppid=32692 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32708/stat : 32708 (java) S 32692 32692 16473 0 -1 1077944384 12124 0 0 0 298 2 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564486224624 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32709] ppid=32692 vsize=13801768 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32709/stat : 32709 (java) S 32692 32692 16473 0 -1 1077944384 11037 0 0 0 309 2 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564485172080 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32710] ppid=32692 vsize=13801768 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32710/stat : 32710 (java) S 32692 32692 16473 0 -1 1077944384 10687 0 0 0 308 2 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564484119024 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32711] ppid=32692 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32711/stat : 32711 (java) S 32692 32692 16473 0 -1 1077944384 6864 0 0 0 91 2 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564483066480 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32712] ppid=32692 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32712/stat : 32712 (java) S 32692 32692 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564414589408 140565028161237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32713] ppid=32692 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32713/stat : 32713 (java) S 32692 32692 16473 0 -1 1077944384 546 0 0 0 9 7 0 0 20 0 28 0 4131101 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564413536944 140565028162178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32714] ppid=32692 vsize=13801768 CPUtime=298.33 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32714/stat : 32714 (java) R 32692 32692 16473 0 -1 4202560 1197 0 0 0 29832 1 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564405521112 140564640395683 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32715] ppid=32692 vsize=13801768 CPUtime=295.93 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32715/stat : 32715 (java) R 32692 32692 16473 0 -1 4202560 958 0 0 0 29589 4 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564404469576 140564640605162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32716] ppid=32692 vsize=13801768 CPUtime=299.06 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32716/stat : 32716 (java) R 32692 32692 16473 0 -1 4202560 1976 0 0 0 29903 3 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564403419872 140564641090617 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32717] ppid=32692 vsize=13801768 CPUtime=298.91 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32717/stat : 32717 (java) R 32692 32692 16473 0 -1 4202560 1329 0 0 0 29888 3 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564402364848 140564640395683 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32718] ppid=32692 vsize=13801768 CPUtime=299.54 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32718/stat : 32718 (java) R 32692 32692 16473 0 -1 4202560 858 0 0 0 29954 0 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564401312120 140564640395702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32719] ppid=32692 vsize=13801768 CPUtime=297.19 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32719/stat : 32719 (java) R 32692 32692 16473 0 -1 4202560 1734 0 0 0 29717 2 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564400259464 140564640395702 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32720] ppid=32692 vsize=13801768 CPUtime=299.51 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32720/stat : 32720 (java) R 32692 32692 16473 0 -1 4202560 962 0 0 0 29951 0 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564399206408 140564640395645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
[pid=32693/tid=32721] ppid=32692 vsize=13801768 CPUtime=297.74 cores=0,2,4,6,8,10,12,14
/proc/32693/task/32721/stat : 32721 (java) R 32692 32692 16473 0 -1 4202560 1080 0 0 0 29771 3 0 0 20 0 28 0 4131283 14133010432 180941 33554432000 4194304 4196468 140724213918880 140564398153800 140564640395645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30240768 140724213925052 140724213925228 140724213925228 140724213927887 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32693 sig 9
??? kill 32692 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 32692 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2205
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1246
# CPU time returned by wait4() is 0.003451
# while last known CPU time is 2400.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.412
CPU time (s): 2400.04
CPU user time (s): 2398.81
CPU system time (s): 1.23
CPU usage (%): 793.633
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002205
system time used= 0.001246
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.66011 second user time and 4.08197 second system time
The end