Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 3 | 2.8014801 | 0.82191002 |
Name | OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml |
MD5SUM | b48c1d78a7c2914aa1b4afc3a63a668c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.017028 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 73 |
Number of constraints | 65 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":2,"count":45},{"size":9,"count":19},{"size":10,"count":9}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":54},{"degree":3,"count":1},{"degree":5,"count":8},{"degree":10,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":47},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":11},{"arity":9,"count":1}] |
Number of extensional constraints | 45 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":45},{"type":"allDifferent","count":1},{"type":"sum","count":9},{"type":"minimum","count":5},{"type":"maximum","count":5}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271363-1502849597.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271363-1502849597.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 1.58/0.64 c solve instance... 1.58/0.70 o 5 2.07/0.71 o 4 2.07/0.73 o 3 2.76/0.80 s OPTIMUM FOUND 2.76/0.80 v <instantiation> 2.76/0.80 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] min[0] min[1] min[2] min[3] min[4] max[0] max[1] max[2] max[3] max[4] 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[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[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[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[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] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] </list> 2.76/0.80 v <values>0 4 1 5 2 6 3 7 8 0 0 1 4 6 3 5 7 8 8 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 3 3 2 </values> 2.76/0.80 v </instantiation>
OK 3
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 (15224 MiB free) memory of node 1: 16384 MiB (15361 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271363-1502849597/watcher-4271363-1502849597 -o /tmp/evaluation-result-4271363-1502849597/solver-4271363-1502849597 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502843644-7803 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 940194691 HOME/instance-4271363-1502849597.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8339, runsolver pid=8336 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 3.29 6.07 7.74 3/200 8360 /proc/meminfo: memFree=31305056/32770624 swapFree=67108860/67108860 [pid=8339] ppid=8336 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8339/stat : 8339 (xcsp3-exec) S 8336 8339 7776 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118047969 9740288 346 33554432000 4194304 5098028 140721247191296 140721247189400 140452518683260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14974976 140721247200357 140721247200567 140721247200567 140721247203307 0 /proc/8339/statm: 2378 346 289 221 0 87 0 [pid=8341] ppid=8339 vsize=25999808 memory=26968 CPUtime=0.11 cores=0-7 /proc/8341/stat : 8341 (java) S 8339 8339 7776 0 -1 1077944320 5671 0 0 0 10 1 0 0 20 0 20 0 118047969 26623803392 6742 33554432000 4194304 4196468 140728958286224 140728958268768 140191544913655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 /proc/8341/statm: 6499952 6742 2843 1 0 6488269 0 [pid=8341/tid=8342] ppid=8339 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8341/task/8342/stat : 8342 (java) R 8339 8339 7776 0 -1 4202560 3685 0 0 0 8 1 0 0 20 0 20 0 118047969 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191549140256 140191544935581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8343] ppid=8339 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8341/task/8343/stat : 8343 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191497533968 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8344] ppid=8339 vsize=25999808 memory=140508613482112 CPUtime=0 cores=0-7 /proc/8341/task/8344/stat : 8344 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191496481424 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8345] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8345/stat : 8345 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191495428368 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8346] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8346/stat : 8346 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191494375824 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8347] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8347/stat : 8347 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191493323792 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8348] ppid=8339 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8348/stat : 8348 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191492271248 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8349] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8349/stat : 8349 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191096765200 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8350] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8350/stat : 8350 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047970 26623803392 6742 33554432000 4194304 4196468 140728958286224 140191095712656 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8351] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8351/stat : 8351 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047971 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190286981360 140191544924802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8352] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8352/stat : 8352 (java) S 8339 8339 7776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118047972 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190285927584 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8353] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8353/stat : 8353 (java) S 8339 8339 7776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118047972 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190284874480 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8354] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8354/stat : 8354 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190283823056 140191544932251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8355] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8355/stat : 8355 (java) S 8339 8339 7776 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190081346288 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8356] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8356/stat : 8356 (java) R 8339 8339 7776 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190080293744 140191544924802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8357] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8357/stat : 8357 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190079240688 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8358] ppid=8339 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/8341/task/8358/stat : 8358 (java) R 8339 8339 7776 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190078188144 140191544925590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8359] ppid=8339 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8359/stat : 8359 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190077135328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8360] ppid=8339 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8360/stat : 8360 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26623803392 6742 33554432000 4194304 4196468 140728958286224 140190076082864 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28352 KiB [startup+0.2106 s]* /proc/loadavg: 3.29 6.07 7.74 2/200 8360 /proc/meminfo: memFree=31294752/32770624 swapFree=67108860/67108860 [pid=8339] ppid=8336 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8339/stat : 8339 (xcsp3-exec) S 8336 8339 7776 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118047969 9740288 346 33554432000 4194304 5098028 140721247191296 140721247189400 140452518683260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14974976 140721247200357 140721247200567 140721247200567 140721247203307 0 /proc/8339/statm: 2378 346 289 221 0 87 0 [pid=8341] ppid=8339 vsize=26004064 memory=38496 CPUtime=0.34 cores=0-7 /proc/8341/stat : 8341 (java) S 8339 8339 7776 0 -1 1077944320 8210 0 0 0 31 3 0 0 20 0 20 0 118047969 26628161536 9624 33554432000 4194304 4196468 140728958286224 140728958268768 140191544913655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 /proc/8341/statm: 6501016 9624 3055 1 0 6488269 0 [pid=8341/tid=8342] ppid=8339 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/8341/task/8342/stat : 8342 (java) R 8339 8339 7776 0 -1 4202560 5448 0 0 0 18 2 0 0 20 0 20 0 118047969 26628194304 9624 33554432000 4194304 4196468 140728958286224 140191549115376 140191537593373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8343] ppid=8339 vsize=26004096 memory=331 CPUtime=0 cores=0-7 /proc/8341/task/8343/stat : 8343 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628194304 9624 33554432000 4194304 4196468 140728958286224 140191497533968 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8344] ppid=8339 vsize=26004064 memory=140508613491617 CPUtime=0 cores=0-7 /proc/8341/task/8344/stat : 8344 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191496481424 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8345] ppid=8339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8345/stat : 8345 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191495428368 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8346] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8346/stat : 8346 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191494375824 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8347] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8347/stat : 8347 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191493323792 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8348] ppid=8339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8348/stat : 8348 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191492271248 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8349] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8349/stat : 8349 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191096765200 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8350] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8350/stat : 8350 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 9644 33554432000 4194304 4196468 140728958286224 140191095712656 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8351] ppid=8339 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8351/stat : 8351 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047971 26628194304 9644 33554432000 4194304 4196468 140728958286224 140190286981360 140191544924802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8352] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8352/stat : 8352 (java) S 8339 8339 7776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118047972 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190285927584 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8353] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8353/stat : 8353 (java) S 8339 8339 7776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118047972 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190284874480 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8354] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8354/stat : 8354 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190283823056 140191544932251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8355] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8355/stat : 8355 (java) S 8339 8339 7776 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190081346288 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8356] ppid=8339 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/8341/task/8356/stat : 8356 (java) S 8339 8339 7776 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 20 0 118047975 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190080293744 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8357] ppid=8339 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/8341/task/8357/stat : 8357 (java) S 8339 8339 7776 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 118047975 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190079240688 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8358] ppid=8339 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/8341/task/8358/stat : 8358 (java) S 8339 8339 7776 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 20 0 118047975 26628194304 9644 33554432000 4194304 4196468 140728958286224 140190078188144 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8359] ppid=8339 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8359/stat : 8359 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047975 26628194304 9644 33554432000 4194304 4196468 140728958286224 140190077135328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8360] ppid=8339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8360/stat : 8360 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 9644 33554432000 4194304 4196468 140728958286224 140190076082864 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39880 KiB [startup+0.310638 s]* /proc/loadavg: 3.29 6.07 7.74 3/200 8360 /proc/meminfo: memFree=31288052/32770624 swapFree=67108860/67108860 [pid=8339] ppid=8336 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8339/stat : 8339 (xcsp3-exec) S 8336 8339 7776 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118047969 9740288 346 33554432000 4194304 5098028 140721247191296 140721247189400 140452518683260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14974976 140721247200357 140721247200567 140721247200567 140721247203307 0 /proc/8339/statm: 2378 346 289 221 0 87 0 [pid=8341] ppid=8339 vsize=26004064 memory=45972 CPUtime=0.5 cores=0-7 /proc/8341/stat : 8341 (java) S 8339 8339 7776 0 -1 1077944320 9244 0 0 0 47 3 0 0 20 0 20 0 118047969 26628161536 11493 33554432000 4194304 4196468 140728958286224 140728958268768 140191544913655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 /proc/8341/statm: 6501016 11493 3118 1 0 6488269 0 [pid=8341/tid=8342] ppid=8339 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8341/task/8342/stat : 8342 (java) R 8339 8339 7776 0 -1 4202560 6170 0 0 0 27 2 0 0 20 0 20 0 118047969 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191549136496 140191528994172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8343] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8343/stat : 8343 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191497533968 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8344] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8344/stat : 8344 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191496481424 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8345] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8345/stat : 8345 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191495428368 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8346] ppid=8339 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/8341/task/8346/stat : 8346 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191494375824 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8347] ppid=8339 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/8341/task/8347/stat : 8347 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191493323792 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8348] ppid=8339 vsize=26004064 memory=140508513008815 CPUtime=0 cores=0-7 /proc/8341/task/8348/stat : 8348 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191492271248 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8349] ppid=8339 vsize=26004064 memory=140508513011120 CPUtime=0 cores=0-7 /proc/8341/task/8349/stat : 8349 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191096765200 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8350] ppid=8339 vsize=26004064 memory=140508513013424 CPUtime=0 cores=0-7 /proc/8341/task/8350/stat : 8350 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047970 26628161536 11557 33554432000 4194304 4196468 140728958286224 140191095712656 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8351] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8351/stat : 8351 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118047971 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190286981360 140191544924802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8352] ppid=8339 vsize=26004064 memory=281017026036112 CPUtime=0 cores=0-7 /proc/8341/task/8352/stat : 8352 (java) S 8339 8339 7776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118047972 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190285927584 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8353] ppid=8339 vsize=26004064 memory=281017025977392 CPUtime=0 cores=0-7 /proc/8341/task/8353/stat : 8353 (java) S 8339 8339 7776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118047972 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190284874480 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8354] ppid=8339 vsize=26004064 memory=281017026049936 CPUtime=0 cores=0-7 /proc/8341/task/8354/stat : 8354 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190283823056 140191544932251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8355] ppid=8339 vsize=26004064 memory=281017026056848 CPUtime=0.01 cores=0-7 /proc/8341/task/8355/stat : 8355 (java) S 8339 8339 7776 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190081346288 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8356] ppid=8339 vsize=26004064 memory=281017026054544 CPUtime=0.02 cores=0-7 /proc/8341/task/8356/stat : 8356 (java) S 8339 8339 7776 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190080293744 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8357] ppid=8339 vsize=26004064 memory=281017026070672 CPUtime=0.03 cores=0-7 /proc/8341/task/8357/stat : 8357 (java) S 8339 8339 7776 0 -1 1077944384 211 0 0 0 3 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190079240688 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8358] ppid=8339 vsize=26004064 memory=281017026068368 CPUtime=0.12 cores=0-7 /proc/8341/task/8358/stat : 8358 (java) S 8339 8339 7776 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190078188144 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8359] ppid=8339 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8359/stat : 8359 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190077135328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8360] ppid=8339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8341/task/8360/stat : 8360 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 26628161536 11557 33554432000 4194304 4196468 140728958286224 140190076082864 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47356 KiB [startup+0.700968 s] /proc/loadavg: 3.29 6.07 7.74 5/200 8360 /proc/meminfo: memFree=31266280/32770624 swapFree=67108860/67108860 [pid=8339] ppid=8336 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8339/stat : 8339 (xcsp3-exec) S 8336 8339 7776 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118047969 9740288 346 33554432000 4194304 5098028 140721247191296 140721247189400 140452518683260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14974976 140721247200357 140721247200567 140721247200567 140721247203307 0 /proc/8339/statm: 2378 346 289 221 0 87 0 [pid=8341] ppid=8339 vsize=26538700 memory=107980 CPUtime=2.07 cores=0-7 /proc/8341/stat : 8341 (java) S 8339 8339 7776 0 -1 1077944320 14166 0 0 0 201 6 0 0 20 0 28 0 118047969 27175628800 26995 33554432000 4194304 4196468 140728958286224 140728958268768 140191544913655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 /proc/8341/statm: 6634675 26995 3209 1 0 6621909 0 [pid=8341/tid=8342] ppid=8339 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7 /proc/8341/task/8342/stat : 8342 (java) R 8339 8339 7776 0 -1 4202560 6738 0 0 0 59 3 0 0 20 0 28 0 118047969 27175628800 26995 33554432000 4194304 4196468 140728958286224 140191549154432 140191544925590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8343] ppid=8339 vsize=26538700 memory=140508513219952 CPUtime=0 cores=0-7 /proc/8341/task/8343/stat : 8343 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 26995 33554432000 4194304 4196468 140728958286224 140191497533968 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8344] ppid=8339 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8344/stat : 8344 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27022 33554432000 4194304 4196468 140728958286224 140191496481424 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8345] ppid=8339 vsize=26538700 memory=5792 CPUtime=0 cores=0-7 /proc/8341/task/8345/stat : 8345 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27022 33554432000 4194304 4196468 140728958286224 140191495428368 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8346] ppid=8339 vsize=26538700 memory=4620 CPUtime=0 cores=0-7 /proc/8341/task/8346/stat : 8346 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27022 33554432000 4194304 4196468 140728958286224 140191494375824 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8347] ppid=8339 vsize=26538700 memory=1200 CPUtime=0 cores=0-7 /proc/8341/task/8347/stat : 8347 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27022 33554432000 4194304 4196468 140728958286224 140191493323792 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8348] ppid=8339 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/8341/task/8348/stat : 8348 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27022 33554432000 4194304 4196468 140728958286224 140191492271248 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8349] ppid=8339 vsize=26538688 memory=16236 CPUtime=0 cores=0-7 /proc/8341/task/8349/stat : 8349 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 118047970 27175616512 27093 33554432000 4194304 4196468 140728958286224 140191096765200 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8350] ppid=8339 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/8341/task/8350/stat : 8350 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 27126 33554432000 4194304 4196468 140728958286224 140191095712656 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8351] ppid=8339 vsize=26538700 memory=19232 CPUtime=0 cores=0-7 /proc/8341/task/8351/stat : 8351 (java) S 8339 8339 7776 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 118047971 27175628800 27086 33554432000 4194304 4196468 140728958286224 140190286981360 140191544924802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8352] ppid=8339 vsize=26538700 memory=1232 CPUtime=0 cores=0-7 /proc/8341/task/8352/stat : 8352 (java) S 8339 8339 7776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 118047972 27175628800 27068 33554432000 4194304 4196468 140728958286224 140190285927584 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8353] ppid=8339 vsize=26538700 memory=648 CPUtime=0 cores=0-7 /proc/8341/task/8353/stat : 8353 (java) S 8339 8339 7776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 26 0 118047972 27175628800 27068 33554432000 4194304 4196468 140728958286224 140190284874480 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8354] ppid=8339 vsize=26538700 memory=1796 CPUtime=0 cores=0-7 /proc/8341/task/8354/stat : 8354 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 118047975 27175628800 27103 33554432000 4194304 4196468 140728958286224 140190283823056 140191544932251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8355] ppid=8339 vsize=26538700 memory=33 CPUtime=0.22 cores=0-7 /proc/8341/task/8355/stat : 8355 (java) R 8339 8339 7776 0 -1 1077944384 1064 0 0 0 22 0 0 0 20 0 25 0 118047975 27175628800 27073 33554432000 4194304 4196468 140728958286224 140190081333072 140191544923861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8356] ppid=8339 vsize=26538700 memory=1004 CPUtime=0.25 cores=0-7 /proc/8341/task/8356/stat : 8356 (java) R 8339 8339 7776 0 -1 4202560 1286 0 0 0 25 0 0 0 20 0 22 0 118047975 27175628800 27090 33554432000 4194304 4196468 140728958286224 140190080286768 140191544935002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8357] ppid=8339 vsize=26538700 memory=1940 CPUtime=0.32 cores=0-7 /proc/8341/task/8357/stat : 8357 (java) R 8339 8339 7776 0 -1 4202560 1244 0 0 0 32 0 0 0 20 0 22 0 118047975 27175628800 27069 33554432000 4194304 4196468 140728958286224 140190079240688 140191528399605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8358] ppid=8339 vsize=26538700 memory=1424 CPUtime=0.41 cores=0-7 /proc/8341/task/8358/stat : 8358 (java) R 8339 8339 7776 0 -1 1077944384 2212 0 0 0 41 0 0 0 20 0 22 0 118047975 27175628800 27116 33554432000 4194304 4196468 140728958286224 140190078187328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8359] ppid=8339 vsize=26538700 memory=8572 CPUtime=0 cores=0-7 /proc/8341/task/8359/stat : 8359 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 118047975 27175628800 27097 33554432000 4194304 4196468 140728958286224 140190077135328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8360] ppid=8339 vsize=26538700 memory=1724 CPUtime=0 cores=0-7 /proc/8341/task/8360/stat : 8360 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118047975 27175628800 27097 33554432000 4194304 4196468 140728958286224 140190076082864 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 Current children cumulated CPU time: 2.07 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 109364 KiB [startup+0.821856 s] # the end of solver process 8339 was just reported to runsolver # cumulated CPU time of all completed processes: user=2.7138 s, system=0.087679 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.80316 s] /proc/loadavg: 3.29 6.07 7.74 5/200 8360 /proc/meminfo: memFree=31266280/32770624 swapFree=67108860/67108860 [pid=8339] ppid=8336 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8339/stat : 8339 (xcsp3-exec) S 8336 8339 7776 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118047969 9740288 346 33554432000 4194304 5098028 140721247191296 140721247189400 140452518683260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14974976 140721247200357 140721247200567 140721247200567 140721247203307 0 /proc/8339/statm: 2378 346 289 221 0 87 0 [pid=8341] ppid=8339 vsize=26538700 memory=158728 CPUtime=2.76 cores=0-7 /proc/8341/stat : 8341 (java) S 8339 8339 7776 0 -1 1077944320 14907 0 0 0 269 7 0 0 20 0 28 0 118047969 27175628800 39682 33554432000 4194304 4196468 140728958286224 140728958268768 140191544913655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 /proc/8341/statm: 6634675 39682 3216 1 0 6621909 0 [pid=8341/tid=8342] ppid=8339 vsize=26538700 memory=5792 CPUtime=0.62 cores=0-7 /proc/8341/task/8342/stat : 8342 (java) S 8339 8339 7776 0 -1 1077944384 6739 0 0 0 59 3 0 0 20 0 28 0 118047969 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191549154432 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8343] ppid=8339 vsize=26538700 memory=4620 CPUtime=0 cores=0-7 /proc/8341/task/8343/stat : 8343 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191497533968 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8344] ppid=8339 vsize=26538700 memory=1200 CPUtime=0 cores=0-7 /proc/8341/task/8344/stat : 8344 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191496481424 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8345] ppid=8339 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/8341/task/8345/stat : 8345 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191495428368 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8346] ppid=8339 vsize=26538700 memory=16236 CPUtime=0 cores=0-7 /proc/8341/task/8346/stat : 8346 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191494375824 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8347] ppid=8339 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/8341/task/8347/stat : 8347 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191493323792 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8348] ppid=8339 vsize=26538700 memory=19232 CPUtime=0 cores=0-7 /proc/8341/task/8348/stat : 8348 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191492271248 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8349] ppid=8339 vsize=26538700 memory=281017026046096 CPUtime=0 cores=0-7 /proc/8341/task/8349/stat : 8349 (java) S 8339 8339 7776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191096765200 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8350] ppid=8339 vsize=26538700 memory=281017025826320 CPUtime=0 cores=0-7 /proc/8341/task/8350/stat : 8350 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 118047970 27175628800 39682 33554432000 4194304 4196468 140728958286224 140191095712656 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8351] ppid=8339 vsize=26538700 memory=281017025826192 CPUtime=0 cores=0-7 /proc/8341/task/8351/stat : 8351 (java) S 8339 8339 7776 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 118047971 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190286981360 140191544924802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8352] ppid=8339 vsize=26538700 memory=281017025826032 CPUtime=0 cores=0-7 /proc/8341/task/8352/stat : 8352 (java) S 8339 8339 7776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 118047972 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190285927584 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8353] ppid=8339 vsize=26538700 memory=164 CPUtime=0 cores=0-7 /proc/8341/task/8353/stat : 8353 (java) S 8339 8339 7776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 118047972 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190284874480 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8354] ppid=8339 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8341/task/8354/stat : 8354 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190283823056 140191544932251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8355] ppid=8339 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7 /proc/8341/task/8355/stat : 8355 (java) R 8339 8339 7776 0 -1 4202560 1201 0 0 0 29 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190081329200 140191524567200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8356] ppid=8339 vsize=26538700 memory=140508513084576 CPUtime=0.31 cores=0-7 /proc/8341/task/8356/stat : 8356 (java) R 8339 8339 7776 0 -1 4202560 1303 0 0 0 31 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190080286232 140191528399504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8357] ppid=8339 vsize=26538700 memory=174019189939808 CPUtime=0.38 cores=0-7 /proc/8341/task/8357/stat : 8357 (java) R 8339 8339 7776 0 -1 4202560 1258 0 0 0 38 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190079226720 140191526458112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8358] ppid=8339 vsize=26538700 memory=2396 CPUtime=0.46 cores=0-7 /proc/8341/task/8358/stat : 8358 (java) R 8339 8339 7776 0 -1 4202560 2293 0 0 0 46 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190078183968 140191524278143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8359] ppid=8339 vsize=26538700 memory=6298369125191478871 CPUtime=0 cores=0-7 /proc/8341/task/8359/stat : 8359 (java) S 8339 8339 7776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190077135328 140191544923861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 [pid=8341/tid=8360] ppid=8339 vsize=26538700 memory=7883661555774220391 CPUtime=0 cores=0-7 /proc/8341/task/8360/stat : 8360 (java) S 8339 8339 7776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 118047975 27175628800 39682 33554432000 4194304 4196468 140728958286224 140190076082864 140191544924802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27496448 140728958293138 140728958293315 140728958293315 140728958296015 0 Current children cumulated CPU time: 2.76 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 160112 KiB Child status: 0 Real time (s): 0.82191 CPU time (s): 2.80148 CPU user time (s): 2.7138 CPU system time (s): 0.087679 CPU usage (%): 340.85 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 160112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.7138 system time used= 0.087679 maximum resident set size= 161372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15446 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2878 involuntary context switches= 30 # summary of solver processes directly reported to runsolver: # pid: 8339 # total CPU time (s): 2.80148 # total CPU user time (s): 2.7138 # total CPU system time (s): 0.087679 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.023545 second user time and 0.052707 second system time The end
Begin job on node102 at 2017-08-16 03:58:58 IDJOB=4271363 IDBENCH=140518 IDSOLVER=2662 FILE ID=node102/4271363-1502849597 RUNJOBID= node102-1502843644-7803 PBS_JOBID= 20629859 Free space on /tmp= 61924 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-tiny.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271363-1502849597/watcher-4271363-1502849597 -o /tmp/evaluation-result-4271363-1502849597/solver-4271363-1502849597 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502843644-7803 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 940194691 HOME/instance-4271363-1502849597.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b48c1d78a7c2914aa1b4afc3a63a668c RANDOM SEED=940194691 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31320904 kB MemAvailable: 31983380 kB Buffers: 193608 kB Cached: 753588 kB SwapCached: 0 kB Active: 746148 kB Inactive: 253068 kB Active(anon): 4788 kB Inactive(anon): 75052 kB Active(file): 741360 kB Inactive(file): 178016 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7552 kB Writeback: 4 kB AnonPages: 58184 kB Mapped: 46548 kB Shmem: 25260 kB Slab: 145032 kB SReclaimable: 117868 kB SUnreclaim: 27164 kB KernelStack: 3232 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61916 MiB End job on node102 at 2017-08-16 03:58:59