2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT	177.969	29.7872
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 (11967 MiB free)
  memory of node 1: 16384 MiB (9796 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404361-1569002063/watcher-4404361-1569002063 -o /var/tmp/evaluation-result-4404361-1569002063/solver-4404361-1569002063 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 468747739 HOME/instance-4404361-1569002063.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19112, runsolver pid=19109

[startup+0.100158 s]*
/proc/loadavg: 7.84 8.26 8.29 2/213 19133
/proc/meminfo: memFree=22270584/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28227396 memory=30052 CPUtime=0.12 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 5926 0 0 0 11 1 0 0 20 0 20 0 476120238 28904853504 7513 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7056849 7513 3154 1 0 7019032 0
[pid=19114/tid=19115] ppid=19112 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) R 19112 19112 15765 0 -1 4202560 3873 0 0 0 8 1 0 0 20 0 20 0 476120238 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005993118544 140005970287613 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28227396 memory=139836803266176 CPUtime=0 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19119] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19119/stat : 19119 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005938355216 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19120] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19120/stat : 19120 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005937301904 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19121] ppid=19112 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19121/stat : 19121 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005936249104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19122] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19122/stat : 19122 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005533932176 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19123] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19123/stat : 19123 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 7513 33554432000 4194304 4196468 140736494412832 140005532879376 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19124] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19124/stat : 19124 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004520073840 140005988903554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19125] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19125/stat : 19125 (java) S 19112 19112 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004519019808 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19126] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19126/stat : 19126 (java) S 19112 19112 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004517967472 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19127] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19127/stat : 19127 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004516915792 140005988911003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19128] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19128/stat : 19128 (java) S 19112 19112 15765 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004515862640 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19129] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19129/stat : 19129 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004514809840 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19130] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19130/stat : 19130 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004513757552 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19131] ppid=19112 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) R 19112 19112 15765 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004512704752 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 7513 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31500 KiB

[startup+0.210206 s]*
/proc/loadavg: 7.84 8.26 8.29 2/213 19133
/proc/meminfo: memFree=22256756/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28227396 memory=41464 CPUtime=0.33 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 9585 0 0 0 30 3 0 0 20 0 20 0 476120238 28904853504 10366 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7056849 10366 3306 1 0 7019032 0
[pid=19114/tid=19115] ppid=19112 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) R 19112 19112 15765 0 -1 4202560 6704 0 0 0 18 2 0 0 20 0 20 0 476120238 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005993130592 140005988904342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28227396 memory=288370212954977920 CPUtime=0 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19119] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19119/stat : 19119 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005938355216 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19120] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19120/stat : 19120 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005937301904 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19121] ppid=19112 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19121/stat : 19121 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005936249104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19122] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19122/stat : 19122 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005533932176 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19123] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19123/stat : 19123 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28904853504 10366 33554432000 4194304 4196468 140736494412832 140005532879376 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19124] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19124/stat : 19124 (java) S 19112 19112 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004520073840 140005988903554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19125] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19125/stat : 19125 (java) S 19112 19112 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004519019808 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19126] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19126/stat : 19126 (java) S 19112 19112 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476120241 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004517967472 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19127] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19127/stat : 19127 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004516915792 140005988911003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19128] ppid=19112 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19114/task/19128/stat : 19128 (java) S 19112 19112 15765 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004515862640 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19129] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19129/stat : 19129 (java) S 19112 19112 15765 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004514809840 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19130] ppid=19112 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19114/task/19130/stat : 19130 (java) S 19112 19112 15765 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004513757552 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19131] ppid=19112 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) R 19112 19112 15765 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004512704752 140005967412582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28904853504 10366 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42912 KiB

[startup+0.309784 s]*
/proc/loadavg: 7.84 8.26 8.29 5/213 19133
/proc/meminfo: memFree=22250508/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28231652 memory=49736 CPUtime=0.51 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 10745 0 0 0 47 4 0 0 20 0 20 0 476120238 28909211648 12434 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7057913 12434 3359 1 0 7019032 0
[pid=19114/tid=19115] ppid=19112 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) R 19112 19112 15765 0 -1 4202560 7786 0 0 0 27 3 0 0 20 0 20 0 476120238 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005993123520 140005972972894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19119] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19119/stat : 19119 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005938355216 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19120] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19120/stat : 19120 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005937301904 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19121] ppid=19112 vsize=28231652 memory=139836686166703 CPUtime=0 cores=0-7
/proc/19114/task/19121/stat : 19121 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005936249104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19122] ppid=19112 vsize=28231652 memory=139836686169008 CPUtime=0 cores=0-7
/proc/19114/task/19122/stat : 19122 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005533932176 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19123] ppid=19112 vsize=28231652 memory=139836686171312 CPUtime=0 cores=0-7
/proc/19114/task/19123/stat : 19123 (java) S 19112 19112 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476120239 28909211648 12460 33554432000 4194304 4196468 140736494412832 140005532879376 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19124] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19124/stat : 19124 (java) S 19112 19112 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476120241 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004520073840 140005988903554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19125] ppid=19112 vsize=28231652 memory=279673372356496 CPUtime=0 cores=0-7
/proc/19114/task/19125/stat : 19125 (java) S 19112 19112 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476120241 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004519019808 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19126] ppid=19112 vsize=28231652 memory=279673372354192 CPUtime=0 cores=0-7
/proc/19114/task/19126/stat : 19126 (java) S 19112 19112 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476120241 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004517967472 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19127] ppid=19112 vsize=28231652 memory=279673372361104 CPUtime=0 cores=0-7
/proc/19114/task/19127/stat : 19127 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004516915792 140005988911003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19128] ppid=19112 vsize=28231652 memory=279673372302384 CPUtime=0.02 cores=0-7
/proc/19114/task/19128/stat : 19128 (java) S 19112 19112 15765 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004515862640 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19129] ppid=19112 vsize=28231652 memory=279673372374928 CPUtime=0.02 cores=0-7
/proc/19114/task/19129/stat : 19129 (java) S 19112 19112 15765 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004514809840 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19130] ppid=19112 vsize=28231652 memory=279673372381840 CPUtime=0.02 cores=0-7
/proc/19114/task/19130/stat : 19130 (java) S 19112 19112 15765 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004513757552 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19131] ppid=19112 vsize=28231652 memory=279673372379536 CPUtime=0.13 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) S 19112 19112 15765 0 -1 1077944384 811 0 0 0 13 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004512704752 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120244 28909211648 12460 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51184 KiB

[startup+0.701045 s]
/proc/loadavg: 7.84 8.26 8.29 5/213 19133
/proc/meminfo: memFree=22229596/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28233776 memory=97944 CPUtime=1.89 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 15666 0 0 0 182 7 0 0 20 0 20 0 476120238 28911386624 24486 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7058444 24486 3451 1 0 7019544 0
[pid=19114/tid=19115] ppid=19112 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) R 19112 19112 15765 0 -1 4202560 9144 0 0 0 64 4 0 0 20 0 20 0 476120238 28911386624 24486 33554432000 4194304 4196468 140736494412832 140005993127136 140005615893764 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28233776 memory=139836686377840 CPUtime=0 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28911386624 24486 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28911386624 24486 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476120239 28911386624 24486 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0

################
# More data... #
################

[pid=19114/tid=19131] ppid=19112 vsize=28766288 memory=7378702035868472166 CPUtime=0.67 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) S 19112 19112 15765 0 -1 1077944384 5099 0 0 0 66 1 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004512704752 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28766288 memory=279673373526320 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 821 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19136] ppid=19112 vsize=28766288 memory=2110187294027444 CPUtime=12.41 cores=0-7
/proc/19114/task/19136/stat : 19136 (java) S 19112 19112 15765 0 -1 1077944384 1552 0 0 0 1236 5 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004501385408 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19137] ppid=19112 vsize=28766288 memory=0 CPUtime=11.75 cores=0-7
/proc/19114/task/19137/stat : 19137 (java) S 19112 19112 15765 0 -1 1077944384 2721 0 0 0 1166 9 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004500334032 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19138] ppid=19112 vsize=28766288 memory=0 CPUtime=14.81 cores=0-7
/proc/19114/task/19138/stat : 19138 (java) S 19112 19112 15765 0 -1 1077944384 3408 0 0 0 1463 18 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004499280720 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19139] ppid=19112 vsize=28766288 memory=0 CPUtime=12.06 cores=0-7
/proc/19114/task/19139/stat : 19139 (java) S 19112 19112 15765 0 -1 1077944384 3445 0 0 0 1196 10 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004498227920 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19140] ppid=19112 vsize=28766288 memory=0 CPUtime=15.01 cores=0-7
/proc/19114/task/19140/stat : 19140 (java) R 19112 19112 15765 0 -1 4202560 14258 0 0 0 1494 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004497170288 140005624363548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19141] ppid=19112 vsize=28766288 memory=0 CPUtime=12.09 cores=0-7
/proc/19114/task/19141/stat : 19141 (java) S 19112 19112 15765 0 -1 1077944384 3535 0 0 0 1196 13 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004496122832 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19142] ppid=19112 vsize=28766288 memory=301741373374332954 CPUtime=12.03 cores=0-7
/proc/19114/task/19142/stat : 19142 (java) S 19112 19112 15765 0 -1 1077944384 1439 0 0 0 1192 11 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004495070544 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19143] ppid=19112 vsize=28766288 memory=301741394933055803 CPUtime=12.03 cores=0-7
/proc/19114/task/19143/stat : 19143 (java) S 19112 19112 15765 0 -1 1077944384 3250 0 0 0 1196 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004494017744 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 177.34 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7418376 KiB

[startup+29.6012 s]
/proc/loadavg: 8.02 8.27 8.30 3/221 19144
/proc/meminfo: memFree=14870408/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28766288 memory=7416928 CPUtime=177.74 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 156230 0 0 0 16068 1706 0 0 20 0 28 0 476120238 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7191572 1854232 3531 1 0 7152672 0
[pid=19114/tid=19115] ppid=19112 vsize=28766288 memory=6791534058613427641 CPUtime=5.78 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) S 19112 19112 15765 0 -1 1077944384 16936 0 0 0 565 13 0 0 20 0 28 0 476120238 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005993133184 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28766288 memory=1224 CPUtime=7.76 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 7640 0 0 0 571 205 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28766288 memory=6040 CPUtime=7.75 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 5527 0 0 0 574 201 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28766288 memory=772 CPUtime=7.71 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 6605 0 0 0 581 190 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19119] ppid=19112 vsize=28766288 memory=1556 CPUtime=7.75 cores=0-7
/proc/19114/task/19119/stat : 19119 (java) S 19112 19112 15765 0 -1 1077944384 5621 0 0 0 576 199 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005938355216 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19120] ppid=19112 vsize=28766288 memory=1056 CPUtime=7.73 cores=0-7
/proc/19114/task/19120/stat : 19120 (java) S 19112 19112 15765 0 -1 1077944384 6141 0 0 0 570 203 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005937301904 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19121] ppid=19112 vsize=28766288 memory=1096 CPUtime=7.74 cores=0-7
/proc/19114/task/19121/stat : 19121 (java) S 19112 19112 15765 0 -1 1077944384 5746 0 0 0 572 202 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005936249104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19122] ppid=19112 vsize=28766288 memory=13972 CPUtime=7.83 cores=0-7
/proc/19114/task/19122/stat : 19122 (java) S 19112 19112 15765 0 -1 1077944384 6720 0 0 0 594 189 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005533932176 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19123] ppid=19112 vsize=28766288 memory=2116 CPUtime=7.75 cores=0-7
/proc/19114/task/19123/stat : 19123 (java) S 19112 19112 15765 0 -1 1077944384 8627 0 0 0 572 203 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005532879376 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19124] ppid=19112 vsize=28766288 memory=29212 CPUtime=0.17 cores=0-7
/proc/19114/task/19124/stat : 19124 (java) S 19112 19112 15765 0 -1 1077944384 11546 0 0 0 13 4 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004520073840 140005988903554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19125] ppid=19112 vsize=28766288 memory=12028 CPUtime=0 cores=0-7
/proc/19114/task/19125/stat : 19125 (java) S 19112 19112 15765 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004519019872 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19126] ppid=19112 vsize=28766288 memory=532 CPUtime=0 cores=0-7
/proc/19114/task/19126/stat : 19126 (java) S 19112 19112 15765 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004517967488 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19127] ppid=19112 vsize=28766288 memory=1564 CPUtime=0 cores=0-7
/proc/19114/task/19127/stat : 19127 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004516915792 140005988911003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19128] ppid=19112 vsize=28766288 memory=928 CPUtime=1.99 cores=0-7
/proc/19114/task/19128/stat : 19128 (java) S 19112 19112 15765 0 -1 1077944384 11733 0 0 0 197 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004515862640 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19129] ppid=19112 vsize=28766288 memory=1980 CPUtime=1.95 cores=0-7
/proc/19114/task/19129/stat : 19129 (java) S 19112 19112 15765 0 -1 1077944384 11106 0 0 0 193 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004514809840 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19130] ppid=19112 vsize=28766288 memory=1560 CPUtime=2.34 cores=0-7
/proc/19114/task/19130/stat : 19130 (java) S 19112 19112 15765 0 -1 1077944384 11363 0 0 0 232 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004513757552 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19131] ppid=19112 vsize=28766288 memory=2648 CPUtime=0.67 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) S 19112 19112 15765 0 -1 1077944384 5099 0 0 0 66 1 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004512704752 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28766288 memory=880 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28766288 memory=1440 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 821 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19136] ppid=19112 vsize=28766288 memory=1768 CPUtime=12.41 cores=0-7
/proc/19114/task/19136/stat : 19136 (java) S 19112 19112 15765 0 -1 1077944384 1552 0 0 0 1236 5 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004501385408 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19137] ppid=19112 vsize=28766288 memory=111636 CPUtime=11.75 cores=0-7
/proc/19114/task/19137/stat : 19137 (java) S 19112 19112 15765 0 -1 1077944384 2721 0 0 0 1166 9 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004500334032 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19138] ppid=19112 vsize=28766288 memory=808 CPUtime=14.81 cores=0-7
/proc/19114/task/19138/stat : 19138 (java) S 19112 19112 15765 0 -1 1077944384 3408 0 0 0 1463 18 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004499280720 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19139] ppid=19112 vsize=28766288 memory=1800 CPUtime=12.06 cores=0-7
/proc/19114/task/19139/stat : 19139 (java) S 19112 19112 15765 0 -1 1077944384 3445 0 0 0 1196 10 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004498227920 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19140] ppid=19112 vsize=28766288 memory=920 CPUtime=15.41 cores=0-7
/proc/19114/task/19140/stat : 19140 (java) R 19112 19112 15765 0 -1 4202560 14258 0 0 0 1534 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004497170288 140005624371372 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19141] ppid=19112 vsize=28766288 memory=4480 CPUtime=12.09 cores=0-7
/proc/19114/task/19141/stat : 19141 (java) S 19112 19112 15765 0 -1 1077944384 3535 0 0 0 1196 13 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004496122832 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19142] ppid=19112 vsize=28766288 memory=4100 CPUtime=12.03 cores=0-7
/proc/19114/task/19142/stat : 19142 (java) S 19112 19112 15765 0 -1 1077944384 1439 0 0 0 1192 11 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004495070544 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19143] ppid=19112 vsize=28766288 memory=1408 CPUtime=12.03 cores=0-7
/proc/19114/task/19143/stat : 19143 (java) S 19112 19112 15765 0 -1 1077944384 3250 0 0 0 1196 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004494017744 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 177.74 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7418376 KiB

[startup+29.7012 s]
/proc/loadavg: 8.02 8.27 8.30 3/221 19144
/proc/meminfo: memFree=14870408/32770624 swapFree=67001780/67108860
[pid=19112] ppid=19109 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19112/stat : 19112 (xcsp3-exec) S 19109 19112 15765 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476120238 115843072 362 33554432000 4194304 5098028 140730118373120 140730118371224 140609266594428 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10350592 140730118374226 140730118374485 140730118374485 140730118377414 0
/proc/19112/statm: 28282 362 304 221 0 87 0
[pid=19114] ppid=19112 vsize=28766288 memory=7416928 CPUtime=177.84 cores=0-7
/proc/19114/stat : 19114 (java) S 19112 19112 15765 0 -1 1077944320 156230 0 0 0 16078 1706 0 0 20 0 28 0 476120238 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140736494395376 140005988892407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
/proc/19114/statm: 7191572 1854232 3531 1 0 7152672 0
[pid=19114/tid=19115] ppid=19112 vsize=28766288 memory=7416928 CPUtime=5.78 cores=0-7
/proc/19114/task/19115/stat : 19115 (java) S 19112 19112 15765 0 -1 1077944384 16936 0 0 0 565 13 0 0 20 0 28 0 476120238 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005993133184 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19116] ppid=19112 vsize=28766288 memory=7416884 CPUtime=7.76 cores=0-7
/proc/19114/task/19116/stat : 19116 (java) S 19112 19112 15765 0 -1 1077944384 7640 0 0 0 571 205 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005941513104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19117] ppid=19112 vsize=28766288 memory=7416784 CPUtime=7.75 cores=0-7
/proc/19114/task/19117/stat : 19117 (java) S 19112 19112 15765 0 -1 1077944384 5527 0 0 0 574 201 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005940460304 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19118] ppid=19112 vsize=28766288 memory=1448 CPUtime=7.71 cores=0-7
/proc/19114/task/19118/stat : 19118 (java) S 19112 19112 15765 0 -1 1077944384 6605 0 0 0 581 190 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005939408016 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19119] ppid=19112 vsize=28766288 memory=7416644 CPUtime=7.75 cores=0-7
/proc/19114/task/19119/stat : 19119 (java) S 19112 19112 15765 0 -1 1077944384 5621 0 0 0 576 199 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005938355216 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19120] ppid=19112 vsize=28766288 memory=7416884 CPUtime=7.73 cores=0-7
/proc/19114/task/19120/stat : 19120 (java) S 19112 19112 15765 0 -1 1077944384 6141 0 0 0 570 203 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005937301904 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19121] ppid=19112 vsize=28766288 memory=-7595718316222733696 CPUtime=7.74 cores=0-7
/proc/19114/task/19121/stat : 19121 (java) S 19112 19112 15765 0 -1 1077944384 5746 0 0 0 572 202 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005936249104 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19122] ppid=19112 vsize=28766288 memory=2988 CPUtime=7.83 cores=0-7
/proc/19114/task/19122/stat : 19122 (java) S 19112 19112 15765 0 -1 1077944384 6720 0 0 0 594 189 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005533932176 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19123] ppid=19112 vsize=28766288 memory=1448 CPUtime=7.75 cores=0-7
/proc/19114/task/19123/stat : 19123 (java) S 19112 19112 15765 0 -1 1077944384 8627 0 0 0 572 203 0 0 20 0 28 0 476120239 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140005532879376 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19124] ppid=19112 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/19114/task/19124/stat : 19124 (java) S 19112 19112 15765 0 -1 1077944384 11546 0 0 0 13 4 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004520073840 140005988903554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19125] ppid=19112 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19125/stat : 19125 (java) S 19112 19112 15765 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004519019872 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19126] ppid=19112 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/19114/task/19126/stat : 19126 (java) S 19112 19112 15765 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 476120241 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004517967488 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19127] ppid=19112 vsize=28766288 memory=33 CPUtime=0 cores=0-7
/proc/19114/task/19127/stat : 19127 (java) S 19112 19112 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004516915792 140005988911003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19128] ppid=19112 vsize=28766288 memory=-7737621075815351712 CPUtime=1.99 cores=0-7
/proc/19114/task/19128/stat : 19128 (java) S 19112 19112 15765 0 -1 1077944384 11733 0 0 0 197 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004515862640 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19129] ppid=19112 vsize=28766288 memory=1448 CPUtime=1.95 cores=0-7
/proc/19114/task/19129/stat : 19129 (java) S 19112 19112 15765 0 -1 1077944384 11106 0 0 0 193 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004514809840 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19130] ppid=19112 vsize=28766288 memory=279673372699936 CPUtime=2.34 cores=0-7
/proc/19114/task/19130/stat : 19130 (java) S 19112 19112 15765 0 -1 1077944384 11363 0 0 0 232 2 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004513757552 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19131] ppid=19112 vsize=28766288 memory=84268399201002 CPUtime=0.67 cores=0-7
/proc/19114/task/19131/stat : 19131 (java) S 19112 19112 15765 0 -1 1077944384 5099 0 0 0 66 1 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004512704752 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19132] ppid=19112 vsize=28766288 memory=84268399200746 CPUtime=0 cores=0-7
/proc/19114/task/19132/stat : 19132 (java) S 19112 19112 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004511652704 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19133] ppid=19112 vsize=28766288 memory=84268399200746 CPUtime=0 cores=0-7
/proc/19114/task/19133/stat : 19133 (java) S 19112 19112 15765 0 -1 1077944384 821 0 0 0 0 0 0 0 20 0 28 0 476120244 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004510599984 140005988903554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19136] ppid=19112 vsize=28766288 memory=7412996 CPUtime=12.41 cores=0-7
/proc/19114/task/19136/stat : 19136 (java) S 19112 19112 15765 0 -1 1077944384 1552 0 0 0 1236 5 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004501385408 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19137] ppid=19112 vsize=28766288 memory=1448 CPUtime=11.75 cores=0-7
/proc/19114/task/19137/stat : 19137 (java) S 19112 19112 15765 0 -1 1077944384 2721 0 0 0 1166 9 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004500334032 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19138] ppid=19112 vsize=28766288 memory=7412996 CPUtime=14.81 cores=0-7
/proc/19114/task/19138/stat : 19138 (java) S 19112 19112 15765 0 -1 1077944384 3408 0 0 0 1463 18 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004499280720 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19139] ppid=19112 vsize=28766288 memory=1448 CPUtime=12.06 cores=0-7
/proc/19114/task/19139/stat : 19139 (java) S 19112 19112 15765 0 -1 1077944384 3445 0 0 0 1196 10 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004498227920 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19140] ppid=19112 vsize=28766288 memory=0 CPUtime=15.51 cores=0-7
/proc/19114/task/19140/stat : 19140 (java) R 19112 19112 15765 0 -1 4202560 14258 0 0 0 1544 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004497170288 140005624371329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19141] ppid=19112 vsize=28766288 memory=0 CPUtime=12.09 cores=0-7
/proc/19114/task/19141/stat : 19141 (java) S 19112 19112 15765 0 -1 1077944384 3535 0 0 0 1196 13 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004496122832 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19142] ppid=19112 vsize=28766288 memory=57 CPUtime=12.03 cores=0-7
/proc/19114/task/19142/stat : 19142 (java) S 19112 19112 15765 0 -1 1077944384 1439 0 0 0 1192 11 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004495070544 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
[pid=19114/tid=19143] ppid=19112 vsize=28766288 memory=0 CPUtime=12.03 cores=0-7
/proc/19114/task/19143/stat : 19143 (java) S 19112 19112 15765 0 -1 1077944384 3250 0 0 0 1196 7 0 0 20 0 28 0 476121630 29456678912 1854232 33554432000 4194304 4196468 140736494412832 140004494017744 140005988902613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140736494420950 140736494421126 140736494421126 140736494424015 0
Current children cumulated CPU time: 177.84 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7418376 KiB

Child status: 0
Real time (s): 29.7872
CPU time (s): 177.969
CPU user time (s): 160.857
CPU system time (s): 17.1121
CPU usage (%): 597.468
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 7418376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.857
system time used= 17.1121
maximum resident set size= 7416936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7916
involuntary context switches= 2373


# summary of solver processes directly reported to runsolver:
#   pid: 19112
#   total CPU time (s): 177.969
#   total CPU user time (s): 160.857
#   total CPU system time (s): 17.1121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.300657 second user time and 0.330615 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4404361

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
