0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271314-1502675922.xml" -tl '20160s' -p 8 -x 0
0.12/0.15 c [HOME/instance-4271314-1502675922.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
140.12/112.13 c solve instance...
143.69/112.68 s SATISFIABLE
143.69/112.68 v <instantiation>
143.69/112.68 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[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[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[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[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[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[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[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[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
143.69/112.68 v <values>1 6 2 8 5 7 4 9 3 5 3 4 1 2 9 6 7 8 7 8 9 6 4 3 5 2 1 4 7 5 3 1 2 9 8 6 9 1 3 5 8 6 7 4 2 6 2 8 7 9 4 1 3 5 3 5 6 4 7 8 2 1 9 2 4 1 9 3 5 8 6 7 8 9 7 2 6 1 3 5 4 </values>
143.69/112.68 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 (14055 MiB free)
memory of node 1: 16384 MiB (12282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271314-1502675922/watcher-4271314-1502675922 -o /tmp/evaluation-result-4271314-1502675922/solver-4271314-1502675922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1804229105 HOME/instance-4271314-1502675922.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=31543, runsolver pid=31540
[startup+0.100112 s]*
/proc/loadavg: 1.53 4.06 6.48 3/200 31564
/proc/meminfo: memFree=26955140/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=25999808 memory=26284 CPUtime=0.12 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 5505 0 0 0 11 1 0 0 20 0 20 0 100680025 26623803392 6571 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6499952 6571 2843 1 0 6488269 0
[pid=31545/tid=31546] ppid=31543 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) R 31543 31543 28777 0 -1 4202560 3513 0 0 0 8 0 0 0 20 0 20 0 100680025 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175118267264 140175114056282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=25999808 memory=139864686274176 CPUtime=0 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26623803392 6571 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680028 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100680028 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173698360992 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100680028 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173697307888 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) R 31543 31543 28777 0 -1 4202560 292 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173695203568 140175114056282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) R 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173694151024 140175114046082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) R 31543 31543 28777 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173692045424 140175114046870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26623803392 6571 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27668 KiB
[startup+0.210142 s]*
/proc/loadavg: 1.53 4.06 6.48 2/200 31564
/proc/meminfo: memFree=26944752/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26004064 memory=39176 CPUtime=0.33 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 8299 0 0 0 31 2 0 0 20 0 20 0 100680025 26628161536 9794 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6501016 9794 3078 1 0 6488269 0
[pid=31545/tid=31546] ppid=31543 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) R 31543 31543 28777 0 -1 4202560 5398 0 0 0 18 1 0 0 20 0 20 0 100680025 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175118248944 140175114056861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26004064 memory=139864686303151 CPUtime=0 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 9794 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173698360992 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173697307888 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) S 31543 31543 28777 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173695203568 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) S 31543 31543 28777 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173694151024 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) R 31543 31543 28777 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173692045424 140175114046870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 9794 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40560 KiB
[startup+0.30937 s]*
/proc/loadavg: 1.53 4.06 6.48 2/200 31564
/proc/meminfo: memFree=26938704/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26004064 memory=45596 CPUtime=0.49 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 9099 0 0 0 46 3 0 0 20 0 20 0 100680025 26628161536 11399 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6501016 11399 3094 1 0 6488269 0
[pid=31545/tid=31546] ppid=31543 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) R 31543 31543 28777 0 -1 4202560 6077 0 0 0 27 2 0 0 20 0 20 0 100680025 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175118268704 140175114056861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=26004064 memory=139864536347567 CPUtime=0 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=26004064 memory=139864536349872 CPUtime=0 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=26004064 memory=139864536352176 CPUtime=0 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680026 26628161536 11399 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=26004064 memory=279729072711312 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173698360992 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=26004064 memory=279729072718224 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100680028 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173697307888 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=26004064 memory=279729072659504 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=26004064 memory=279729072732048 CPUtime=0 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) S 31543 31543 28777 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173695203568 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=26004064 memory=279729072738960 CPUtime=0.03 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) S 31543 31543 28777 0 -1 1077944384 239 0 0 0 3 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173694151024 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=26004064 memory=279729072736656 CPUtime=0.02 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=26004064 memory=279729072752816 CPUtime=0.11 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) R 31543 31543 28777 0 -1 4202560 831 0 0 0 11 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173692045424 140175107131771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26628161536 11399 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46980 KiB
[startup+0.700994 s]
/proc/loadavg: 1.53 4.06 6.48 6/200 31564
/proc/meminfo: memFree=26827848/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26004140 memory=263396 CPUtime=1.6 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 12070 0 0 0 147 13 0 0 20 0 20 0 100680025 26628239360 65849 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6501035 65849 3205 1 0 6488269 0
[pid=31545/tid=31546] ppid=31543 vsize=26004140 memory=279729073110704 CPUtime=0.65 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) R 31543 31543 28777 0 -1 4202560 6418 0 0 0 61 4 0 0 20 0 20 0 100680025 26628239360 65849 33554432000 4194304 4196468 140731993886400 140175118271744 140174733299721 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26004140 memory=139864536556400 CPUtime=0.02 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 20 0 100680026 26628239360 65849 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 100680026 26628239360 65849 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26004140 memory=1008 CPUtime=0 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 100680026 26628239360 65849 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
################
# More data... #
################
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26006188 memory=5532248 CPUtime=140.02 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 114028 0 0 0 13313 689 0 0 20 0 20 0 100680025 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6501547 1383062 3254 1 0 6488781 0
[pid=31545/tid=31546] ppid=31543 vsize=26006188 memory=792 CPUtime=102.13 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) R 31543 31543 28777 0 -1 4202560 22390 0 0 0 10172 41 0 0 20 0 20 0 100680025 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175118272536 140174734228719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26006188 memory=1008 CPUtime=3.64 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 5934 0 0 0 284 80 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26006188 memory=10588 CPUtime=3.63 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 10689 0 0 0 289 74 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26006188 memory=6791534058613427641 CPUtime=3.63 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 6309 0 0 0 290 73 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=26006188 memory=4052 CPUtime=3.67 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 7957 0 0 0 275 92 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=26006188 memory=16260 CPUtime=3.67 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 10171 0 0 0 286 81 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=26006188 memory=1236 CPUtime=3.65 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 6666 0 0 0 281 84 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=26006188 memory=1384 CPUtime=3.58 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 6971 0 0 0 285 73 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=26006188 memory=5532248 CPUtime=3.65 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 6046 0 0 0 295 70 0 0 20 0 20 0 100680026 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=26006188 memory=1384 CPUtime=6.08 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 9555 0 0 0 600 8 0 0 20 0 20 0 100680028 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=26006188 memory=1792 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 100680028 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173698361056 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=26006188 memory=640 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 20 0 100680028 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173697307904 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=26006188 memory=956 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=26006188 memory=2344 CPUtime=0.79 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) S 31543 31543 28777 0 -1 1077944384 5673 0 0 0 78 1 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173695203568 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=26006188 memory=1576 CPUtime=0.6 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) S 31543 31543 28777 0 -1 1077944384 3857 0 0 0 59 1 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173694151024 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=26006188 memory=932 CPUtime=0.66 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 4030 0 0 0 65 1 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=26006188 memory=2236 CPUtime=0.45 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) S 31543 31543 28777 0 -1 1077944384 5943 0 0 0 44 1 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173692045424 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=26006188 memory=5532248 CPUtime=0.03 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 427 0 0 0 1 2 0 0 20 0 20 0 100680031 26630336512 1383062 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 140.02 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 5533632 KiB
[startup+112.402 s]
/proc/loadavg: 1.02 3.04 5.83 2/199 31564
/proc/meminfo: memFree=21442796/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26538700 memory=5533380 CPUtime=142.12 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 118914 0 0 0 13521 691 0 0 20 0 28 0 100680025 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6634675 1383345 3256 1 0 6621909 0
[pid=31545/tid=31546] ppid=31543 vsize=26538700 memory=16444 CPUtime=102.27 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) S 31543 31543 28777 0 -1 1077944384 23002 0 0 0 10186 41 0 0 20 0 28 0 100680025 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175118275712 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26538700 memory=4052 CPUtime=3.64 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 5934 0 0 0 284 80 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26538700 memory=16260 CPUtime=3.63 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 10689 0 0 0 289 74 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26538700 memory=1236 CPUtime=3.63 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 6309 0 0 0 290 73 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=26538700 memory=1384 CPUtime=3.67 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 7957 0 0 0 275 92 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=26538700 memory=1732 CPUtime=3.67 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 10171 0 0 0 286 81 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=26538700 memory=1384 CPUtime=3.65 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 6666 0 0 0 281 84 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=26538700 memory=5532248 CPUtime=3.58 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 6971 0 0 0 285 73 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=26538700 memory=1152 CPUtime=3.65 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 6046 0 0 0 295 70 0 0 20 0 28 0 100680026 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=26538700 memory=3044 CPUtime=6.08 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 9571 0 0 0 600 8 0 0 20 0 28 0 100680028 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 100680028 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173698361056 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=26538700 memory=5532248 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 100680028 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173697307904 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=26538700 memory=932 CPUtime=0.81 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) R 31543 31543 28777 0 -1 1077944384 5793 0 0 0 80 1 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173695203664 140175114045141 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=26538700 memory=2236 CPUtime=0.62 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) R 31543 31543 28777 0 -1 4202560 3939 0 0 0 61 1 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173694139824 140175095578652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=26538700 memory=4124 CPUtime=0.68 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 4067 0 0 0 67 1 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=26538700 memory=6791534058613427641 CPUtime=0.48 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) S 31543 31543 28777 0 -1 1077944384 6270 0 0 0 47 1 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173692045424 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=26538700 memory=301741382048153913 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=26538700 memory=13847469322668612 CPUtime=0.03 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 427 0 0 0 1 2 0 0 20 0 28 0 100680031 27175628800 1383345 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 142.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5534764 KiB
[startup+112.601 s]
/proc/loadavg: 1.02 3.04 5.83 2/199 31564
/proc/meminfo: memFree=21442796/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
[pid=31545] ppid=31543 vsize=26538700 memory=5533676 CPUtime=143.69 cores=0-7
/proc/31545/stat : 31545 (java) S 31543 31543 28777 0 -1 1077944320 122395 0 0 0 13677 692 0 0 20 0 28 0 100680025 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140731993868944 140175114034935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
/proc/31545/statm: 6634675 1383419 3260 1 0 6621909 0
[pid=31545/tid=31546] ppid=31543 vsize=26538700 memory=6944656592387989600 CPUtime=102.27 cores=0-7
/proc/31545/task/31546/stat : 31546 (java) S 31543 31543 28777 0 -1 1077944384 23002 0 0 0 10186 41 0 0 20 0 28 0 100680025 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175118275712 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31547] ppid=31543 vsize=26538700 memory=6655300316396806240 CPUtime=3.64 cores=0-7
/proc/31545/task/31547/stat : 31547 (java) S 31543 31543 28777 0 -1 1077944384 5934 0 0 0 284 80 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175066655760 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31548] ppid=31543 vsize=26538700 memory=6656426216303648864 CPUtime=3.63 cores=0-7
/proc/31545/task/31548/stat : 31548 (java) S 31543 31543 28777 0 -1 1077944384 10689 0 0 0 289 74 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175065603216 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31549] ppid=31543 vsize=26538700 memory=6944656592387989600 CPUtime=3.63 cores=0-7
/proc/31545/task/31549/stat : 31549 (java) S 31543 31543 28777 0 -1 1077944384 6309 0 0 0 290 73 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175064550160 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31550] ppid=31543 vsize=26538700 memory=7017841250531803201 CPUtime=3.67 cores=0-7
/proc/31545/task/31550/stat : 31550 (java) S 31543 31543 28777 0 -1 1077944384 7957 0 0 0 275 92 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175063497616 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31551] ppid=31543 vsize=26538700 memory=288284497873732157 CPUtime=3.67 cores=0-7
/proc/31545/task/31551/stat : 31551 (java) S 31543 31543 28777 0 -1 1077944384 10171 0 0 0 286 81 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175062444560 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31552] ppid=31543 vsize=26538700 memory=1008 CPUtime=3.65 cores=0-7
/proc/31545/task/31552/stat : 31552 (java) S 31543 31543 28777 0 -1 1077944384 6666 0 0 0 281 84 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175061392016 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31553] ppid=31543 vsize=26538700 memory=10588 CPUtime=3.58 cores=0-7
/proc/31545/task/31553/stat : 31553 (java) S 31543 31543 28777 0 -1 1077944384 6971 0 0 0 285 73 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175060338960 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31554] ppid=31543 vsize=26538700 memory=1204 CPUtime=3.65 cores=0-7
/proc/31545/task/31554/stat : 31554 (java) S 31543 31543 28777 0 -1 1077944384 6046 0 0 0 295 70 0 0 20 0 28 0 100680026 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140175059286416 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31555] ppid=31543 vsize=26538700 memory=15872 CPUtime=6.08 cores=0-7
/proc/31545/task/31555/stat : 31555 (java) S 31543 31543 28777 0 -1 1077944384 9571 0 0 0 600 8 0 0 20 0 28 0 100680028 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173699414768 140175114046082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31556] ppid=31543 vsize=26538700 memory=16444 CPUtime=0 cores=0-7
/proc/31545/task/31556/stat : 31556 (java) S 31543 31543 28777 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 100680028 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173698361056 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31557] ppid=31543 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/31545/task/31557/stat : 31557 (java) S 31543 31543 28777 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 100680028 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173697307904 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31558] ppid=31543 vsize=26538700 memory=16260 CPUtime=0 cores=0-7
/proc/31545/task/31558/stat : 31558 (java) S 31543 31543 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173696256464 140175114053531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31559] ppid=31543 vsize=26538700 memory=1236 CPUtime=0.91 cores=0-7
/proc/31545/task/31559/stat : 31559 (java) S 31543 31543 28777 0 -1 1077944384 6148 0 0 0 89 2 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173695203568 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31560] ppid=31543 vsize=26538700 memory=1792 CPUtime=0.68 cores=0-7
/proc/31545/task/31560/stat : 31560 (java) S 31543 31543 28777 0 -1 1077944384 4546 0 0 0 67 1 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173694151024 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31561] ppid=31543 vsize=26538700 memory=640 CPUtime=0.76 cores=0-7
/proc/31545/task/31561/stat : 31561 (java) S 31543 31543 28777 0 -1 1077944384 4857 0 0 0 75 1 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173693097968 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31562] ppid=31543 vsize=26538700 memory=956 CPUtime=0.51 cores=0-7
/proc/31545/task/31562/stat : 31562 (java) R 31543 31543 28777 0 -1 1077944384 6417 0 0 0 50 1 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173692045424 140175114046082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31563] ppid=31543 vsize=26538700 memory=2344 CPUtime=0 cores=0-7
/proc/31545/task/31563/stat : 31563 (java) S 31543 31543 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173690993632 140175114045141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
[pid=31545/tid=31564] ppid=31543 vsize=26538700 memory=288230574492221466 CPUtime=0.03 cores=0-7
/proc/31545/task/31564/stat : 31564 (java) S 31543 31543 28777 0 -1 1077944384 427 0 0 0 1 2 0 0 20 0 28 0 100680031 27175628800 1383419 33554432000 4194304 4196468 140731993886400 140173689941168 140175114046082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 35471360 140731993887890 140731993888067 140731993888067 140731993890767 0
Current children cumulated CPU time: 143.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5535060 KiB
[startup+112.701 s]
/proc/loadavg: 1.02 3.04 5.83 2/199 31564
/proc/meminfo: memFree=21442796/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31543/stat : 31543 (xcsp3-exec) S 31540 31543 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100680025 9740288 346 33554432000 4194304 5098028 140732265718144 140732265716248 139790591062652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23166976 140732265727076 140732265727287 140732265727287 140732265730027 0
/proc/31543/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 112.732
CPU time (s): 144.044
CPU user time (s): 137.084
CPU system time (s): 6.95984
CPU usage (%): 127.776
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5535060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.084
system time used= 6.95984
maximum resident set size= 5533920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10301
involuntary context switches= 466
# summary of solver processes directly reported to runsolver:
# pid: 31543
# total CPU time (s): 144.044
# total CPU user time (s): 137.084
# total CPU system time (s): 6.95984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.710357 second user time and 1.11588 second system time
The end
Begin job on node114 at 2017-08-14 03:44:24
IDJOB=4271314
IDBENCH=120393
IDSOLVER=2662
FILE ID=node114/4271314-1502675922
RUNJOBID= node114-1502667219-28804
PBS_JOBID= 20628964
Free space on /tmp= 61680 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s16-table.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271314-1502675922/watcher-4271314-1502675922 -o /tmp/evaluation-result-4271314-1502675922/solver-4271314-1502675922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1804229105 HOME/instance-4271314-1502675922.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 42cf90d4260d0c42551a0c96317601f7
RANDOM SEED=1804229105
node114.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 : 5332.98
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 : 5332.98
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 : 5332.98
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 : 5332.98
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: 26971132 kB
MemAvailable: 31985344 kB
Buffers: 178876 kB
Cached: 5123488 kB
SwapCached: 0 kB
Active: 474400 kB
Inactive: 4884856 kB
Active(anon): 59456 kB
Inactive(anon): 25036 kB
Active(file): 414944 kB
Inactive(file): 4859820 kB
Unevictable: 6520 kB
Mlocked: 6520 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 28008 kB
Writeback: 0 kB
AnonPages: 62828 kB
Mapped: 44224 kB
Shmem: 25224 kB
Slab: 136224 kB
SReclaimable: 110564 kB
SUnreclaim: 25660 kB
KernelStack: 3200 kB
PageTables: 4748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 61672 MiB
End job on node114 at 2017-08-14 03:46:16