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 (14662 MiB free)
memory of node 1: 16384 MiB (15668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399173-1568698955/watcher-4399173-1568698955 -o /tmp/evaluation-result-4399173-1568698955/solver-4399173-1568698955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1900003361 HOME/instance-4399173-1568698955.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=32749, runsolver pid=32746
[startup+0.10278 s]*
/proc/loadavg: 7.90 8.36 8.34 9/234 309
/proc/meminfo: memFree=31009992/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15144776 memory=29620 CPUtime=0.14 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 5862 0 0 0 13 1 0 0 20 0 15 0 446152549 15508250624 7405 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3786194 7405 3154 1 0 3748377 0
[pid=32754/tid=32755] ppid=32749 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) R 32749 32749 23397 0 -1 4202560 3739 0 0 0 9 0 0 0 20 0 15 0 446152549 15508250624 7405 33554432000 4194304 4196468 140728765169200 140073194679136 140073190469014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 7405 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 7405 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 7405 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 7405 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446152551 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446152552 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072657998624 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446152552 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072656946288 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) R 32749 32749 23397 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072654841664 140073168434192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) R 32749 32749 23397 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072653789680 140073190468226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0.02 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) R 32749 32749 23397 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 446152554 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072652737392 140073174537572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) R 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152555 15508250624 7405 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210837 s]*
/proc/loadavg: 7.90 8.36 8.34 9/234 325
/proc/meminfo: memFree=30996404/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15144776 memory=40756 CPUtime=0.34 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 9453 0 0 0 32 2 0 0 20 0 15 0 446152549 15508250624 10189 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3786194 10189 3301 1 0 3748377 0
[pid=32754/tid=32755] ppid=32749 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) R 32749 32749 23397 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 15 0 446152549 15508250624 10189 33554432000 4194304 4196468 140728765169200 140073194693840 140073174537566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 10189 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15144776 memory=3472751998064404128 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 10189 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 10189 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446152550 15508250624 10189 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446152551 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446152552 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072657998624 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446152552 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072656946288 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) S 32749 32749 23397 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 446152554 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072654842480 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) S 32749 32749 23397 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 446152554 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072653789680 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15144776 memory=140014921197184 CPUtime=0.08 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) S 32749 32749 23397 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 446152554 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072652737392 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152555 15508250624 10189 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42208 KiB
[startup+0.311375 s]*
/proc/loadavg: 7.90 8.36 8.34 10/233 337
/proc/meminfo: memFree=30986924/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15149032 memory=50184 CPUtime=0.53 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 10904 0 0 0 50 3 0 0 20 0 15 0 446152549 15512608768 12546 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3787258 12546 3365 1 0 3748377 0
[pid=32754/tid=32755] ppid=32749 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) R 32749 32749 23397 0 -1 4202560 7819 0 0 0 27 3 0 0 20 0 15 0 446152549 15512608768 12546 33554432000 4194304 4196468 140728765169200 140073194690864 140073174537566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15512608768 12546 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15512608768 12546 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152550 15512608768 12546 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446152550 15512608768 12546 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446152551 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446152552 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072657998624 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446152552 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072656946288 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15149032 memory=4569919473823683475 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) S 32749 32749 23397 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 446152554 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072654842480 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) R 32749 32749 23397 0 -1 4202560 337 0 0 0 5 0 0 0 20 0 15 0 446152554 15512608768 12546 33554432000 4194304 4196468 140728765169200 140072653770696 140073175376111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) S 32749 32749 23397 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 446152554 15512608768 12552 33554432000 4194304 4196468 140728765169200 140072652737392 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446152554 15512608768 12552 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446152555 15512608768 12552 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51636 KiB
[startup+0.702393 s]
/proc/loadavg: 7.90 8.36 8.34 12/238 367
/proc/meminfo: memFree=30961568/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15417412 memory=78684 CPUtime=1.76 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 14242 0 0 0 171 5 0 0 20 0 19 0 446152549 15787429888 19671 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3854353 19671 3456 1 0 3815453 0
[pid=32754/tid=32755] ppid=32749 vsize=15417412 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) S 32749 32749 23397 0 -1 1077944384 9047 0 0 0 44 3 0 0 20 0 19 0 446152549 15787429888 19671 33554432000 4194304 4196468 140728765169200 140073194697856 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 19671 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 19671 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 19671 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15417412 memory=47660 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 19671 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446152551 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15417412 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072657998624 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15417412 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072656946288 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15417412 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15417412 memory=692 CPUtime=0.25 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) R 32749 32749 23397 0 -1 4202560 1186 0 0 0 25 0 0 0 20 0 19 0 446152554 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072654832272 140073171222257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15417412 memory=1056 CPUtime=0.31 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) R 32749 32749 23397 0 -1 4202560 847 0 0 0 31 0 0 0 20 0 19 0 446152554 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072653779152 140073169703631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15417412 memory=1556 CPUtime=0.3 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) R 32749 32749 23397 0 -1 4202560 1637 0 0 0 30 0 0 0 20 0 19 0 446152554 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072652733120 140073169260288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15417412 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446152555 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=364] ppid=32749 vsize=15417412 memory=1112 CPUtime=0.11 cores=1,3,5,7
/proc/32754/task/364/stat : 364 (java) R 32749 32749 23397 0 -1 4202560 64 0 0 0 11 0 0 0 20 0 19 0 446152598 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072180500736 140072791948193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=365] ppid=32749 vsize=15417412 memory=6048 CPUtime=0.1 cores=1,3,5,7
/proc/32754/task/365/stat : 365 (java) R 32749 32749 23397 0 -1 4202560 76 0 0 0 10 0 0 0 20 0 19 0 446152598 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072179449816 140072795357419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=366] ppid=32749 vsize=15417412 memory=7552 CPUtime=0.08 cores=1,3,5,7
/proc/32754/task/366/stat : 366 (java) S 32749 32749 23397 0 -1 1077944384 34 0 0 0 8 0 0 0 20 0 19 0 446152598 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072178397344 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=367] ppid=32749 vsize=15417412 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/32754/task/367/stat : 367 (java) R 32749 32749 23397 0 -1 1077944384 44 0 0 0 8 0 0 0 20 0 19 0 446152599 15787429888 19671 33554432000 4194304 4196468 140728765169200 140072177346688 140073190467285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15530540 KiB
################
# More data... #
################
/proc/32754/task/367/stat : 367 (java) R 32749 32749 23397 0 -1 4202560 210 0 0 0 524 0 0 0 20 0 19 0 446152599 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072177345272 140072795868507 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 23.45 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 207580 KiB
[startup+7.41998 s]
# the end of solver process 32749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=27.7326 s, system=0.113143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40147 s]
/proc/loadavg: 8.07 8.39 8.35 9/237 407
/proc/meminfo: memFree=30816664/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15417412 memory=206128 CPUtime=23.85 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 24580 0 0 0 2376 9 0 0 20 0 19 0 446152549 15787429888 51532 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3854353 51532 3500 1 0 3815453 0
[pid=32754/tid=32755] ppid=32749 vsize=15417412 memory=34 CPUtime=0.47 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) S 32749 32749 23397 0 -1 1077944384 9047 0 0 0 44 3 0 0 20 0 19 0 446152549 15787429888 51532 33554432000 4194304 4196468 140728765169200 140073194697856 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 51532 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 51532 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15417412 memory=85 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51532 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15417412 memory=53 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51532 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15417412 memory=73 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 19 0 446152551 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15417412 memory=84 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072657998688 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072656946304 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15417412 memory=206136 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15417412 memory=14012 CPUtime=0.9 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) S 32749 32749 23397 0 -1 1077944384 6254 0 0 0 90 0 0 0 20 0 19 0 446152554 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072654842480 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15417412 memory=14048 CPUtime=0.93 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) S 32749 32749 23397 0 -1 1077944384 3337 0 0 0 93 0 0 0 20 0 19 0 446152554 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072653789680 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15417412 memory=25176 CPUtime=0.37 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) S 32749 32749 23397 0 -1 1077944384 2372 0 0 0 37 0 0 0 20 0 19 0 446152554 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072652737392 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15417412 memory=532 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 19 0 446152555 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=364] ppid=32749 vsize=15417412 memory=1564 CPUtime=5.35 cores=1,3,5,7
/proc/32754/task/364/stat : 364 (java) R 32749 32749 23397 0 -1 4202560 158 0 0 0 535 0 0 0 20 0 19 0 446152598 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072180504000 140072795106277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=365] ppid=32749 vsize=15417412 memory=924 CPUtime=5.06 cores=1,3,5,7
/proc/32754/task/365/stat : 365 (java) R 32749 32749 23397 0 -1 4202560 427 0 0 0 506 0 0 0 20 0 19 0 446152598 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072179450584 140072795121219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=366] ppid=32749 vsize=15417412 memory=1668 CPUtime=5.26 cores=1,3,5,7
/proc/32754/task/366/stat : 366 (java) R 32749 32749 23397 0 -1 4202560 118 0 0 0 526 0 0 0 20 0 19 0 446152598 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072178397024 140072795121298 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=367] ppid=32749 vsize=15417412 memory=1440 CPUtime=5.34 cores=1,3,5,7
/proc/32754/task/367/stat : 367 (java) R 32749 32749 23397 0 -1 4202560 210 0 0 0 534 0 0 0 20 0 19 0 446152599 15787429888 51532 33554432000 4194304 4196468 140728765169200 140072177345272 140072796327648 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 23.85 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 207580 KiB
[startup+7.20147 s]
/proc/loadavg: 8.14 8.40 8.35 10/237 411
/proc/meminfo: memFree=30818688/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15417412 memory=206120 CPUtime=27.02 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 24757 0 0 0 2692 10 0 0 20 0 19 0 446152549 15787429888 51530 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3854353 51530 3500 1 0 3815453 0
[pid=32754/tid=32755] ppid=32749 vsize=15417412 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) S 32749 32749 23397 0 -1 1077944384 9047 0 0 0 44 3 0 0 20 0 19 0 446152549 15787429888 51530 33554432000 4194304 4196468 140728765169200 140073194697856 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51530 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15417412 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 446152550 15787429888 51530 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51530 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51530 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15417412 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 19 0 446152551 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072657998688 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072656946304 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15417412 memory=208176 CPUtime=0.9 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) S 32749 32749 23397 0 -1 1077944384 6254 0 0 0 90 0 0 0 20 0 19 0 446152554 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072654842480 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15417412 memory=54 CPUtime=0.93 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) S 32749 32749 23397 0 -1 1077944384 3337 0 0 0 93 0 0 0 20 0 19 0 446152554 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072653789680 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15417412 memory=7957689449132282197 CPUtime=0.37 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) S 32749 32749 23397 0 -1 1077944384 2372 0 0 0 37 0 0 0 20 0 19 0 446152554 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072652737392 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15417412 memory=7234030490512353113 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15417412 memory=7234030490512353113 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 19 0 446152555 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=364] ppid=32749 vsize=15417412 memory=7234030490512353113 CPUtime=6.14 cores=1,3,5,7
/proc/32754/task/364/stat : 364 (java) R 32749 32749 23397 0 -1 4202560 168 0 0 0 614 0 0 0 20 0 19 0 446152598 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072180501648 140072795417655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=365] ppid=32749 vsize=15417412 memory=6082514196445294695 CPUtime=5.85 cores=1,3,5,7
/proc/32754/task/365/stat : 365 (java) R 32749 32749 23397 0 -1 4202560 495 0 0 0 585 0 0 0 20 0 19 0 446152598 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072179449744 140072795121633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=366] ppid=32749 vsize=15417412 memory=7597132098393106257 CPUtime=6.04 cores=1,3,5,7
/proc/32754/task/366/stat : 366 (java) R 32749 32749 23397 0 -1 4202560 136 0 0 0 604 0 0 0 20 0 19 0 446152598 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072178400000 140072795416318 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=367] ppid=32749 vsize=15417412 memory=-7674914008656224160 CPUtime=6.13 cores=1,3,5,7
/proc/32754/task/367/stat : 367 (java) R 32749 32749 23397 0 -1 4202560 276 0 0 0 613 0 0 0 20 0 19 0 446152599 15787429888 51530 33554432000 4194304 4196468 140728765169200 140072177345136 140072795121920 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 207572 KiB
[startup+7.40147 s]
/proc/loadavg: 8.14 8.40 8.35 10/237 411
/proc/meminfo: memFree=30818688/32770624 swapFree=66977408/67108860
[pid=32749] ppid=32746 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (xcsp3-exec) S 32746 32749 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446152548 115843072 363 33554432000 4194304 5098028 140726901216896 140726901215000 139773196055164 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37425152 140726901224314 140726901224557 140726901224557 140726901227466 0
/proc/32749/statm: 28282 363 304 221 0 87 0
[pid=32754] ppid=32749 vsize=15417412 memory=206276 CPUtime=27.82 cores=1,3,5,7
/proc/32754/stat : 32754 (java) S 32749 32749 23397 0 -1 1077944320 25347 0 0 0 2772 10 0 0 20 0 19 0 446152549 15787429888 51569 33554432000 4194304 4196468 140728765169200 140728765151744 140073190457079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
/proc/32754/statm: 3854353 51569 3501 1 0 3815453 0
[pid=32754/tid=32755] ppid=32749 vsize=15417412 memory=6791534058613427641 CPUtime=0.47 cores=1,3,5,7
/proc/32754/task/32755/stat : 32755 (java) S 32749 32749 23397 0 -1 1077944384 9047 0 0 0 44 3 0 0 20 0 19 0 446152549 15787429888 51569 33554432000 4194304 4196468 140728765169200 140073194697856 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32756] ppid=32749 vsize=15417412 memory=8 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32756/stat : 32756 (java) S 32749 32749 23397 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51569 33554432000 4194304 4196468 140728765169200 140073118497680 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32757] ppid=32749 vsize=15417412 memory=401 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32757/stat : 32757 (java) S 32749 32749 23397 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51569 33554432000 4194304 4196468 140728765169200 140073117444880 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32758] ppid=32749 vsize=15417412 memory=1072 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32758/stat : 32758 (java) S 32749 32749 23397 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51569 33554432000 4194304 4196468 140728765169200 140073116392592 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32759] ppid=32749 vsize=15417412 memory=1427 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32759/stat : 32759 (java) S 32749 32749 23397 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 19 0 446152550 15787429888 51569 33554432000 4194304 4196468 140728765169200 140073115339792 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32764] ppid=32749 vsize=15417412 memory=163 CPUtime=0.01 cores=1,3,5,7
/proc/32754/task/32764/stat : 32764 (java) S 32749 32749 23397 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 19 0 446152551 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072659052656 140073190468226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32765] ppid=32749 vsize=15417412 memory=325 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32765/stat : 32765 (java) S 32749 32749 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072657998688 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32766] ppid=32749 vsize=15417412 memory=12 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32766/stat : 32766 (java) S 32749 32749 23397 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446152552 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072656946304 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=32767] ppid=32749 vsize=15417412 memory=30502 CPUtime=0 cores=1,3,5,7
/proc/32754/task/32767/stat : 32767 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072655894608 140073190475675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=300] ppid=32749 vsize=15417412 memory=1452 CPUtime=0.91 cores=1,3,5,7
/proc/32754/task/300/stat : 300 (java) S 32749 32749 23397 0 -1 1077944384 6472 0 0 0 91 0 0 0 20 0 19 0 446152554 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072654842480 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=301] ppid=32749 vsize=15417412 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/32754/task/301/stat : 301 (java) S 32749 32749 23397 0 -1 1077944384 3337 0 0 0 93 0 0 0 20 0 19 0 446152554 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072653789680 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=302] ppid=32749 vsize=15417412 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/32754/task/302/stat : 302 (java) S 32749 32749 23397 0 -1 1077944384 2372 0 0 0 37 0 0 0 20 0 19 0 446152554 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072652737392 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=303] ppid=32749 vsize=15417412 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/32754/task/303/stat : 303 (java) S 32749 32749 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446152554 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072651684832 140073190467285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=304] ppid=32749 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32754/task/304/stat : 304 (java) S 32749 32749 23397 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 19 0 446152555 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072650631600 140073190468226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=364] ppid=32749 vsize=15417412 memory=302867273281175578 CPUtime=6.34 cores=1,3,5,7
/proc/32754/task/364/stat : 364 (java) R 32749 32749 23397 0 -1 4202560 171 0 0 0 634 0 0 0 20 0 19 0 446152598 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072180501648 140072795106250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=365] ppid=32749 vsize=15417412 memory=5792590443519496550 CPUtime=6.05 cores=1,3,5,7
/proc/32754/task/365/stat : 365 (java) R 32749 32749 23397 0 -1 4202560 518 0 0 0 605 0 0 0 20 0 19 0 446152598 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072179453096 140072795709444 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=366] ppid=32749 vsize=15417412 memory=5794282600522530919 CPUtime=6.24 cores=1,3,5,7
/proc/32754/task/366/stat : 366 (java) R 32749 32749 23397 0 -1 4202560 141 0 0 0 624 0 0 0 20 0 19 0 446152598 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072178400720 140072795105600 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
[pid=32754/tid=367] ppid=32749 vsize=15417412 memory=7596819837003786073 CPUtime=6.33 cores=1,3,5,7
/proc/32754/task/367/stat : 367 (java) R 32749 32749 23397 0 -1 4202560 280 0 0 0 633 0 0 0 20 0 19 0 446152599 15787429888 51569 33554432000 4194304 4196468 140728765169200 140072177344848 140072795867944 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 26550272 140728765170671 140728765170842 140728765170842 140728765173711 0
Current children cumulated CPU time: 27.82 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 207728 KiB
Child status: 0
Real time (s): 7.42003
CPU time (s): 27.8457
CPU user time (s): 27.7326
CPU system time (s): 0.113143
CPU usage (%): 375.277
Max. virtual memory (cumulated for all children) (KiB): 15532196
Max. memory (cumulated for all children) (KiB): 211676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7326
system time used= 0.113143
maximum resident set size= 210224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2050
involuntary context switches= 754
# summary of solver processes directly reported to runsolver:
# pid: 32749
# total CPU time (s): 27.8457
# total CPU user time (s): 27.7326
# total CPU system time (s): 0.113143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078018 second user time and 0.120652 second system time
The end