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 (14926 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393198-1568320247/watcher-4393198-1568320247 -o /tmp/evaluation-result-4393198-1568320247/solver-4393198-1568320247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1140426913 HOME/instance-4393198-1568320247.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=17138, runsolver pid=17135
[startup+0.100107 s]*
/proc/loadavg: 8.77 8.52 8.31 8/233 17154
/proc/meminfo: memFree=31325040/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15144768 memory=29592 CPUtime=0.13 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 5835 0 0 0 12 1 0 0 20 0 15 0 408287360 15508242432 7398 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3786192 7398 3152 1 0 3748377 0
[pid=17140/tid=17141] ppid=17138 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 6753 0 -1 4202560 3721 0 0 0 8 0 0 0 20 0 15 0 408287360 15508242432 7398 33554432000 4194304 4196468 140730911052896 140621138627424 140621117598101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 7398 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 7398 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 7398 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 7398 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620601873952 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620600821104 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) R 17138 17138 6753 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) R 17138 17138 6753 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620597663984 140621111650112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0.02 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620596611184 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 7398 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31044 KiB
[startup+0.210656 s]*
/proc/loadavg: 8.77 8.52 8.31 8/233 17154
/proc/meminfo: memFree=31312580/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15144768 memory=40956 CPUtime=0.35 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 9484 0 0 0 32 3 0 0 20 0 15 0 408287360 15508242432 10239 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3786192 10239 3296 1 0 3748377 0
[pid=17140/tid=17141] ppid=17138 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 6753 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 15 0 408287360 15508242432 10239 33554432000 4194304 4196468 140730911052896 140621138643680 140620737241207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 10239 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15144768 memory=139931905365874 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 10239 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 10239 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408287361 15508242432 10239 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620601873952 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408287363 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620600821104 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) R 17138 17138 6753 0 -1 4202560 147 0 0 0 2 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620597663984 140621134416514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15144768 memory=139931905349248 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) R 17138 17138 6753 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620596611184 140621134426714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287366 15508242432 10239 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42408 KiB
[startup+0.310656 s]*
/proc/loadavg: 8.77 8.52 8.31 7/233 17154
/proc/meminfo: memFree=31305296/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15149024 memory=50344 CPUtime=0.53 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 10932 0 0 0 49 4 0 0 20 0 15 0 408287360 15512600576 12586 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3787256 12586 3360 1 0 3748377 0
[pid=17140/tid=17141] ppid=17138 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) R 17138 17138 6753 0 -1 4202560 7851 0 0 0 27 3 0 0 20 0 15 0 408287360 15512600576 12586 33554432000 4194304 4196468 140730911052896 140621138642384 140621118485854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15512600576 12586 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15149024 memory=3161056 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15512600576 12586 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287361 15512600576 12586 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408287361 15512600576 12586 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408287363 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408287363 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620601873952 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408287363 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620600821104 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 782 0 0 0 5 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 6753 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620597663984 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620596611184 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408287366 15512600576 12586 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51796 KiB
[startup+0.701503 s]
/proc/loadavg: 8.77 8.52 8.31 11/238 17218
/proc/meminfo: memFree=31192040/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15550532 memory=188144 CPUtime=1.67 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 18022 0 0 0 157 10 0 0 20 0 19 0 408287360 15923744768 47036 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3887633 47036 3487 1 0 3848735 0
[pid=17140/tid=17141] ppid=17138 vsize=15550532 memory=1788451226881 CPUtime=0.45 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 6753 0 -1 1077944384 9020 0 0 0 42 3 0 0 20 0 19 0 408287360 15923744768 47036 33554432000 4194304 4196468 140730911052896 140621138646144 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 408287361 15923744768 47036 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 408287361 15923744768 47036 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 408287361 15923744768 47036 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 408287361 15923744768 47036 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15550532 memory=512 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620601874016 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15550532 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620600821120 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15550532 memory=928 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15550532 memory=3772 CPUtime=0.28 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) R 17138 17138 6753 0 -1 4202560 1410 0 0 0 28 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620598703352 140621119314205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15550532 memory=1440 CPUtime=0.26 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) R 17138 17138 6753 0 -1 4202560 941 0 0 0 26 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620597645000 140621115105664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15550532 memory=920 CPUtime=0.3 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) D 17138 17138 6753 0 -1 4202560 1668 0 0 0 30 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620596607192 140621127122519 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15550532 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15550532 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 47036 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 189596 KiB
[startup+1.50158 s]
/proc/loadavg: 8.77 8.52 8.31 12/236 17409
/proc/meminfo: memFree=31155304/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15550532 memory=1452 CPUtime=1.68 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 7942 0 0 0 167 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15550532 memory=355388 CPUtime=1.55 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 6753 0 -1 1077944384 11548 0 0 0 154 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620597663984 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15550532 memory=7968 CPUtime=0.46 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 3726 0 0 0 45 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620596611184 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15550532 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15550532 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17431] ppid=17138 vsize=15550532 memory=14008 CPUtime=24.45 cores=1,3,5,7
/proc/17140/task/17431/stat : 17431 (java) R 17138 17138 6753 0 -1 4202560 345 0 0 0 2445 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620515489664 140620739773901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17432] ppid=17138 vsize=15550532 memory=2120 CPUtime=24.33 cores=1,3,5,7
/proc/17140/task/17432/stat : 17432 (java) R 17138 17138 6753 0 -1 4202560 963 0 0 0 2433 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620517592832 140620741414344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17433] ppid=17138 vsize=15550532 memory=11976 CPUtime=24.49 cores=1,3,5,7
/proc/17140/task/17433/stat : 17433 (java) R 17138 17138 6753 0 -1 4202560 1320 0 0 0 2449 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620513382872 140620739928824 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17434] ppid=17138 vsize=15550532 memory=3620 CPUtime=24.41 cores=1,3,5,7
/proc/17140/task/17434/stat : 17434 (java) R 17138 17138 6753 0 -1 4202560 762 0 0 0 2441 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620512329840 140620740014348 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 104.87 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 356840 KiB
[startup+28.8016 s]
/proc/loadavg: 8.88 8.56 8.33 9/237 17436
/proc/meminfo: memFree=30961444/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15550532 memory=355388 CPUtime=111.16 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 46642 0 0 0 11092 24 0 0 20 0 19 0 408287360 15923744768 88847 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3887633 88847 3518 1 0 3848735 0
[pid=17140/tid=17141] ppid=17138 vsize=15550532 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 6753 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 408287360 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621138646144 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15550532 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 539 0 0 0 6 3 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15550532 memory=16916 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1224 0 0 0 6 2 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15550532 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 773 0 0 0 6 2 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15550532 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 484 0 0 0 6 2 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15550532 memory=213537184056809 CPUtime=0.06 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 1235 0 0 0 6 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15550532 memory=213537184056810 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620601874016 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15550532 memory=213537184056811 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620600821120 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15550532 memory=213537184056812 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15550532 memory=3620 CPUtime=1.68 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 7991 0 0 0 167 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15550532 memory=16916 CPUtime=1.55 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 6753 0 -1 1077944384 11548 0 0 0 154 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620597663984 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15550532 memory=2004 CPUtime=0.46 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 3726 0 0 0 45 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620596611184 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15550532 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15550532 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17431] ppid=17138 vsize=15550532 memory=1452 CPUtime=26.02 cores=1,3,5,7
/proc/17140/task/17431/stat : 17431 (java) R 17138 17138 6753 0 -1 4202560 349 0 0 0 2602 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620515486480 140620739147702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17432] ppid=17138 vsize=15550532 memory=353204 CPUtime=25.89 cores=1,3,5,7
/proc/17140/task/17432/stat : 17432 (java) R 17138 17138 6753 0 -1 4202560 967 0 0 0 2589 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620517592968 140620741377497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17433] ppid=17138 vsize=15550532 memory=1628 CPUtime=26.05 cores=1,3,5,7
/proc/17140/task/17433/stat : 17433 (java) R 17138 17138 6753 0 -1 4202560 1333 0 0 0 2605 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620513382816 140620739928771 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17434] ppid=17138 vsize=15550532 memory=8317482817917895235 CPUtime=25.98 cores=1,3,5,7
/proc/17140/task/17434/stat : 17434 (java) R 17138 17138 6753 0 -1 4202560 769 0 0 0 2597 1 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620512332960 140620740014670 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 111.16 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 356840 KiB
[startup+29.6016 s]
/proc/loadavg: 8.88 8.56 8.33 9/237 17436
/proc/meminfo: memFree=30961444/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15550532 memory=355388 CPUtime=114.3 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 46654 0 0 0 11406 24 0 0 20 0 19 0 408287360 15923744768 88847 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3887633 88847 3518 1 0 3848735 0
[pid=17140/tid=17141] ppid=17138 vsize=15550532 memory=3332 CPUtime=0.45 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 6753 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 408287360 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621138646144 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15550532 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 539 0 0 0 6 3 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15550532 memory=512 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1226 0 0 0 6 2 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15550532 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 776 0 0 0 6 2 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15550532 memory=928 CPUtime=0.09 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 486 0 0 0 6 3 0 0 20 0 19 0 408287361 15923744768 88847 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15550532 memory=3772 CPUtime=0.06 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 1235 0 0 0 6 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620602927984 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15550532 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620601874016 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15550532 memory=920 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408287363 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620600821120 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15550532 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620599769424 140621134423963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15550532 memory=984 CPUtime=1.68 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 7991 0 0 0 167 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15550532 memory=1328 CPUtime=1.55 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 6753 0 -1 1077944384 11548 0 0 0 154 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620597663984 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15550532 memory=780 CPUtime=0.46 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 3726 0 0 0 45 1 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620596611184 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15550532 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17154] ppid=17138 vsize=15550532 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17154/stat : 17154 (java) S 17138 17138 6753 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 19 0 408287366 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620594506928 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17431] ppid=17138 vsize=15550532 memory=1028 CPUtime=26.81 cores=1,3,5,7
/proc/17140/task/17431/stat : 17431 (java) R 17138 17138 6753 0 -1 4202560 350 0 0 0 2681 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620515487216 140621119615326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17432] ppid=17138 vsize=15550532 memory=1060 CPUtime=26.66 cores=1,3,5,7
/proc/17140/task/17432/stat : 17432 (java) R 17138 17138 6753 0 -1 4202560 969 0 0 0 2666 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620517595584 140620739928812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17433] ppid=17138 vsize=15550532 memory=2828 CPUtime=26.84 cores=1,3,5,7
/proc/17140/task/17433/stat : 17433 (java) R 17138 17138 6753 0 -1 4202560 1335 0 0 0 2684 0 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620513382872 140620739929115 0 4 0 16800975 0 0 0 -1 7 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17434] ppid=17138 vsize=15550532 memory=756 CPUtime=26.77 cores=1,3,5,7
/proc/17140/task/17434/stat : 17434 (java) R 17138 17138 6753 0 -1 4202560 769 0 0 0 2676 1 0 0 20 0 19 0 408287532 15923744768 88847 33554432000 4194304 4196468 140730911052896 140620512331096 140620740016527 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 114.3 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 356840 KiB
[startup+30.0016 s]*
/proc/loadavg: 8.88 8.56 8.33 9/237 17436
/proc/meminfo: memFree=30961444/32770624 swapFree=66979540/67108860
[pid=17138] ppid=17135 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17138/stat : 17138 (xcsp3-exec) S 17135 17138 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408287360 115843072 363 33554432000 4194304 5098028 140725126514640 140725126512744 139863109202556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23650304 140725126517626 140725126517869 140725126517869 140725126520778 0
/proc/17138/statm: 28282 363 304 221 0 87 0
[pid=17140] ppid=17138 vsize=15550532 memory=355360 CPUtime=115.91 cores=1,3,5,7
/proc/17140/stat : 17140 (java) S 17138 17138 6753 0 -1 1077944320 47542 0 0 0 11567 24 0 0 20 0 14 0 408287360 15923744768 88840 33554432000 4194304 4196468 140730911052896 140730911035440 140621134405367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
/proc/17140/statm: 3887633 88840 3519 1 0 3848735 0
[pid=17140/tid=17141] ppid=17138 vsize=15550532 memory=8317482817917895235 CPUtime=0.45 cores=1,3,5,7
/proc/17140/task/17141/stat : 17141 (java) S 17138 17138 6753 0 -1 1077944384 9488 0 0 0 42 3 0 0 20 0 14 0 408287360 15923744768 88840 33554432000 4194304 4196468 140730911052896 140621138648208 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17142] ppid=17138 vsize=15550532 memory=4126316290023845779 CPUtime=0.09 cores=1,3,5,7
/proc/17140/task/17142/stat : 17142 (java) S 17138 17138 6753 0 -1 1077944384 539 0 0 0 6 3 0 0 20 0 14 0 408287361 15923744768 88840 33554432000 4194304 4196468 140730911052896 140621062445712 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17143] ppid=17138 vsize=15550532 memory=9 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17143/stat : 17143 (java) S 17138 17138 6753 0 -1 1077944384 1230 0 0 0 6 2 0 0 20 0 14 0 408287361 15923744768 88840 33554432000 4194304 4196468 140730911052896 140621061392912 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17144] ppid=17138 vsize=15550532 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/17140/task/17144/stat : 17144 (java) S 17138 17138 6753 0 -1 1077944384 777 0 0 0 6 2 0 0 20 0 14 0 408287361 15923744768 88840 33554432000 4194304 4196468 140730911052896 140621060340112 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17145] ppid=17138 vsize=15550532 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/17140/task/17145/stat : 17145 (java) S 17138 17138 6753 0 -1 1077944384 491 0 0 0 6 3 0 0 20 0 14 0 408287361 15923744768 88840 33554432000 4194304 4196468 140730911052896 140621059287312 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17146] ppid=17138 vsize=15550532 memory=8 CPUtime=0.06 cores=1,3,5,7
/proc/17140/task/17146/stat : 17146 (java) S 17138 17138 6753 0 -1 1077944384 1235 0 0 0 6 0 0 0 20 0 14 0 408287363 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620602928192 140621134416514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17147] ppid=17138 vsize=15550532 memory=6 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17147/stat : 17147 (java) S 17138 17138 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 408287363 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620601874016 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17148] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17148/stat : 17148 (java) S 17138 17138 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 14 0 408287363 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620600821120 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17149] ppid=17138 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17149/stat : 17149 (java) S 17138 17138 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 408287366 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620599769072 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17150] ppid=17138 vsize=15550532 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/17140/task/17150/stat : 17150 (java) S 17138 17138 6753 0 -1 1077944384 7991 0 0 0 167 1 0 0 20 0 14 0 408287366 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620598716784 140621134416514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17151] ppid=17138 vsize=15550532 memory=168 CPUtime=1.55 cores=1,3,5,7
/proc/17140/task/17151/stat : 17151 (java) S 17138 17138 6753 0 -1 1077944384 11548 0 0 0 154 1 0 0 20 0 14 0 408287366 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620597663744 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17152] ppid=17138 vsize=15550532 memory=155 CPUtime=0.46 cores=1,3,5,7
/proc/17140/task/17152/stat : 17152 (java) S 17138 17138 6753 0 -1 1077944384 3972 0 0 0 45 1 0 0 20 0 14 0 408287366 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620596606560 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
[pid=17140/tid=17153] ppid=17138 vsize=15550532 memory=46 CPUtime=0 cores=1,3,5,7
/proc/17140/task/17153/stat : 17153 (java) S 17138 17138 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 408287366 15923744768 88840 33554432000 4194304 4196468 140730911052896 140620595558624 140621134415573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140730911056879 140730911057050 140730911057050 140730911059919 0
Current children cumulated CPU time: 115.91 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 356812 KiB
Child status: 0
Real time (s): 30.0238
CPU time (s): 115.926
CPU user time (s): 115.677
CPU system time (s): 0.24886
CPU usage (%): 386.113
Max. virtual memory (cumulated for all children) (KiB): 15665664
Max. memory (cumulated for all children) (KiB): 356840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.677
system time used= 0.24886
maximum resident set size= 355752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7124
involuntary context switches= 2751
# summary of solver processes directly reported to runsolver:
# pid: 17138
# total CPU time (s): 115.926
# total CPU user time (s): 115.677
# total CPU system time (s): 0.24886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202533 second user time and 0.400429 second system time
The end