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 (10477 MiB free)
memory of node 1: 16384 MiB (14113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406375-1569401039/watcher-4406375-1569401039 -o /tmp/evaluation-result-4406375-1569401039/solver-4406375-1569401039 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569396632-22677 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406375-1569401039.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23762, runsolver pid=23759
[startup+0.100059 s]*
/proc/loadavg: 1.83 1.90 1.94 4/230 23778
/proc/meminfo: memFree=25153148/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15144776 memory=29640 CPUtime=0.12 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 5832 0 0 0 11 1 0 0 20 0 15 0 516265454 15508250624 7410 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3786194 7410 3159 1 0 3748377 0
[pid=23764/tid=23765] ppid=23762 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 3737 0 0 0 8 0 0 0 20 0 15 0 516265455 15508250624 7410 33554432000 4194304 4196468 140720454654048 140530276469408 140530272265373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15508250624 7410 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15144776 memory=4049781633857664672 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15508250624 7410 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15508250624 7410 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265455 15508250624 7410 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265457 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265457 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529739765280 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265457 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529738712432 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) R 23762 23762 22645 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) R 23762 23762 22645 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529735555312 140530250076304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15144776 memory=140455194441344 CPUtime=0.02 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) R 23762 23762 22645 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529734502512 140530256435874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265460 15508250624 7410 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31088 KiB
[startup+0.446645 s]*
/proc/loadavg: 1.83 1.90 1.94 5/230 23778
/proc/meminfo: memFree=25133692/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=61896 CPUtime=0.84 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 13221 0 0 0 79 5 0 0 20 0 15 0 516265454 15514783744 15474 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 15474 3435 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=7883960649037381690 CPUtime=0.43 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 9008 0 0 0 40 3 0 0 20 0 15 0 516265455 15514783744 15474 33554432000 4194304 4196468 140720454654048 140530276479664 140529870408139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=14645 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15474 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=140455198240058 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15474 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15474 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15474 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=140455194441344 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529739765280 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529738712432 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) S 23762 23762 22645 0 -1 1077944384 1123 0 0 0 11 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) R 23762 23762 22645 0 -1 1077944384 555 0 0 0 8 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529735555408 140530272253653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=140455194441344 CPUtime=0.19 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) R 23762 23762 22645 0 -1 4202560 1229 0 0 0 19 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529734498240 140530251199838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15474 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 63344 KiB
[startup+0.520603 s]*
/proc/loadavg: 1.83 1.90 1.94 7/230 23778
/proc/meminfo: memFree=25131460/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=63560 CPUtime=1.08 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 13645 0 0 0 103 5 0 0 20 0 15 0 516265454 15514783744 15890 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 15890 3438 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=1398722017469774279 CPUtime=0.5 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 9052 0 0 0 47 3 0 0 20 0 15 0 516265455 15514783744 15890 33554432000 4194304 4196468 140720454654048 140530276478624 140529873518661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15890 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15890 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15890 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 15890 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=-7521744045065420959 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529739765280 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529738712432 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=7827413994055111515 CPUtime=0.17 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) R 23762 23762 22645 0 -1 4202560 1317 0 0 0 17 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529736594208 140530253787981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) R 23762 23762 22645 0 -1 4202560 587 0 0 0 13 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529735541280 140530252079764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) R 23762 23762 22645 0 -1 1077944384 1383 0 0 0 25 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 15890 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 65008 KiB
[startup+0.710878 s]*
/proc/loadavg: 1.83 1.90 1.94 5/230 23778
/proc/meminfo: memFree=25113052/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=81956 CPUtime=1.66 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 17729 0 0 0 160 6 0 0 20 0 15 0 516265454 15514783744 20489 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 20489 3455 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=1398722017469774279 CPUtime=0.69 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 9053 0 0 0 66 3 0 0 20 0 15 0 516265455 15514783744 20489 33554432000 4194304 4196468 140720454654048 140530276480600 140529870455681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 20489 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 20489 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 20489 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265455 15514783744 20489 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=-7521744045065420959 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529739765280 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529738712432 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=7827413994055111515 CPUtime=0.36 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) R 23762 23762 22645 0 -1 4202560 3044 0 0 0 36 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529736589128 140530257351057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) R 23762 23762 22645 0 -1 4202560 2785 0 0 0 31 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529735539864 140530264483111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) R 23762 23762 22645 0 -1 1077944384 1541 0 0 0 26 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 20489 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83404 KiB
[startup+1.50082 s]
/proc/loadavg: 1.83 1.90 1.94 5/230 23778
/proc/meminfo: memFree=25093176/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=316056 CPUtime=1228.99 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 110920 0 0 0 122740 159 0 0 20 0 15 0 516265454 15514783744 79014 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 79014 3511 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=1448 CPUtime=1203.42 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 42245 0 0 0 120312 30 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530276482896 140529873818215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=2832 CPUtime=5.03 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 7224 0 0 0 483 20 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=776 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 7207 0 0 0 483 19 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=1160 CPUtime=5.01 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 6633 0 0 0 480 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=1720 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 6281 0 0 0 481 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=1096 CPUtime=1.99 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 10895 0 0 0 174 25 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529739765344 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529738712448 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=33740 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=14068 CPUtime=1.22 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) S 23762 23762 22645 0 -1 1077944384 13204 0 0 0 121 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=2120 CPUtime=1.24 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) S 23762 23762 22645 0 -1 1077944384 11521 0 0 0 123 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529735555312 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=6791534058613427641 CPUtime=0.34 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) S 23762 23762 22645 0 -1 1077944384 3779 0 0 0 33 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=2832 CPUtime=0.6 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 539 0 0 0 25 35 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1228.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 317504 KiB
[startup+1212.2 s]*
/proc/loadavg: 1.53 1.60 1.67 3/232 23991
/proc/meminfo: memFree=24880064/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=316056 CPUtime=1229.81 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 110925 0 0 0 122821 160 0 0 20 0 15 0 516265454 15514783744 79014 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 79014 3511 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=1398722017469774279 CPUtime=1204.23 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 42246 0 0 0 120393 30 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530276482896 140529873819146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=197868 CPUtime=5.03 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 7224 0 0 0 483 20 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=1736 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 7207 0 0 0 483 19 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=1398722017469774279 CPUtime=5.01 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 6633 0 0 0 480 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=316056 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 6281 0 0 0 481 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=7548 CPUtime=1.99 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 10897 0 0 0 174 25 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529739765344 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529738712448 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=1160 CPUtime=1.22 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) S 23762 23762 22645 0 -1 1077944384 13204 0 0 0 121 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=1720 CPUtime=1.24 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) S 23762 23762 22645 0 -1 1077944384 11521 0 0 0 123 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529735555312 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=1096 CPUtime=0.34 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) S 23762 23762 22645 0 -1 1077944384 3779 0 0 0 33 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=14012 CPUtime=0.6 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 541 0 0 0 25 35 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1229.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 317504 KiB
[startup+1212.4 s]
/proc/loadavg: 1.53 1.60 1.67 3/232 23991
/proc/meminfo: memFree=24880064/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=316056 CPUtime=1230 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 110925 0 0 0 122840 160 0 0 20 0 15 0 516265454 15514783744 79014 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 79014 3511 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=316056 CPUtime=1204.42 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 42246 0 0 0 120412 30 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530276482896 140529873819086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=6791534058613427641 CPUtime=5.03 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 7224 0 0 0 483 20 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=288230583166042426 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 7207 0 0 0 483 19 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=16099269136353912 CPUtime=5.01 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 6633 0 0 0 480 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=7548 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 6281 0 0 0 481 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=3620 CPUtime=1.99 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 10897 0 0 0 174 25 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529739765344 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529738712448 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=740 CPUtime=1.22 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) S 23762 23762 22645 0 -1 1077944384 13204 0 0 0 121 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=1052 CPUtime=1.24 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) S 23762 23762 22645 0 -1 1077944384 11521 0 0 0 123 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529735555312 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=7548 CPUtime=0.34 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) S 23762 23762 22645 0 -1 1077944384 3779 0 0 0 33 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=2832 CPUtime=0.6 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 541 0 0 0 25 35 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1230 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 317504 KiB
[startup+1212.5 s]
/proc/loadavg: 1.53 1.60 1.67 3/232 23991
/proc/meminfo: memFree=24880064/32770624 swapFree=67002636/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (xcsp3-exec) S 23759 23762 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265454 115843072 362 33554432000 4194304 5098028 140723297783952 140723297782056 140281114288764 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39145472 140723297788795 140723297789037 140723297789037 140723297791946 0
/proc/23762/statm: 28282 362 304 221 0 87 0
[pid=23764] ppid=23762 vsize=15151156 memory=316056 CPUtime=1230.1 cores=1,3,5,7
/proc/23764/stat : 23764 (java) S 23762 23762 22645 0 -1 1077944320 110925 0 0 0 122850 160 0 0 20 0 15 0 516265454 15514783744 79014 33554432000 4194304 4196468 140720454654048 140720454636592 140530272243447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
/proc/23764/statm: 3787789 79014 3511 1 0 3748889 0
[pid=23764/tid=23765] ppid=23762 vsize=15151156 memory=316056 CPUtime=1204.52 cores=1,3,5,7
/proc/23764/task/23765/stat : 23765 (java) R 23762 23762 22645 0 -1 4202560 42246 0 0 0 120422 30 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530276482896 140529874085356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23766] ppid=23762 vsize=15151156 memory=316056 CPUtime=5.03 cores=1,3,5,7
/proc/23764/task/23766/stat : 23766 (java) S 23762 23762 22645 0 -1 1077944384 7224 0 0 0 483 20 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530200283792 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23767] ppid=23762 vsize=15151156 memory=1448 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23767/stat : 23767 (java) S 23762 23762 22645 0 -1 1077944384 7207 0 0 0 483 19 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530199230992 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23768] ppid=23762 vsize=15151156 memory=1448 CPUtime=5.01 cores=1,3,5,7
/proc/23764/task/23768/stat : 23768 (java) S 23762 23762 22645 0 -1 1077944384 6633 0 0 0 480 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530198178192 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23769] ppid=23762 vsize=15151156 memory=1448 CPUtime=5.02 cores=1,3,5,7
/proc/23764/task/23769/stat : 23769 (java) S 23762 23762 22645 0 -1 1077944384 6281 0 0 0 481 21 0 0 20 0 15 0 516265455 15514783744 79014 33554432000 4194304 4196468 140720454654048 140530197125392 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23770] ppid=23762 vsize=15151156 memory=316056 CPUtime=1.99 cores=1,3,5,7
/proc/23764/task/23770/stat : 23770 (java) S 23762 23762 22645 0 -1 1077944384 10897 0 0 0 174 25 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529740819312 140530272254594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23771] ppid=23762 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23771/stat : 23771 (java) S 23762 23762 22645 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529739765344 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23772] ppid=23762 vsize=15151156 memory=316432 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23772/stat : 23772 (java) S 23762 23762 22645 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516265457 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529738712448 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23773] ppid=23762 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23773/stat : 23773 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529737660752 140530272262043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23774] ppid=23762 vsize=15151156 memory=1448 CPUtime=1.22 cores=1,3,5,7
/proc/23764/task/23774/stat : 23774 (java) S 23762 23762 22645 0 -1 1077944384 13204 0 0 0 121 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529736608112 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23775] ppid=23762 vsize=15151156 memory=1448 CPUtime=1.24 cores=1,3,5,7
/proc/23764/task/23775/stat : 23775 (java) S 23762 23762 22645 0 -1 1077944384 11521 0 0 0 123 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529735555312 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23776] ppid=23762 vsize=15151156 memory=316056 CPUtime=0.34 cores=1,3,5,7
/proc/23764/task/23776/stat : 23776 (java) S 23762 23762 22645 0 -1 1077944384 3779 0 0 0 33 1 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529734502512 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23777] ppid=23762 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23764/task/23777/stat : 23777 (java) S 23762 23762 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529733449952 140530272253653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
[pid=23764/tid=23778] ppid=23762 vsize=15151156 memory=1448 CPUtime=0.6 cores=1,3,5,7
/proc/23764/task/23778/stat : 23778 (java) S 23762 23762 22645 0 -1 1077944384 541 0 0 0 25 35 0 0 20 0 15 0 516265460 15514783744 79014 33554432000 4194304 4196468 140720454654048 140529732398256 140530272254594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11612160 140720454657007 140720454657178 140720454657178 140720454660047 0
Current children cumulated CPU time: 1230.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 317504 KiB
Child status: 0
Real time (s): 1212.54
CPU time (s): 1230.14
CPU user time (s): 1228.54
CPU system time (s): 1.60592
CPU usage (%): 101.452
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1220276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1228.54
system time used= 1.60592
maximum resident set size= 1263716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78873
involuntary context switches= 2266
# summary of solver processes directly reported to runsolver:
# pid: 23762
# total CPU time (s): 1230.14
# total CPU user time (s): 1228.54
# total CPU system time (s): 1.60592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17162 second user time and 12.3447 second system time
The end