runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15213 MiB free)
memory of node 1: 16384 MiB (15630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393132-1568343562/watcher-4393132-1568343562 -o /tmp/evaluation-result-4393132-1568343562/solver-4393132-1568343562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 770259632 HOME/instance-4393132-1568343562.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17215, runsolver pid=17211
[startup+0.100089 s]*
/proc/loadavg: 0.65 0.74 0.93 5/229 17250
/proc/meminfo: memFree=31550476/32770624 swapFree=66999972/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15144768 memory=29156 CPUtime=0.13 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 5703 0 0 0 12 1 0 0 20 0 15 0 410270216 15508242432 7289 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3786192 7289 3145 1 0 3748377 0
[pid=17221/tid=17223] ppid=17215 vsize=15144768 memory=7748307311448697419 CPUtime=0.08 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) R 17215 17215 15420 0 -1 4202560 3614 0 0 0 8 0 0 0 20 0 15 0 410270217 15508242432 7289 33554432000 4194304 4196468 140734783044784 140515168803616 140515148653918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 7289 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 7289 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514306123424 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514305070320 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) R 17215 17215 15420 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514302957648 140515144985168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0.02 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) R 17215 17215 15420 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514300860400 140515164594778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 7289 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30604 KiB
[startup+0.219896 s]*
/proc/loadavg: 0.65 0.74 0.93 5/229 17250
/proc/meminfo: memFree=31522432/32770624 swapFree=66999972/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15144768 memory=40272 CPUtime=0.35 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 9305 0 0 0 32 3 0 0 20 0 15 0 410270216 15508242432 10068 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3786192 10068 3265 1 0 3748377 0
[pid=17221/tid=17223] ppid=17215 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) D 17215 17215 15420 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 410270217 15508242432 10068 33554432000 4194304 4196468 140734783044784 140515168798192 140515164595357 0 4 0 16800975 18446744071580419588 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15144768 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 10068 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15144768 memory=139971609106292 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 10068 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270217 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514306123424 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410270219 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514305070320 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) S 17215 17215 15420 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514302966000 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15144768 memory=139971609089664 CPUtime=0.08 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) S 17215 17215 15420 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270222 15508242432 10068 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41720 KiB
[startup+0.310616 s]*
/proc/loadavg: 0.65 0.74 0.93 3/229 17250
/proc/meminfo: memFree=31512932/32770624 swapFree=66999972/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15149024 memory=46548 CPUtime=0.48 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 10500 0 0 0 45 3 0 0 20 0 15 0 410270216 15512600576 11637 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3787256 11637 3353 1 0 3748377 0
[pid=17221/tid=17223] ppid=17215 vsize=15149024 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) R 17215 17215 15420 0 -1 4202560 7574 0 0 0 25 3 0 0 20 0 15 0 410270217 15512600576 11703 33554432000 4194304 4196468 140734783044784 140515168785984 140515148617061 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15512600576 11703 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15149024 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15512600576 11703 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270217 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410270219 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410270219 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514306123424 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410270219 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514305070320 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15149024 memory=7893295687695687954 CPUtime=0.05 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) R 17215 17215 15420 0 -1 1077944384 595 0 0 0 5 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514302966000 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15149024 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 101 0 0 0 3 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15149024 memory=7827413994055111515 CPUtime=0.12 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) R 17215 17215 15420 0 -1 4202560 927 0 0 0 12 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270222 15512600576 11703 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47996 KiB
[startup+0.700839 s]
/proc/loadavg: 0.65 0.74 0.93 8/229 17250
/proc/meminfo: memFree=31470488/32770624 swapFree=66999972/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15151148 memory=116524 CPUtime=1.75 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 13641 0 0 0 169 6 0 0 20 0 15 0 410270216 15514775552 29131 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3787787 29131 3442 1 0 3748889 0
[pid=17221/tid=17223] ppid=17215 vsize=15151148 memory=-7604262568725289114 CPUtime=0.65 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) R 17215 17215 15420 0 -1 4202560 8286 0 0 0 60 5 0 0 20 0 15 0 410270217 15514775552 29131 33554432000 4194304 4196468 140734783044784 140515168808184 140514773891971 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15514775552 29131 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15514775552 29131 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15151148 memory=57 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410270217 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270217 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410270219 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410270219 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514306123424 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15151148 memory=34304 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410270219 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514305070320 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15151148 memory=2012 CPUtime=0.38 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) R 17215 17215 15420 0 -1 4202560 1230 0 0 0 38 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514302956112 140515149688486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15151148 memory=1240 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) R 17215 17215 15420 0 -1 4202560 1028 0 0 0 37 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514301896176 140515149698530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15151148 memory=580 CPUtime=0.31 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) S 17215 17215 15420 0 -1 1077944384 1788 0 0 0 31 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15151148 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15151148 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410270222 15514775552 29131 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 117972 KiB
[startup+1.50081 s]
/proc/loadavg: 0.65 0.74 0.93 11/233 17254
/proc/meminfo: memFree=31311148/32770624 swapFree=66999972/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 81727 0 0 0 207467 99 0 0 20 0 19 0 410270216 15787421696 881237 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3854351 881237 3519 1 0 3815453 0
[pid=17221/tid=17223] ppid=17215 vsize=15417404 memory=3524948 CPUtime=2.65 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) S 17215 17215 15420 0 -1 1077944384 9786 0 0 0 256 9 0 0 20 0 19 0 410270217 15787421696 881237 33554432000 4194304 4196468 140734783044784 140515168814208 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.39 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 1133 0 0 0 31 8 0 0 20 0 19 0 410270217 15787421696 881237 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.35 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 1281 0 0 0 27 8 0 0 20 0 19 0 410270217 15787421696 881237 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 4945 0 0 0 29 8 0 0 20 0 19 0 410270217 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1711 0 0 0 30 7 0 0 20 0 19 0 410270217 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.03 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 3446 0 0 0 2 1 0 0 20 0 19 0 410270219 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15417404 memory=34336 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514306123488 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514305070336 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15417404 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) S 17215 17215 15420 0 -1 1077944384 11551 0 0 0 344 1 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514302966000 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15417404 memory=-7737605721172012177 CPUtime=3.22 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 10136 0 0 0 321 1 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.91 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) S 17215 17215 15420 0 -1 1077944384 8325 0 0 0 90 1 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15417404 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 720 0 0 0 0 18 0 0 20 0 19 0 410270222 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17257] ppid=17215 vsize=15417404 memory=3524948 CPUtime=517.81 cores=1,3,5,7
/proc/17221/task/17257/stat : 17257 (java) R 17215 17215 15420 0 -1 4202560 2034 0 0 0 51779 2 0 0 20 0 19 0 410270503 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514289544856 140514779598751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17258] ppid=17215 vsize=15417404 memory=3524948 CPUtime=516.32 cores=1,3,5,7
/proc/17221/task/17258/stat : 17258 (java) R 17215 17215 15420 0 -1 4202560 19244 0 0 0 51589 43 0 0 20 0 19 0 410270503 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514288495336 140514780668534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17259] ppid=17215 vsize=15417404 memory=1448 CPUtime=513.88 cores=1,3,5,7
/proc/17221/task/17259/stat : 17259 (java) R 17215 17215 15420 0 -1 4202560 1009 0 0 0 51387 1 0 0 20 0 19 0 410270503 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514287440392 140514779975736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17260] ppid=17215 vsize=15417404 memory=3524948 CPUtime=515.59 cores=1,3,5,7
/proc/17221/task/17260/stat : 17260 (java) R 17215 17215 15420 0 -1 4202560 5096 0 0 0 51556 3 0 0 20 0 19 0 410270503 15787421696 881237 33554432000 4194304 4196468 140734783044784 140514286389696 140514779932340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 2075.66 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3526396 KiB
[startup+582.302 s]
/proc/loadavg: 8.91 7.50 4.48 9/237 17493
/proc/meminfo: memFree=27767452/32770624 swapFree=66999976/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15417404 memory=3524952 CPUtime=2314.57 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 84647 0 0 0 231357 100 0 0 20 0 19 0 410270216 15787421696 881238 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3854351 881238 3520 1 0 3815453 0
[pid=17221/tid=17223] ppid=17215 vsize=15417404 memory=3524948 CPUtime=2.65 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) S 17215 17215 15420 0 -1 1077944384 9786 0 0 0 256 9 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515168814208 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0.39 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 1133 0 0 0 31 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15417404 memory=3524952 CPUtime=0.35 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 1281 0 0 0 27 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15417404 memory=1448 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 4945 0 0 0 29 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15417404 memory=2116 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1711 0 0 0 30 7 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15417404 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 3512 0 0 0 2 2 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15417404 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514306123488 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15417404 memory=3524948 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514305070336 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15417404 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15417404 memory=580 CPUtime=3.45 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) S 17215 17215 15420 0 -1 1077944384 11556 0 0 0 344 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514302966000 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15417404 memory=1696 CPUtime=3.22 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 10754 0 0 0 321 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15417404 memory=2304 CPUtime=0.91 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) S 17215 17215 15420 0 -1 1077944384 8331 0 0 0 90 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15417404 memory=1448 CPUtime=0.2 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 776 0 0 0 0 20 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17257] ppid=17215 vsize=15417404 memory=3524948 CPUtime=577.78 cores=1,3,5,7
/proc/17221/task/17257/stat : 17257 (java) R 17215 17215 15420 0 -1 4202560 2217 0 0 0 57776 2 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514289548576 140514779672728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17258] ppid=17215 vsize=15417404 memory=3524952 CPUtime=576.32 cores=1,3,5,7
/proc/17221/task/17258/stat : 17258 (java) R 17215 17215 15420 0 -1 4202560 20634 0 0 0 57588 44 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514288497192 140514780668555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17259] ppid=17215 vsize=15417404 memory=3616 CPUtime=572.79 cores=1,3,5,7
/proc/17221/task/17259/stat : 17259 (java) R 17215 17215 15420 0 -1 4202560 1148 0 0 0 57278 1 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514287444648 140514780338702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17260] ppid=17215 vsize=15417404 memory=3524948 CPUtime=575.59 cores=1,3,5,7
/proc/17221/task/17260/stat : 17260 (java) R 17215 17215 15420 0 -1 4202560 5553 0 0 0 57556 3 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514286391592 140514779932218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 2314.57 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3526400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.002 s]*
/proc/loadavg: 8.69 7.68 4.71 9/238 17663
/proc/meminfo: memFree=27393952/32770624 swapFree=66999976/67108860
[pid=17215] ppid=17211 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17215/stat : 17215 (xcsp3-exec) S 17211 17215 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410270216 115843072 362 33554432000 4194304 5098028 140726729224000 140726729222104 140562285646460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19873792 140726729229179 140726729229421 140726729229421 140726729232330 0
/proc/17215/statm: 28282 362 304 221 0 87 0
[pid=17221] ppid=17215 vsize=15417404 memory=3524952 CPUtime=2520.4 cores=1,3,5,7
/proc/17221/stat : 17221 (java) S 17215 17215 15420 0 -1 1077944320 86102 0 0 0 251940 100 0 0 20 0 19 0 410270216 15787421696 881238 33554432000 4194304 4196468 140734783044784 140734783027328 140515164573431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
/proc/17221/statm: 3854351 881238 3520 1 0 3815453 0
[pid=17221/tid=17223] ppid=17215 vsize=15417404 memory=1398722017469774279 CPUtime=2.65 cores=1,3,5,7
/proc/17221/task/17223/stat : 17223 (java) S 17215 17215 15420 0 -1 1077944384 9786 0 0 0 256 9 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515168814208 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17225] ppid=17215 vsize=15417404 memory=4126316290023845779 CPUtime=0.39 cores=1,3,5,7
/proc/17221/task/17225/stat : 17225 (java) S 17215 17215 15420 0 -1 1077944384 1133 0 0 0 31 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515092613648 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17226] ppid=17215 vsize=15417404 memory=2604 CPUtime=0.35 cores=1,3,5,7
/proc/17221/task/17226/stat : 17226 (java) S 17215 17215 15420 0 -1 1077944384 1281 0 0 0 27 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140515091561104 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17227] ppid=17215 vsize=15417404 memory=2304 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17227/stat : 17227 (java) S 17215 17215 15420 0 -1 1077944384 4945 0 0 0 29 8 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514754423056 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17228] ppid=17215 vsize=15417404 memory=1412 CPUtime=0.37 cores=1,3,5,7
/proc/17221/task/17228/stat : 17228 (java) S 17215 17215 15420 0 -1 1077944384 1711 0 0 0 30 7 0 0 20 0 19 0 410270217 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514753370512 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17233] ppid=17215 vsize=15417404 memory=3440 CPUtime=0.04 cores=1,3,5,7
/proc/17221/task/17233/stat : 17233 (java) S 17215 17215 15420 0 -1 1077944384 3514 0 0 0 2 2 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514307177200 140515164584578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17235] ppid=17215 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17235/stat : 17235 (java) S 17215 17215 15420 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514306123488 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17237] ppid=17215 vsize=15417404 memory=3524952 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17237/stat : 17237 (java) S 17215 17215 15420 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 410270219 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514305070336 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17239] ppid=17215 vsize=15417404 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17239/stat : 17239 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514304018896 140515164592027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17240] ppid=17215 vsize=15417404 memory=580 CPUtime=3.45 cores=1,3,5,7
/proc/17221/task/17240/stat : 17240 (java) S 17215 17215 15420 0 -1 1077944384 11557 0 0 0 344 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514302966000 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17241] ppid=17215 vsize=15417404 memory=1696 CPUtime=3.22 cores=1,3,5,7
/proc/17221/task/17241/stat : 17241 (java) S 17215 17215 15420 0 -1 1077944384 10759 0 0 0 321 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514301913456 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17242] ppid=17215 vsize=15417404 memory=3436 CPUtime=0.91 cores=1,3,5,7
/proc/17221/task/17242/stat : 17242 (java) S 17215 17215 15420 0 -1 1077944384 8333 0 0 0 90 1 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514300860400 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17246] ppid=17215 vsize=15417404 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/17221/task/17246/stat : 17246 (java) S 17215 17215 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514299808096 140515164583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17249] ppid=17215 vsize=15417404 memory=2832 CPUtime=0.22 cores=1,3,5,7
/proc/17221/task/17249/stat : 17249 (java) S 17215 17215 15420 0 -1 1077944384 783 0 0 0 0 22 0 0 20 0 19 0 410270222 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514298756144 140515164584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17257] ppid=17215 vsize=15417404 memory=4 CPUtime=629.47 cores=1,3,5,7
/proc/17221/task/17257/stat : 17257 (java) R 17215 17215 15420 0 -1 4202560 2291 0 0 0 62945 2 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514289548576 140514779672349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17258] ppid=17215 vsize=15417404 memory=0 CPUtime=627.05 cores=1,3,5,7
/proc/17221/task/17258/stat : 17258 (java) R 17215 17215 15420 0 -1 4202560 21635 0 0 0 62661 44 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514288497192 140514773747316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17259] ppid=17215 vsize=15417404 memory=0 CPUtime=624.48 cores=1,3,5,7
/proc/17221/task/17259/stat : 17259 (java) R 17215 17215 15420 0 -1 4202560 1199 0 0 0 62447 1 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514287444648 140514780338702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
[pid=17221/tid=17260] ppid=17215 vsize=15417404 memory=0 CPUtime=627.31 cores=1,3,5,7
/proc/17221/task/17260/stat : 17260 (java) R 17215 17215 15420 0 -1 4202560 5865 0 0 0 62728 3 0 0 20 0 19 0 410270503 15787421696 881238 33554432000 4194304 4196468 140734783044784 140514286391592 140514779932372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24821760 140734783050735 140734783050906 140734783050906 140734783053775 0
Current children cumulated CPU time: 2520.4 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3526400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.03 s]
# the end of solver process 17215 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000737 s, system=0.001787 s
[startup+634.1 s]
# the end of solver process 17221 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=1.02782 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.1
CPU time (s): 2520.7
CPU user time (s): 2519.68
CPU system time (s): 1.02782
CPU usage (%): 397.525
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3526400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 1.02782
maximum resident set size= 3525644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87464
page faults= 0
swaps= 0
block input operations= 6560
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16796
involuntary context switches= 33935
# summary of solver processes directly reported to runsolver:
# pid: 17215,17221
# total CPU time (s): 2520.7
# total CPU user time (s): 2519.68
# total CPU system time (s): 1.02782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16561 second user time and 7.2602 second system time
The end