Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 5 | 437.004 | 55.7308 |
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-4407424-1569349695.xml" -tl '2016s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4407424-1569349695.xml, -tl, 2016s, -p, 8] 0.34/0.24 c 8 solvers in parallel 0.34/0.31 c parse instance... 3.67/1.22 c solve instance... 4.20/1.33 o 9 4.20/1.34 o 8 4.20/1.37 o 7 8.10/1.86 o 6 19.12/3.20 o 5 436.96/55.71 s OPTIMUM FOUND 436.96/55.71 v <instantiation> 436.96/55.71 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> 436.96/55.71 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> 436.96/55.71 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: 16375 MiB (12526 MiB free) memory of node 1: 16384 MiB (12348 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407424-1569349695/watcher-4407424-1569349695 -o /tmp/evaluation-result-4407424-1569349695/solver-4407424-1569349695 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1119431451 HOME/instance-4407424-1569349695.xml running on 8 cores: 0-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=31292, runsolver pid=31289 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 7.72 8.07 8.01 2/212 31313 /proc/meminfo: memFree=25453872/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28227396 memory=30056 CPUtime=0.11 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 5478 0 0 0 10 1 0 0 20 0 20 0 510975652 28904853504 7514 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7056849 7514 3120 1 0 7019032 0 [pid=31294/tid=31295] ppid=31292 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) R 31292 31292 23783 0 -1 4202560 3375 0 0 0 8 1 0 0 20 0 20 0 510975652 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258892837760 140258888621462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28227396 memory=139929250338432 CPUtime=0 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31299] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31299/stat : 31299 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258805303824 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31300] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31300/stat : 31300 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258804251536 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31301] ppid=31292 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31301/stat : 31301 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258803198736 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31302] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31302/stat : 31302 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258802146448 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31303] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31303/stat : 31303 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 7514 33554432000 4194304 4196468 140734203178560 140258432900112 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31304] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31304/stat : 31304 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975655 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257487005808 140258888620674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31305] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31305/stat : 31305 (java) S 31292 31292 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510975655 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257485951776 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31306] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31306/stat : 31306 (java) S 31292 31292 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510975656 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257484899440 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31307] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31307/stat : 31307 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975658 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257483847760 140258888628123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31308] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31308/stat : 31308 (java) S 31292 31292 23783 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510975658 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257482795632 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31309] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31309/stat : 31309 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975658 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257481742832 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31310] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31310/stat : 31310 (java) S 31292 31292 23783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510975658 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257480690544 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31311] ppid=31292 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) R 31292 31292 23783 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 20 0 510975658 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257479637744 140258867565158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975659 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975659 28904853504 7514 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31508 KiB [startup+0.211524 s]* /proc/loadavg: 7.72 8.07 8.01 3/212 31313 /proc/meminfo: memFree=25443968/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28227396 memory=40700 CPUtime=0.34 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 8896 0 0 0 30 4 0 0 20 0 20 0 510975652 28904853504 10175 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7056849 10175 3304 1 0 7019032 0 [pid=31294/tid=31295] ppid=31292 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) R 31292 31292 23783 0 -1 4202560 6159 0 0 0 17 2 0 0 20 0 20 0 510975652 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258892828864 140258888631453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28227396 memory=139929250362499 CPUtime=0 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31299] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31299/stat : 31299 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258805303824 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31300] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31300/stat : 31300 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258804251536 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31301] ppid=31292 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31301/stat : 31301 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258803198736 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31302] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31302/stat : 31302 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258802146448 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31303] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31303/stat : 31303 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975653 28904853504 10175 33554432000 4194304 4196468 140734203178560 140258432900112 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31304] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31304/stat : 31304 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975655 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257487005808 140258888620674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31305] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31305/stat : 31305 (java) S 31292 31292 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510975655 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257485951776 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31306] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31306/stat : 31306 (java) S 31292 31292 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510975656 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257484899440 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31307] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31307/stat : 31307 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975658 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257483847760 140258888628123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31308] ppid=31292 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31294/task/31308/stat : 31308 (java) R 31292 31292 23783 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 20 0 510975658 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257482795632 140258872996640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31309] ppid=31292 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31294/task/31309/stat : 31309 (java) S 31292 31292 23783 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 510975658 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257481742832 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31310] ppid=31292 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/31294/task/31310/stat : 31310 (java) R 31292 31292 23783 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 510975658 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257480690544 140258888620674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31311] ppid=31292 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) R 31292 31292 23783 0 -1 4202560 773 0 0 0 7 0 0 0 20 0 20 0 510975658 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257479637744 140258866635352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975659 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975659 28904853504 10175 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42152 KiB [startup+0.310854 s]* /proc/loadavg: 7.34 7.98 7.98 3/212 31313 /proc/meminfo: memFree=25439252/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28231652 memory=46924 CPUtime=0.52 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 10063 0 0 0 47 5 0 0 20 0 20 0 510975652 28909211648 11731 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7057913 11731 3356 1 0 7019032 0 [pid=31294/tid=31295] ppid=31292 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) R 31292 31292 23783 0 -1 4202560 7097 0 0 0 26 3 0 0 20 0 20 0 510975652 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258892822080 140258872690014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31299] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31299/stat : 31299 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258805303824 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31300] ppid=31292 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31294/task/31300/stat : 31300 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258804251536 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31301] ppid=31292 vsize=28231652 memory=139929095074735 CPUtime=0 cores=0-7 /proc/31294/task/31301/stat : 31301 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258803198736 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31302] ppid=31292 vsize=28231652 memory=139929095077040 CPUtime=0 cores=0-7 /proc/31294/task/31302/stat : 31302 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258802146448 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31303] ppid=31292 vsize=28231652 memory=139929095079344 CPUtime=0 cores=0-7 /proc/31294/task/31303/stat : 31303 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975653 28909211648 11731 33554432000 4194304 4196468 140734203178560 140258432900112 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31304] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31304/stat : 31304 (java) S 31292 31292 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510975655 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257487005808 140258888620674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31305] ppid=31292 vsize=28231652 memory=279858190165648 CPUtime=0 cores=0-7 /proc/31294/task/31305/stat : 31305 (java) S 31292 31292 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510975655 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257485951776 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31306] ppid=31292 vsize=28231652 memory=279858190172560 CPUtime=0 cores=0-7 /proc/31294/task/31306/stat : 31306 (java) S 31292 31292 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510975656 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257484899440 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31307] ppid=31292 vsize=28231652 memory=279858190113840 CPUtime=0 cores=0-7 /proc/31294/task/31307/stat : 31307 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975658 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257483847760 140258888628123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31308] ppid=31292 vsize=28231652 memory=279858190186384 CPUtime=0.02 cores=0-7 /proc/31294/task/31308/stat : 31308 (java) S 31292 31292 23783 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 20 0 510975658 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257482795632 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31309] ppid=31292 vsize=28231652 memory=279858190193296 CPUtime=0.02 cores=0-7 /proc/31294/task/31309/stat : 31309 (java) S 31292 31292 23783 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 510975658 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257481742832 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31310] ppid=31292 vsize=28231652 memory=279858190190992 CPUtime=0.03 cores=0-7 /proc/31294/task/31310/stat : 31310 (java) S 31292 31292 23783 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 20 0 510975658 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257480690544 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31311] ppid=31292 vsize=28231652 memory=279858190207152 CPUtime=0.12 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) S 31292 31292 23783 0 -1 1077944384 907 0 0 0 12 0 0 0 20 0 20 0 510975658 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257479637744 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510975659 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975659 28909211648 11731 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48376 KiB [startup+0.701 s] /proc/loadavg: 7.34 7.98 7.98 5/212 31313 /proc/meminfo: memFree=25428644/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28233776 memory=78376 CPUtime=1.55 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 14243 0 0 0 149 6 0 0 20 0 20 0 510975652 28911386624 19594 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7058444 19594 3445 1 0 7019544 0 [pid=31294/tid=31295] ppid=31292 vsize=28233776 memory=279858190565040 CPUtime=0.67 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) R 31292 31292 23783 0 -1 4202560 8624 0 0 0 63 4 0 0 20 0 20 0 510975652 28911386624 19594 33554432000 4194304 4196468 140734203178560 140258892842576 140258888621462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28233776 memory=139929095283568 CPUtime=0 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28911386624 19594 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510975653 28911386624 19594 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510975653 28911386624 19594 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 ################ # More data... # ################ [pid=31294/tid=31311] ppid=31292 vsize=28768336 memory=3471202396320882465 CPUtime=1.16 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) S 31292 31292 23783 0 -1 1077944384 9181 0 0 0 115 1 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257479637744 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28768336 memory=7234319696884793600 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28768336 memory=7378661388463677745 CPUtime=0.01 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 437 0 0 0 0 1 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31354] ppid=31292 vsize=28768336 memory=38440 CPUtime=51.72 cores=0-7 /proc/31294/task/31354/stat : 31354 (java) R 31292 31292 23783 0 -1 4202560 547 0 0 0 5172 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257460951880 140258489538069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31355] ppid=31292 vsize=28768336 memory=2120 CPUtime=51.16 cores=0-7 /proc/31294/task/31355/stat : 31355 (java) R 31292 31292 23783 0 -1 4202560 691 0 0 0 5115 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257465163912 140258490677749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31356] ppid=31292 vsize=28768336 memory=1056 CPUtime=51.56 cores=0-7 /proc/31294/task/31356/stat : 31356 (java) R 31292 31292 23783 0 -1 4202560 657 0 0 0 5156 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257462005992 140258490677581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31357] ppid=31292 vsize=28768336 memory=2828 CPUtime=51.62 cores=0-7 /proc/31294/task/31357/stat : 31357 (java) R 31292 31292 23783 0 -1 4202560 1650 0 0 0 5161 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257464113312 140258490813113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31358] ppid=31292 vsize=28768336 memory=1176 CPUtime=51.41 cores=0-7 /proc/31294/task/31358/stat : 31358 (java) R 31292 31292 23783 0 -1 4202560 929 0 0 0 5141 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257463058880 140258489753431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31359] ppid=31292 vsize=28768336 memory=980 CPUtime=51.43 cores=0-7 /proc/31294/task/31359/stat : 31359 (java) R 31292 31292 23783 0 -1 4202560 904 0 0 0 5143 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257391530184 140258491657908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31360] ppid=31292 vsize=28768336 memory=14008 CPUtime=51.23 cores=0-7 /proc/31294/task/31360/stat : 31360 (java) R 31292 31292 23783 0 -1 4202560 1011 0 0 0 5122 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257459900392 140258490678029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31361] ppid=31292 vsize=28768336 memory=12028 CPUtime=51.31 cores=0-7 /proc/31294/task/31361/stat : 31361 (java) R 31292 31292 23783 0 -1 4202560 2266 0 0 0 5130 1 0 0 20 0 28 0 510975974 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257466215848 140258492450203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 432.94 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 198152 KiB [startup+55.6078 s] /proc/loadavg: 7.94 8.06 8.01 9/219 31364 /proc/meminfo: memFree=25290016/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28768336 memory=196700 CPUtime=436.19 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 74227 0 0 0 43570 49 0 0 20 0 28 0 510975652 29458776064 49175 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7192084 49175 3534 1 0 7153184 0 [pid=31294/tid=31295] ppid=31292 vsize=28768336 memory=6791534058613427641 CPUtime=1.22 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) S 31292 31292 23783 0 -1 1077944384 10419 0 0 0 116 6 0 0 20 0 28 0 510975652 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258892850304 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28768336 memory=288230596050944315 CPUtime=0.08 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 1013 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28768336 memory=1452 CPUtime=0.07 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 2336 0 0 0 5 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28768336 memory=202856 CPUtime=0.09 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 4044 0 0 0 6 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31299] ppid=31292 vsize=28768336 memory=139929095643660 CPUtime=0.08 cores=0-7 /proc/31294/task/31299/stat : 31299 (java) S 31292 31292 23783 0 -1 1077944384 735 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258805303824 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31300] ppid=31292 vsize=28768336 memory=139929095643374 CPUtime=0.08 cores=0-7 /proc/31294/task/31300/stat : 31300 (java) S 31292 31292 23783 0 -1 1077944384 449 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258804251536 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31301] ppid=31292 vsize=28768336 memory=139929095674865 CPUtime=0.09 cores=0-7 /proc/31294/task/31301/stat : 31301 (java) S 31292 31292 23783 0 -1 1077944384 678 0 0 0 6 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258803198736 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31302] ppid=31292 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/31294/task/31302/stat : 31302 (java) S 31292 31292 23783 0 -1 1077944384 795 0 0 0 5 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258802146448 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31303] ppid=31292 vsize=28768336 memory=139929095696160 CPUtime=0.07 cores=0-7 /proc/31294/task/31303/stat : 31303 (java) S 31292 31292 23783 0 -1 1077944384 707 0 0 0 5 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258432900112 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31304] ppid=31292 vsize=28768336 memory=279858190526720 CPUtime=0.06 cores=0-7 /proc/31294/task/31304/stat : 31304 (java) S 31292 31292 23783 0 -1 1077944384 2598 0 0 0 4 2 0 0 20 0 28 0 510975655 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257487005808 140258888620674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31305] ppid=31292 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/31294/task/31305/stat : 31305 (java) S 31292 31292 23783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510975655 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257485951840 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31306] ppid=31292 vsize=28768336 memory=2020 CPUtime=0 cores=0-7 /proc/31294/task/31306/stat : 31306 (java) S 31292 31292 23783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510975656 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257484899456 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31307] ppid=31292 vsize=28768336 memory=1420 CPUtime=0 cores=0-7 /proc/31294/task/31307/stat : 31307 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257483847760 140258888628123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31308] ppid=31292 vsize=28768336 memory=776 CPUtime=2.56 cores=0-7 /proc/31294/task/31308/stat : 31308 (java) S 31292 31292 23783 0 -1 1077944384 9515 0 0 0 254 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257482795632 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31309] ppid=31292 vsize=28768336 memory=660 CPUtime=2.5 cores=0-7 /proc/31294/task/31309/stat : 31309 (java) S 31292 31292 23783 0 -1 1077944384 10412 0 0 0 248 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257481742832 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31310] ppid=31292 vsize=28768336 memory=1556 CPUtime=2.39 cores=0-7 /proc/31294/task/31310/stat : 31310 (java) S 31292 31292 23783 0 -1 1077944384 9284 0 0 0 237 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257480690544 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31311] ppid=31292 vsize=28768336 memory=9588 CPUtime=1.16 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) S 31292 31292 23783 0 -1 1077944384 9181 0 0 0 115 1 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257479637744 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28768336 memory=6056 CPUtime=0.01 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 437 0 0 0 0 1 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31354] ppid=31292 vsize=28768336 memory=3668 CPUtime=52.12 cores=0-7 /proc/31294/task/31354/stat : 31354 (java) R 31292 31292 23783 0 -1 4202560 547 0 0 0 5212 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257460951880 140258483213248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31355] ppid=31292 vsize=28768336 memory=1056 CPUtime=51.57 cores=0-7 /proc/31294/task/31355/stat : 31355 (java) R 31292 31292 23783 0 -1 4202560 691 0 0 0 5156 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257465163912 140258490498734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31356] ppid=31292 vsize=28768336 memory=2828 CPUtime=51.96 cores=0-7 /proc/31294/task/31356/stat : 31356 (java) R 31292 31292 23783 0 -1 4202560 657 0 0 0 5196 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257462005992 140258490497656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31357] ppid=31292 vsize=28768336 memory=1176 CPUtime=52.02 cores=0-7 /proc/31294/task/31357/stat : 31357 (java) R 31292 31292 23783 0 -1 4202560 1650 0 0 0 5201 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257464113312 140258493836230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31358] ppid=31292 vsize=28768336 memory=980 CPUtime=51.82 cores=0-7 /proc/31294/task/31358/stat : 31358 (java) R 31292 31292 23783 0 -1 4202560 929 0 0 0 5182 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257463058880 140258489753546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31359] ppid=31292 vsize=28768336 memory=14008 CPUtime=51.83 cores=0-7 /proc/31294/task/31359/stat : 31359 (java) R 31292 31292 23783 0 -1 4202560 904 0 0 0 5183 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257391530184 140258485523830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31360] ppid=31292 vsize=28768336 memory=12028 CPUtime=51.64 cores=0-7 /proc/31294/task/31360/stat : 31360 (java) R 31292 31292 23783 0 -1 4202560 1011 0 0 0 5163 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257459900392 140258491602107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31361] ppid=31292 vsize=28768336 memory=38440 CPUtime=51.71 cores=0-7 /proc/31294/task/31361/stat : 31361 (java) R 31292 31292 23783 0 -1 4202560 2266 0 0 0 5170 1 0 0 20 0 28 0 510975974 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257466215848 140258485523839 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 436.19 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 198152 KiB [startup+55.7088 s] /proc/loadavg: 7.94 8.06 8.01 9/219 31364 /proc/meminfo: memFree=25290016/32770688 swapFree=66927640/67108860 [pid=31292] ppid=31289 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31292/stat : 31292 (xcsp3-exec) S 31289 31292 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510975652 115843072 363 33554432000 4194304 5098028 140723350480192 140723350478296 140607820673660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29052928 140723350483835 140723350484078 140723350484078 140723350486986 0 /proc/31292/statm: 28282 363 304 221 0 87 0 [pid=31294] ppid=31292 vsize=28768336 memory=196700 CPUtime=436.96 cores=0-7 /proc/31294/stat : 31294 (java) S 31292 31292 23783 0 -1 1077944320 74651 0 0 0 43647 49 0 0 20 0 28 0 510975652 29458776064 49175 33554432000 4194304 4196468 140734203178560 140734203161104 140258888609527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 /proc/31294/statm: 7192084 49175 3534 1 0 7153184 0 [pid=31294/tid=31295] ppid=31292 vsize=28768336 memory=246060 CPUtime=1.22 cores=0-7 /proc/31294/task/31295/stat : 31295 (java) S 31292 31292 23783 0 -1 1077944384 10419 0 0 0 116 6 0 0 20 0 28 0 510975652 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258892850304 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31296] ppid=31292 vsize=28768336 memory=269354579064056 CPUtime=0.08 cores=0-7 /proc/31294/task/31296/stat : 31296 (java) S 31292 31292 23783 0 -1 1077944384 1013 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258808461712 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31297] ppid=31292 vsize=28768336 memory=6655300316396806240 CPUtime=0.07 cores=0-7 /proc/31294/task/31297/stat : 31297 (java) S 31292 31292 23783 0 -1 1077944384 2336 0 0 0 5 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258807408912 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31298] ppid=31292 vsize=28768336 memory=6791534058613427641 CPUtime=0.09 cores=0-7 /proc/31294/task/31298/stat : 31298 (java) S 31292 31292 23783 0 -1 1077944384 4044 0 0 0 6 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258806356624 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31299] ppid=31292 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/31294/task/31299/stat : 31299 (java) S 31292 31292 23783 0 -1 1077944384 735 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258805303824 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31300] ppid=31292 vsize=28768336 memory=196700 CPUtime=0.08 cores=0-7 /proc/31294/task/31300/stat : 31300 (java) S 31292 31292 23783 0 -1 1077944384 449 0 0 0 6 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258804251536 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31301] ppid=31292 vsize=28768336 memory=232096 CPUtime=0.09 cores=0-7 /proc/31294/task/31301/stat : 31301 (java) S 31292 31292 23783 0 -1 1077944384 678 0 0 0 6 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258803198736 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31302] ppid=31292 vsize=28768336 memory=3624 CPUtime=0.08 cores=0-7 /proc/31294/task/31302/stat : 31302 (java) S 31292 31292 23783 0 -1 1077944384 795 0 0 0 5 3 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258802146448 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31303] ppid=31292 vsize=28768336 memory=75344 CPUtime=0.07 cores=0-7 /proc/31294/task/31303/stat : 31303 (java) S 31292 31292 23783 0 -1 1077944384 707 0 0 0 5 2 0 0 20 0 28 0 510975653 29458776064 49175 33554432000 4194304 4196468 140734203178560 140258432900112 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31304] ppid=31292 vsize=28768336 memory=984 CPUtime=0.06 cores=0-7 /proc/31294/task/31304/stat : 31304 (java) S 31292 31292 23783 0 -1 1077944384 2598 0 0 0 4 2 0 0 20 0 28 0 510975655 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257487005808 140258888620674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31305] ppid=31292 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/31294/task/31305/stat : 31305 (java) S 31292 31292 23783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510975655 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257485951840 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31306] ppid=31292 vsize=28768336 memory=7092726767040161903 CPUtime=0 cores=0-7 /proc/31294/task/31306/stat : 31306 (java) S 31292 31292 23783 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 510975656 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257484899456 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31307] ppid=31292 vsize=28768336 memory=7092726767040161903 CPUtime=0 cores=0-7 /proc/31294/task/31307/stat : 31307 (java) S 31292 31292 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257483847760 140258888628123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31308] ppid=31292 vsize=28768336 memory=0 CPUtime=2.56 cores=0-7 /proc/31294/task/31308/stat : 31308 (java) S 31292 31292 23783 0 -1 1077944384 9515 0 0 0 254 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257482795632 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31309] ppid=31292 vsize=28768336 memory=0 CPUtime=2.5 cores=0-7 /proc/31294/task/31309/stat : 31309 (java) S 31292 31292 23783 0 -1 1077944384 10412 0 0 0 248 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257481742832 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31310] ppid=31292 vsize=28768336 memory=0 CPUtime=2.39 cores=0-7 /proc/31294/task/31310/stat : 31310 (java) S 31292 31292 23783 0 -1 1077944384 9284 0 0 0 237 2 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257480690544 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31311] ppid=31292 vsize=28768336 memory=1452 CPUtime=1.16 cores=0-7 /proc/31294/task/31311/stat : 31311 (java) S 31292 31292 23783 0 -1 1077944384 9434 0 0 0 115 1 0 0 20 0 28 0 510975658 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257479637744 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31312] ppid=31292 vsize=28768336 memory=254736 CPUtime=0 cores=0-7 /proc/31294/task/31312/stat : 31312 (java) S 31292 31292 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257478584672 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31313] ppid=31292 vsize=28768336 memory=3624 CPUtime=0.01 cores=0-7 /proc/31294/task/31313/stat : 31313 (java) S 31292 31292 23783 0 -1 1077944384 437 0 0 0 0 1 0 0 20 0 28 0 510975659 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257477531952 140258888620674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31354] ppid=31292 vsize=28768336 memory=0 CPUtime=52.22 cores=0-7 /proc/31294/task/31354/stat : 31354 (java) S 31292 31292 23783 0 -1 1077944384 569 0 0 0 5222 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257460956784 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31355] ppid=31292 vsize=28768336 memory=576460758266962493 CPUtime=51.66 cores=0-7 /proc/31294/task/31355/stat : 31355 (java) S 31292 31292 23783 0 -1 1077944384 750 0 0 0 5165 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257465168848 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31356] ppid=31292 vsize=28768336 memory=288287770691058438 CPUtime=52.06 cores=0-7 /proc/31294/task/31356/stat : 31356 (java) S 31292 31292 23783 0 -1 1077944384 677 0 0 0 5206 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257462011216 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31357] ppid=31292 vsize=28768336 memory=288230376155526706 CPUtime=52.12 cores=0-7 /proc/31294/task/31357/stat : 31357 (java) S 31292 31292 23783 0 -1 1077944384 1657 0 0 0 5211 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257464116432 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31358] ppid=31292 vsize=28768336 memory=75344 CPUtime=51.91 cores=0-7 /proc/31294/task/31358/stat : 31358 (java) S 31292 31292 23783 0 -1 1077944384 951 0 0 0 5191 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257463064144 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31359] ppid=31292 vsize=28768336 memory=984 CPUtime=51.93 cores=0-7 /proc/31294/task/31359/stat : 31359 (java) S 31292 31292 23783 0 -1 1077944384 925 0 0 0 5193 0 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257391535568 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31360] ppid=31292 vsize=28768336 memory=2020 CPUtime=51.73 cores=0-7 /proc/31294/task/31360/stat : 31360 (java) S 31292 31292 23783 0 -1 1077944384 1031 0 0 0 5172 1 0 0 20 0 28 0 510975973 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257459905360 140258888619733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 [pid=31294/tid=31361] ppid=31292 vsize=28768336 memory=0 CPUtime=51.81 cores=0-7 /proc/31294/task/31361/stat : 31361 (java) R 31292 31292 23783 0 -1 4202560 2266 0 0 0 5180 1 0 0 20 0 28 0 510975974 29458776064 49175 33554432000 4194304 4196468 140734203178560 140257466215848 140258491472448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26030080 140734203184112 140734203184283 140734203184283 140734203187151 0 Current children cumulated CPU time: 436.96 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 198152 KiB Child status: 0 Real time (s): 55.7308 CPU time (s): 437.004 CPU user time (s): 436.493 CPU system time (s): 0.511111 CPU usage (%): 784.135 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 256188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 436.493 system time used= 0.511111 maximum resident set size= 266988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76229 page faults= 0 swaps= 0 block input operations= 0 block output operations= 240 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8194 involuntary context switches= 6171 # summary of solver processes directly reported to runsolver: # pid: 31292 # total CPU time (s): 437.004 # total CPU user time (s): 436.493 # total CPU system time (s): 0.511111 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.559597 second user time and 0.673732 second system time The end
Begin job on node120 at 2011-12-26 02:48:36 IDJOB=4407424 IDBENCH=140483 IDSOLVER=2872 FILE ID=node120/4407424-1569349695 RUNJOBID= node120-1324850400-23810 PBS_JOBID= 21705064 Free space on /tmp= 23412 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407424-1569349695/watcher-4407424-1569349695 -o /tmp/evaluation-result-4407424-1569349695/solver-4407424-1569349695 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1119431451 HOME/instance-4407424-1569349695.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4579a6cf23fef813b27c8fe20d1b5728 RANDOM SEED=1119431451 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25471148 kB MemAvailable: 31772744 kB Buffers: 111344 kB Cached: 6466260 kB SwapCached: 68820 kB Active: 3253420 kB Inactive: 3398076 kB Active(anon): 4736 kB Inactive(anon): 133816 kB Active(file): 3248684 kB Inactive(file): 3264260 kB Unevictable: 107952 kB Mlocked: 107952 kB SwapTotal: 67108860 kB SwapFree: 66927640 kB Dirty: 26244 kB Writeback: 0 kB AnonPages: 157152 kB Mapped: 63696 kB Shmem: 55948 kB Slab: 238952 kB SReclaimable: 208976 kB SUnreclaim: 29976 kB KernelStack: 3712 kB PageTables: 6256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 531476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-26 02:49:32