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 (14818 MiB free)
memory of node 1: 16384 MiB (14783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283814-1503187731/watcher-4283814-1503187731 -o /tmp/evaluation-result-4283814-1503187731/solver-4283814-1503187731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 503301179 HOME/instance-4283814-1503187731.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
solver pid=28212, runsolver pid=28209
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 1.75 1.51 1.48 2/197 28213
/proc/meminfo: memFree=30312780/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209104 s]*
/proc/loadavg: 1.75 1.51 1.48 4/212 28228
/proc/meminfo: memFree=30300444/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13974352 memory=23716 CPUtime=0.07 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 4874 0 0 0 6 1 0 0 20 0 15 0 120993617 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3493588 5929 2711 1 0 3482964 0
[pid=28214/tid=28215] ppid=28212 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 3026 0 0 0 5 0 0 0 20 0 15 0 120993617 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582569054128 140582557500789 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13974352 memory=288370959793866368 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993619 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120993620 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120993620 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 120993622 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120993622 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 120993622 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993627 14309736448 5929 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25096 KiB
[startup+0.310207 s]*
/proc/loadavg: 1.75 1.51 1.48 4/212 28228
/proc/meminfo: memFree=30284984/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13974352 memory=37200 CPUtime=0.25 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 8384 0 0 0 23 2 0 0 20 0 15 0 120993617 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3493588 9300 2950 1 0 3482964 0
[pid=28214/tid=28215] ppid=28212 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 5702 0 0 0 14 1 0 0 20 0 15 0 120993617 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582569045152 140582564844701 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993618 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993619 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120993620 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120993620 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 15 0 120993622 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 120993622 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0.05 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) R 28212 28212 8563 0 -1 4202560 662 0 0 0 5 0 0 0 20 0 15 0 120993622 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564844122 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13974352 memory=140583642154624 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993627 14309736448 9300 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38580 KiB
[startup+0.701594 s]
/proc/loadavg: 1.75 1.51 1.48 4/212 28228
/proc/meminfo: memFree=30274964/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=66532 CPUtime=1.22 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 13838 0 0 0 117 5 0 0 20 0 15 0 120993617 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 16633 3171 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=7660742144744843625 CPUtime=0.53 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 8025 0 0 0 50 3 0 0 20 0 15 0 120993617 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140582569061456 140582209231386 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=6940416806629691476 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 16633 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120993619 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=-8815662549083463029 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=404 CPUtime=0.2 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) R 28212 28212 8563 0 -1 4202560 1705 0 0 0 20 0 0 0 20 0 15 0 120993622 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582038974936 140582548207599 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=118 CPUtime=0.19 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) R 28212 28212 8563 0 -1 4202560 1301 0 0 0 19 0 0 0 20 0 15 0 120993622 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582037922136 140582546368074 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=7 CPUtime=0.26 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) R 28212 28212 8563 0 -1 4202560 1499 0 0 0 26 0 0 0 20 0 15 0 120993622 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582543867834 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=622 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 17145 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67912 KiB
[startup+1.50077 s]
/proc/loadavg: 1.69 1.50 1.47 5/212 28228
/proc/meminfo: memFree=30234360/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=139748 CPUtime=3.73 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 26550 0 0 0 366 7 0 0 20 0 15 0 120993617 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 34937 3193 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=140583540661360 CPUtime=1.33 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 8409 0 0 0 129 4 0 0 20 0 15 0 120993617 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582569060032 140582209975886 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=404 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=118 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=7 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120993618 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=281167081610128 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120993619 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=12858 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=25369 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) R 28212 28212 8563 0 -1 4202560 10252 0 0 0 98 1 0 0 20 0 15 0 120993622 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582038973576 140582548321753 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) R 28212 28212 8563 0 -1 4202560 4334 0 0 0 99 0 0 0 20 0 15 0 120993622 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582037923584 140582546367009 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 2245 0 0 0 38 1 0 0 20 0 15 0 120993622 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 34937 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
################
# More data... #
################
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=183216 CPUtime=34.02 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 49313 0 0 0 3384 18 0 0 20 0 15 0 120993617 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 45804 3242 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=10180 CPUtime=28.39 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 10969 0 0 0 2833 6 0 0 20 0 15 0 120993617 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582569062384 140582209979498 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=1440 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 277 0 0 0 9 1 0 0 20 0 15 0 120993618 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=2000 CPUtime=0.09 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1083 0 0 0 9 0 0 0 20 0 15 0 120993618 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=11076 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 668 0 0 0 9 1 0 0 20 0 15 0 120993618 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=1200 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 1019 0 0 0 9 1 0 0 20 0 15 0 120993618 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 15 0 120993619 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=15884 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=36668 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=640 CPUtime=2.48 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 19605 0 0 0 246 2 0 0 20 0 15 0 120993622 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=1792 CPUtime=2.11 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 8791 0 0 0 210 1 0 0 20 0 15 0 120993622 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=960 CPUtime=0.52 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 4363 0 0 0 51 1 0 0 20 0 15 0 120993622 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 45804 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 34.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184596 KiB
[startup+29.6008 s]
/proc/loadavg: 1.50 1.47 1.47 3/211 28229
/proc/meminfo: memFree=30091172/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=184236 CPUtime=34.82 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 49337 0 0 0 3464 18 0 0 20 0 15 0 120993617 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 46059 3242 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=1228 CPUtime=29.18 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 10970 0 0 0 2912 6 0 0 20 0 15 0 120993617 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582569062560 140582211326464 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 282 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=4629771062077588875 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1096 0 0 0 10 0 0 0 20 0 15 0 120993618 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=-6662747570986533011 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 670 0 0 0 9 1 0 0 20 0 15 0 120993618 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=-8253362762722141311 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 1022 0 0 0 9 1 0 0 20 0 15 0 120993618 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=7100839861465685612 CPUtime=0.03 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 15 0 120993619 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=7822038051842261661 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=9047017150487036571 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=0 CPUtime=2.48 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 19605 0 0 0 246 2 0 0 20 0 15 0 120993622 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=1720 CPUtime=2.11 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 8791 0 0 0 210 1 0 0 20 0 15 0 120993622 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=4616 CPUtime=0.52 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 4363 0 0 0 51 1 0 0 20 0 15 0 120993622 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=10180 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 46059 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 34.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185616 KiB
[startup+30.4008 s]
/proc/loadavg: 1.50 1.47 1.47 4/211 28229
/proc/meminfo: memFree=30093980/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=182184 CPUtime=35.63 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 49359 0 0 0 3545 18 0 0 20 0 15 0 120993617 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 45546 3242 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=11076 CPUtime=29.98 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 10971 0 0 0 2992 6 0 0 20 0 15 0 120993617 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582569062608 140582210763882 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=1200 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 283 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=15884 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1100 0 0 0 10 0 0 0 20 0 15 0 120993618 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=1440 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 670 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=2000 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 1033 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=11076 CPUtime=0.03 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 15 0 120993619 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=15884 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=36668 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=4044 CPUtime=2.48 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 19605 0 0 0 246 2 0 0 20 0 15 0 120993622 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=640 CPUtime=2.11 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 8791 0 0 0 210 1 0 0 20 0 15 0 120993622 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=622 CPUtime=0.52 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 4363 0 0 0 51 1 0 0 20 0 15 0 120993622 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 45546 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 35.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 183564 KiB
[startup+30.8008 s]
/proc/loadavg: 1.50 1.47 1.47 4/211 28229
/proc/meminfo: memFree=30093980/32770624 swapFree=67108860/67108860
[pid=28212] ppid=28209 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28212/stat : 28212 (xcsp3-exec) S 28209 28212 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120993606 9740288 345 18446744073709551615 4194304 5098028 140735226586160 140735226584264 139898777375356 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 38305792 140735226589561 140735226589765 140735226589765 140735226593259 0
/proc/28212/statm: 2378 345 289 221 0 87 0
[pid=28214] ppid=28212 vsize=13980732 memory=181160 CPUtime=36.04 cores=0,2,4,6
/proc/28214/stat : 28214 (java) S 28212 28212 8563 0 -1 1077944320 49388 0 0 0 3586 18 0 0 20 0 15 0 120993617 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140726671788304 140582564822775 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
/proc/28214/statm: 3495183 45290 3242 1 0 3483476 0
[pid=28214/tid=28215] ppid=28212 vsize=13980732 memory=1228 CPUtime=30.38 cores=0,2,4,6
/proc/28214/task/28215/stat : 28215 (java) R 28212 28212 8563 0 -1 4202560 10972 0 0 0 3032 6 0 0 20 0 15 0 120993617 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582569062272 140582209207040 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28216] ppid=28212 vsize=13980732 memory=796 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28216/stat : 28216 (java) S 28212 28212 8563 0 -1 1077944384 283 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582164916624 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28217] ppid=28212 vsize=13980732 memory=5788 CPUtime=0.1 cores=0,2,4,6
/proc/28214/task/28217/stat : 28217 (java) S 28212 28212 8563 0 -1 1077944384 1113 0 0 0 10 0 0 0 20 0 15 0 120993618 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582163863824 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28218] ppid=28212 vsize=13980732 memory=1720 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28218/stat : 28218 (java) S 28212 28212 8563 0 -1 1077944384 673 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582162811536 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28219] ppid=28212 vsize=13980732 memory=4616 CPUtime=0.11 cores=0,2,4,6
/proc/28214/task/28219/stat : 28219 (java) S 28212 28212 8563 0 -1 1077944384 1037 0 0 0 10 1 0 0 20 0 15 0 120993618 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582161758736 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28220] ppid=28212 vsize=13980732 memory=1012 CPUtime=0.03 cores=0,2,4,6
/proc/28214/task/28220/stat : 28220 (java) S 28212 28212 8563 0 -1 1077944384 927 0 0 0 2 1 0 0 20 0 15 0 120993619 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582043200112 140582564833922 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28221] ppid=28212 vsize=13980732 memory=10180 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28221/stat : 28221 (java) S 28212 28212 8563 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582042146080 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28222] ppid=28212 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28222/stat : 28222 (java) S 28212 28212 8563 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 120993620 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582041093744 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28223] ppid=28212 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28223/stat : 28223 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993622 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582040042064 140582564841371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28224] ppid=28212 vsize=13980732 memory=11076 CPUtime=2.48 cores=0,2,4,6
/proc/28214/task/28224/stat : 28224 (java) S 28212 28212 8563 0 -1 1077944384 19605 0 0 0 246 2 0 0 20 0 15 0 120993622 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582038988912 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28225] ppid=28212 vsize=13980732 memory=1200 CPUtime=2.11 cores=0,2,4,6
/proc/28214/task/28225/stat : 28225 (java) S 28212 28212 8563 0 -1 1077944384 8791 0 0 0 210 1 0 0 20 0 15 0 120993622 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582037936112 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28226] ppid=28212 vsize=13980732 memory=184240 CPUtime=0.52 cores=0,2,4,6
/proc/28214/task/28226/stat : 28226 (java) S 28212 28212 8563 0 -1 1077944384 4363 0 0 0 51 1 0 0 20 0 15 0 120993622 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582036883824 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28227] ppid=28212 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28227/stat : 28227 (java) S 28212 28212 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120993623 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582035831264 140582564832981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
[pid=28214/tid=28228] ppid=28212 vsize=13980732 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/28214/task/28228/stat : 28228 (java) S 28212 28212 8563 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 120993627 14316269568 45290 18446744073709551615 4194304 4196468 140726671805760 140582034779056 140582564833922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140726671810993 140726671811169 140726671811169 140726671814607 0
Current children cumulated CPU time: 36.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182540 KiB
Child status: 0
Real time (s): 30.8495
CPU time (s): 36.1035
CPU user time (s): 35.91
CPU system time (s): 0.193483
CPU usage (%): 117.031
Max. virtual memory (cumulated for all children) (KiB): 13991988
Max. memory (cumulated for all children) (KiB): 227056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.91
system time used= 0.193483
maximum resident set size= 225676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3317
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 28212
# total CPU time (s): 36.1035
# total CPU user time (s): 35.91
# total CPU system time (s): 0.193483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186688 second user time and 0.354475 second system time
The end