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 (14644 MiB free)
memory of node 1: 16384 MiB (15341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393338-1568319957/watcher-4393338-1568319957 -o /tmp/evaluation-result-4393338-1568319957/solver-4393338-1568319957 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1036212272 HOME/instance-4393338-1568319957.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23790, runsolver pid=23787
[startup+0.100058 s]*
/proc/loadavg: 8.46 7.96 7.97 8/234 23806
/proc/meminfo: memFree=30689028/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15144768 memory=29240 CPUtime=0.13 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 5748 0 0 0 12 1 0 0 20 0 15 0 408250423 15508242432 7310 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3786192 7310 3139 1 0 3748377 0
[pid=23792/tid=23793] ppid=23790 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 14062 0 -1 4202560 3628 0 0 0 8 0 0 0 20 0 15 0 408250423 15508242432 7310 33554432000 4194304 4196468 140722149834688 139822135639952 139822131429978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 7310 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15144768 memory=3835290136057214624 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 7310 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408250425 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408250425 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821666173984 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408250426 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821665121136 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) R 23790 23790 14062 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821663017840 139822116533409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) R 23790 23790 14062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15144768 memory=140573360780928 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) R 23790 23790 14062 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 408250428 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821660912240 139822109956803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250429 15508242432 7310 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30688 KiB
[startup+0.210609 s]*
/proc/loadavg: 8.46 7.96 7.97 7/234 23806
/proc/meminfo: memFree=30675240/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15144768 memory=41844 CPUtime=0.35 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 9176 0 0 0 32 3 0 0 20 0 15 0 408250423 15508242432 10461 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3786192 10461 3292 1 0 3748377 0
[pid=23792/tid=23793] ppid=23790 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 14062 0 -1 4202560 6328 0 0 0 18 2 0 0 20 0 15 0 408250423 15508242432 10461 33554432000 4194304 4196468 140722149834688 139822135645680 139822115489118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15144768 memory=2669798 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 10461 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15144768 memory=140573363626551 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 10461 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408250424 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15144768 memory=140573360780928 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408250425 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408250425 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821666173984 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408250426 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821665121136 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 14062 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 408250428 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821663017840 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 408250428 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15144768 memory=140573360780928 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 408250428 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821660912240 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250429 15508242432 10461 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 43292 KiB
[startup+0.319158 s]*
/proc/loadavg: 8.46 7.96 7.97 7/234 23806
/proc/meminfo: memFree=30668556/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15149024 memory=51588 CPUtime=0.55 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 10704 0 0 0 51 4 0 0 20 0 15 0 408250423 15512600576 12897 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3787256 12897 3342 1 0 3748377 0
[pid=23792/tid=23793] ppid=23790 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 14062 0 -1 4202560 7627 0 0 0 28 2 0 0 20 0 15 0 408250423 15512600576 12897 33554432000 4194304 4196468 140722149834688 139822135645456 139822115489118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15512600576 12897 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15512600576 12897 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250424 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408250424 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15149024 memory=-7017622366038114463 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408250425 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408250425 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821666173984 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408250426 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821665121136 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 14062 0 -1 1077944384 674 0 0 0 5 0 0 0 20 0 15 0 408250428 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821663017840 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 253 0 0 0 4 0 0 0 20 0 15 0 408250428 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 408250428 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821660912240 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408250428 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408250429 15512600576 12897 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53036 KiB
[startup+0.701074 s]
/proc/loadavg: 8.46 7.96 7.97 6/234 23806
/proc/meminfo: memFree=30650604/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15417404 memory=90496 CPUtime=1.58 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 15348 0 0 0 152 6 0 0 20 0 19 0 408250423 15787421696 22624 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3854351 22624 3451 1 0 3815453 0
[pid=23792/tid=23793] ppid=23790 vsize=15417404 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 14062 0 -1 1077944384 9058 0 0 0 59 3 0 0 20 0 19 0 408250423 15787421696 22624 33554432000 4194304 4196468 140722149834688 139822135649408 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408250424 15787421696 22624 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408250424 15787421696 22624 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15417404 memory=772 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408250424 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15417404 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408250424 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15417404 memory=948 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408250425 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408250425 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821666173984 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15417404 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408250426 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821665121136 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15417404 memory=628 CPUtime=0.21 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) R 23790 23790 14062 0 -1 4202560 1332 0 0 0 21 0 0 0 20 0 19 0 408250428 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821663010864 139822112587584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15417404 memory=1056 CPUtime=0.21 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 1054 0 0 0 21 0 0 0 20 0 19 0 408250428 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821661965168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15417404 memory=1556 CPUtime=0.39 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 1911 0 0 0 39 0 0 0 20 0 19 0 408250428 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821660912368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15417404 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408250429 15787421696 22624 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 91944 KiB
[startup+1.50108 s]
/proc/loadavg: 8.46 7.96 7.97 11/238 23822
/proc/meminfo: memFree=30593748/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 913 0 0 0 1 2 0 0 20 0 19 0 408250429 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23866] ppid=23790 vsize=15619144 memory=23084 CPUtime=54.84 cores=1,3,5,7
/proc/23792/task/23866/stat : 23866 (java) S 23790 23790 14062 0 -1 1077944384 572 0 0 0 5484 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821052743216 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23867] ppid=23790 vsize=15619144 memory=984 CPUtime=54.72 cores=1,3,5,7
/proc/23792/task/23867/stat : 23867 (java) S 23790 23790 14062 0 -1 1077944384 1406 0 0 0 5472 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820604932944 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23868] ppid=23790 vsize=15619144 memory=2024 CPUtime=54.77 cores=1,3,5,7
/proc/23792/task/23868/stat : 23868 (java) S 23790 23790 14062 0 -1 1077944384 1319 0 0 0 5477 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821051691728 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23869] ppid=23790 vsize=15619144 memory=1380 CPUtime=55.03 cores=1,3,5,7
/proc/23792/task/23869/stat : 23869 (java) R 23790 23790 14062 0 -1 4202560 367 0 0 0 5503 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820603875584 139821743891076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 340.05 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 263656 KiB
[startup+88.4009 s]
/proc/loadavg: 8.81 8.20 8.06 7/236 23873
/proc/meminfo: memFree=30404332/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15619144 memory=262208 CPUtime=340.44 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 77770 0 0 0 34022 22 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3904786 65552 3518 1 0 3865888 0
[pid=23792/tid=23793] ppid=23790 vsize=15619144 memory=262208 CPUtime=0.62 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 14062 0 -1 1077944384 9640 0 0 0 59 3 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822135649408 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15619144 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 3050 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15619144 memory=2700 CPUtime=0.09 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1708 0 0 0 8 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15619144 memory=4108 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 2813 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15619144 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 671 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15619144 memory=3360 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 1988 0 0 0 2 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15619144 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821666174048 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 408250426 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821665121152 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15619144 memory=876 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15619144 memory=1980 CPUtime=3.82 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 14062 0 -1 1077944384 19865 0 0 0 380 2 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821663017840 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15619144 memory=2552 CPUtime=3.51 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 18498 0 0 0 348 3 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15619144 memory=1760 CPUtime=0.71 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 6667 0 0 0 70 1 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821660912240 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15619144 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15619144 memory=800 CPUtime=0.03 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 913 0 0 0 1 2 0 0 20 0 19 0 408250429 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23866] ppid=23790 vsize=15619144 memory=1804 CPUtime=54.84 cores=1,3,5,7
/proc/23792/task/23866/stat : 23866 (java) S 23790 23790 14062 0 -1 1077944384 572 0 0 0 5484 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821052743216 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23867] ppid=23790 vsize=15619144 memory=916 CPUtime=54.72 cores=1,3,5,7
/proc/23792/task/23867/stat : 23867 (java) S 23790 23790 14062 0 -1 1077944384 1406 0 0 0 5472 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820604932944 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23868] ppid=23790 vsize=15619144 memory=3848 CPUtime=54.77 cores=1,3,5,7
/proc/23792/task/23868/stat : 23868 (java) S 23790 23790 14062 0 -1 1077944384 1319 0 0 0 5477 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821051691728 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23869] ppid=23790 vsize=15619144 memory=2740 CPUtime=55.42 cores=1,3,5,7
/proc/23792/task/23869/stat : 23869 (java) R 23790 23790 14062 0 -1 4202560 367 0 0 0 5542 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820603875584 139821743891013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 340.44 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 263656 KiB
[startup+88.6009 s]
/proc/loadavg: 8.81 8.20 8.06 7/236 23873
/proc/meminfo: memFree=30404332/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15619144 memory=262208 CPUtime=340.64 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 77770 0 0 0 34042 22 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3904786 65552 3518 1 0 3865888 0
[pid=23792/tid=23793] ppid=23790 vsize=15619144 memory=2832 CPUtime=0.62 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 14062 0 -1 1077944384 9640 0 0 0 59 3 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822135649408 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15619144 memory=9404 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 3050 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15619144 memory=1548 CPUtime=0.09 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1708 0 0 0 8 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15619144 memory=628 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 2813 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15619144 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 671 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15619144 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 1988 0 0 0 2 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15619144 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821666174048 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15619144 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 408250426 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821665121152 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15619144 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15619144 memory=8896 CPUtime=3.82 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 14062 0 -1 1077944384 19865 0 0 0 380 2 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821663017840 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15619144 memory=12024 CPUtime=3.51 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 18498 0 0 0 348 3 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15619144 memory=1760 CPUtime=0.71 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 6667 0 0 0 70 1 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821660912240 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15619144 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15619144 memory=-7175204567652784766 CPUtime=0.03 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 913 0 0 0 1 2 0 0 20 0 19 0 408250429 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23866] ppid=23790 vsize=15619144 memory=3054156605268465310 CPUtime=54.84 cores=1,3,5,7
/proc/23792/task/23866/stat : 23866 (java) S 23790 23790 14062 0 -1 1077944384 572 0 0 0 5484 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821052743216 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23867] ppid=23790 vsize=15619144 memory=-8253362762722141311 CPUtime=54.72 cores=1,3,5,7
/proc/23792/task/23867/stat : 23867 (java) S 23790 23790 14062 0 -1 1077944384 1406 0 0 0 5472 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820604932944 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23868] ppid=23790 vsize=15619144 memory=-8707038579349950309 CPUtime=54.77 cores=1,3,5,7
/proc/23792/task/23868/stat : 23868 (java) S 23790 23790 14062 0 -1 1077944384 1319 0 0 0 5477 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821051691728 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23869] ppid=23790 vsize=15619144 memory=2740 CPUtime=55.62 cores=1,3,5,7
/proc/23792/task/23869/stat : 23869 (java) R 23790 23790 14062 0 -1 4202560 367 0 0 0 5562 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820603875584 139821743891076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 340.64 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 263656 KiB
[startup+88.7009 s]
/proc/loadavg: 8.81 8.20 8.06 7/236 23873
/proc/meminfo: memFree=30404332/32770624 swapFree=66996296/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408250422 115843072 362 33554432000 4194304 5098028 140720368963952 140720368962056 140300884374140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13361152 140720368972666 140720368972909 140720368972909 140720368975818 0
/proc/23790/statm: 28282 362 304 221 0 87 0
[pid=23792] ppid=23790 vsize=15619144 memory=262208 CPUtime=340.74 cores=1,3,5,7
/proc/23792/stat : 23792 (java) S 23790 23790 14062 0 -1 1077944320 77770 0 0 0 34052 22 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 140722149817232 139822131408631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
/proc/23792/statm: 3904786 65552 3518 1 0 3865888 0
[pid=23792/tid=23793] ppid=23790 vsize=15619144 memory=262208 CPUtime=0.62 cores=1,3,5,7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 14062 0 -1 1077944384 9640 0 0 0 59 3 0 0 20 0 19 0 408250423 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822135649408 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23794] ppid=23790 vsize=15619144 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 14062 0 -1 1077944384 3050 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822059449488 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23795] ppid=23790 vsize=15619144 memory=262208 CPUtime=0.09 cores=1,3,5,7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 14062 0 -1 1077944384 1708 0 0 0 8 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139822058396688 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23796] ppid=23790 vsize=15619144 memory=262200 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 14062 0 -1 1077944384 2813 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821721185168 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23797] ppid=23790 vsize=15619144 memory=262208 CPUtime=0.08 cores=1,3,5,7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 14062 0 -1 1077944384 671 0 0 0 7 1 0 0 20 0 19 0 408250424 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821720132368 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23798] ppid=23790 vsize=15619144 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 14062 0 -1 1077944384 1988 0 0 0 2 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821667228016 139822131419778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23799] ppid=23790 vsize=15619144 memory=262200 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408250425 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821666174048 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23800] ppid=23790 vsize=15619144 memory=948 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 14062 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 19 0 408250426 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821665121152 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23801] ppid=23790 vsize=15619144 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821664069456 139822131427227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23802] ppid=23790 vsize=15619144 memory=1448 CPUtime=3.82 cores=1,3,5,7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 14062 0 -1 1077944384 19865 0 0 0 380 2 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821663017840 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23803] ppid=23790 vsize=15619144 memory=262208 CPUtime=3.51 cores=1,3,5,7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 14062 0 -1 1077944384 18498 0 0 0 348 3 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821661965040 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23804] ppid=23790 vsize=15619144 memory=1448 CPUtime=0.71 cores=1,3,5,7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 14062 0 -1 1077944384 6667 0 0 0 70 1 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821660912240 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23805] ppid=23790 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408250428 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821659859680 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23806] ppid=23790 vsize=15619144 memory=2700 CPUtime=0.03 cores=1,3,5,7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 14062 0 -1 1077944384 913 0 0 0 1 2 0 0 20 0 19 0 408250429 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821658806960 139822131419778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23866] ppid=23790 vsize=15619144 memory=4108 CPUtime=54.84 cores=1,3,5,7
/proc/23792/task/23866/stat : 23866 (java) S 23790 23790 14062 0 -1 1077944384 572 0 0 0 5484 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821052743216 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23867] ppid=23790 vsize=15619144 memory=1448 CPUtime=54.72 cores=1,3,5,7
/proc/23792/task/23867/stat : 23867 (java) S 23790 23790 14062 0 -1 1077944384 1406 0 0 0 5472 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820604932944 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23868] ppid=23790 vsize=15619144 memory=262208 CPUtime=54.77 cores=1,3,5,7
/proc/23792/task/23868/stat : 23868 (java) S 23790 23790 14062 0 -1 1077944384 1319 0 0 0 5477 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139821051691728 139822131418837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
[pid=23792/tid=23869] ppid=23790 vsize=15619144 memory=23084 CPUtime=55.72 cores=1,3,5,7
/proc/23792/task/23869/stat : 23869 (java) R 23790 23790 14062 0 -1 4202560 367 0 0 0 5572 0 0 0 20 0 19 0 408253693 15994003456 65552 33554432000 4194304 4196468 140722149834688 139820603875584 139821743891076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29327360 140722149839855 140722149840026 140722149840026 140722149842895 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 263656 KiB
Child status: 0
Real time (s): 88.7295
CPU time (s): 340.776
CPU user time (s): 340.546
CPU system time (s): 0.229778
CPU usage (%): 384.061
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 263656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 340.546
system time used= 0.229778
maximum resident set size= 263740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5608
involuntary context switches= 6080
# summary of solver processes directly reported to runsolver:
# pid: 23790
# total CPU time (s): 340.776
# total CPU user time (s): 340.546
# total CPU system time (s): 0.229778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.604701 second user time and 1.03893 second system time
The end