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 (12780 MiB free)
memory of node 1: 16384 MiB (13657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301267-1532877608/watcher-4301267-1532877608 -o /tmp/evaluation-result-4301267-1532877608/solver-4301267-1532877608 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 1080369597 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301267-1532877608.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11676, runsolver pid=11673
[startup+0.100141 s]*
/proc/loadavg: 2.02 2.03 1.91 3/222 11692
/proc/meminfo: memFree=27053988/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14082940 memory=29524 CPUtime=0.12 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 5731 0 0 0 11 1 0 0 20 0 15 0 105323938 14420930560 7381 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3520735 7381 3018 1 0 3483012 0
[pid=11678/tid=11679] ppid=11676 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 3752 0 0 0 8 1 0 0 20 0 15 0 105323938 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823466865568 139823462645142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14082940 memory=3472468599167513808 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14082940 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323940 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105323941 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105323941 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14420930560 7381 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 105323944 14420930560 7381 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14420930560 7381 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14082940 memory=140470272362112 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) R 11676 11676 5155 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 105323944 14420930560 7381 33554432000 4194304 4196468 140730028459424 139822997612912 139823443874178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14420930560 7381 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14082940 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323944 14420930560 7381 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30980 KiB
[startup+0.214116 s]*
/proc/loadavg: 2.02 2.03 1.91 3/222 11692
/proc/meminfo: memFree=27043444/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14087196 memory=40728 CPUtime=0.35 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 8269 0 0 0 33 2 0 0 20 0 15 0 105323938 14425288704 10182 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3521799 10182 3179 1 0 3483012 0
[pid=11678/tid=11679] ppid=11676 vsize=14087196 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 5513 0 0 0 19 1 0 0 20 0 15 0 105323938 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823466854200 139823446713694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14087196 memory=3472468599167513808 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14087196 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14087196 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105323940 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105323941 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105323941 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14425288704 10219 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 105323944 14425288704 10219 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 105323944 14425288704 10219 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14087196 memory=140470272362112 CPUtime=0.08 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) R 11676 11676 5155 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 105323944 14425288704 10219 33554432000 4194304 4196468 140730028459424 139822997612912 139823446676837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14425288704 10219 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14087196 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323944 14425288704 10219 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42184 KiB
[startup+0.310851 s]*
/proc/loadavg: 2.02 2.03 1.91 3/222 11692
/proc/meminfo: memFree=27036744/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14087196 memory=47644 CPUtime=0.52 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 9124 0 0 0 49 3 0 0 20 0 15 0 105323938 14425288704 11911 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3521799 11911 3210 1 0 3483012 0
[pid=11678/tid=11679] ppid=11676 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 6186 0 0 0 27 2 0 0 20 0 15 0 105323938 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823466864320 139823462655133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14087196 memory=3472468599167513808 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14087196 memory=140470272362112 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14087196 memory=18 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14087196 memory=140470126782495 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14087196 memory=280940253544224 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105323940 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14087196 memory=140470126759439 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105323941 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14087196 memory=280940399130720 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105323941 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14087196 memory=140470126764047 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14425288704 11920 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 585 0 0 0 4 0 0 0 20 0 15 0 105323944 14425288704 11920 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 15 0 105323944 14425288704 11920 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 927 0 0 0 13 0 0 0 20 0 15 0 105323944 14425288704 11920 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14425288704 11920 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323944 14425288704 11920 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49100 KiB
[startup+0.700828 s]
/proc/loadavg: 2.02 2.03 1.91 5/222 11692
/proc/meminfo: memFree=27018196/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14089320 memory=80760 CPUtime=1.42 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 12361 0 0 0 138 4 0 0 20 0 15 0 105323938 14427463680 20190 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3522330 20190 3346 1 0 3483524 0
[pid=11678/tid=11679] ppid=11676 vsize=14089320 memory=57 CPUtime=0.67 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 7186 0 0 0 64 3 0 0 20 0 15 0 105323938 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823466869616 139823444218013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14089320 memory=7886766292050851637 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14089320 memory=7450150478939308135 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323939 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14089320 memory=5859273620209619044 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105323939 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14089320 memory=3053511329498284128 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105323940 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105323941 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14089320 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105323941 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14089320 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14427463680 20190 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14089320 memory=1012 CPUtime=0.21 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 1336 0 0 0 21 0 0 0 20 0 15 0 105323944 14427463680 20190 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14089320 memory=1948 CPUtime=0.18 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 807 0 0 0 18 0 0 0 20 0 15 0 105323944 14427463680 20190 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14089320 memory=1188 CPUtime=0.34 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 1722 0 0 0 34 0 0 0 20 0 15 0 105323944 14427463680 20190 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14089320 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14427463680 20190 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14089320 memory=15252 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105323944 14427463680 20190 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82216 KiB
[startup+1.50091 s]
/proc/loadavg: 2.02 2.03 1.91 5/222 11692
/proc/meminfo: memFree=26983396/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14091368 memory=231804 CPUtime=133.25 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 55271 0 0 0 13313 12 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3522842 57951 3415 1 0 3484036 0
[pid=11678/tid=11679] ppid=11676 vsize=14091368 memory=6791534058613427641 CPUtime=127.95 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 13137 0 0 0 12790 5 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823466869656 139823086087249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14091368 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14091368 memory=1780 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 988 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14091368 memory=644 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14091368 memory=956 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14091368 memory=2404 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 105323940 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14091368 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14091368 memory=231788 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14091368 memory=7449909685858625644 CPUtime=2.3 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 15435 0 0 0 228 2 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14091368 memory=231788 CPUtime=2.19 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 13143 0 0 0 218 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14091368 memory=231788 CPUtime=0.68 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 7603 0 0 0 67 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14091368 memory=231788 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 801 0 0 0 1 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 133.25 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 233260 KiB
[startup+128.801 s]
/proc/loadavg: 2.14 2.07 1.95 3/222 11774
/proc/meminfo: memFree=26974164/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14091368 memory=231804 CPUtime=134.04 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 55271 0 0 0 13392 12 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3522842 57951 3415 1 0 3484036 0
[pid=11678/tid=11679] ppid=11676 vsize=14091368 memory=17360 CPUtime=128.74 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 13137 0 0 0 12869 5 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823466869656 139823082977028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14091368 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14091368 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 988 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14091368 memory=231804 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14091368 memory=30512 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14091368 memory=1244 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 105323940 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14091368 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14091368 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14091368 memory=7380 CPUtime=2.3 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 15435 0 0 0 228 2 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14091368 memory=836 CPUtime=2.19 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 13143 0 0 0 218 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14091368 memory=1796 CPUtime=0.68 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 7603 0 0 0 67 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14091368 memory=916 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14091368 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 801 0 0 0 1 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 134.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 233260 KiB
[startup+129.001 s]*
/proc/loadavg: 2.14 2.07 1.95 3/222 11774
/proc/meminfo: memFree=26974156/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14091368 memory=231804 CPUtime=134.25 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 55271 0 0 0 13413 12 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3522842 57951 3415 1 0 3484036 0
[pid=11678/tid=11679] ppid=11676 vsize=14091368 memory=6791534058613427641 CPUtime=128.95 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 13137 0 0 0 12890 5 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823466869656 139823086086118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14091368 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14091368 memory=4036 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 988 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14091368 memory=280940254893248 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14091368 memory=5933607323777329764 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14091368 memory=5933607323777329764 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 105323940 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14091368 memory=7305773560187609703 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14091368 memory=7523658329099555416 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14091368 memory=231788 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14091368 memory=-7098080424032564416 CPUtime=2.3 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 15435 0 0 0 228 2 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14091368 memory=288230574492221466 CPUtime=2.19 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 13143 0 0 0 218 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14091368 memory=303430231908417849 CPUtime=0.68 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 7603 0 0 0 67 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14091368 memory=13565981461055742 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14091368 memory=5772 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 801 0 0 0 1 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 134.25 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 233260 KiB
[startup+129.11 s]
/proc/loadavg: 2.14 2.07 1.95 3/222 11774
/proc/meminfo: memFree=26974156/32770624 swapFree=67108856/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (xcsp3-exec) S 11673 11676 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105323938 115843072 364 33554432000 4194304 5098028 140730620795264 140730620793368 139721545757308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38600704 140730620798016 140730620798217 140730620798217 140730620800970 0
/proc/11676/statm: 28282 364 306 221 0 87 0
[pid=11678] ppid=11676 vsize=14091368 memory=231804 CPUtime=134.35 cores=1,3,5,7
/proc/11678/stat : 11678 (java) S 11676 11676 5155 0 -1 1077944320 55271 0 0 0 13423 12 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 140730028441968 139823462633207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
/proc/11678/statm: 3522842 57951 3415 1 0 3484036 0
[pid=11678/tid=11679] ppid=11676 vsize=14091368 memory=231788 CPUtime=129.05 cores=1,3,5,7
/proc/11678/task/11679/stat : 11679 (java) R 11676 11676 5155 0 -1 4202560 13137 0 0 0 12900 5 0 0 20 0 15 0 105323938 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823466869656 139823086321521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11680] ppid=11676 vsize=14091368 memory=231788 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11680/stat : 11680 (java) S 11676 11676 5155 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823400233360 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11681] ppid=11676 vsize=14091368 memory=231788 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11681/stat : 11681 (java) S 11676 11676 5155 0 -1 1077944384 988 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823057213712 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11682] ppid=11676 vsize=14091368 memory=231804 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11682/stat : 11682 (java) S 11676 11676 5155 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823056161424 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11683] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11683/stat : 11683 (java) S 11676 11676 5155 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 105323939 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823055108624 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11684] ppid=11676 vsize=14091368 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11678/task/11684/stat : 11684 (java) S 11676 11676 5155 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 105323940 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823003929200 139823462644354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11685] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11685/stat : 11685 (java) S 11676 11676 5155 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823002875168 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11686] ppid=11676 vsize=14091368 memory=231804 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11686/stat : 11686 (java) S 11676 11676 5155 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 105323941 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823001822832 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11687] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11687/stat : 11687 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323943 14429560832 57951 33554432000 4194304 4196468 140730028459424 139823000771152 139823462651803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11688] ppid=11676 vsize=14091368 memory=231788 CPUtime=2.3 cores=1,3,5,7
/proc/11678/task/11688/stat : 11688 (java) S 11676 11676 5155 0 -1 1077944384 15435 0 0 0 228 2 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822999718000 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11689] ppid=11676 vsize=14091368 memory=2052 CPUtime=2.19 cores=1,3,5,7
/proc/11678/task/11689/stat : 11689 (java) S 11676 11676 5155 0 -1 1077944384 13143 0 0 0 218 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822998665200 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11690] ppid=11676 vsize=14091368 memory=280940253998720 CPUtime=0.68 cores=1,3,5,7
/proc/11678/task/11690/stat : 11690 (java) S 11676 11676 5155 0 -1 1077944384 7603 0 0 0 67 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822997612912 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11691] ppid=11676 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11678/task/11691/stat : 11691 (java) S 11676 11676 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822928751072 139823462643413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
[pid=11678/tid=11692] ppid=11676 vsize=14091368 memory=231760 CPUtime=0.02 cores=1,3,5,7
/proc/11678/task/11692/stat : 11692 (java) S 11676 11676 5155 0 -1 1077944384 801 0 0 0 1 1 0 0 20 0 15 0 105323944 14429560832 57951 33554432000 4194304 4196468 140730028459424 139822927698864 139823462644354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22130688 140730028467340 140730028467510 140730028467510 140730028470223 0
Current children cumulated CPU time: 134.35 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 233260 KiB
Child status: 0
Real time (s): 129.156
CPU time (s): 134.405
CPU user time (s): 134.272
CPU system time (s): 0.133273
CPU usage (%): 104.064
Max. virtual memory (cumulated for all children) (KiB): 14206284
Max. memory (cumulated for all children) (KiB): 233260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.272
system time used= 0.133273
maximum resident set size= 232024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5720
involuntary context switches= 173
# summary of solver processes directly reported to runsolver:
# pid: 11676
# total CPU time (s): 134.405
# total CPU user time (s): 134.272
# total CPU system time (s): 0.133273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.840236 second user time and 1.13444 second system time
The end