0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271310-1502676054.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271310-1502676054.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
141.61/111.81 c solve instance...
145.30/112.36 s SATISFIABLE
145.30/112.36 v <instantiation>
145.30/112.36 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>
145.30/112.36 v <values>3 6 1 7 2 5 9 4 8 9 8 7 4 1 3 2 5 6 2 5 4 8 6 9 1 3 7 8 7 6 9 3 4 5 1 2 5 2 3 1 8 6 7 9 4 4 1 9 2 5 7 6 8 3 6 4 5 3 7 1 8 2 9 7 3 8 5 9 2 4 6 1 1 9 2 6 4 8 3 7 5 </values>
145.30/112.36 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 (14054 MiB free)
memory of node 1: 16384 MiB (12283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271310-1502676054/watcher-4271310-1502676054 -o /tmp/evaluation-result-4271310-1502676054/solver-4271310-1502676054 -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 1294692190 HOME/instance-4271310-1502676054.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=31750, runsolver pid=31747
[startup+0.100111 s]*
/proc/loadavg: 1.24 2.96 5.74 2/199 31771
/proc/meminfo: memFree=26953572/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=25999808 memory=26980 CPUtime=0.12 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 5675 0 0 0 10 2 0 0 20 0 20 0 100693200 26623803392 6745 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6499952 6745 2848 1 0 6488269 0
[pid=31752/tid=31753] ppid=31750 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) R 31750 31750 28777 0 -1 4202560 3686 0 0 0 8 1 0 0 20 0 20 0 100693200 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987869440032 139987849254245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=25999808 memory=139685070337664 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31757] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987420310288 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31758] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987419257488 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31759] ppid=31750 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987418204688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31760] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987417151888 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31761] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693201 26623803392 6745 33554432000 4194304 4196468 140728886966272 139987416099088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31762] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693203 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986137508720 139987865221762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31763] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31750 31750 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100693203 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986136454688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31764] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31750 31750 28777 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 100693203 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986135401840 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31765] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986134350160 139987865229211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31766] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31750 31750 28777 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986133297520 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31767] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986132244720 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31768] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) R 31750 31750 28777 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986131191920 139987865221762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31769] ppid=31750 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) R 31750 31750 28777 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986130139120 139987850376179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26623803392 6745 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28364 KiB
[startup+0.21021 s]*
/proc/loadavg: 1.24 2.96 5.74 3/199 31771
/proc/meminfo: memFree=26943084/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=26004064 memory=38720 CPUtime=0.33 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 8283 0 0 0 30 3 0 0 20 0 20 0 100693200 26628161536 9680 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6501016 9680 3063 1 0 6488269 0
[pid=31752/tid=31753] ppid=31750 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) R 31750 31750 28777 0 -1 4202560 5424 0 0 0 18 2 0 0 20 0 20 0 100693200 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987869431608 139987857888629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=26004064 memory=139685070366698 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31757] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987420310288 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31758] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987419257488 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31759] ppid=31750 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987418204688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31760] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987417151888 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31761] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 9680 33554432000 4194304 4196468 140728886966272 139987416099088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31762] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986137508720 139987865221762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31763] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31750 31750 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986136454688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31764] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31750 31750 28777 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986135401840 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31765] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986134350160 139987865229211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31766] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31750 31750 28777 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986133297520 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31767] ppid=31750 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31750 31750 28777 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986132244720 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31768] ppid=31750 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31750 31750 28777 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986131191920 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31769] ppid=31750 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31750 31750 28777 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986130139120 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 9680 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40104 KiB
[startup+0.309465 s]*
/proc/loadavg: 1.24 2.96 5.74 2/199 31771
/proc/meminfo: memFree=26936684/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=26004064 memory=45144 CPUtime=0.49 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 9069 0 0 0 45 4 0 0 20 0 20 0 100693200 26628161536 11286 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6501016 11286 3079 1 0 6488269 0
[pid=31752/tid=31753] ppid=31750 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) R 31750 31750 28777 0 -1 4202560 6093 0 0 0 27 2 0 0 20 0 20 0 100693200 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987869441712 139987865232541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31757] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987420310288 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31758] ppid=31750 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987419257488 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31759] ppid=31750 vsize=26004064 memory=139684953027503 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987418204688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31760] ppid=31750 vsize=26004064 memory=139684953029808 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987417151888 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31761] ppid=31750 vsize=26004064 memory=139684953032112 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693201 26628161536 11286 33554432000 4194304 4196468 140728886966272 139987416099088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31762] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31750 31750 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986137508720 139987865221762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31763] ppid=31750 vsize=26004064 memory=279369906071184 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31750 31750 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986136454688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31764] ppid=31750 vsize=26004064 memory=279369906078096 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31750 31750 28777 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 100693203 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986135401840 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31765] ppid=31750 vsize=26004064 memory=279369906019376 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986134350160 139987865229211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31766] ppid=31750 vsize=26004064 memory=279369906091920 CPUtime=0.01 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31750 31750 28777 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 100693206 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986133297520 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31767] ppid=31750 vsize=26004064 memory=279369906098832 CPUtime=0.03 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31750 31750 28777 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 20 0 100693206 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986132244720 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31768] ppid=31750 vsize=26004064 memory=279369906096528 CPUtime=0.01 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31750 31750 28777 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 20 0 100693206 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986131191920 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31769] ppid=31750 vsize=26004064 memory=279369906112688 CPUtime=0.11 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) R 31750 31750 28777 0 -1 4202560 791 0 0 0 11 0 0 0 20 0 20 0 100693206 26628161536 11286 33554432000 4194304 4196468 140728886966272 139986130139120 139987857447742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 11352 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100693206 26628161536 11352 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46528 KiB
[startup+0.700997 s]
/proc/loadavg: 1.24 2.96 5.74 6/199 31771
/proc/meminfo: memFree=26826684/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=26004140 memory=263144 CPUtime=1.52 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 11992 0 0 0 141 11 0 0 20 0 20 0 100693200 26628239360 65786 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6501035 65786 3205 1 0 6488269 0
[pid=31752/tid=31753] ppid=31750 vsize=26004140 memory=279369906470576 CPUtime=0.65 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) R 31750 31750 28777 0 -1 4202560 6432 0 0 0 61 4 0 0 20 0 20 0 100693200 26628239360 65786 33554432000 4194304 4196468 140728886966272 139987869445064 139987499589300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=26004140 memory=139684953236336 CPUtime=0 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 100693201 26628239360 65786 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=26004140 memory=0 CPUtime=0.01 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 20 0 100693201 26628239360 65786 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=26004140 memory=1008 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 100693201 26628239360 65786 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
################
# More data... #
################
[pid=31752/tid=31769] ppid=31750 vsize=26538700 memory=6760 CPUtime=0.49 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31750 31750 28777 0 -1 1077944384 6702 0 0 0 48 1 0 0 20 0 28 0 100693206 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986130139120 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100693206 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=26538700 memory=1692 CPUtime=0.03 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 513 0 0 0 1 2 0 0 20 0 28 0 100693206 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31772] ppid=31750 vsize=26538700 memory=916 CPUtime=0.16 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) R 31750 31750 28777 0 -1 4202560 95 0 0 0 16 0 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986120024872 139987500215659 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31773] ppid=31750 vsize=26538700 memory=5608 CPUtime=0.17 cores=0-7
/proc/31752/task/31773/stat : 31773 (java) R 31750 31750 28777 0 -1 4202560 139 0 0 0 17 0 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986118973296 139987500217186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31774] ppid=31750 vsize=26538700 memory=4104 CPUtime=0.16 cores=0-7
/proc/31752/task/31774/stat : 31774 (java) R 31750 31750 28777 0 -1 4202560 59 0 0 0 16 0 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986117904672 139987500215892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31775] ppid=31750 vsize=26538700 memory=1152 CPUtime=0.16 cores=0-7
/proc/31752/task/31775/stat : 31775 (java) R 31750 31750 28777 0 -1 4202560 74 0 0 0 16 0 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986116867696 139987500215884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31776] ppid=31750 vsize=26538700 memory=3184 CPUtime=0.17 cores=0-7
/proc/31752/task/31776/stat : 31776 (java) R 31750 31750 28777 0 -1 4202560 471 0 0 0 15 2 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986115812288 139987500215571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31777] ppid=31750 vsize=26538700 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/31752/task/31777/stat : 31777 (java) R 31750 31750 28777 0 -1 4202560 5482 0 0 0 12 0 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986114760072 139987500215667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31778] ppid=31750 vsize=26538700 memory=956 CPUtime=0.16 cores=0-7
/proc/31752/task/31778/stat : 31778 (java) R 31750 31750 28777 0 -1 4202560 95 0 0 0 15 1 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986113711032 139987500215790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31779] ppid=31750 vsize=26538700 memory=2344 CPUtime=0.16 cores=0-7
/proc/31752/task/31779/stat : 31779 (java) R 31750 31750 28777 0 -1 4202560 118 0 0 0 15 1 0 0 20 0 28 0 100704382 27175628800 1381713 33554432000 4194304 4196468 140728886966272 139986112655800 139987500215784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 143.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528236 KiB
[startup+112.206 s]
/proc/loadavg: 1.07 2.35 5.21 10/207 31779
/proc/meminfo: memFree=21448104/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=26538700 memory=5527388 CPUtime=144.53 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 133199 0 0 0 13761 692 0 0 20 0 28 0 100693200 27175628800 1381847 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6634675 1381847 3265 1 0 6621909 0
[pid=31752/tid=31753] ppid=31750 vsize=26538700 memory=932 CPUtime=101.69 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) S 31750 31750 28777 0 -1 1077944384 24344 0 0 0 10130 39 0 0 20 0 28 0 100693200 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987869451392 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=26538700 memory=2236 CPUtime=3.91 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 6884 0 0 0 310 81 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=26538700 memory=4124 CPUtime=3.9 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 8891 0 0 0 315 75 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=26538700 memory=2200 CPUtime=3.88 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 9779 0 0 0 313 75 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31757] ppid=31750 vsize=26538700 memory=6760 CPUtime=3.92 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31750 31750 28777 0 -1 1077944384 10751 0 0 0 313 79 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987420310288 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31758] ppid=31750 vsize=26538700 memory=840 CPUtime=3.9 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31750 31750 28777 0 -1 1077944384 7198 0 0 0 307 83 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987419257488 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31759] ppid=31750 vsize=26538700 memory=1692 CPUtime=3.91 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31750 31750 28777 0 -1 1077944384 5699 0 0 0 311 80 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987418204688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31760] ppid=31750 vsize=26538700 memory=916 CPUtime=3.91 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31750 31750 28777 0 -1 1077944384 5801 0 0 0 319 72 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987417151888 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31761] ppid=31750 vsize=26538700 memory=5608 CPUtime=3.88 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31750 31750 28777 0 -1 1077944384 8060 0 0 0 315 73 0 0 20 0 28 0 100693201 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139987416099088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31762] ppid=31750 vsize=26538700 memory=4140 CPUtime=6.11 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31750 31750 28777 0 -1 1077944384 12430 0 0 0 597 14 0 0 20 0 28 0 100693203 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986137508720 139987865221762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31763] ppid=31750 vsize=26538700 memory=28856 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31750 31750 28777 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 100693203 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986136454752 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31764] ppid=31750 vsize=26538700 memory=4624 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31750 31750 28777 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 28 0 100693203 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986135401856 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31765] ppid=31750 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986134350160 139987865229211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31766] ppid=31750 vsize=26538700 memory=13056 CPUtime=0.62 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31750 31750 28777 0 -1 1077944384 4216 0 0 0 61 1 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986133297520 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31767] ppid=31750 vsize=26538700 memory=792 CPUtime=0.81 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) R 31750 31750 28777 0 -1 1077944384 5703 0 0 0 80 1 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986132244720 139987865221762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31768] ppid=31750 vsize=26538700 memory=1008 CPUtime=0.78 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31750 31750 28777 0 -1 1077944384 5850 0 0 0 78 0 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986131191920 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31769] ppid=31750 vsize=26538700 memory=10588 CPUtime=0.52 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31750 31750 28777 0 -1 1077944384 6832 0 0 0 51 1 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986130139120 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=26538700 memory=279369906676544 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=26538700 memory=124832956024833 CPUtime=0.03 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 513 0 0 0 1 2 0 0 20 0 28 0 100693206 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31772] ppid=31750 vsize=26538700 memory=138525311765482 CPUtime=0.32 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) R 31750 31750 28777 0 -1 4202560 109 0 0 0 32 0 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986120022056 139987500365206 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31773] ppid=31750 vsize=26538700 memory=138529606732522 CPUtime=0.36 cores=0-7
/proc/31752/task/31773/stat : 31773 (java) R 31750 31750 28777 0 -1 4202560 176 0 0 0 36 0 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986118974248 139987500365206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31774] ppid=31750 vsize=26538700 memory=138542491634410 CPUtime=0.31 cores=0-7
/proc/31752/task/31774/stat : 31774 (java) R 31750 31750 28777 0 -1 4202560 69 0 0 0 31 0 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986117918576 139987500365454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31775] ppid=31750 vsize=26538700 memory=138551081569002 CPUtime=0.31 cores=0-7
/proc/31752/task/31775/stat : 31775 (java) R 31750 31750 28777 0 -1 4202560 81 0 0 0 31 0 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986116867632 139987500365478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31776] ppid=31750 vsize=26538700 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/31752/task/31776/stat : 31776 (java) R 31750 31750 28777 0 -1 4202560 477 0 0 0 27 3 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986115812960 139987496604340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31777] ppid=31750 vsize=26538700 memory=4104 CPUtime=0.29 cores=0-7
/proc/31752/task/31777/stat : 31777 (java) R 31750 31750 28777 0 -1 4202560 7576 0 0 0 29 0 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986114762312 139987500545115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31778] ppid=31750 vsize=26538700 memory=1152 CPUtime=0.32 cores=0-7
/proc/31752/task/31778/stat : 31778 (java) R 31750 31750 28777 0 -1 4202560 137 0 0 0 31 1 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986113710536 139987500543791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31779] ppid=31750 vsize=26538700 memory=3184 CPUtime=0.33 cores=0-7
/proc/31752/task/31779/stat : 31779 (java) R 31750 31750 28777 0 -1 4202560 133 0 0 0 31 2 0 0 20 0 28 0 100704382 27175628800 1381847 33554432000 4194304 4196468 140728886966272 139986112654616 139987500139571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 144.53 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528772 KiB
[startup+112.302 s]
/proc/loadavg: 1.07 2.35 5.21 10/207 31779
/proc/meminfo: memFree=21448104/32770624 swapFree=67108860/67108860
[pid=31750] ppid=31747 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31750/stat : 31750 (xcsp3-exec) S 31747 31750 28777 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100693200 9740288 346 33554432000 4194304 5098028 140722660500640 140722660498744 140441510941308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19910656 140722660508772 140722660508983 140722660508983 140722660511723 0
/proc/31750/statm: 2378 346 289 221 0 87 0
[pid=31752] ppid=31750 vsize=26538700 memory=5527448 CPUtime=145.3 cores=0-7
/proc/31752/stat : 31752 (java) S 31750 31750 28777 0 -1 1077944320 134358 0 0 0 13837 693 0 0 20 0 28 0 100693200 27175628800 1381862 33554432000 4194304 4196468 140728886966272 140728886948816 139987865210615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
/proc/31752/statm: 6634675 1381862 3265 1 0 6621909 0
[pid=31752/tid=31753] ppid=31750 vsize=26538700 memory=5526392 CPUtime=101.69 cores=0-7
/proc/31752/task/31753/stat : 31753 (java) S 31750 31750 28777 0 -1 1077944384 24344 0 0 0 10130 39 0 0 20 0 28 0 100693200 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987869451392 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31754] ppid=31750 vsize=26538700 memory=5525724 CPUtime=3.91 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31750 31750 28777 0 -1 1077944384 6884 0 0 0 310 81 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987817831568 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31755] ppid=31750 vsize=26538700 memory=5527236 CPUtime=3.9 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31750 31750 28777 0 -1 1077944384 8891 0 0 0 315 75 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987816778768 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31756] ppid=31750 vsize=26538700 memory=1384 CPUtime=3.88 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31750 31750 28777 0 -1 1077944384 9779 0 0 0 313 75 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987421363088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31757] ppid=31750 vsize=26538700 memory=279369907051472 CPUtime=3.92 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31750 31750 28777 0 -1 1077944384 10751 0 0 0 313 79 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987420310288 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31758] ppid=31750 vsize=26538700 memory=5428 CPUtime=3.9 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31750 31750 28777 0 -1 1077944384 7198 0 0 0 307 83 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987419257488 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31759] ppid=31750 vsize=26538700 memory=4624 CPUtime=3.91 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31750 31750 28777 0 -1 1077944384 5699 0 0 0 311 80 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987418204688 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31760] ppid=31750 vsize=26538700 memory=5525724 CPUtime=3.91 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31750 31750 28777 0 -1 1077944384 5801 0 0 0 319 72 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987417151888 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31761] ppid=31750 vsize=26538700 memory=1384 CPUtime=3.88 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31750 31750 28777 0 -1 1077944384 8060 0 0 0 315 73 0 0 20 0 28 0 100693201 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139987416099088 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31762] ppid=31750 vsize=26538700 memory=0 CPUtime=6.11 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31750 31750 28777 0 -1 1077944384 12430 0 0 0 597 14 0 0 20 0 28 0 100693203 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986137508720 139987865221762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31763] ppid=31750 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31750 31750 28777 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 100693203 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986136454752 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31764] ppid=31750 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31750 31750 28777 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 28 0 100693203 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986135401856 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31765] ppid=31750 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31750 31750 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986134350160 139987865229211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31766] ppid=31750 vsize=26538700 memory=1700 CPUtime=0.62 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31750 31750 28777 0 -1 1077944384 4216 0 0 0 61 1 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986133297520 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31767] ppid=31750 vsize=26538700 memory=1008 CPUtime=0.81 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31750 31750 28777 0 -1 1077944384 5712 0 0 0 80 1 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986132244720 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31768] ppid=31750 vsize=26538700 memory=10588 CPUtime=0.79 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31750 31750 28777 0 -1 1077944384 5855 0 0 0 79 0 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986131191920 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31769] ppid=31750 vsize=26538700 memory=1204 CPUtime=0.52 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31750 31750 28777 0 -1 1077944384 6832 0 0 0 51 1 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986130139120 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31770] ppid=31750 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31750 31750 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986129087584 139987865220821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31771] ppid=31750 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31750 31750 28777 0 -1 1077944384 513 0 0 0 1 2 0 0 20 0 28 0 100693206 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986128034864 139987865221762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31772] ppid=31750 vsize=26538700 memory=4140 CPUtime=0.41 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) R 31750 31750 28777 0 -1 4202560 109 0 0 0 41 0 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986120022088 139987500002847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31773] ppid=31750 vsize=26538700 memory=1384 CPUtime=0.45 cores=0-7
/proc/31752/task/31773/stat : 31773 (java) R 31750 31750 28777 0 -1 4202560 182 0 0 0 45 0 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986118970424 139987500002847 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31774] ppid=31750 vsize=26538700 memory=1384 CPUtime=0.4 cores=0-7
/proc/31752/task/31774/stat : 31774 (java) R 31750 31750 28777 0 -1 4202560 69 0 0 0 40 0 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986117917488 139987500002847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31775] ppid=31750 vsize=26538700 memory=5525724 CPUtime=0.4 cores=0-7
/proc/31752/task/31775/stat : 31775 (java) R 31750 31750 28777 0 -1 4202560 99 0 0 0 40 0 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986116864576 139987500002847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31776] ppid=31750 vsize=26538700 memory=2236 CPUtime=0.4 cores=0-7
/proc/31752/task/31776/stat : 31776 (java) R 31750 31750 28777 0 -1 4202560 477 0 0 0 37 3 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986115811888 139987500002847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31777] ppid=31750 vsize=26538700 memory=4124 CPUtime=0.39 cores=0-7
/proc/31752/task/31777/stat : 31777 (java) R 31750 31750 28777 0 -1 4202560 8673 0 0 0 38 1 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986114759088 139987500002847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31778] ppid=31750 vsize=26538700 memory=5525724 CPUtime=0.42 cores=0-7
/proc/31752/task/31778/stat : 31778 (java) R 31750 31750 28777 0 -1 4202560 138 0 0 0 41 1 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986113707312 139987500002847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
[pid=31752/tid=31779] ppid=31750 vsize=26538700 memory=1384 CPUtime=0.42 cores=0-7
/proc/31752/task/31779/stat : 31779 (java) R 31750 31750 28777 0 -1 4202560 156 0 0 0 40 2 0 0 20 0 28 0 100704382 27175628800 1381862 33554432000 4194304 4196468 140728886966272 139986112654512 139987500003005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39047168 140728886969490 140728886969667 140728886969667 140728886972367 0
Current children cumulated CPU time: 145.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5528832 KiB
Child status: 0
Real time (s): 112.398
CPU time (s): 145.714
CPU user time (s): 138.749
CPU system time (s): 6.96585
CPU usage (%): 129.641
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5528832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.749
system time used= 6.96585
maximum resident set size= 5527456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10947
involuntary context switches= 565
# summary of solver processes directly reported to runsolver:
# pid: 31750
# total CPU time (s): 145.714
# total CPU user time (s): 138.749
# total CPU system time (s): 6.96585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.783044 second user time and 1.0556 second system time
The end
Begin job on node114 at 2017-08-14 03:46:35
IDJOB=4271310
IDBENCH=120396
IDSOLVER=2662
FILE ID=node114/4271310-1502676054
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-s05c-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-4271310-1502676054/watcher-4271310-1502676054 -o /tmp/evaluation-result-4271310-1502676054/solver-4271310-1502676054 -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 1294692190 HOME/instance-4271310-1502676054.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= db3f83fbcf6995a753f778d644e50d9f
RANDOM SEED=1294692190
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: 26970400 kB
MemAvailable: 31984120 kB
Buffers: 179020 kB
Cached: 5123412 kB
SwapCached: 0 kB
Active: 473048 kB
Inactive: 4885004 kB
Active(anon): 58544 kB
Inactive(anon): 25036 kB
Active(file): 414504 kB
Inactive(file): 4859968 kB
Unevictable: 6520 kB
Mlocked: 6520 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 28124 kB
Writeback: 0 kB
AnonPages: 62212 kB
Mapped: 44096 kB
Shmem: 25224 kB
Slab: 136048 kB
SReclaimable: 110168 kB
SUnreclaim: 25880 kB
KernelStack: 3168 kB
PageTables: 4808 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:48:28