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 (5541 MiB free)
memory of node 1: 16384 MiB (7510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306837-1534055162/watcher-4306837-1534055162 -o /tmp/evaluation-result-4306837-1534055162/solver-4306837-1534055162 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 886927803 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306837-1534055162.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=28280, runsolver pid=28277
[startup+0.100124 s]*
/proc/loadavg: 1.23 1.33 1.39 3/217 28296
/proc/meminfo: memFree=13347660/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14082940 memory=29532 CPUtime=0.12 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 5248 0 0 0 11 1 0 0 20 0 15 0 223079438 14420930560 7319 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3520735 7383 3026 1 0 3483012 0
[pid=28282/tid=28283] ppid=28280 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 3251 0 0 0 9 0 0 0 20 0 15 0 223079438 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101728682672 140101724462486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14082940 memory=3472468000403408080 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14082940 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079441 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) R 28280 28280 24759 0 -1 4202560 306 0 0 0 0 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101194050160 140101724471898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14082940 memory=139871508256384 CPUtime=0.01 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) R 28280 28280 24759 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101191945072 140101703390654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14082940 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079444 14420930560 7383 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30988 KiB
[startup+0.210715 s]*
/proc/loadavg: 1.23 1.33 1.39 4/217 28296
/proc/meminfo: memFree=13337124/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14087196 memory=41264 CPUtime=0.34 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 7816 0 0 0 32 2 0 0 20 0 15 0 223079438 14425288704 10316 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3521799 10316 3204 1 0 3483012 0
[pid=28282/tid=28283] ppid=28280 vsize=14087196 memory=5854525157017485473 CPUtime=0.19 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 4987 0 0 0 18 1 0 0 20 0 15 0 223079438 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101728671544 140101724472477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14087196 memory=3472468000403408080 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14087196 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14087196 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14087196 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28280 28280 24759 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101194050160 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14087196 memory=139871508256384 CPUtime=0.08 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14087196 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 10316 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42720 KiB
[startup+0.310647 s]*
/proc/loadavg: 1.23 1.33 1.39 5/217 28296
/proc/meminfo: memFree=13330424/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14087196 memory=48076 CPUtime=0.53 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 8725 0 0 0 50 3 0 0 20 0 15 0 223079438 14425288704 12019 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3521799 12019 3243 1 0 3483012 0
[pid=28282/tid=28283] ppid=28280 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 5682 0 0 0 27 2 0 0 20 0 15 0 223079438 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101728680512 140101708531038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14087196 memory=3472468000403408080 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14087196 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14087196 memory=14 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14087196 memory=139871381497887 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14087196 memory=279742762956544 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14087196 memory=139871381474831 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14087196 memory=279742889740384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14087196 memory=139871381479439 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28280 28280 24759 0 -1 1077944384 448 0 0 0 4 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101194050160 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 445 0 0 0 4 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079444 14425288704 12019 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49532 KiB
[startup+0.701228 s]
/proc/loadavg: 1.23 1.33 1.39 4/217 28296
/proc/meminfo: memFree=13311056/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14089320 memory=70980 CPUtime=1.62 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 12471 0 0 0 157 5 0 0 20 0 15 0 223079438 14427463680 17745 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3522330 17745 3362 1 0 3483524 0
[pid=28282/tid=28283] ppid=28280 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 6536 0 0 0 64 3 0 0 20 0 15 0 223079438 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101728687600 140101724462486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14089320 memory=60692 CPUtime=0.3 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) R 28280 28280 24759 0 -1 4202560 1270 0 0 0 30 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101194036704 140101708843890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14089320 memory=1220 CPUtime=0.28 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) R 28280 28280 24759 0 -1 4202560 1444 0 0 0 28 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101192990384 140101704142285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14089320 memory=2380 CPUtime=0.32 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 1912 0 0 0 32 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 17745 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 72436 KiB
[startup+1.50082 s]
/proc/loadavg: 1.23 1.33 1.39 5/217 28296
/proc/meminfo: memFree=13298972/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14089320 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14089320 memory=6944656592455359580 CPUtime=1.05 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) R 28280 28280 24759 0 -1 4202560 3316 0 0 0 105 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101194050160 140101709574145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14089320 memory=6943526294502006880 CPUtime=1.04 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) R 28280 28280 24759 0 -1 4202560 3648 0 0 0 104 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101192997360 140101709565797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14089320 memory=6655300316396806240 CPUtime=0.41 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 2383 0 0 0 41 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14089320 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20322 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82744 KiB
[startup+2.47611 s]
# the end of solver process 28280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.40418 s, system=0.059484 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60098 s]
/proc/loadavg: 1.23 1.33 1.39 5/217 28296
/proc/meminfo: memFree=13298972/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14089320 memory=83348 CPUtime=4.28 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 17909 0 0 0 423 5 0 0 20 0 15 0 223079438 14427463680 20837 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3522330 20837 3379 1 0 3483524 0
[pid=28282/tid=28283] ppid=28280 vsize=14089320 memory=2380 CPUtime=1.57 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 7138 0 0 0 154 3 0 0 20 0 15 0 223079438 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101728687464 140101317574017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14089320 memory=1640 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14089320 memory=4744 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14089320 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14089320 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14089320 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14089320 memory=7084 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14089320 memory=748 CPUtime=1.13 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28280 28280 24759 0 -1 1077944384 3369 0 0 0 113 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101194050160 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14089320 memory=872 CPUtime=1.13 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 3672 0 0 0 113 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14089320 memory=1220 CPUtime=0.42 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 2384 0 0 0 42 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14089320 memory=7084 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 20837 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 84804 KiB
[startup+2.00081 s]*
/proc/loadavg: 1.21 1.32 1.39 3/217 28296
/proc/meminfo: memFree=13281088/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14089320 memory=93700 CPUtime=4.8 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 17971 0 0 0 475 5 0 0 20 0 15 0 223079438 14427463680 23425 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3522330 23425 3380 1 0 3483524 0
[pid=28282/tid=28283] ppid=28280 vsize=14089320 memory=5853394867687620769 CPUtime=1.98 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 7151 0 0 0 195 3 0 0 20 0 15 0 223079438 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101728688008 140101317448091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14089320 memory=3472468167735936688 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14089320 memory=139871508256384 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14089320 memory=6498285520076 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14089320 memory=668169 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14089320 memory=6879655668675933547 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14089320 memory=8031868281836701577 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14089320 memory=8389772264424737328 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14089320 memory=178 CPUtime=1.16 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28280 28280 24759 0 -1 1077944384 3376 0 0 0 116 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101194050160 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14089320 memory=7 CPUtime=1.2 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 3685 0 0 0 120 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14089320 memory=17573 CPUtime=0.43 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 2413 0 0 0 43 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14089320 memory=597 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 23425 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 95156 KiB
[startup+2.40079 s]
/proc/loadavg: 1.21 1.32 1.39 3/217 28296
/proc/meminfo: memFree=13281088/32770624 swapFree=67108792/67108860
[pid=28280] ppid=28277 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28280/stat : 28280 (xcsp3-exec) S 28277 28280 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223079438 115843072 364 33554432000 4194304 5098028 140727225854512 140727225852616 140572149088892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30531584 140727225861179 140727225861380 140727225861380 140727225864138 0
/proc/28280/statm: 28282 364 306 221 0 87 0
[pid=28282] ppid=28280 vsize=14089320 memory=106216 CPUtime=5.37 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28280 28280 24759 0 -1 1077944320 18252 0 0 0 532 5 0 0 20 0 15 0 223079438 14427463680 26554 33554432000 4194304 4196468 140724810629568 140724810612112 140101724450551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
/proc/28282/statm: 3522330 26554 3381 1 0 3483524 0
[pid=28282/tid=28283] ppid=28280 vsize=14089320 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/28282/task/28283/stat : 28283 (java) R 28280 28280 24759 0 -1 4202560 7242 0 0 0 234 3 0 0 20 0 15 0 223079438 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101728688136 140101317719849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28284] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101639519120 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28285] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101638466320 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28286] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28280 28280 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101637414032 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28287] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28280 28280 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223079439 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101636361232 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28288] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28280 28280 24759 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101198260336 140101724461698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28289] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28280 28280 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101197206304 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28290] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28280 28280 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223079441 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101196153968 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28291] ppid=28280 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101195102288 140101724469147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28292] ppid=28280 vsize=14089320 memory=1456 CPUtime=1.24 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28280 28280 24759 0 -1 1077944384 3464 0 0 0 124 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101194050160 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28293] ppid=28280 vsize=14089320 memory=87556 CPUtime=1.29 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28280 28280 24759 0 -1 1077944384 3713 0 0 0 129 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101192997360 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28294] ppid=28280 vsize=14089320 memory=1108 CPUtime=0.44 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28280 28280 24759 0 -1 1077944384 2459 0 0 0 44 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101191945072 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28295] ppid=28280 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28280 28280 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101190892512 140101724460757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
[pid=28282/tid=28296] ppid=28280 vsize=14089320 memory=15840 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28280 28280 24759 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 223079444 14427463680 26554 33554432000 4194304 4196468 140724810629568 140101189839280 140101724461698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140724810634374 140724810634545 140724810634545 140724810637263 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 107672 KiB
Child status: 0
Real time (s): 2.47615
CPU time (s): 5.46366
CPU user time (s): 5.40418
CPU system time (s): 0.059484
CPU usage (%): 220.652
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 107672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.40418
system time used= 0.059484
maximum resident set size= 110796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2030
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 28280
# total CPU time (s): 5.46366
# total CPU user time (s): 5.40418
# total CPU system time (s): 0.059484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033454 second user time and 0.073689 second system time
The end