0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281406-1503186964.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4281406-1503186964.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
0.76/0.44 c solve instance...
0.76/0.46 o 452
0.76/0.47 o 475
0.76/0.47 o 507
0.76/0.47 o 524
0.76/0.48 o 556
0.76/0.49 o 625
0.76/0.50 o 671
0.76/0.51 o 691
1.18/0.54 o 711
1.18/0.55 o 723
1.18/0.57 o 787
1.18/0.57 o 817
1.18/0.58 o 825
1.18/0.59 o 826
1.88/0.62 o 827
1.88/0.65 o 832
1.88/0.65 o 860
2.53/0.73 o 928
2.53/0.80 o 1004
3.29/0.80 o 1006
3.29/0.84 o 1008
3.29/0.86 o 1031
4.05/0.92 o 1040
4.05/0.95 o 1047
4.90/1.01 o 1085
4.90/1.05 o 1103
5.65/1.13 o 1120
5.65/1.14 o 1139
5.65/1.15 o 1141
5.65/1.17 o 1152
6.33/1.21 o 1158
6.33/1.23 o 1159
6.33/1.24 o 1160
6.33/1.26 o 1164
6.33/1.27 o 1177
6.33/1.29 o 1180
6.96/1.39 o 1183
7.60/1.41 o 1195
8.22/1.50 o 1198
8.77/1.66 o 1204
9.36/1.77 o 1220
1026.95/144.54 s OPTIMUM FOUND
1026.95/144.54 v <instantiation>
1026.95/144.54 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
1026.95/144.54 v <values>0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 </values>
1026.95/144.54 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 (14373 MiB free)
memory of node 1: 16384 MiB (13954 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281406-1503186964/watcher-4281406-1503186964 -o /tmp/evaluation-result-4281406-1503186964/solver-4281406-1503186964 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503173704-12412 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1215003331 HOME/instance-4281406-1503186964.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19152, runsolver pid=19149
[startup+0.100061 s]*
/proc/loadavg: 8.14 7.55 7.47 3/201 19173
/proc/meminfo: memFree=28992364/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=25999808 memory=26596 CPUtime=0.11 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 5524 0 0 0 10 1 0 0 20 0 20 0 151784577 26623803392 6649 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6499952 6649 2875 1 0 6488269 0
[pid=19154/tid=19155] ppid=19152 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) R 19152 19152 12385 0 -1 4202560 3528 0 0 0 8 1 0 0 20 0 20 0 151784577 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313747800880 140313727657310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=25999808 memory=140654847768192 CPUtime=0 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19159] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19159/stat : 19159 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313298848784 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19160] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19160/stat : 19160 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313297795472 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19161] ppid=19152 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19161/stat : 19161 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313296742672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19162] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19162/stat : 19162 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313295690384 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19163] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19163/stat : 19163 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784578 26623803392 6649 33554432000 4194304 4196468 140726604197616 140313294637584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19164] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19164/stat : 19164 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784579 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311948614256 140313743587970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19165] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19165/stat : 19165 (java) S 19152 19152 12385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784580 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311947560224 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19166] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19166/stat : 19166 (java) S 19152 19152 12385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784580 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311946507888 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19167] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19167/stat : 19167 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784582 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311945456208 140313743595419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19168] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19168/stat : 19168 (java) R 19152 19152 12385 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311944403056 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19169] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19169/stat : 19169 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311943350256 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19170] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19170/stat : 19170 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311942297968 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19171] ppid=19152 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) R 19152 19152 12385 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311941245168 140313743598170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784583 26623803392 6649 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27980 KiB
[startup+0.210621 s]*
/proc/loadavg: 8.14 7.55 7.47 3/201 19173
/proc/meminfo: memFree=28980456/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=26004064 memory=39216 CPUtime=0.33 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 8385 0 0 0 30 3 0 0 20 0 20 0 151784577 26628161536 9804 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6501016 9804 3052 1 0 6488269 0
[pid=19154/tid=19155] ppid=19152 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) R 19152 19152 12385 0 -1 4202560 5427 0 0 0 18 2 0 0 20 0 20 0 151784577 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313747797824 140313727657310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=26004064 memory=140654847782027 CPUtime=0 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19159] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19159/stat : 19159 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313298848784 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19160] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19160/stat : 19160 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313297795472 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19161] ppid=19152 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19161/stat : 19161 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313296742672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19162] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19162/stat : 19162 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313295690384 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19163] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19163/stat : 19163 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784578 26628161536 9804 33554432000 4194304 4196468 140726604197616 140313294637584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19164] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19164/stat : 19164 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784579 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311948614256 140313743587970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19165] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19165/stat : 19165 (java) S 19152 19152 12385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784580 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311947560224 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19166] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19166/stat : 19166 (java) S 19152 19152 12385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784580 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311946507888 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19167] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19167/stat : 19167 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784582 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311945456208 140313743595419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19168] ppid=19152 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19154/task/19168/stat : 19168 (java) S 19152 19152 12385 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 20 0 151784583 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311944403056 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19169] ppid=19152 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19154/task/19169/stat : 19169 (java) S 19152 19152 12385 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 151784583 26628161536 9804 33554432000 4194304 4196468 140726604197616 140311943350256 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19170] ppid=19152 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/19154/task/19170/stat : 19170 (java) S 19152 19152 12385 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 151784583 26628194304 9804 33554432000 4194304 4196468 140726604197616 140311942297968 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19171] ppid=19152 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) R 19152 19152 12385 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 151784583 26628194304 9804 33554432000 4194304 4196468 140726604197616 140311941245168 140313722966156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784583 26628161536 9825 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784583 26628161536 9825 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40600 KiB
[startup+0.310686 s]*
/proc/loadavg: 8.14 7.55 7.47 2/201 19173
/proc/meminfo: memFree=28973988/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=26004140 memory=45728 CPUtime=0.49 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 9252 0 0 0 46 3 0 0 20 0 20 0 151784577 26628239360 11432 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6501035 11432 3068 1 0 6488269 0
[pid=19154/tid=19155] ppid=19152 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) R 19152 19152 12385 0 -1 4202560 6230 0 0 0 27 2 0 0 20 0 20 0 151784577 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313747815312 140313727657310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19159] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19159/stat : 19159 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313298848784 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19160] ppid=19152 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/19154/task/19160/stat : 19160 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313297795472 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19161] ppid=19152 vsize=26004140 memory=140654743221167 CPUtime=0 cores=0-7
/proc/19154/task/19161/stat : 19161 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313296742672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19162] ppid=19152 vsize=26004140 memory=140654743223472 CPUtime=0 cores=0-7
/proc/19154/task/19162/stat : 19162 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313295690384 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19163] ppid=19152 vsize=26004140 memory=140654743225776 CPUtime=0 cores=0-7
/proc/19154/task/19163/stat : 19163 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784578 26628239360 11432 33554432000 4194304 4196468 140726604197616 140313294637584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19164] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19164/stat : 19164 (java) S 19152 19152 12385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784579 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311948614256 140313743587970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19165] ppid=19152 vsize=26004140 memory=281309486458512 CPUtime=0 cores=0-7
/proc/19154/task/19165/stat : 19165 (java) S 19152 19152 12385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784580 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311947560224 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19166] ppid=19152 vsize=26004140 memory=281309486465424 CPUtime=0 cores=0-7
/proc/19154/task/19166/stat : 19166 (java) S 19152 19152 12385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784580 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311946507888 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19167] ppid=19152 vsize=26004140 memory=281309486406704 CPUtime=0 cores=0-7
/proc/19154/task/19167/stat : 19167 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784582 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311945456208 140313743595419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19168] ppid=19152 vsize=26004140 memory=281309486479248 CPUtime=0.01 cores=0-7
/proc/19154/task/19168/stat : 19168 (java) S 19152 19152 12385 0 -1 1077944384 722 0 0 0 1 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311944403056 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19169] ppid=19152 vsize=26004140 memory=281309486486160 CPUtime=0.01 cores=0-7
/proc/19154/task/19169/stat : 19169 (java) S 19152 19152 12385 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311943350256 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19170] ppid=19152 vsize=26004140 memory=281309486483856 CPUtime=0.03 cores=0-7
/proc/19154/task/19170/stat : 19170 (java) S 19152 19152 12385 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311942297968 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19171] ppid=19152 vsize=26004140 memory=281309486500016 CPUtime=0.12 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) S 19152 19152 12385 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311941245168 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784583 26628239360 11432 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47112 KiB
[startup+0.701291 s]
/proc/loadavg: 8.14 7.55 7.47 4/208 19235
/proc/meminfo: memFree=28853492/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=26605264 memory=189988 CPUtime=2.53 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 18100 0 0 0 244 9 0 0 20 0 28 0 151784577 27243790336 47497 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6651316 47497 3227 1 0 6638550 0
[pid=19154/tid=19155] ppid=19152 vsize=26605264 memory=281309486857904 CPUtime=0.43 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) S 19152 19152 12385 0 -1 1077944384 6707 0 0 0 40 3 0 0 20 0 28 0 151784577 27243790336 47497 33554432000 4194304 4196468 140726604197616 140313747817600 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=26605264 memory=140654743430000 CPUtime=0 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 151784578 27243790336 47497 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151784578 27243790336 47497 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151784578 27243790336 47497 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
################
# More data... #
################
[pid=19154/tid=19171] ppid=19152 vsize=26605264 memory=1232 CPUtime=0.46 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) S 19152 19152 12385 0 -1 1077944384 4563 0 0 0 45 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311941245168 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=26605264 memory=648 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=26605264 memory=1796 CPUtime=0.02 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1821 0 0 0 1 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19501] ppid=19152 vsize=26605264 memory=956 CPUtime=124.41 cores=0-7
/proc/19154/task/19501/stat : 19501 (java) R 19152 19152 12385 0 -1 1077944384 1680 0 0 0 12095 346 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311931132976 140313743587029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19502] ppid=19152 vsize=26605264 memory=1384 CPUtime=124.54 cores=0-7
/proc/19154/task/19502/stat : 19502 (java) R 19152 19152 12385 0 -1 4202560 1739 0 0 0 12120 334 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311927976336 140313380602514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19503] ppid=19152 vsize=26605264 memory=431772 CPUtime=124.79 cores=0-7
/proc/19154/task/19503/stat : 19503 (java) R 19152 19152 12385 0 -1 4202560 3860 0 0 0 12148 331 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311925870864 140313381219413 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19504] ppid=19152 vsize=26605264 memory=1004 CPUtime=129.96 cores=0-7
/proc/19154/task/19504/stat : 19504 (java) R 19152 19152 12385 0 -1 4202560 5654 0 0 0 12825 171 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311926922992 140313380572801 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19505] ppid=19152 vsize=26605264 memory=1944 CPUtime=126.35 cores=0-7
/proc/19154/task/19505/stat : 19505 (java) S 19152 19152 12385 0 -1 1077944384 4338 0 0 0 12352 283 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311923764848 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19506] ppid=19152 vsize=26605264 memory=1424 CPUtime=123.35 cores=0-7
/proc/19154/task/19506/stat : 19506 (java) S 19152 19152 12385 0 -1 1077944384 1839 0 0 0 11931 404 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311930081264 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19507] ppid=19152 vsize=26605264 memory=8608 CPUtime=124.95 cores=0-7
/proc/19154/task/19507/stat : 19507 (java) R 19152 19152 12385 0 -1 4202560 1842 0 0 0 12139 356 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311924817680 140313380602472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19508] ppid=19152 vsize=26605264 memory=1724 CPUtime=130.81 cores=0-7
/proc/19154/task/19508/stat : 19508 (java) R 19152 19152 12385 0 -1 4202560 12795 0 0 0 12904 177 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311929028848 140313381981846 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 1023.42 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 433324 KiB
[startup+144.401 s]
/proc/loadavg: 7.54 7.46 7.44 8/209 19508
/proc/meminfo: memFree=28585820/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=26605264 memory=431940 CPUtime=1026.23 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 109284 0 0 0 100128 2495 0 0 20 0 28 0 151784577 27243790336 107985 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6651316 107985 3263 1 0 6638550 0
[pid=19154/tid=19155] ppid=19152 vsize=26605264 memory=6791534058613427641 CPUtime=0.44 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) S 19152 19152 12385 0 -1 1077944384 6707 0 0 0 41 3 0 0 20 0 28 0 151784577 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313747817600 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=26605264 memory=1424 CPUtime=0.44 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 3387 0 0 0 36 8 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=26605264 memory=1384 CPUtime=0.43 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 2613 0 0 0 37 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=26605264 memory=432284 CPUtime=0.43 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 3566 0 0 0 36 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19159] ppid=19152 vsize=26605264 memory=33 CPUtime=0.42 cores=0-7
/proc/19154/task/19159/stat : 19159 (java) S 19152 19152 12385 0 -1 1077944384 3273 0 0 0 36 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313298848784 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19160] ppid=19152 vsize=26605264 memory=6944656592455097440 CPUtime=0.42 cores=0-7
/proc/19154/task/19160/stat : 19160 (java) S 19152 19152 12385 0 -1 1077944384 2999 0 0 0 36 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313297795472 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19161] ppid=19152 vsize=26605264 memory=6944652177228980320 CPUtime=0.44 cores=0-7
/proc/19154/task/19161/stat : 19161 (java) S 19152 19152 12385 0 -1 1077944384 4215 0 0 0 37 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313296742672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19162] ppid=19152 vsize=26605264 memory=6943526294502006880 CPUtime=0.45 cores=0-7
/proc/19154/task/19162/stat : 19162 (java) S 19152 19152 12385 0 -1 1077944384 2757 0 0 0 38 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313295690384 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19163] ppid=19152 vsize=26605264 memory=6944656592387989600 CPUtime=0.43 cores=0-7
/proc/19154/task/19163/stat : 19163 (java) S 19152 19152 12385 0 -1 1077944384 2716 0 0 0 37 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313294637584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19164] ppid=19152 vsize=26605264 memory=7883944108235712103 CPUtime=0.3 cores=0-7
/proc/19154/task/19164/stat : 19164 (java) S 19152 19152 12385 0 -1 1077944384 10077 0 0 0 25 5 0 0 20 0 28 0 151784579 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311948614256 140313743587970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19165] ppid=19152 vsize=26605264 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/19154/task/19165/stat : 19165 (java) S 19152 19152 12385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151784580 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311947560288 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19166] ppid=19152 vsize=26605264 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/19154/task/19166/stat : 19166 (java) S 19152 19152 12385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151784580 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311946507904 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19167] ppid=19152 vsize=26605264 memory=-7093856181963027648 CPUtime=0 cores=0-7
/proc/19154/task/19167/stat : 19167 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151784582 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311945456208 140313743595419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19168] ppid=19152 vsize=26605264 memory=6944656592455097440 CPUtime=0.89 cores=0-7
/proc/19154/task/19168/stat : 19168 (java) S 19152 19152 12385 0 -1 1077944384 7408 0 0 0 87 2 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311944403056 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19169] ppid=19152 vsize=26605264 memory=7300728970739542608 CPUtime=0.86 cores=0-7
/proc/19154/task/19169/stat : 19169 (java) S 19152 19152 12385 0 -1 1077944384 5603 0 0 0 85 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311943350256 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19170] ppid=19152 vsize=26605264 memory=7584172137639210085 CPUtime=0.99 cores=0-7
/proc/19154/task/19170/stat : 19170 (java) S 19152 19152 12385 0 -1 1077944384 6618 0 0 0 98 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311942297968 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19171] ppid=19152 vsize=26605264 memory=7594587828199517036 CPUtime=0.46 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) S 19152 19152 12385 0 -1 1077944384 4563 0 0 0 45 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311941245168 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=26605264 memory=431940 CPUtime=0.02 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1821 0 0 0 1 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19501] ppid=19152 vsize=26605264 memory=928 CPUtime=124.76 cores=0-7
/proc/19154/task/19501/stat : 19501 (java) R 19152 19152 12385 0 -1 1077944384 1680 0 0 0 12129 347 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311931132976 140313743587029 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19502] ppid=19152 vsize=26605264 memory=1576 CPUtime=124.89 cores=0-7
/proc/19154/task/19502/stat : 19502 (java) R 19152 19152 12385 0 -1 4202560 1739 0 0 0 12153 336 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311927976432 140313381853622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19503] ppid=19152 vsize=26605264 memory=2236 CPUtime=125.14 cores=0-7
/proc/19154/task/19503/stat : 19503 (java) R 19152 19152 12385 0 -1 4202560 3860 0 0 0 12182 332 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311925870864 140313381600454 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19504] ppid=19152 vsize=26605264 memory=4316 CPUtime=130.33 cores=0-7
/proc/19154/task/19504/stat : 19504 (java) R 19152 19152 12385 0 -1 4202560 5654 0 0 0 12861 172 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311926922896 140313380602514 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19505] ppid=19152 vsize=26605264 memory=6791534058613427641 CPUtime=126.7 cores=0-7
/proc/19154/task/19505/stat : 19505 (java) R 19152 19152 12385 0 -1 4202560 4338 0 0 0 12386 284 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311923764848 140313728824473 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19506] ppid=19152 vsize=26605264 memory=1384 CPUtime=123.7 cores=0-7
/proc/19154/task/19506/stat : 19506 (java) R 19152 19152 12385 0 -1 4202560 1839 0 0 0 11965 405 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311930081264 140313381267665 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19507] ppid=19152 vsize=26605264 memory=0 CPUtime=125.3 cores=0-7
/proc/19154/task/19507/stat : 19507 (java) R 19152 19152 12385 0 -1 4202560 1842 0 0 0 12173 357 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311924817776 140313381732549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19508] ppid=19152 vsize=26605264 memory=16236 CPUtime=131.18 cores=0-7
/proc/19154/task/19508/stat : 19508 (java) R 19152 19152 12385 0 -1 4202560 12795 0 0 0 12940 178 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311929028848 140313381600431 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 1026.23 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 433324 KiB
[startup+144.501 s]
/proc/loadavg: 7.54 7.46 7.44 8/209 19508
/proc/meminfo: memFree=28585820/32770624 swapFree=67108860/67108860
[pid=19152] ppid=19149 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19152/stat : 19152 (xcsp3-exec) S 19149 19152 12385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151784577 9740288 346 33554432000 4194304 5098028 140729512874272 140729512872376 139819904172668 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9908224 140729512879210 140729512879420 140729512879420 140729512882155 0
/proc/19152/statm: 2378 346 289 221 0 87 0
[pid=19154] ppid=19152 vsize=26605264 memory=431940 CPUtime=1026.95 cores=0-7
/proc/19154/stat : 19154 (java) S 19152 19152 12385 0 -1 1077944320 109284 0 0 0 100199 2496 0 0 20 0 28 0 151784577 27243790336 107985 33554432000 4194304 4196468 140726604197616 140726604180160 140313743576823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
/proc/19154/statm: 6651316 107985 3263 1 0 6638550 0
[pid=19154/tid=19155] ppid=19152 vsize=26605264 memory=431940 CPUtime=0.44 cores=0-7
/proc/19154/task/19155/stat : 19155 (java) S 19152 19152 12385 0 -1 1077944384 6707 0 0 0 41 3 0 0 20 0 28 0 151784577 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313747817600 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19156] ppid=19152 vsize=26605264 memory=1384 CPUtime=0.44 cores=0-7
/proc/19154/task/19156/stat : 19156 (java) S 19152 19152 12385 0 -1 1077944384 3387 0 0 0 36 8 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313302006672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19157] ppid=19152 vsize=26605264 memory=432684 CPUtime=0.43 cores=0-7
/proc/19154/task/19157/stat : 19157 (java) S 19152 19152 12385 0 -1 1077944384 2613 0 0 0 37 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313300953872 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19158] ppid=19152 vsize=26605264 memory=4136 CPUtime=0.43 cores=0-7
/proc/19154/task/19158/stat : 19158 (java) S 19152 19152 12385 0 -1 1077944384 3566 0 0 0 36 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313299901584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19159] ppid=19152 vsize=26605264 memory=42208 CPUtime=0.42 cores=0-7
/proc/19154/task/19159/stat : 19159 (java) S 19152 19152 12385 0 -1 1077944384 3273 0 0 0 36 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313298848784 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19160] ppid=19152 vsize=26605264 memory=1384 CPUtime=0.42 cores=0-7
/proc/19154/task/19160/stat : 19160 (java) S 19152 19152 12385 0 -1 1077944384 2999 0 0 0 36 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313297795472 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19161] ppid=19152 vsize=26605264 memory=402008 CPUtime=0.44 cores=0-7
/proc/19154/task/19161/stat : 19161 (java) S 19152 19152 12385 0 -1 1077944384 4215 0 0 0 37 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313296742672 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19162] ppid=19152 vsize=26605264 memory=1696 CPUtime=0.45 cores=0-7
/proc/19154/task/19162/stat : 19162 (java) S 19152 19152 12385 0 -1 1077944384 2757 0 0 0 38 7 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313295690384 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19163] ppid=19152 vsize=26605264 memory=920 CPUtime=0.43 cores=0-7
/proc/19154/task/19163/stat : 19163 (java) S 19152 19152 12385 0 -1 1077944384 2716 0 0 0 37 6 0 0 20 0 28 0 151784578 27243790336 107985 33554432000 4194304 4196468 140726604197616 140313294637584 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19164] ppid=19152 vsize=26605264 memory=4044 CPUtime=0.3 cores=0-7
/proc/19154/task/19164/stat : 19164 (java) S 19152 19152 12385 0 -1 1077944384 10077 0 0 0 25 5 0 0 20 0 28 0 151784579 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311948614256 140313743587970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19165] ppid=19152 vsize=26605264 memory=24200 CPUtime=0 cores=0-7
/proc/19154/task/19165/stat : 19165 (java) S 19152 19152 12385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151784580 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311947560288 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19166] ppid=19152 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19166/stat : 19166 (java) S 19152 19152 12385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151784580 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311946507904 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19167] ppid=19152 vsize=26605264 memory=281309486252272 CPUtime=0 cores=0-7
/proc/19154/task/19167/stat : 19167 (java) S 19152 19152 12385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151784582 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311945456208 140313743595419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19168] ppid=19152 vsize=26605264 memory=1160 CPUtime=0.89 cores=0-7
/proc/19154/task/19168/stat : 19168 (java) S 19152 19152 12385 0 -1 1077944384 7408 0 0 0 87 2 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311944403056 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19169] ppid=19152 vsize=26605264 memory=3480 CPUtime=0.86 cores=0-7
/proc/19154/task/19169/stat : 19169 (java) S 19152 19152 12385 0 -1 1077944384 5603 0 0 0 85 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311943350256 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19170] ppid=19152 vsize=26605264 memory=422876 CPUtime=0.99 cores=0-7
/proc/19154/task/19170/stat : 19170 (java) S 19152 19152 12385 0 -1 1077944384 6618 0 0 0 98 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311942297968 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19171] ppid=19152 vsize=26605264 memory=687 CPUtime=0.46 cores=0-7
/proc/19154/task/19171/stat : 19171 (java) S 19152 19152 12385 0 -1 1077944384 4563 0 0 0 45 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311941245168 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19172] ppid=19152 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/19154/task/19172/stat : 19172 (java) S 19152 19152 12385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311940193120 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19173] ppid=19152 vsize=26605264 memory=11104 CPUtime=0.02 cores=0-7
/proc/19154/task/19173/stat : 19173 (java) S 19152 19152 12385 0 -1 1077944384 1821 0 0 0 1 1 0 0 20 0 28 0 151784583 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311939140400 140313743587970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19501] ppid=19152 vsize=26605264 memory=1224 CPUtime=124.85 cores=0-7
/proc/19154/task/19501/stat : 19501 (java) R 19152 19152 12385 0 -1 4202560 1680 0 0 0 12138 347 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311931132880 140313380602401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19502] ppid=19152 vsize=26605264 memory=1384 CPUtime=124.98 cores=0-7
/proc/19154/task/19502/stat : 19502 (java) R 19152 19152 12385 0 -1 4202560 1739 0 0 0 12162 336 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311927976336 140313381853496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19503] ppid=19152 vsize=26605264 memory=1004 CPUtime=125.23 cores=0-7
/proc/19154/task/19503/stat : 19503 (java) R 19152 19152 12385 0 -1 1077944384 3860 0 0 0 12190 333 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311925870960 140313743587029 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19504] ppid=19152 vsize=26605264 memory=1944 CPUtime=130.42 cores=0-7
/proc/19154/task/19504/stat : 19504 (java) R 19152 19152 12385 0 -1 4202560 5654 0 0 0 12870 172 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311926922896 140313381065014 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19505] ppid=19152 vsize=26605264 memory=1424 CPUtime=126.78 cores=0-7
/proc/19154/task/19505/stat : 19505 (java) S 19152 19152 12385 0 -1 1077944384 4338 0 0 0 12394 284 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311923764848 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19506] ppid=19152 vsize=26605264 memory=421072 CPUtime=123.79 cores=0-7
/proc/19154/task/19506/stat : 19506 (java) R 19152 19152 12385 0 -1 4202560 1839 0 0 0 11974 405 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311930081264 140313728087168 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19507] ppid=19152 vsize=26605264 memory=1384 CPUtime=125.38 cores=0-7
/proc/19154/task/19507/stat : 19507 (java) S 19152 19152 12385 0 -1 1077944384 1842 0 0 0 12181 357 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311924817776 140313743587029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
[pid=19154/tid=19508] ppid=19152 vsize=26605264 memory=4136 CPUtime=131.27 cores=0-7
/proc/19154/task/19508/stat : 19508 (java) R 19152 19152 12385 0 -1 4202560 12795 0 0 0 12949 178 0 0 20 0 28 0 151784754 27243790336 107985 33554432000 4194304 4196468 140726604197616 140311929028848 140313728087168 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18321408 140726604203160 140726604203336 140726604203336 140726604206031 0
Current children cumulated CPU time: 1026.95 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 433324 KiB
Child status: 0
Real time (s): 144.559
CPU time (s): 1027.3
CPU user time (s): 1002.32
CPU system time (s): 24.9839
CPU usage (%): 710.647
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 434152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.32
system time used= 24.9839
maximum resident set size= 433196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9534197
involuntary context switches= 1586
# summary of solver processes directly reported to runsolver:
# pid: 19152
# total CPU time (s): 1027.3
# total CPU user time (s): 1002.32
# total CPU system time (s): 24.9839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23157 second user time and 1.69218 second system time
The end
Begin job on node102 at 2017-08-20 01:41:44
IDJOB=4281406
IDBENCH=133491
IDSOLVER=2676
FILE ID=node102/4281406-1503186964
RUNJOBID= node102-1503173704-12412
PBS_JOBID= 20630840
Free space on /tmp= 61880 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-17.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-4281406-1503186964/watcher-4281406-1503186964 -o /tmp/evaluation-result-4281406-1503186964/solver-4281406-1503186964 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503173704-12412 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1215003331 HOME/instance-4281406-1503186964.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 55160ca1cb6892c8520106891d7cdd01
RANDOM SEED=1215003331
node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
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: 29009236 kB
MemAvailable: 31976956 kB
Buffers: 237868 kB
Cached: 3022756 kB
SwapCached: 0 kB
Active: 967720 kB
Inactive: 2345228 kB
Active(anon): 5320 kB
Inactive(anon): 83080 kB
Active(file): 962400 kB
Inactive(file): 2262148 kB
Unevictable: 7476 kB
Mlocked: 7476 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 60016 kB
Mapped: 51428 kB
Shmem: 33420 kB
Slab: 145256 kB
SReclaimable: 118016 kB
SUnreclaim: 27240 kB
KernelStack: 3184 kB
PageTables: 4740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 335640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-20 01:44:09