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 (8005 MiB free)
memory of node 1: 16384 MiB (15395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398937-1568699379/watcher-4398937-1568699379 -o /tmp/evaluation-result-4398937-1568699379/solver-4398937-1568699379 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7961 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1146030974 HOME/instance-4398937-1568699379.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=9929, runsolver pid=9926
[startup+0.100112 s]*
/proc/loadavg: 6.98 7.86 5.99 7/229 9945
/proc/meminfo: memFree=23946812/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15144776 memory=28984 CPUtime=0.13 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 5678 0 0 0 12 1 0 0 20 0 15 0 446204746 15508250624 7246 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3786194 7246 3149 1 0 3748377 0
[pid=9931/tid=9932] ppid=9929 vsize=15144776 memory=7100839861431010418 CPUtime=0.09 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) R 9929 9929 7929 0 -1 4202560 3577 0 0 0 9 0 0 0 20 0 15 0 446204746 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981779856032 139981767871461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446204748 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446204749 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981310325664 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446204749 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981309273072 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0.02 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) R 9929 9929 7929 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981237506384 139981754594886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 7246 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30432 KiB
[startup+0.210872 s]*
/proc/loadavg: 6.98 7.86 5.99 7/229 9945
/proc/meminfo: memFree=23933608/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15144776 memory=40828 CPUtime=0.35 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 9461 0 0 0 32 3 0 0 20 0 15 0 446204746 15508250624 10207 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3786194 10207 3298 1 0 3748377 0
[pid=9931/tid=9932] ppid=9929 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) R 9929 9929 7929 0 -1 4202560 6604 0 0 0 18 1 0 0 20 0 15 0 446204746 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981779866832 139981775651997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15144776 memory=140080850177102 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446204747 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446204748 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446204749 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981310325664 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446204749 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981309273072 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 725 0 0 0 3 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15144776 memory=140080848631424 CPUtime=0.08 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) R 9929 9929 7929 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981237508848 139981775651418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204752 15508250624 10207 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42276 KiB
[startup+0.311463 s]*
/proc/loadavg: 6.98 7.86 5.99 7/229 9945
/proc/meminfo: memFree=23926380/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15149032 memory=50024 CPUtime=0.53 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 10892 0 0 0 50 3 0 0 20 0 15 0 446204746 15512608768 12506 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3787258 12506 3364 1 0 3748377 0
[pid=9931/tid=9932] ppid=9929 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) R 9929 9929 7929 0 -1 4202560 7800 0 0 0 28 2 0 0 20 0 15 0 446204746 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981779863856 139981759710558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446204747 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15149032 memory=7223591943076881810 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446204748 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446204749 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981310325664 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446204749 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981309273072 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 736 0 0 0 4 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 198 0 0 0 5 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) S 9929 9929 7929 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981237508848 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204752 15512608768 12576 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51472 KiB
[startup+0.701337 s]
/proc/loadavg: 6.98 7.86 5.99 9/229 9945
/proc/meminfo: memFree=23904544/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15151156 memory=111580 CPUtime=1.71 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 14448 0 0 0 166 5 0 0 20 0 15 0 446204746 15514783744 27895 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3787789 27895 3446 1 0 3748889 0
[pid=9931/tid=9932] ppid=9929 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) R 9929 9929 7929 0 -1 4202560 8287 0 0 0 64 3 0 0 20 0 15 0 446204746 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981779864504 139981392803570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15151156 memory=47228 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204747 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446204747 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446204748 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15151156 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446204749 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981310325664 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446204749 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981309273072 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15151156 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15151156 memory=10564 CPUtime=0.34 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) R 9929 9929 7929 0 -1 4202560 1825 0 0 0 34 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981307155288 139981754877056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15151156 memory=716 CPUtime=0.37 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) R 9929 9929 7929 0 -1 4202560 1431 0 0 0 37 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981238554584 139981754875919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15151156 memory=780 CPUtime=0.29 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) S 9929 9929 7929 0 -1 1077944384 1598 0 0 0 29 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981237508848 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446204752 15514783744 27895 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113028 KiB
[startup+1.50134 s]
/proc/loadavg: 6.98 7.86 5.99 5/229 9945
/proc/meminfo: memFree=23774972/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 19 0 446204752 15789527040 745691 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9946] ppid=9929 vsize=15419460 memory=4486604260213485459 CPUtime=273.63 cores=1,3,5,7
/proc/9931/task/9946/stat : 9946 (java) R 9929 9929 7929 0 -1 4202560 3944 0 0 0 27362 1 0 0 20 0 19 0 446205258 15789527040 745691 33554432000 4194304 4196468 140736388352096 139981226420824 139981400436074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9947] ppid=9929 vsize=15419460 memory=288230583166042426 CPUtime=273.89 cores=1,3,5,7
/proc/9931/task/9947/stat : 9947 (java) R 9929 9929 7929 0 -1 4202560 10845 0 0 0 27380 9 0 0 20 0 19 0 446205258 15789527040 745691 33554432000 4194304 4196468 140736388352096 139981225369592 139981400436360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9948] ppid=9929 vsize=15419460 memory=15537410121403819 CPUtime=274.78 cores=1,3,5,7
/proc/9931/task/9948/stat : 9948 (java) R 9929 9929 7929 0 -1 4202560 3463 0 0 0 27478 0 0 0 20 0 19 0 446205258 15789527040 745691 33554432000 4194304 4196468 140736388352096 139981224316808 139981395758215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9949] ppid=9929 vsize=15419460 memory=12040 CPUtime=274.58 cores=1,3,5,7
/proc/9931/task/9949/stat : 9949 (java) R 9929 9929 7929 0 -1 4202560 3588 0 0 0 27449 9 0 0 20 0 19 0 446205258 15789527040 745691 33554432000 4194304 4196468 140736388352096 139981223264488 139981399620010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 1124.54 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 2984212 KiB
[startup+285.601 s]
/proc/loadavg: 6.58 6.98 6.08 9/234 9979
/proc/meminfo: memFree=14679708/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15419460 memory=3017680 CPUtime=1127.72 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 108471 0 0 0 112591 181 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3854865 754420 3557 1 0 3815965 0
[pid=9931/tid=9932] ppid=9929 vsize=15419460 memory=3620 CPUtime=4.68 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) S 9929 9929 7929 0 -1 1077944384 10341 0 0 0 454 14 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981779870848 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15419460 memory=47232 CPUtime=2.22 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1229 0 0 0 192 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15419460 memory=3620 CPUtime=2.19 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 3103 0 0 0 189 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15419460 memory=47232 CPUtime=2.21 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1969 0 0 0 189 32 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15419460 memory=984 CPUtime=2.2 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 1717 0 0 0 189 31 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15419460 memory=2004 CPUtime=0.77 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6783 0 0 0 64 13 0 0 20 0 19 0 446204748 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15419460 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981310325728 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15419460 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981309273088 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15419460 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15419460 memory=1720 CPUtime=6.09 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 23616 0 0 0 607 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15419460 memory=5948 CPUtime=6.02 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 23645 0 0 0 600 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15419460 memory=10564 CPUtime=1.03 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) S 9929 9929 7929 0 -1 1077944384 11894 0 0 0 102 1 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981237508848 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15419460 memory=716 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15419460 memory=780 CPUtime=0.21 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9946] ppid=9929 vsize=15419460 memory=1552 CPUtime=274.4 cores=1,3,5,7
/proc/9931/task/9946/stat : 9946 (java) R 9929 9929 7929 0 -1 4202560 3944 0 0 0 27439 1 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981226420656 139981400930855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9947] ppid=9929 vsize=15419460 memory=2832 CPUtime=274.66 cores=1,3,5,7
/proc/9931/task/9947/stat : 9947 (java) R 9929 9929 7929 0 -1 4202560 10845 0 0 0 27457 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981225369448 139981391102444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9948] ppid=9929 vsize=15419460 memory=1192 CPUtime=275.53 cores=1,3,5,7
/proc/9931/task/9948/stat : 9948 (java) R 9929 9929 7929 0 -1 4202560 3463 0 0 0 27553 0 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981224316912 139981399618903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9949] ppid=9929 vsize=15419460 memory=940 CPUtime=275.35 cores=1,3,5,7
/proc/9931/task/9949/stat : 9949 (java) R 9929 9929 7929 0 -1 4202560 3589 0 0 0 27526 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981223266928 139981400183189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 1127.72 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3019128 KiB
[startup+286.401 s]
/proc/loadavg: 6.58 6.98 6.08 9/234 9979
/proc/meminfo: memFree=14644940/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15419460 memory=3017680 CPUtime=1130.9 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 108471 0 0 0 112909 181 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3854865 754420 3557 1 0 3815965 0
[pid=9931/tid=9932] ppid=9929 vsize=15419460 memory=3256 CPUtime=4.68 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) S 9929 9929 7929 0 -1 1077944384 10341 0 0 0 454 14 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981779870848 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15419460 memory=1448 CPUtime=2.22 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1229 0 0 0 192 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15419460 memory=1448 CPUtime=2.19 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 3103 0 0 0 189 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15419460 memory=2982764 CPUtime=2.21 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1969 0 0 0 189 32 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15419460 memory=8112282956445269571 CPUtime=2.2 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 1717 0 0 0 189 31 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15419460 memory=900 CPUtime=0.77 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6783 0 0 0 64 13 0 0 20 0 19 0 446204748 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15419460 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981310325728 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15419460 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981309273088 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15419460 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15419460 memory=5948 CPUtime=6.09 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 23616 0 0 0 607 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15419460 memory=10564 CPUtime=6.02 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 23645 0 0 0 600 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15419460 memory=716 CPUtime=1.03 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) S 9929 9929 7929 0 -1 1077944384 11894 0 0 0 102 1 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981237508848 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15419460 memory=780 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15419460 memory=1552 CPUtime=0.21 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9946] ppid=9929 vsize=15419460 memory=2832 CPUtime=275.2 cores=1,3,5,7
/proc/9931/task/9946/stat : 9946 (java) R 9929 9929 7929 0 -1 4202560 3944 0 0 0 27519 1 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981226420792 139981399618903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9947] ppid=9929 vsize=15419460 memory=1192 CPUtime=275.46 cores=1,3,5,7
/proc/9931/task/9947/stat : 9947 (java) R 9929 9929 7929 0 -1 4202560 10845 0 0 0 27537 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981225369448 139981400436458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9948] ppid=9929 vsize=15419460 memory=940 CPUtime=276.32 cores=1,3,5,7
/proc/9931/task/9948/stat : 9948 (java) R 9929 9929 7929 0 -1 4202560 3463 0 0 0 27632 0 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981224316912 139981400458751 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9949] ppid=9929 vsize=15419460 memory=14008 CPUtime=276.15 cores=1,3,5,7
/proc/9931/task/9949/stat : 9949 (java) R 9929 9929 7929 0 -1 4202560 3589 0 0 0 27606 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981223267048 139981400458281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 1130.9 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3019128 KiB
[startup+286.601 s]
/proc/loadavg: 6.58 6.98 6.08 9/234 9979
/proc/meminfo: memFree=14644940/32770624 swapFree=66967456/67108860
[pid=9929] ppid=9926 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (xcsp3-exec) S 9926 9929 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446204746 115843072 362 33554432000 4194304 5098028 140731757026848 140731757024952 139937735369340 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8171520 140731757028218 140731757028461 140731757028461 140731757031370 0
/proc/9929/statm: 28282 362 304 221 0 87 0
[pid=9931] ppid=9929 vsize=15419460 memory=3017680 CPUtime=1131.7 cores=1,3,5,7
/proc/9931/stat : 9931 (java) S 9929 9929 7929 0 -1 1077944320 108471 0 0 0 112989 181 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 140736388334640 139981775630071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
/proc/9931/statm: 3854865 754420 3557 1 0 3815965 0
[pid=9931/tid=9932] ppid=9929 vsize=15419460 memory=1376 CPUtime=4.68 cores=1,3,5,7
/proc/9931/task/9932/stat : 9932 (java) S 9929 9929 7929 0 -1 1077944384 10341 0 0 0 454 14 0 0 20 0 19 0 446204746 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981779870848 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9933] ppid=9929 vsize=15419460 memory=1060 CPUtime=2.22 cores=1,3,5,7
/proc/9931/task/9933/stat : 9933 (java) S 9929 9929 7929 0 -1 1077944384 1229 0 0 0 192 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981711866640 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9934] ppid=9929 vsize=15419460 memory=4068 CPUtime=2.19 cores=1,3,5,7
/proc/9931/task/9934/stat : 9934 (java) S 9929 9929 7929 0 -1 1077944384 3103 0 0 0 189 30 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981710814096 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9935] ppid=9929 vsize=15419460 memory=1448 CPUtime=2.21 cores=1,3,5,7
/proc/9931/task/9935/stat : 9935 (java) S 9929 9929 7929 0 -1 1077944384 1969 0 0 0 189 32 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981709761552 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9936] ppid=9929 vsize=15419460 memory=2982764 CPUtime=2.2 cores=1,3,5,7
/proc/9931/task/9936/stat : 9936 (java) S 9929 9929 7929 0 -1 1077944384 1717 0 0 0 189 31 0 0 20 0 19 0 446204747 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981364976784 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9937] ppid=9929 vsize=15419460 memory=4486604260213485459 CPUtime=0.77 cores=1,3,5,7
/proc/9931/task/9937/stat : 9937 (java) S 9929 9929 7929 0 -1 1077944384 6783 0 0 0 64 13 0 0 20 0 19 0 446204748 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981311379440 139981775641218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9938] ppid=9929 vsize=15419460 memory=12620008 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9938/stat : 9938 (java) S 9929 9929 7929 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981310325728 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9939] ppid=9929 vsize=15419460 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9939/stat : 9939 (java) S 9929 9929 7929 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446204749 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981309273088 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9940] ppid=9929 vsize=15419460 memory=3264 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9940/stat : 9940 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981308221648 139981775648667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9941] ppid=9929 vsize=15419460 memory=1448 CPUtime=6.09 cores=1,3,5,7
/proc/9931/task/9941/stat : 9941 (java) S 9929 9929 7929 0 -1 1077944384 23616 0 0 0 607 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981307169264 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9942] ppid=9929 vsize=15419460 memory=2982764 CPUtime=6.02 cores=1,3,5,7
/proc/9931/task/9942/stat : 9942 (java) S 9929 9929 7929 0 -1 1077944384 23645 0 0 0 600 2 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981238561392 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9943] ppid=9929 vsize=15419460 memory=1732 CPUtime=1.03 cores=1,3,5,7
/proc/9931/task/9943/stat : 9943 (java) S 9929 9929 7929 0 -1 1077944384 11894 0 0 0 102 1 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981237508848 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9944] ppid=9929 vsize=15419460 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/9931/task/9944/stat : 9944 (java) S 9929 9929 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981236456544 139981775640277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9945] ppid=9929 vsize=15419460 memory=2572 CPUtime=0.21 cores=1,3,5,7
/proc/9931/task/9945/stat : 9945 (java) S 9929 9929 7929 0 -1 1077944384 1003 0 0 0 21 0 0 0 20 0 19 0 446204752 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981235403056 139981775641218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9946] ppid=9929 vsize=15419460 memory=900 CPUtime=275.4 cores=1,3,5,7
/proc/9931/task/9946/stat : 9946 (java) R 9929 9929 7929 0 -1 4202560 3944 0 0 0 27539 1 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981226420792 139981400436731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9947] ppid=9929 vsize=15419460 memory=1432 CPUtime=275.66 cores=1,3,5,7
/proc/9931/task/9947/stat : 9947 (java) R 9929 9929 7929 0 -1 4202560 10845 0 0 0 27557 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981225369448 139981391102449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9948] ppid=9929 vsize=15419460 memory=1764 CPUtime=276.52 cores=1,3,5,7
/proc/9931/task/9948/stat : 9948 (java) R 9929 9929 7929 0 -1 4202560 3463 0 0 0 27652 0 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981224316912 139981399618903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
[pid=9931/tid=9949] ppid=9929 vsize=15419460 memory=111632 CPUtime=276.35 cores=1,3,5,7
/proc/9931/task/9949/stat : 9949 (java) R 9929 9929 7929 0 -1 4202560 3589 0 0 0 27626 9 0 0 20 0 19 0 446205258 15789527040 754420 33554432000 4194304 4196468 140736388352096 139981223267048 139981399618915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26509312 140736388359151 140736388359322 140736388359322 140736388362191 0
Current children cumulated CPU time: 1131.7 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3019128 KiB
Child status: 0
Real time (s): 286.696
CPU time (s): 1131.91
CPU user time (s): 1130.08
CPU system time (s): 1.83067
CPU usage (%): 394.811
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 3019128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1130.08
system time used= 1.83067
maximum resident set size= 3018072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10368
involuntary context switches= 12496
# summary of solver processes directly reported to runsolver:
# pid: 9929
# total CPU time (s): 1131.91
# total CPU user time (s): 1130.08
# total CPU system time (s): 1.83067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90354 second user time and 3.39424 second system time
The end