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 (6731 MiB free)
memory of node 1: 16384 MiB (7311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403608-1568993527/watcher-4403608-1568993527 -o /var/tmp/evaluation-result-4403608-1568993527/solver-4403608-1568993527 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6086 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 312806068 HOME/instance-4403608-1568993527.xml
running on 4 cores: 0,2,4,6
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=11623, runsolver pid=11620
[startup+0.10009 s]*
/proc/loadavg: 8.46 8.20 7.98 6/233 11639
/proc/meminfo: memFree=14364240/32770624 swapFree=66988812/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15144776 memory=28796 CPUtime=0.12 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 5677 0 0 0 11 1 0 0 20 0 15 0 475615320 15508250624 7199 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3786194 7199 3116 1 0 3748377 0
[pid=11625/tid=11626] ppid=11623 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) R 11623 11623 6055 0 -1 4202560 3622 0 0 0 8 1 0 0 20 0 15 0 475615320 15508250624 7199 33554432000 4194304 4196468 140731207376816 140140529825584 140140525604246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15144776 memory=3472468026767062224 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 7199 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 7199 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 7199 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 7199 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475615322 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475615323 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139397309600 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475615323 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139396256496 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615325 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) R 11623 11623 6055 0 -1 4202560 306 0 0 0 0 0 0 0 20 0 15 0 475615325 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139394153200 140140510408813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) R 11623 11623 6055 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475615325 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139393100656 140140525603458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0.02 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) R 11623 11623 6055 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 475615325 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139392047600 140140504292512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615326 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615326 15508250624 7199 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30248 KiB
[startup+0.210865 s]*
/proc/loadavg: 8.46 8.20 7.98 7/233 11639
/proc/meminfo: memFree=14350308/32770624 swapFree=66988812/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15144776 memory=41000 CPUtime=0.34 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 9481 0 0 0 31 3 0 0 20 0 15 0 475615320 15508250624 10250 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3786194 10250 3296 1 0 3748377 0
[pid=11625/tid=11626] ppid=11623 vsize=15144776 memory=-8895323862916359523 CPUtime=0.19 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) R 11623 11623 6055 0 -1 4202560 6623 0 0 0 17 2 0 0 20 0 15 0 475615320 15508250624 10250 33554432000 4194304 4196468 140731207376816 140140529827008 140140525604246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15144776 memory=3472468026767062224 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 10250 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 10250 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 10250 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475615321 15508250624 10250 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475615322 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475615323 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139397309600 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475615323 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139396256496 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615325 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) S 11623 11623 6055 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 475615325 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139394153200 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) S 11623 11623 6055 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 475615325 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139393100656 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0.08 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) R 11623 11623 6055 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 475615325 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139392047408 140140504940432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615326 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15144776 memory=139897871910528 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615326 15508250624 10250 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42452 KiB
[startup+0.310709 s]*
/proc/loadavg: 8.46 8.20 7.98 8/233 11639
/proc/meminfo: memFree=14342888/32770624 swapFree=66988812/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15149032 memory=49876 CPUtime=0.53 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 10793 0 0 0 49 4 0 0 20 0 15 0 475615320 15512608768 12469 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3787258 12469 3366 1 0 3748377 0
[pid=11625/tid=11626] ppid=11623 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) R 11623 11623 6055 0 -1 4202560 7754 0 0 0 27 3 0 0 20 0 15 0 475615320 15512608768 12497 33554432000 4194304 4196468 140731207376816 140140529823424 140140525614237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15149032 memory=3472468026767062224 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15512608768 12497 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15149032 memory=279795627161984 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15512608768 12497 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15149032 memory=279795510535200 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15512608768 12497 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15149032 memory=139897755251471 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475615321 15512608768 12497 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15149032 memory=279795627168896 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475615322 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15149032 memory=139897755256079 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475615323 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139397309600 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15149032 memory=139897755269891 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475615323 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139396256496 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15149032 memory=279795510549024 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615325 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) S 11623 11623 6055 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 475615325 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139394153200 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) R 11623 11623 6055 0 -1 4202560 450 0 0 0 5 0 0 0 20 0 15 0 475615325 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139393091040 140140504839276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15149032 memory=139897871910528 CPUtime=0.13 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) S 11623 11623 6055 0 -1 1077944384 860 0 0 0 13 0 0 0 20 0 15 0 475615325 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139392047600 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615326 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15149032 memory=139897871911980 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615326 15512608768 12497 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51328 KiB
[startup+0.700755 s]
/proc/loadavg: 8.46 8.20 7.98 8/233 11639
/proc/meminfo: memFree=14320292/32770624 swapFree=66988812/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15151156 memory=118016 CPUtime=1.66 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 13493 0 0 0 160 6 0 0 20 0 15 0 475615320 15514783744 29504 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3787789 29504 3447 1 0 3748889 0
[pid=11625/tid=11626] ppid=11623 vsize=15151156 memory=7882800638288482663 CPUtime=0.68 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) R 11623 11623 6055 0 -1 4202560 8455 0 0 0 63 5 0 0 20 0 15 0 475615320 15514783744 29504 33554432000 4194304 4196468 140731207376816 140140529829888 140140166372160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15514783744 29504 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15514783744 29504 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615321 15514783744 30016 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475615321 15514783744 30016 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475615322 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475615323 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139397309600 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475615323 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139396256496 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15151156 memory=8100 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615325 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15151156 memory=1164 CPUtime=0.3 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) R 11623 11623 6055 0 -1 4202560 1248 0 0 0 30 0 0 0 20 0 15 0 475615325 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139394153496 140140507113959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15151156 memory=9520 CPUtime=0.33 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) R 11623 11623 6055 0 -1 4202560 926 0 0 0 33 0 0 0 20 0 15 0 475615325 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139393100656 140140510476761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15151156 memory=14008 CPUtime=0.32 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) R 11623 11623 6055 0 -1 1077944384 1556 0 0 0 32 0 0 0 20 0 15 0 475615325 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139392047600 140140525603458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475615326 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15151156 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475615326 15514783744 30016 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119468 KiB
[startup+1.50076 s]
/proc/loadavg: 8.46 8.20 7.98 7/233 11639
/proc/meminfo: memFree=14182088/32770624 swapFree=66988812/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 73807 0 0 0 231535 101 0 0 20 0 19 0 475615320 15787429888 856161 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3854353 856161 3526 1 0 3815453 0
[pid=11625/tid=11626] ppid=11623 vsize=15417412 memory=3424644 CPUtime=1.09 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) S 11623 11623 6055 0 -1 1077944384 9154 0 0 0 103 6 0 0 20 0 19 0 475615320 15787429888 856161 33554432000 4194304 4196468 140731207376816 140140529833088 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15417412 memory=3478004 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1479 0 0 0 13 8 0 0 20 0 19 0 475615321 15787429888 856161 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15417412 memory=3424644 CPUtime=0.19 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 4634 0 0 0 11 8 0 0 20 0 19 0 475615321 15787429888 856161 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.2 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1757 0 0 0 12 8 0 0 20 0 19 0 475615321 15787429888 856161 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 1301 0 0 0 12 9 0 0 20 0 19 0 475615321 15787429888 856161 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15417412 memory=3424624 CPUtime=0.04 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 3617 0 0 0 3 1 0 0 20 0 19 0 475615322 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15417412 memory=3424624 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139397309664 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15417412 memory=3424624 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139396256512 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615325 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15417412 memory=3478004 CPUtime=1.74 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) S 11623 11623 6055 0 -1 1077944384 8643 0 0 0 173 1 0 0 20 0 19 0 475615325 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139394153200 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15417412 memory=1452 CPUtime=1.93 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) S 11623 11623 6055 0 -1 1077944384 7869 0 0 0 193 0 0 0 20 0 19 0 475615325 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139393100656 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) S 11623 11623 6055 0 -1 1077944384 6113 0 0 0 70 1 0 0 20 0 19 0 475615325 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139392047600 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615326 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.28 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 603 0 0 0 0 28 0 0 20 0 19 0 475615326 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11640] ppid=11623 vsize=15417412 memory=3424624 CPUtime=575.66 cores=0,2,4,6
/proc/11625/task/11640/stat : 11640 (java) R 11623 11623 6055 0 -1 4202560 1125 0 0 0 57566 0 0 0 20 0 19 0 475615440 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139380963104 140140168682735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11641] ppid=11623 vsize=15417412 memory=3478004 CPUtime=576.31 cores=0,2,4,6
/proc/11625/task/11641/stat : 11641 (java) R 11623 11623 6055 0 -1 4202560 11286 0 0 0 57607 24 0 0 20 0 19 0 475615440 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139379908208 140140168683121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11642] ppid=11623 vsize=15417412 memory=3620 CPUtime=578.64 cores=0,2,4,6
/proc/11625/task/11642/stat : 11642 (java) R 11623 11623 6055 0 -1 4202560 1222 0 0 0 57864 0 0 0 20 0 19 0 475615440 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139378855752 140140168544982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11643] ppid=11623 vsize=15417412 memory=1452 CPUtime=579.04 cores=0,2,4,6
/proc/11625/task/11643/stat : 11643 (java) R 11623 11623 6055 0 -1 4202560 13697 0 0 0 57874 30 0 0 20 0 19 0 475615440 15787429888 856161 33554432000 4194304 4196468 140731207376816 140139377805768 140140168546818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 2316.36 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3426096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.501 s]
/proc/loadavg: 4.19 6.36 7.39 5/212 11808
/proc/meminfo: memFree=13299448/32770624 swapFree=66988816/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15417412 memory=3424844 CPUtime=2520.2 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 77543 0 0 0 251919 101 0 0 20 0 19 0 475615320 15787429888 856211 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3854353 856211 3526 1 0 3815453 0
[pid=11625/tid=11626] ppid=11623 vsize=15417412 memory=3424844 CPUtime=1.09 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) S 11623 11623 6055 0 -1 1077944384 9154 0 0 0 103 6 0 0 20 0 19 0 475615320 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140529833088 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1499 0 0 0 13 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0.2 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 4645 0 0 0 12 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0.2 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1779 0 0 0 12 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 1464 0 0 0 12 9 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15417412 memory=2120 CPUtime=0.04 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 3807 0 0 0 3 1 0 0 20 0 19 0 475615322 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139397309664 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15417412 memory=39064 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139396256512 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15417412 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15417412 memory=984 CPUtime=1.74 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) S 11623 11623 6055 0 -1 1077944384 8643 0 0 0 173 1 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139394153200 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15417412 memory=1324 CPUtime=1.98 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) S 11623 11623 6055 0 -1 1077944384 9056 0 0 0 198 0 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139393100656 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) S 11623 11623 6055 0 -1 1077944384 6113 0 0 0 70 1 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139392047600 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615326 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15417412 memory=1028 CPUtime=0.33 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 613 0 0 0 0 33 0 0 20 0 19 0 475615326 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11640] ppid=11623 vsize=15417412 memory=1060 CPUtime=626.79 cores=0,2,4,6
/proc/11625/task/11640/stat : 11640 (java) R 11623 11623 6055 0 -1 4202560 1152 0 0 0 62679 0 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139380960216 140140168546823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11641] ppid=11623 vsize=15417412 memory=2828 CPUtime=627.48 cores=0,2,4,6
/proc/11625/task/11641/stat : 11641 (java) R 11623 11623 6055 0 -1 4202560 12444 0 0 0 62724 24 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139379908048 140140168545067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11642] ppid=11623 vsize=15417412 memory=3424844 CPUtime=628.88 cores=0,2,4,6
/proc/11625/task/11642/stat : 11642 (java) R 11623 11623 6055 0 -1 4202560 1245 0 0 0 62888 0 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139378855768 140140168684233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11643] ppid=11623 vsize=15417412 memory=1452 CPUtime=630.23 cores=0,2,4,6
/proc/11625/task/11643/stat : 11643 (java) R 11623 11623 6055 0 -1 4202560 14622 0 0 0 62992 31 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139377806336 140140168911006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3426296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.524 s]
# the end of solver process 11623 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001141 s, system=0.001141 s
[startup+633.595 s]
# the end of solver process 11625 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=1.03696 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
[startup+633.501 s]
/proc/loadavg: 4.19 6.36 7.39 5/212 11808
/proc/meminfo: memFree=13299448/32770624 swapFree=66988816/67108860
[pid=11623] ppid=11620 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11623/stat : 11623 (xcsp3-exec) S 11620 11623 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475615320 115843072 363 33554432000 4194304 5098028 140736227824000 140736227822104 140218955600508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26791936 140736227832663 140736227832921 140736227832921 140736227835846 0
/proc/11623/statm: 28282 363 304 221 0 87 0
[pid=11625] ppid=11623 vsize=15417412 memory=3424844 CPUtime=2520.2 cores=0,2,4,6
/proc/11625/stat : 11625 (java) S 11623 11623 6055 0 -1 1077944320 77543 0 0 0 251919 101 0 0 20 0 19 0 475615320 15787429888 856211 33554432000 4194304 4196468 140731207376816 140731207359360 140140525592311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
/proc/11625/statm: 3854353 856211 3526 1 0 3815453 0
[pid=11625/tid=11626] ppid=11623 vsize=15417412 memory=3424844 CPUtime=1.09 cores=0,2,4,6
/proc/11625/task/11626/stat : 11626 (java) S 11623 11623 6055 0 -1 1077944384 9154 0 0 0 103 6 0 0 20 0 19 0 475615320 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140529833088 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11627] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11627/stat : 11627 (java) S 11623 11623 6055 0 -1 1077944384 1499 0 0 0 13 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140117679120 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11628] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0.2 cores=0,2,4,6
/proc/11625/task/11628/stat : 11628 (java) S 11623 11623 6055 0 -1 1077944384 4645 0 0 0 12 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140116626576 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11629] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0.2 cores=0,2,4,6
/proc/11625/task/11629/stat : 11629 (java) S 11623 11623 6055 0 -1 1077944384 1779 0 0 0 12 8 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140115573520 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11630] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/11625/task/11630/stat : 11630 (java) S 11623 11623 6055 0 -1 1077944384 1464 0 0 0 12 9 0 0 20 0 19 0 475615321 15787429888 856211 33554432000 4194304 4196468 140731207376816 140140114520976 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11631] ppid=11623 vsize=15417412 memory=2120 CPUtime=0.04 cores=0,2,4,6
/proc/11625/task/11631/stat : 11631 (java) S 11623 11623 6055 0 -1 1077944384 3807 0 0 0 3 1 0 0 20 0 19 0 475615322 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139398363376 140140525603458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11632] ppid=11623 vsize=15417412 memory=3424844 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11632/stat : 11632 (java) S 11623 11623 6055 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139397309664 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11633] ppid=11623 vsize=15417412 memory=39064 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11633/stat : 11633 (java) S 11623 11623 6055 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475615323 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139396256512 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11634] ppid=11623 vsize=15417412 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11634/stat : 11634 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139395205072 140140525610907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11635] ppid=11623 vsize=15417412 memory=984 CPUtime=1.74 cores=0,2,4,6
/proc/11625/task/11635/stat : 11635 (java) S 11623 11623 6055 0 -1 1077944384 8643 0 0 0 173 1 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139394153200 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11636] ppid=11623 vsize=15417412 memory=1324 CPUtime=1.98 cores=0,2,4,6
/proc/11625/task/11636/stat : 11636 (java) S 11623 11623 6055 0 -1 1077944384 9056 0 0 0 198 0 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139393100656 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11637] ppid=11623 vsize=15417412 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/11625/task/11637/stat : 11637 (java) S 11623 11623 6055 0 -1 1077944384 6113 0 0 0 70 1 0 0 20 0 19 0 475615325 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139392047600 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11638] ppid=11623 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11625/task/11638/stat : 11638 (java) S 11623 11623 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475615326 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139390995296 140140525602517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11639] ppid=11623 vsize=15417412 memory=1028 CPUtime=0.33 cores=0,2,4,6
/proc/11625/task/11639/stat : 11639 (java) S 11623 11623 6055 0 -1 1077944384 613 0 0 0 0 33 0 0 20 0 19 0 475615326 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139389942320 140140525603458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11640] ppid=11623 vsize=15417412 memory=1060 CPUtime=626.79 cores=0,2,4,6
/proc/11625/task/11640/stat : 11640 (java) R 11623 11623 6055 0 -1 4202560 1152 0 0 0 62679 0 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139380960216 140140168546823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11641] ppid=11623 vsize=15417412 memory=2828 CPUtime=627.48 cores=0,2,4,6
/proc/11625/task/11641/stat : 11641 (java) R 11623 11623 6055 0 -1 4202560 12444 0 0 0 62724 24 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139379908048 140140168545067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11642] ppid=11623 vsize=15417412 memory=3424844 CPUtime=628.88 cores=0,2,4,6
/proc/11625/task/11642/stat : 11642 (java) R 11623 11623 6055 0 -1 4202560 1245 0 0 0 62888 0 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139378855768 140140168684233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
[pid=11625/tid=11643] ppid=11623 vsize=15417412 memory=1452 CPUtime=630.23 cores=0,2,4,6
/proc/11625/task/11643/stat : 11643 (java) R 11623 11623 6055 0 -1 4202560 14622 0 0 0 62992 31 0 0 20 0 19 0 475615440 15787429888 856211 33554432000 4194304 4196468 140731207376816 140139377806336 140140168911006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140731207381979 140731207382154 140731207382154 140731207385039 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3426296 KiB
Child status: 143
Real time (s): 633.595
CPU time (s): 2520.54
CPU user time (s): 2519.5
CPU system time (s): 1.03696
CPU usage (%): 397.816
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 3479536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 1.03696
maximum resident set size= 3481300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16396
involuntary context switches= 37395
# summary of solver processes directly reported to runsolver:
# pid: 11623,11625
# total CPU time (s): 2520.54
# total CPU user time (s): 2519.5
# total CPU system time (s): 1.03696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.02607 second user time and 7.28889 second system time
The end