0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400160-1568711535.xml" -tl '2016s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4400160-1568711535.xml, -tl, 2016s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
2.84/1.01 c solve instance...
7.88/1.68 o 78
7.88/1.70 o 47
8.50/1.74 o 35
8.50/1.77 o 34
8.50/1.80 o 33
9.21/1.80 o 7
10.89/2.10 o 6
11.27/2.12 o 5
11.27/2.14 o 4
11.27/2.15 o 3
751.07/94.91 o 2
759.90/96.04 s OPTIMUM FOUND
759.90/96.04 v <instantiation>
759.90/96.04 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] </list>
759.90/96.04 v <values>0 1 0 2 2 1 2 1 0 0 1 1 0 0 1 0 2 2 2 2 1 0 0 2 0 2 1 0 2 1 2 1 1 0 0 2 1 2 1 0 0 0 2 0 1 2 2 1 1 1 0 1 2 1 2 0 0 0 2 1 1 0 1 1 2 2 0 1 0 2 2 2 2 2 0 0 1 1 0 2 </values>
759.90/96.04 v </instantiation>
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 (15100 MiB free)
memory of node 1: 16384 MiB (15353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400160-1568711535/watcher-4400160-1568711535 -o /tmp/evaluation-result-4400160-1568711535/solver-4400160-1568711535 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1455553619 HOME/instance-4400160-1568711535.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20861, runsolver pid=20858
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 8.14 8.13 8.08 2/210 20882
/proc/meminfo: memFree=31168012/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28227396 memory=28904 CPUtime=0.12 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 447411686 28904853504 7226 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7056849 7226 3117 1 0 7019032 0
[pid=20863/tid=20864] ppid=20861 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 14896 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 447411686 28904853504 7226 33554432000 4194304 4196468 140724347656384 140162149111600 140162144890262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28227396 memory=140332284417664 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20868] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161693100688 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20869] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161692048144 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20870] ppid=20861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161690995600 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20871] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161689943056 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20872] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 7226 33554432000 4194304 4196468 140724347656384 140161688890512 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20873] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160743192560 140162144889474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20874] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160742138784 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20875] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160741086192 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20876] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160740034768 140162144896923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20877] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 14896 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160738982384 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20878] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160737929840 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20879] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 14896 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160736877296 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20880] ppid=20861 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) R 20861 20861 14896 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160735824752 140162129125869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 7226 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30352 KiB
[startup+0.210502 s]*
/proc/loadavg: 8.14 8.13 8.08 2/210 20882
/proc/meminfo: memFree=31155392/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28227396 memory=40404 CPUtime=0.34 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 9388 0 0 0 31 3 0 0 20 0 20 0 447411686 28904853504 10101 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7056849 10101 3307 1 0 7019032 0
[pid=20863/tid=20864] ppid=20861 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 14896 0 -1 4202560 6636 0 0 0 17 2 0 0 20 0 20 0 447411686 28904853504 10101 33554432000 4194304 4196468 140724347656384 140162149111056 140162128219617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28227396 memory=140332287590191 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20868] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161693100688 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20869] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161692048144 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20870] ppid=20861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161690995600 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20871] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161689943056 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20872] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411687 28904853504 10101 33554432000 4194304 4196468 140724347656384 140161688890512 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20873] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 14896 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160743192560 140162144889474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20874] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160742138784 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20875] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447411689 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160741086192 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20876] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160740034768 140162144896923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20877] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 14896 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160738982384 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20878] ppid=20861 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 14896 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160737929840 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20879] ppid=20861 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 14896 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160736877296 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20880] ppid=20861 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) R 20861 20861 14896 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160735824752 140162123512224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28904853504 10101 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41852 KiB
[startup+0.310535 s]*
/proc/loadavg: 8.14 8.13 8.08 4/210 20882
/proc/meminfo: memFree=31147500/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28231652 memory=50156 CPUtime=0.52 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 10905 0 0 0 48 4 0 0 20 0 20 0 447411686 28909211648 12539 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7057913 12539 3362 1 0 7019032 0
[pid=20863/tid=20864] ppid=20861 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 14896 0 -1 4202560 7795 0 0 0 27 3 0 0 20 0 20 0 447411686 28909211648 12539 33554432000 4194304 4196468 140724347656384 140162149109440 140162128958814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20868] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161693100688 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20869] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161692048144 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20870] ppid=20861 vsize=28231652 memory=140332150909615 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161690995600 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20871] ppid=20861 vsize=28231652 memory=140332150911920 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161689943056 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20872] ppid=20861 vsize=28231652 memory=140332150914224 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411687 28909211648 12539 33554432000 4194304 4196468 140724347656384 140161688890512 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20873] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 14896 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447411689 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160743192560 140162144889474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20874] ppid=20861 vsize=28231652 memory=280664301842320 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447411689 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160742138784 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20875] ppid=20861 vsize=28231652 memory=280664301840016 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447411689 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160741086192 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20876] ppid=20861 vsize=28231652 memory=280664301846928 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160740034768 140162144896923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20877] ppid=20861 vsize=28231652 memory=280664301788208 CPUtime=0.02 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) R 20861 20861 14896 0 -1 4202560 458 0 0 0 2 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160738972768 140162137167793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20878] ppid=20861 vsize=28231652 memory=280664301860752 CPUtime=0.02 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 14896 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160737929840 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20879] ppid=20861 vsize=28231652 memory=280664301867664 CPUtime=0.03 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 14896 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160736877296 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20880] ppid=20861 vsize=28231652 memory=280664301865360 CPUtime=0.12 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 14896 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160735824752 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411692 28909211648 12539 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51604 KiB
[startup+0.701021 s]
/proc/loadavg: 8.14 8.13 8.08 6/210 20882
/proc/meminfo: memFree=31122776/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28233776 memory=108924 CPUtime=2.02 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 16342 0 0 0 195 7 0 0 20 0 20 0 447411686 28911386624 27231 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7058444 27231 3455 1 0 7019544 0
[pid=20863/tid=20864] ppid=20861 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 14896 0 -1 4202560 9219 0 0 0 63 4 0 0 20 0 20 0 447411686 28911386624 27231 33554432000 4194304 4196468 140724347656384 140162149115224 140162127167699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28233776 memory=140332151120752 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447411687 28911386624 27231 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28911386624 27231 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447411687 28911386624 27231 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
################
# More data... #
################
[pid=20863/tid=20880] ppid=20861 vsize=28766288 memory=1072 CPUtime=0.73 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 14896 0 -1 1077944384 7104 0 0 0 72 1 0 0 20 0 28 0 447411692 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160735824752 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28766288 memory=6044 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447411692 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28766288 memory=784 CPUtime=0.02 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 28 0 447411692 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20977] ppid=20861 vsize=28766288 memory=1060 CPUtime=0.29 cores=0-7
/proc/20863/task/20977/stat : 20977 (java) R 20861 20861 14896 0 -1 4202560 32 0 0 0 29 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160721345448 140161784985291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20978] ppid=20861 vsize=28766288 memory=14012 CPUtime=0.28 cores=0-7
/proc/20863/task/20978/stat : 20978 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 28 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160717135792 140161785370115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20979] ppid=20861 vsize=28766288 memory=15612 CPUtime=0.27 cores=0-7
/proc/20863/task/20979/stat : 20979 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 27 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160720292928 140161784985291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20980] ppid=20861 vsize=28766288 memory=14056 CPUtime=0.27 cores=0-7
/proc/20863/task/20980/stat : 20980 (java) R 20861 20861 14896 0 -1 4202560 21 0 0 0 27 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160719237672 140161784985291 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20981] ppid=20861 vsize=28766288 memory=2116 CPUtime=0.28 cores=0-7
/proc/20863/task/20981/stat : 20981 (java) R 20861 20861 14896 0 -1 4202560 19 0 0 0 28 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160723455328 140161784985266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20982] ppid=20861 vsize=28766288 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/20863/task/20982/stat : 20982 (java) R 20861 20861 14896 0 -1 4202560 16 0 0 0 28 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160724508232 140161784985319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20983] ppid=20861 vsize=28766288 memory=4872558044660077418 CPUtime=0.28 cores=0-7
/proc/20863/task/20983/stat : 20983 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160718191304 140161784677930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20984] ppid=20861 vsize=28766288 memory=308516 CPUtime=0.25 cores=0-7
/proc/20863/task/20984/stat : 20984 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 25 0 0 0 20 0 28 0 447421177 29456678912 70891 33554432000 4194304 4196468 140724347656384 140160722397480 140161784985278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 753.44 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 285012 KiB
[startup+95.602 s]
/proc/loadavg: 8.12 8.16 8.10 10/218 20984
/proc/meminfo: memFree=30911212/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28766288 memory=283588 CPUtime=756.63 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 71157 0 0 0 75618 45 0 0 20 0 28 0 447411686 29456678912 70897 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7191572 70897 3538 1 0 7152672 0
[pid=20863/tid=20864] ppid=20861 vsize=28766288 memory=984 CPUtime=0.98 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) S 20861 20861 14896 0 -1 1077944384 9482 0 0 0 93 5 0 0 20 0 28 0 447411686 29456678912 70897 33554432000 4194304 4196468 140724347656384 140162149119104 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28766288 memory=2016 CPUtime=0.07 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 751 0 0 0 5 2 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28766288 memory=7295938381028020304 CPUtime=0.06 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 594 0 0 0 4 2 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28766288 memory=7151823192952164432 CPUtime=0.06 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 1287 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20868] ppid=20861 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 14896 0 -1 1077944384 1849 0 0 0 4 1 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161693100688 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20869] ppid=20861 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 14896 0 -1 1077944384 1170 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161692048144 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20870] ppid=20861 vsize=28766288 memory=1412 CPUtime=0.07 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 14896 0 -1 1077944384 746 0 0 0 5 2 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161690995600 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20871] ppid=20861 vsize=28766288 memory=1548 CPUtime=0.05 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 14896 0 -1 1077944384 376 0 0 0 4 1 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161689943056 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20872] ppid=20861 vsize=28766288 memory=7396 CPUtime=0.06 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 14896 0 -1 1077944384 643 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70897 33554432000 4194304 4196468 140724347656384 140161688890512 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20873] ppid=20861 vsize=28766288 memory=4000 CPUtime=0.04 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 14896 0 -1 1077944384 2251 0 0 0 3 1 0 0 20 0 28 0 447411689 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160743192560 140162144889474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20874] ppid=20861 vsize=28766288 memory=616 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 14896 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447411689 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160742138848 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20875] ppid=20861 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 14896 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447411689 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160741086208 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20876] ppid=20861 vsize=28766288 memory=1624 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160740034768 140162144896923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20877] ppid=20861 vsize=28766288 memory=1136 CPUtime=2.07 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 14896 0 -1 1077944384 9468 0 0 0 205 2 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160738982384 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20878] ppid=20861 vsize=28766288 memory=1072 CPUtime=2.17 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 14896 0 -1 1077944384 13253 0 0 0 215 2 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160737929840 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20879] ppid=20861 vsize=28766288 memory=6044 CPUtime=2.32 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 14896 0 -1 1077944384 8732 0 0 0 229 3 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160736877296 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20880] ppid=20861 vsize=28766288 memory=784 CPUtime=0.73 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 14896 0 -1 1077944384 7105 0 0 0 72 1 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160735824752 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28766288 memory=1060 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28766288 memory=14012 CPUtime=0.02 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 28 0 447411692 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20977] ppid=20861 vsize=28766288 memory=15612 CPUtime=0.68 cores=0-7
/proc/20863/task/20977/stat : 20977 (java) R 20861 20861 14896 0 -1 4202560 32 0 0 0 68 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160721341088 140161784985167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20978] ppid=20861 vsize=28766288 memory=14056 CPUtime=0.68 cores=0-7
/proc/20863/task/20978/stat : 20978 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 68 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160717131744 140161784985256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20979] ppid=20861 vsize=28766288 memory=2116 CPUtime=0.66 cores=0-7
/proc/20863/task/20979/stat : 20979 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160720289864 140161786513418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20980] ppid=20861 vsize=28766288 memory=516 CPUtime=0.61 cores=0-7
/proc/20863/task/20980/stat : 20980 (java) R 20861 20861 14896 0 -1 4202560 21 0 0 0 61 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160719237480 140161784986048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20981] ppid=20861 vsize=28766288 memory=1556 CPUtime=0.68 cores=0-7
/proc/20863/task/20981/stat : 20981 (java) R 20861 20861 14896 0 -1 4202560 19 0 0 0 68 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160723448160 140161784985363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20982] ppid=20861 vsize=28766288 memory=928 CPUtime=0.68 cores=0-7
/proc/20863/task/20982/stat : 20982 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 68 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160724500960 140161784985286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20983] ppid=20861 vsize=28766288 memory=1772 CPUtime=0.68 cores=0-7
/proc/20863/task/20983/stat : 20983 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 68 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160718184032 140161784985291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20984] ppid=20861 vsize=28766288 memory=908 CPUtime=0.63 cores=0-7
/proc/20863/task/20984/stat : 20984 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 63 0 0 0 20 0 28 0 447421177 29456678912 70897 33554432000 4194304 4196468 140724347656384 140160722394744 140161784985291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 756.63 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 285036 KiB
[startup+96.002 s]*
/proc/loadavg: 8.12 8.16 8.10 9/218 20984
/proc/meminfo: memFree=30911088/32770624 swapFree=66939860/67108860
[pid=20861] ppid=20858 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 14896 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447411686 115843072 362 33554432000 4194304 5098028 140721379376848 140721379374952 140431898387068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16420864 140721379378043 140721379378286 140721379378286 140721379381194 0
/proc/20861/statm: 28282 362 304 221 0 87 0
[pid=20863] ppid=20861 vsize=28766288 memory=283612 CPUtime=759.9 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 14896 0 -1 1077944320 71556 0 0 0 75944 46 0 0 20 0 28 0 447411686 29456678912 70903 33554432000 4194304 4196468 140724347656384 140724347638928 140162144878327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
/proc/20863/statm: 7191572 70903 3538 1 0 7152672 0
[pid=20863/tid=20864] ppid=20861 vsize=28766288 memory=8317482817917895235 CPUtime=0.98 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) S 20861 20861 14896 0 -1 1077944384 9482 0 0 0 93 5 0 0 20 0 28 0 447411686 29456678912 70903 33554432000 4194304 4196468 140724347656384 140162149119104 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20865] ppid=20861 vsize=28766288 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 14896 0 -1 1077944384 751 0 0 0 5 2 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161696258320 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20866] ppid=20861 vsize=28766288 memory=1412 CPUtime=0.06 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 14896 0 -1 1077944384 594 0 0 0 4 2 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161695205776 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20867] ppid=20861 vsize=28766288 memory=1548 CPUtime=0.06 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 14896 0 -1 1077944384 1287 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161694153232 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20868] ppid=20861 vsize=28766288 memory=7396 CPUtime=0.05 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 14896 0 -1 1077944384 1849 0 0 0 4 1 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161693100688 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20869] ppid=20861 vsize=28766288 memory=4000 CPUtime=0.06 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 14896 0 -1 1077944384 1170 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161692048144 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20870] ppid=20861 vsize=28766288 memory=616 CPUtime=0.07 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 14896 0 -1 1077944384 746 0 0 0 5 2 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161690995600 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20871] ppid=20861 vsize=28766288 memory=2832 CPUtime=0.05 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 14896 0 -1 1077944384 376 0 0 0 4 1 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161689943056 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20872] ppid=20861 vsize=28766288 memory=288230574492221466 CPUtime=0.06 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 14896 0 -1 1077944384 643 0 0 0 5 1 0 0 20 0 28 0 447411687 29456678912 70903 33554432000 4194304 4196468 140724347656384 140161688890512 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20873] ppid=20861 vsize=28766288 memory=288230621803970871 CPUtime=0.04 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 14896 0 -1 1077944384 2251 0 0 0 3 1 0 0 20 0 28 0 447411689 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160743192560 140162144889474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20874] ppid=20861 vsize=28766288 memory=13563791027735085 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 14896 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447411689 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160742138848 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20875] ppid=20861 vsize=28766288 memory=7396 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 14896 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447411689 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160741086208 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20876] ppid=20861 vsize=28766288 memory=4000 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160740034768 140162144896923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20877] ppid=20861 vsize=28766288 memory=616 CPUtime=2.09 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 14896 0 -1 1077944384 9716 0 0 0 207 2 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160738982384 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20878] ppid=20861 vsize=28766288 memory=2832 CPUtime=2.19 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 14896 0 -1 1077944384 13403 0 0 0 217 2 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160737929840 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20879] ppid=20861 vsize=28766288 memory=1624 CPUtime=2.32 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 14896 0 -1 1077944384 8732 0 0 0 229 3 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160736877296 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20880] ppid=20861 vsize=28766288 memory=0 CPUtime=0.73 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 14896 0 -1 1077944384 7105 0 0 0 72 1 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160735824752 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20881] ppid=20861 vsize=28766288 memory=2324508702694522976 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160734771424 140162144888533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20882] ppid=20861 vsize=28766288 memory=7084818013876338787 CPUtime=0.02 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 14896 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 28 0 447411692 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160733718960 140162144889474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20977] ppid=20861 vsize=28766288 memory=7084818000957751393 CPUtime=1.09 cores=0-7
/proc/20863/task/20977/stat : 20977 (java) R 20861 20861 14896 0 -1 4202560 32 0 0 0 109 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160721341224 140161784985183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20978] ppid=20861 vsize=28766288 memory=7444849660700681826 CPUtime=1.09 cores=0-7
/proc/20863/task/20978/stat : 20978 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 109 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160717131880 140161784985291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20979] ppid=20861 vsize=28766288 memory=6221000949919405159 CPUtime=1.05 cores=0-7
/proc/20863/task/20979/stat : 20979 (java) R 20861 20861 14896 0 -1 4202560 18 0 0 0 105 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160720289864 140161784985291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20980] ppid=20861 vsize=28766288 memory=7084820200048181348 CPUtime=1.01 cores=0-7
/proc/20863/task/20980/stat : 20980 (java) R 20861 20861 14896 0 -1 4202560 21 0 0 0 101 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160719237480 140161784985319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20981] ppid=20861 vsize=28766288 memory=8171313580286955602 CPUtime=1.09 cores=0-7
/proc/20863/task/20981/stat : 20981 (java) R 20861 20861 14896 0 -1 4202560 20 0 0 0 109 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160723448296 140161784985256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20982] ppid=20861 vsize=28766288 memory=7396 CPUtime=1.09 cores=0-7
/proc/20863/task/20982/stat : 20982 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 109 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160724501096 140161784985291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20983] ppid=20861 vsize=28766288 memory=4000 CPUtime=1.09 cores=0-7
/proc/20863/task/20983/stat : 20983 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 109 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160718184856 140161784985298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
[pid=20863/tid=20984] ppid=20861 vsize=28766288 memory=616 CPUtime=1.02 cores=0-7
/proc/20863/task/20984/stat : 20984 (java) R 20861 20861 14896 0 -1 4202560 17 0 0 0 102 0 0 0 20 0 28 0 447421177 29456678912 70903 33554432000 4194304 4196468 140724347656384 140160722394744 140161784985118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140724347663344 140724347663515 140724347663515 140724347666383 0
Current children cumulated CPU time: 759.9 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 285060 KiB
Child status: 0
Real time (s): 96.0525
CPU time (s): 760.154
CPU user time (s): 759.68
CPU system time (s): 0.474303
CPU usage (%): 791.394
Max. virtual memory (cumulated for all children) (KiB): 28881336
Max. memory (cumulated for all children) (KiB): 383780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.68
system time used= 0.474303
maximum resident set size= 393088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8015
involuntary context switches= 8903
# summary of solver processes directly reported to runsolver:
# pid: 20861
# total CPU time (s): 760.154
# total CPU user time (s): 759.68
# total CPU system time (s): 0.474303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.925109 second user time and 1.02032 second system time
The end
Begin job on node105 at 2019-09-17 10:10:38
IDJOB=4400160
IDBENCH=135933
IDSOLVER=2855
FILE ID=node105/4400160-1568711535
RUNJOBID= node105-1568698793-14923
PBS_JOBID= 21703916
Free space on /tmp= 61004 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-08-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400160-1568711535/watcher-4400160-1568711535 -o /tmp/evaluation-result-4400160-1568711535/solver-4400160-1568711535 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1455553619 HOME/instance-4400160-1568711535.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4ad41382ea3c48fc1b345febd6f905ee
RANDOM SEED=1455553619
node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.00
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31185412 kB
MemAvailable: 31847172 kB
Buffers: 184624 kB
Cached: 777744 kB
SwapCached: 65564 kB
Active: 542544 kB
Inactive: 487144 kB
Active(anon): 8412 kB
Inactive(anon): 103456 kB
Active(file): 534132 kB
Inactive(file): 383688 kB
Unevictable: 109028 kB
Mlocked: 109028 kB
SwapTotal: 67108860 kB
SwapFree: 66939860 kB
Dirty: 26180 kB
Writeback: 0 kB
AnonPages: 113000 kB
Mapped: 44024 kB
Shmem: 35652 kB
Slab: 148212 kB
SReclaimable: 119552 kB
SUnreclaim: 28660 kB
KernelStack: 3376 kB
PageTables: 4812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 60980 MiB
End job on node105 at 2019-09-17 10:12:14