Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 5 | 382.133 | 48.6729 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-10-20-1.xml |
MD5SUM | 4579a6cf23fef813b27c8fe20d1b5728 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 27.9208 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 640 |
Number of constraints | 621 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 200 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400224-1568720259.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400224-1568720259.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.42/1.11 c solve instance... 4.01/1.21 o 9 5.53/1.45 o 8 5.53/1.45 o 7 7.11/1.62 o 6 15.84/2.79 o 5 381.63/48.66 s OPTIMUM FOUND 381.63/48.66 v <instantiation> 381.63/48.66 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] </list> 381.63/48.66 v <values>0 1 9 10 13 4 15 16 18 19 2 3 8 5 6 7 11 12 14 17 0 0 0 0 1 1 2 3 3 3 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 1 1 2 3 3 3 3 3 3 3 3 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 4 0 0 1 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 4 1 1 1 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 1 2 3 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 4 4 4 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 3 3 4 4 0 1 1 1 1 1 2 2 3 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 3 4 4 5 5 5 5 5 5 5 5 5 5 4 5 5 4 3 2 </values> 381.63/48.66 v </instantiation>
OK 5
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 (15122 MiB free) memory of node 1: 16384 MiB (15324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400224-1568720259/watcher-4400224-1568720259 -o /tmp/evaluation-result-4400224-1568720259/solver-4400224-1568720259 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1091896663 HOME/instance-4400224-1568720259.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29491, runsolver pid=29488 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 7.61 8.06 8.00 2/210 29512 /proc/meminfo: memFree=31161476/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28227396 memory=29160 CPUtime=0.13 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 5696 0 0 0 12 1 0 0 20 0 20 0 448284128 28904853504 7290 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7056849 7290 3159 1 0 7019032 0 [pid=29493/tid=29494] ppid=29491 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) R 29491 29491 22588 0 -1 4202560 3599 0 0 0 8 0 0 0 20 0 20 0 448284128 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304701471744 140304678647624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28227396 memory=139811707725440 CPUtime=0 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29498] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29498/stat : 29498 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304646703504 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29499] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29499/stat : 29499 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304645651472 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29500] ppid=29491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29500/stat : 29500 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304644598928 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29501] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29501/stat : 29501 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304643545872 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29502] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29502/stat : 29502 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 7290 33554432000 4194304 4196468 140721505992976 140304642493328 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29503] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29503/stat : 29503 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284130 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303344265456 140304697252482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29504] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29504/stat : 29504 (java) S 29491 29491 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448284131 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303343211680 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29505] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29505/stat : 29505 (java) S 29491 29491 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448284131 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303342158576 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29506] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29506/stat : 29506 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303341107152 140304697259931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29507] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29507/stat : 29507 (java) S 29491 29491 22588 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303340055280 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29508] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29508/stat : 29508 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303339002736 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29509] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29509/stat : 29509 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303337949680 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29510] ppid=29491 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) R 29491 29491 22588 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 20 0 448284133 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303336897136 140304689478462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284134 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284134 28904853504 7290 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30608 KiB [startup+0.210426 s]* /proc/loadavg: 7.16 7.96 7.97 3/210 29512 /proc/meminfo: memFree=31147988/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28227396 memory=41192 CPUtime=0.34 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 9502 0 0 0 31 3 0 0 20 0 20 0 448284128 28904853504 10298 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7056849 10298 3291 1 0 7019032 0 [pid=29493/tid=29494] ppid=29491 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) R 29491 29491 22588 0 -1 4202560 6625 0 0 0 18 1 0 0 20 0 20 0 448284128 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304701475456 140304681321822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28227396 memory=3905946173465208480 CPUtime=0 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29498] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29498/stat : 29498 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304646703504 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29499] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29499/stat : 29499 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304645651472 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29500] ppid=29491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29500/stat : 29500 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304644598928 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29501] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29501/stat : 29501 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304643545872 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29502] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29502/stat : 29502 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284129 28904853504 10298 33554432000 4194304 4196468 140721505992976 140304642493328 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29503] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29503/stat : 29503 (java) S 29491 29491 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448284130 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303344265456 140304697252482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29504] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29504/stat : 29504 (java) S 29491 29491 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448284131 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303343211680 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29505] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29505/stat : 29505 (java) S 29491 29491 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448284131 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303342158576 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29506] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29506/stat : 29506 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303341107152 140304697259931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29507] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29507/stat : 29507 (java) S 29491 29491 22588 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 448284133 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303340055280 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29508] ppid=29491 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29493/task/29508/stat : 29508 (java) S 29491 29491 22588 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 448284133 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303339002736 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29509] ppid=29491 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/29493/task/29509/stat : 29509 (java) S 29491 29491 22588 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 448284133 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303337949680 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29510] ppid=29491 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) S 29491 29491 22588 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 20 0 448284133 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303336897136 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284134 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284134 28904853504 10298 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42640 KiB [startup+0.317435 s]* /proc/loadavg: 7.16 7.96 7.97 3/210 29512 /proc/meminfo: memFree=31140220/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28231652 memory=50476 CPUtime=0.53 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 11008 0 0 0 49 4 0 0 20 0 20 0 448284128 28909211648 12619 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7057913 12619 3329 1 0 7019032 0 [pid=29493/tid=29494] ppid=29491 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) R 29491 29491 22588 0 -1 4202560 7881 0 0 0 28 2 0 0 20 0 20 0 448284128 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304701471984 140304697263261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29498] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29498/stat : 29498 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304646703504 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29499] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29499/stat : 29499 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304645651472 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29500] ppid=29491 vsize=28231652 memory=139811587451567 CPUtime=0 cores=0-7 /proc/29493/task/29500/stat : 29500 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304644598928 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29501] ppid=29491 vsize=28231652 memory=139811587453872 CPUtime=0 cores=0-7 /proc/29493/task/29501/stat : 29501 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304643545872 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29502] ppid=29491 vsize=28231652 memory=139811587456176 CPUtime=0 cores=0-7 /proc/29493/task/29502/stat : 29502 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284129 28909211648 12619 33554432000 4194304 4196468 140721505992976 140304642493328 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29503] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29503/stat : 29503 (java) S 29491 29491 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448284130 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303344265456 140304697252482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29504] ppid=29491 vsize=28231652 memory=279623174926224 CPUtime=0 cores=0-7 /proc/29493/task/29504/stat : 29504 (java) S 29491 29491 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448284131 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303343211680 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29505] ppid=29491 vsize=28231652 memory=279623174923920 CPUtime=0 cores=0-7 /proc/29493/task/29505/stat : 29505 (java) S 29491 29491 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448284131 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303342158576 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29506] ppid=29491 vsize=28231652 memory=279623174930832 CPUtime=0 cores=0-7 /proc/29493/task/29506/stat : 29506 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284133 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303341107152 140304697259931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29507] ppid=29491 vsize=28231652 memory=279623174872112 CPUtime=0.01 cores=0-7 /proc/29493/task/29507/stat : 29507 (java) S 29491 29491 22588 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 448284133 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303340055280 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29508] ppid=29491 vsize=28231652 memory=279623174944656 CPUtime=0.04 cores=0-7 /proc/29493/task/29508/stat : 29508 (java) S 29491 29491 22588 0 -1 1077944384 233 0 0 0 4 0 0 0 20 0 20 0 448284133 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303339002736 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29509] ppid=29491 vsize=28231652 memory=279623174951568 CPUtime=0.03 cores=0-7 /proc/29493/task/29509/stat : 29509 (java) S 29491 29491 22588 0 -1 1077944384 218 0 0 0 3 0 0 0 20 0 20 0 448284133 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303337949680 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29510] ppid=29491 vsize=28231652 memory=279623174949264 CPUtime=0.12 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) S 29491 29491 22588 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 20 0 448284133 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303336897136 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448284134 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284134 28909211648 12619 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51924 KiB [startup+0.700955 s] /proc/loadavg: 7.16 7.96 7.97 6/210 29512 /proc/meminfo: memFree=31131212/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28233776 memory=83816 CPUtime=1.56 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 15142 0 0 0 150 6 0 0 20 0 20 0 448284128 28911386624 20954 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7058444 20954 3451 1 0 7019544 0 [pid=29493/tid=29494] ppid=29491 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) R 29491 29491 22588 0 -1 4202560 9331 0 0 0 64 3 0 0 20 0 20 0 448284128 28911386624 20954 33554432000 4194304 4196468 140721505992976 140304701459768 140304697253270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28233776 memory=139811587662704 CPUtime=0 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448284129 28911386624 20954 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28911386624 20954 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28233776 memory=784 CPUtime=0 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448284129 28911386624 20954 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 ################ # More data... # ################ [pid=29493/tid=29510] ppid=29491 vsize=28768336 memory=2832 CPUtime=0.98 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) S 29491 29491 22588 0 -1 1077944384 7899 0 0 0 96 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303336897136 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28768336 memory=1624 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28768336 memory=1136 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29553] ppid=29491 vsize=28768336 memory=1072 CPUtime=45.01 cores=0-7 /proc/29493/task/29553/stat : 29553 (java) R 29491 29491 22588 0 -1 4202560 561 0 0 0 4501 0 0 0 20 0 28 0 448284407 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303323712680 140304325575774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29554] ppid=29491 vsize=28768336 memory=6044 CPUtime=45.07 cores=0-7 /proc/29493/task/29554/stat : 29554 (java) R 29491 29491 22588 0 -1 4202560 567 0 0 0 4507 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303318452992 140304326142823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29555] ppid=29491 vsize=28768336 memory=784 CPUtime=44.58 cores=0-7 /proc/29493/task/29555/stat : 29555 (java) R 29491 29491 22588 0 -1 4202560 425 0 0 0 4458 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303320556600 140304326142854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29556] ppid=29491 vsize=28768336 memory=1060 CPUtime=45.03 cores=0-7 /proc/29493/task/29556/stat : 29556 (java) R 29491 29491 22588 0 -1 4202560 1756 0 0 0 4501 2 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303321608536 140304325998922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29557] ppid=29491 vsize=28768336 memory=14012 CPUtime=44.57 cores=0-7 /proc/29493/task/29557/stat : 29557 (java) R 29491 29491 22588 0 -1 4202560 330 0 0 0 4457 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303317397880 140304317754096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29558] ppid=29491 vsize=28768336 memory=14056 CPUtime=44.67 cores=0-7 /proc/29493/task/29558/stat : 29558 (java) R 29491 29491 22588 0 -1 4202560 769 0 0 0 4467 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303322661576 140304327409036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29559] ppid=29491 vsize=28768336 memory=1136 CPUtime=44.89 cores=0-7 /proc/29493/task/29559/stat : 29559 (java) R 29491 29491 22588 0 -1 4202560 1014 0 0 0 4489 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303316344672 140304325997433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29560] ppid=29491 vsize=28768336 memory=1072 CPUtime=44.95 cores=0-7 /proc/29493/task/29560/stat : 29560 (java) R 29491 29491 22588 0 -1 4202560 1041 0 0 0 4495 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303319503384 140304326142592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 376.91 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 256036 KiB [startup+48.4014 s] /proc/loadavg: 7.90 8.05 8.00 9/218 29563 /proc/meminfo: memFree=30935844/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28768336 memory=254588 CPUtime=380.04 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 65521 0 0 0 37962 42 0 0 20 0 28 0 448284128 29458776064 63647 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7192084 63647 3535 1 0 7153184 0 [pid=29493/tid=29494] ppid=29491 vsize=28768336 memory=6791534058613427641 CPUtime=1.1 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) S 29491 29491 22588 0 -1 1077944384 11561 0 0 0 104 6 0 0 20 0 28 0 448284128 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304701482112 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28768336 memory=254588 CPUtime=0.04 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 670 0 0 0 2 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1792 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1905 0 0 0 3 1 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29498] ppid=29491 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/29493/task/29498/stat : 29498 (java) S 29491 29491 22588 0 -1 1077944384 912 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304646703504 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29499] ppid=29491 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/29493/task/29499/stat : 29499 (java) S 29491 29491 22588 0 -1 1077944384 1254 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304645651472 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29500] ppid=29491 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/29493/task/29500/stat : 29500 (java) S 29491 29491 22588 0 -1 1077944384 360 0 0 0 4 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304644598928 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29501] ppid=29491 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/29493/task/29501/stat : 29501 (java) S 29491 29491 22588 0 -1 1077944384 1937 0 0 0 5 1 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304643545872 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29502] ppid=29491 vsize=28768336 memory=6791534058613427641 CPUtime=0.06 cores=0-7 /proc/29493/task/29502/stat : 29502 (java) S 29491 29491 22588 0 -1 1077944384 1930 0 0 0 4 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304642493328 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29503] ppid=29491 vsize=28768336 memory=1772 CPUtime=0.02 cores=0-7 /proc/29493/task/29503/stat : 29503 (java) S 29491 29491 22588 0 -1 1077944384 2088 0 0 0 2 0 0 0 20 0 28 0 448284130 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303344265456 140304697252482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29504] ppid=29491 vsize=28768336 memory=908 CPUtime=0 cores=0-7 /proc/29493/task/29504/stat : 29504 (java) S 29491 29491 22588 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 448284131 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303343211744 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29505] ppid=29491 vsize=28768336 memory=1444 CPUtime=0 cores=0-7 /proc/29493/task/29505/stat : 29505 (java) S 29491 29491 22588 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 448284131 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303342158592 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29506] ppid=29491 vsize=28768336 memory=1976 CPUtime=0 cores=0-7 /proc/29493/task/29506/stat : 29506 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303341107152 140304697259931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29507] ppid=29491 vsize=28768336 memory=2436 CPUtime=2.07 cores=0-7 /proc/29493/task/29507/stat : 29507 (java) S 29491 29491 22588 0 -1 1077944384 8551 0 0 0 205 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303340055280 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29508] ppid=29491 vsize=28768336 memory=1760 CPUtime=2.07 cores=0-7 /proc/29493/task/29508/stat : 29508 (java) S 29491 29491 22588 0 -1 1077944384 5799 0 0 0 206 1 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303339002736 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29509] ppid=29491 vsize=28768336 memory=111632 CPUtime=2.11 cores=0-7 /proc/29493/task/29509/stat : 29509 (java) S 29491 29491 22588 0 -1 1077944384 9225 0 0 0 209 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303337949680 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29510] ppid=29491 vsize=28768336 memory=804 CPUtime=0.98 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) S 29491 29491 22588 0 -1 1077944384 7899 0 0 0 96 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303336897136 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28768336 memory=1804 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28768336 memory=916 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29553] ppid=29491 vsize=28768336 memory=5300 CPUtime=45.4 cores=0-7 /proc/29493/task/29553/stat : 29553 (java) R 29491 29491 22588 0 -1 4202560 562 0 0 0 4540 0 0 0 20 0 28 0 448284407 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303323712680 140304325664304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29554] ppid=29491 vsize=28768336 memory=4100 CPUtime=45.46 cores=0-7 /proc/29493/task/29554/stat : 29554 (java) R 29491 29491 22588 0 -1 4202560 567 0 0 0 4546 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303318452992 140304325576940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29555] ppid=29491 vsize=28768336 memory=1412 CPUtime=44.97 cores=0-7 /proc/29493/task/29555/stat : 29555 (java) R 29491 29491 22588 0 -1 4202560 426 0 0 0 4497 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303320556600 140304318548936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29556] ppid=29491 vsize=28768336 memory=3272 CPUtime=45.42 cores=0-7 /proc/29493/task/29556/stat : 29556 (java) R 29491 29491 22588 0 -1 4202560 1761 0 0 0 4540 2 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303321608536 140304323955360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29557] ppid=29491 vsize=28768336 memory=984 CPUtime=44.96 cores=0-7 /proc/29493/task/29557/stat : 29557 (java) R 29491 29491 22588 0 -1 4202560 330 0 0 0 4496 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303317397880 140304326142616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29558] ppid=29491 vsize=28768336 memory=2016 CPUtime=45.06 cores=0-7 /proc/29493/task/29558/stat : 29558 (java) R 29491 29491 22588 0 -1 4202560 770 0 0 0 4506 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303322661576 140304325998539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29559] ppid=29491 vsize=28768336 memory=1412 CPUtime=45.28 cores=0-7 /proc/29493/task/29559/stat : 29559 (java) R 29491 29491 22588 0 -1 4202560 1014 0 0 0 4528 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303316344672 140304678647576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29560] ppid=29491 vsize=28768336 memory=1548 CPUtime=45.34 cores=0-7 /proc/29493/task/29560/stat : 29560 (java) R 29491 29491 22588 0 -1 4202560 1044 0 0 0 4534 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303319502776 140304326142163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 380.04 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 256036 KiB [startup+48.6014 s] /proc/loadavg: 7.90 8.05 8.00 9/218 29563 /proc/meminfo: memFree=30935844/32770624 swapFree=66939932/67108860 [pid=29491] ppid=29488 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29491/stat : 29491 (xcsp3-exec) S 29488 29491 22588 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448284127 115843072 362 33554432000 4194304 5098028 140729850171744 140729850169848 139980548694652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36130816 140729850176379 140729850176622 140729850176622 140729850179530 0 /proc/29491/statm: 28282 362 304 221 0 87 0 [pid=29493] ppid=29491 vsize=28768336 memory=254588 CPUtime=381.63 cores=0-7 /proc/29493/stat : 29493 (java) S 29491 29491 22588 0 -1 1077944320 65522 0 0 0 38121 42 0 0 20 0 28 0 448284128 29458776064 63647 33554432000 4194304 4196468 140721505992976 140721505975520 140304697241335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 /proc/29493/statm: 7192084 63647 3535 1 0 7153184 0 [pid=29493/tid=29494] ppid=29491 vsize=28768336 memory=616 CPUtime=1.1 cores=0-7 /proc/29493/task/29494/stat : 29494 (java) S 29491 29491 22588 0 -1 1077944384 11561 0 0 0 104 6 0 0 20 0 28 0 448284128 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304701482112 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29495] ppid=29491 vsize=28768336 memory=2832 CPUtime=0.04 cores=0-7 /proc/29493/task/29495/stat : 29495 (java) S 29491 29491 22588 0 -1 1077944384 670 0 0 0 2 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304649861648 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29496] ppid=29491 vsize=28768336 memory=1624 CPUtime=0.05 cores=0-7 /proc/29493/task/29496/stat : 29496 (java) S 29491 29491 22588 0 -1 1077944384 1792 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304648809104 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29497] ppid=29491 vsize=28768336 memory=1136 CPUtime=0.04 cores=0-7 /proc/29493/task/29497/stat : 29497 (java) S 29491 29491 22588 0 -1 1077944384 1905 0 0 0 3 1 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304647756048 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29498] ppid=29491 vsize=28768336 memory=1072 CPUtime=0.05 cores=0-7 /proc/29493/task/29498/stat : 29498 (java) S 29491 29491 22588 0 -1 1077944384 912 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304646703504 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29499] ppid=29491 vsize=28768336 memory=6044 CPUtime=0.05 cores=0-7 /proc/29493/task/29499/stat : 29499 (java) S 29491 29491 22588 0 -1 1077944384 1254 0 0 0 3 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304645651472 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29500] ppid=29491 vsize=28768336 memory=784 CPUtime=0.06 cores=0-7 /proc/29493/task/29500/stat : 29500 (java) S 29491 29491 22588 0 -1 1077944384 360 0 0 0 4 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304644598928 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29501] ppid=29491 vsize=28768336 memory=1060 CPUtime=0.06 cores=0-7 /proc/29493/task/29501/stat : 29501 (java) S 29491 29491 22588 0 -1 1077944384 1937 0 0 0 5 1 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304643545872 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29502] ppid=29491 vsize=28768336 memory=14012 CPUtime=0.06 cores=0-7 /proc/29493/task/29502/stat : 29502 (java) S 29491 29491 22588 0 -1 1077944384 1930 0 0 0 4 2 0 0 20 0 28 0 448284129 29458776064 63647 33554432000 4194304 4196468 140721505992976 140304642493328 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29503] ppid=29491 vsize=28768336 memory=433 CPUtime=0.02 cores=0-7 /proc/29493/task/29503/stat : 29503 (java) S 29491 29491 22588 0 -1 1077944384 2088 0 0 0 2 0 0 0 20 0 28 0 448284130 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303344265456 140304697252482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29504] ppid=29491 vsize=28768336 memory=5931919560694657379 CPUtime=0 cores=0-7 /proc/29493/task/29504/stat : 29504 (java) S 29491 29491 22588 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 448284131 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303343211744 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29505] ppid=29491 vsize=28768336 memory=5931919560694657379 CPUtime=0 cores=0-7 /proc/29493/task/29505/stat : 29505 (java) S 29491 29491 22588 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 448284131 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303342158592 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29506] ppid=29491 vsize=28768336 memory=7084815776500901233 CPUtime=0 cores=0-7 /proc/29493/task/29506/stat : 29506 (java) S 29491 29491 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303341107152 140304697259931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29507] ppid=29491 vsize=28768336 memory=1136 CPUtime=2.07 cores=0-7 /proc/29493/task/29507/stat : 29507 (java) S 29491 29491 22588 0 -1 1077944384 8551 0 0 0 205 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303340055280 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29508] ppid=29491 vsize=28768336 memory=1072 CPUtime=2.07 cores=0-7 /proc/29493/task/29508/stat : 29508 (java) S 29491 29491 22588 0 -1 1077944384 5799 0 0 0 206 1 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303339002736 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29509] ppid=29491 vsize=28768336 memory=6044 CPUtime=2.11 cores=0-7 /proc/29493/task/29509/stat : 29509 (java) S 29491 29491 22588 0 -1 1077944384 9225 0 0 0 209 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303337949680 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29510] ppid=29491 vsize=28768336 memory=784 CPUtime=0.98 cores=0-7 /proc/29493/task/29510/stat : 29510 (java) S 29491 29491 22588 0 -1 1077944384 7899 0 0 0 96 2 0 0 20 0 28 0 448284133 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303336897136 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29511] ppid=29491 vsize=28768336 memory=1060 CPUtime=0 cores=0-7 /proc/29493/task/29511/stat : 29511 (java) S 29491 29491 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303335844320 140304697251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29512] ppid=29491 vsize=28768336 memory=14012 CPUtime=0 cores=0-7 /proc/29493/task/29512/stat : 29512 (java) S 29491 29491 22588 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 28 0 448284134 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303334791856 140304697252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29553] ppid=29491 vsize=28768336 memory=15724 CPUtime=45.6 cores=0-7 /proc/29493/task/29553/stat : 29553 (java) R 29491 29491 22588 0 -1 4202560 562 0 0 0 4560 0 0 0 20 0 28 0 448284407 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303323712680 140304326318626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29554] ppid=29491 vsize=28768336 memory=14056 CPUtime=45.66 cores=0-7 /proc/29493/task/29554/stat : 29554 (java) R 29491 29491 22588 0 -1 4202560 567 0 0 0 4566 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303318452992 140304327379840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29555] ppid=29491 vsize=28768336 memory=279623174925904 CPUtime=45.17 cores=0-7 /proc/29493/task/29555/stat : 29555 (java) R 29491 29491 22588 0 -1 4202560 426 0 0 0 4517 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303320556600 140304325575836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29556] ppid=29491 vsize=28768336 memory=6944656425122700657 CPUtime=45.62 cores=0-7 /proc/29493/task/29556/stat : 29556 (java) R 29491 29491 22588 0 -1 4202560 1761 0 0 0 4560 2 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303321608504 140304320855636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29557] ppid=29491 vsize=28768336 memory=6944656592452807314 CPUtime=45.16 cores=0-7 /proc/29493/task/29557/stat : 29557 (java) R 29491 29491 22588 0 -1 4202560 331 0 0 0 4516 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303317397880 140304326548573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29558] ppid=29491 vsize=28768336 memory=-7812193691855986592 CPUtime=45.25 cores=0-7 /proc/29493/task/29558/stat : 29558 (java) R 29491 29491 22588 0 -1 4202560 770 0 0 0 4525 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303322661576 140304326358472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29559] ppid=29491 vsize=28768336 memory=-6876588628787748224 CPUtime=45.48 cores=0-7 /proc/29493/task/29559/stat : 29559 (java) R 29491 29491 22588 0 -1 4202560 1014 0 0 0 4548 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303316344672 140304325112595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 [pid=29493/tid=29560] ppid=29491 vsize=28768336 memory=-7173504570862900581 CPUtime=45.54 cores=0-7 /proc/29493/task/29560/stat : 29560 (java) R 29491 29491 22588 0 -1 4202560 1044 0 0 0 4554 0 0 0 20 0 28 0 448284408 29458776064 63647 33554432000 4194304 4196468 140721505992976 140303319502776 140304326142813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21819392 140721505997808 140721505997979 140721505997979 140721506000847 0 Current children cumulated CPU time: 381.63 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 256036 KiB Child status: 0 Real time (s): 48.6729 CPU time (s): 382.133 CPU user time (s): 381.703 CPU system time (s): 0.4308 CPU usage (%): 785.104 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 275996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 381.703 system time used= 0.4308 maximum resident set size= 274548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67050 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6574 involuntary context switches= 4816 # summary of solver processes directly reported to runsolver: # pid: 29491 # total CPU time (s): 382.133 # total CPU user time (s): 381.703 # total CPU system time (s): 0.4308 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.406146 second user time and 0.578641 second system time The end
Begin job on node105 at 2019-09-17 12:36:03 IDJOB=4400224 IDBENCH=140483 IDSOLVER=2855 FILE ID=node105/4400224-1568720259 RUNJOBID= node105-1568709526-22615 PBS_JOBID= 21703944 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-10-20-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400224-1568720259/watcher-4400224-1568720259 -o /tmp/evaluation-result-4400224-1568720259/solver-4400224-1568720259 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1091896663 HOME/instance-4400224-1568720259.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4579a6cf23fef813b27c8fe20d1b5728 RANDOM SEED=1091896663 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31177148 kB MemAvailable: 31843740 kB Buffers: 187996 kB Cached: 779120 kB SwapCached: 65492 kB Active: 546144 kB Inactive: 490168 kB Active(anon): 10096 kB Inactive(anon): 103440 kB Active(file): 536048 kB Inactive(file): 386728 kB Unevictable: 109044 kB Mlocked: 109044 kB SwapTotal: 67108860 kB SwapFree: 66939932 kB Dirty: 26316 kB Writeback: 0 kB AnonPages: 138172 kB Mapped: 44048 kB Shmem: 35724 kB Slab: 147868 kB SReclaimable: 119300 kB SUnreclaim: 28568 kB KernelStack: 3696 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 12:36:51