Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 740 | 1936.6801 | 252.123 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml |
MD5SUM | d2a9d5f7f2311440d16f3c3017ccc9f9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 716 |
Best CPU time to get the best result obtained on this benchmark | 252.465 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 410 |
Number of constraints | 330 |
Number of domains | 12 |
Minimum domain size | 8 |
Maximum domain size | 752 |
Distribution of domain sizes | [{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":752,"count":210}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 110 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}] |
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-4281671-1503177120.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4281671-1503177120.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 2.14/0.87 c solve instance... 495.64/63.50 o 751 537.17/69.77 o 750 974.42/126.99 o 749 1146.57/149.24 o 744 1206.86/157.81 o 742 1814.32/234.62 o 741 1911.49/248.94 o 740 1935.92/252.08 s SATISFIABLE 1935.92/252.08 v <instantiation> 1935.92/252.08 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list> 1935.92/252.08 v <values>18 89 95 190 243 294 416 465 516 583 2 124 202 293 342 379 469 649 702 724 2 89 104 227 316 412 519 611 651 716 16 55 124 190 221 283 362 386 476 665 77 117 138 198 256 395 507 569 675 706 0 57 103 189 236 324 459 527 606 705 95 192 257 282 322 417 470 516 567 652 21 201 291 350 443 447 491 589 644 673 1 73 135 179 253 316 449 479 527 585 5 91 141 242 326 374 408 497 589 695 651 740 740 736 735 716 705 740 682 736 69 2 83 52 48 96 47 51 67 68 96 57 60 29 12 86 92 26 22 16 87 6 70 86 96 64 90 38 65 24 37 69 66 31 62 67 17 89 91 71 12 8 46 46 20 72 56 52 12 29 55 37 60 46 86 83 67 62 97 11 93 33 25 40 95 42 44 44 85 53 97 86 49 93 3 18 80 55 29 67 72 53 38 39 18 94 6 28 38 97 84 50 95 73 34 34 82 83 31 41 8 1 7 6 0 2 5 9 3 4 2 5 4 1 7 0 8 9 6 3 1 3 2 5 6 7 9 8 4 0 4 5 6 0 2 3 9 1 7 8 9 8 4 7 3 2 0 6 5 1 5 7 9 3 8 4 6 2 1 0 3 5 9 4 8 6 2 1 7 0 6 1 0 3 8 9 4 2 5 7 9 4 0 2 7 5 8 1 6 3 3 1 8 6 9 7 4 5 0 2 243 89 294 516 583 416 190 95 18 465 379 293 2 724 202 124 702 342 469 649 716 2 104 89 651 227 316 412 611 519 190 386 221 283 16 55 124 476 665 362 507 706 395 256 138 675 569 198 117 77 705 606 527 189 324 0 459 57 236 103 652 516 470 95 282 192 417 567 322 257 291 201 589 350 491 644 21 673 443 447 135 479 179 585 73 316 527 253 449 1 589 91 695 5 408 497 242 374 141 326 </values> 1935.92/252.08 v </instantiation> 1935.92/252.08 c Unexpected resolution interruption!
OK 740
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 (11447 MiB free) memory of node 1: 16384 MiB (11427 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281671-1503177120/watcher-4281671-1503177120 -o /tmp/evaluation-result-4281671-1503177120/solver-4281671-1503177120 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 587122059 HOME/instance-4281671-1503177120.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16479, runsolver pid=16476 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 7.46 7.37 7.67 2/199 16500 /proc/meminfo: memFree=23409196/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=25999808 memory=27020 CPUtime=0.11 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 5614 0 0 0 10 1 0 0 20 0 20 0 150783500 26623803392 6755 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6499952 6755 2883 1 0 6488269 0 [pid=16481/tid=16482] ppid=16479 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) R 16479 16479 13758 0 -1 4202560 3620 0 0 0 8 0 0 0 20 0 20 0 150783501 26623803392 6755 33554432000 4194304 4196468 140735990535248 139800043779800 139799658899313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=25999808 memory=140004134061696 CPUtime=0 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16486] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16486/stat : 16486 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799989021584 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16487] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16487/stat : 16487 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799987968528 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16488] ppid=16479 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16488/stat : 16488 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799986915984 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16489] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16489/stat : 16489 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799985862928 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16490] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16490/stat : 16490 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783502 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799984810384 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16491] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16491/stat : 16491 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783503 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799031679728 139800039570050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16492] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16492/stat : 16492 (java) S 16479 16479 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150783504 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799030625952 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16493] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16493/stat : 16493 (java) S 16479 16479 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150783504 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799029572848 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16494] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16494/stat : 16494 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783506 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799028521424 139800039577499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16495] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16495/stat : 16495 (java) S 16479 16479 13758 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 150783506 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799027468528 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16496] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16496/stat : 16496 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783506 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799026415984 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16497] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16497/stat : 16497 (java) S 16479 16479 13758 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 150783506 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799025362928 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16498] ppid=16479 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16481/task/16498/stat : 16498 (java) R 16479 16479 13758 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 150783507 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799024310384 139800039570838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16499] ppid=16479 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16499/stat : 16499 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783507 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799023258592 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16500] ppid=16479 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16500/stat : 16500 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783507 26623803392 6755 33554432000 4194304 4196468 140735990535248 139799022206128 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28400 KiB [startup+0.209813 s]* /proc/loadavg: 7.46 7.37 7.67 2/199 16500 /proc/meminfo: memFree=23400020/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=26004064 memory=38960 CPUtime=0.32 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 8312 0 0 0 30 2 0 0 20 0 20 0 150783500 26628161536 9740 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6501016 9740 3060 1 0 6488269 0 [pid=16481/tid=16482] ppid=16479 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) R 16479 16479 13758 0 -1 4202560 5415 0 0 0 18 1 0 0 20 0 20 0 150783501 26628161536 9740 33554432000 4194304 4196468 140735990535248 139800043781808 139800023639390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=26004064 memory=339 CPUtime=0 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=26004064 memory=140004134781109 CPUtime=0 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16486] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16486/stat : 16486 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799989021584 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16487] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16487/stat : 16487 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799987968528 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16488] ppid=16479 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16488/stat : 16488 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799986915984 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16489] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16489/stat : 16489 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799985862928 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16490] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16490/stat : 16490 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799984810384 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16491] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16491/stat : 16491 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783503 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799031679728 139800039570050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16492] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16492/stat : 16492 (java) S 16479 16479 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150783504 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799030625952 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16493] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16493/stat : 16493 (java) S 16479 16479 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150783504 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799029572848 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16494] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16494/stat : 16494 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783506 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799028521424 139800039577499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16495] ppid=16479 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16481/task/16495/stat : 16495 (java) S 16479 16479 13758 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 20 0 150783506 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799027468528 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16496] ppid=16479 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16481/task/16496/stat : 16496 (java) S 16479 16479 13758 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 150783506 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799026415984 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16497] ppid=16479 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/16481/task/16497/stat : 16497 (java) S 16479 16479 13758 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 150783506 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799025362928 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16498] ppid=16479 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/16481/task/16498/stat : 16498 (java) S 16479 16479 13758 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 20 0 150783507 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799024310384 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16499] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16499/stat : 16499 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783507 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799023258592 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16500] ppid=16479 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16500/stat : 16500 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783507 26628161536 9740 33554432000 4194304 4196468 140735990535248 139799022206128 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40340 KiB [startup+0.30956 s]* /proc/loadavg: 7.46 7.37 7.67 3/199 16500 /proc/meminfo: memFree=23393580/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=26004064 memory=43884 CPUtime=0.49 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 9146 0 0 0 47 2 0 0 20 0 20 0 150783500 26628161536 10905 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6501016 10971 3102 1 0 6488269 0 [pid=16481/tid=16482] ppid=16479 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) R 16479 16479 13758 0 -1 4202560 6101 0 0 0 27 1 0 0 20 0 20 0 150783501 26628161536 10971 33554432000 4194304 4196468 140735990535248 139800043798216 139800039570838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16486] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16486/stat : 16486 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799989021584 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16487] ppid=16479 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16481/task/16487/stat : 16487 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799987968528 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16488] ppid=16479 vsize=26004064 memory=140003988566959 CPUtime=0 cores=0-7 /proc/16481/task/16488/stat : 16488 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799986915984 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16489] ppid=16479 vsize=26004064 memory=140003988569264 CPUtime=0 cores=0-7 /proc/16481/task/16489/stat : 16489 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799985862928 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16490] ppid=16479 vsize=26004064 memory=140003988571568 CPUtime=0 cores=0-7 /proc/16481/task/16490/stat : 16490 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783502 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799984810384 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16491] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16491/stat : 16491 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783503 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799031679728 139800039570050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16492] ppid=16479 vsize=26004064 memory=280007977150096 CPUtime=0 cores=0-7 /proc/16481/task/16492/stat : 16492 (java) S 16479 16479 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150783504 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799030625952 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16493] ppid=16479 vsize=26004064 memory=280007977157008 CPUtime=0 cores=0-7 /proc/16481/task/16493/stat : 16493 (java) S 16479 16479 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150783504 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799029572848 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16494] ppid=16479 vsize=26004064 memory=280007977098288 CPUtime=0 cores=0-7 /proc/16481/task/16494/stat : 16494 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783506 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799028521424 139800039577499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16495] ppid=16479 vsize=26004064 memory=280007977170832 CPUtime=0.02 cores=0-7 /proc/16481/task/16495/stat : 16495 (java) S 16479 16479 13758 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 150783506 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799027468528 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16496] ppid=16479 vsize=26004064 memory=280007977177744 CPUtime=0.02 cores=0-7 /proc/16481/task/16496/stat : 16496 (java) S 16479 16479 13758 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 150783506 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799026415984 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16497] ppid=16479 vsize=26004064 memory=280007977175440 CPUtime=0.02 cores=0-7 /proc/16481/task/16497/stat : 16497 (java) R 16479 16479 13758 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 20 0 150783506 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799025362928 139800023966033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16498] ppid=16479 vsize=26004064 memory=280007977191600 CPUtime=0.12 cores=0-7 /proc/16481/task/16498/stat : 16498 (java) R 16479 16479 13758 0 -1 4202560 776 0 0 0 12 0 0 0 20 0 20 0 150783507 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799024310384 139800019275890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16499] ppid=16479 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16499/stat : 16499 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150783507 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799023258592 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16500] ppid=16479 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16481/task/16500/stat : 16500 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150783507 26628161536 10971 33554432000 4194304 4196468 140735990535248 139799022206128 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45264 KiB [startup+0.700945 s] /proc/loadavg: 7.46 7.37 7.67 4/199 16500 /proc/meminfo: memFree=23378752/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=26006188 memory=86676 CPUtime=1.65 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 12930 0 0 0 161 4 0 0 20 0 20 0 150783500 26630336512 21669 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6501547 21669 3204 1 0 6488781 0 [pid=16481/tid=16482] ppid=16479 vsize=26006188 memory=280007977549488 CPUtime=0.67 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) R 16479 16479 13758 0 -1 4202560 7008 0 0 0 65 2 0 0 20 0 20 0 150783501 26630336512 21669 33554432000 4194304 4196468 140735990535248 139800043795760 139800039570838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=26006188 memory=140003988775792 CPUtime=0 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26630336512 21669 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26630336512 21669 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=26006188 memory=1428 CPUtime=0 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150783502 26630336512 21669 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 ################ # More data... # ################ [pid=16481/tid=16557] ppid=16479 vsize=26540748 memory=22964 CPUtime=4.36 cores=0-7 /proc/16481/task/16557/stat : 16557 (java) R 16479 16479 13758 0 -1 4202560 271 0 0 0 436 0 0 0 20 0 28 0 150799282 27177725952 267313 33554432000 4194304 4196468 140735990535248 139799008375608 139799669358499 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 1242.4 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 1070632 KiB [startup+222.31 s] /proc/loadavg: 8.09 7.82 7.79 9/209 16580 /proc/meminfo: memFree=22428960/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=26540748 memory=1007256 CPUtime=1721.05 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 152304 0 0 0 171966 139 0 0 20 0 28 0 150783500 27177725952 251814 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6635187 251814 3287 1 0 6622421 0 [pid=16481/tid=16482] ppid=16479 vsize=26540748 memory=1021596 CPUtime=0.85 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) S 16479 16479 13758 0 -1 1077944384 8349 0 0 0 83 2 0 0 20 0 28 0 150783501 27177725952 251814 33554432000 4194304 4196468 140735990535248 139800043799680 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=26540748 memory=1021596 CPUtime=0.14 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 3266 0 0 0 9 5 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=26540748 memory=1007256 CPUtime=0.11 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 1077 0 0 0 8 3 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=26540748 memory=1007256 CPUtime=0.1 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 1728 0 0 0 7 3 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16486] ppid=16479 vsize=26540748 memory=1380 CPUtime=0.09 cores=0-7 /proc/16481/task/16486/stat : 16486 (java) S 16479 16479 13758 0 -1 1077944384 1940 0 0 0 7 2 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799989021584 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16487] ppid=16479 vsize=26540748 memory=1007256 CPUtime=0.11 cores=0-7 /proc/16481/task/16487/stat : 16487 (java) S 16479 16479 13758 0 -1 1077944384 785 0 0 0 8 3 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799987968528 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16488] ppid=16479 vsize=26540748 memory=1380 CPUtime=0.11 cores=0-7 /proc/16481/task/16488/stat : 16488 (java) S 16479 16479 13758 0 -1 1077944384 1397 0 0 0 8 3 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799986915984 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16489] ppid=16479 vsize=26540748 memory=1380 CPUtime=0.12 cores=0-7 /proc/16481/task/16489/stat : 16489 (java) S 16479 16479 13758 0 -1 1077944384 2057 0 0 0 9 3 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799985862928 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16490] ppid=16479 vsize=26540748 memory=4012 CPUtime=0.13 cores=0-7 /proc/16481/task/16490/stat : 16490 (java) S 16479 16479 13758 0 -1 1077944384 2285 0 0 0 9 4 0 0 20 0 28 0 150783502 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799984810384 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16491] ppid=16479 vsize=26540748 memory=1007256 CPUtime=0.13 cores=0-7 /proc/16481/task/16491/stat : 16491 (java) S 16479 16479 13758 0 -1 1077944384 6277 0 0 0 6 7 0 0 20 0 28 0 150783503 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799031679728 139800039570050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16492] ppid=16479 vsize=26540748 memory=1036984 CPUtime=0 cores=0-7 /proc/16481/task/16492/stat : 16492 (java) S 16479 16479 13758 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 150783504 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799030626016 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16493] ppid=16479 vsize=26540748 memory=1007256 CPUtime=0 cores=0-7 /proc/16481/task/16493/stat : 16493 (java) S 16479 16479 13758 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 150783504 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799029572864 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16494] ppid=16479 vsize=26540748 memory=0 CPUtime=0 cores=0-7 /proc/16481/task/16494/stat : 16494 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150783506 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799028521424 139800039577499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16495] ppid=16479 vsize=26540748 memory=280007978521336 CPUtime=3.09 cores=0-7 /proc/16481/task/16495/stat : 16495 (java) S 16479 16479 13758 0 -1 1077944384 14600 0 0 0 306 3 0 0 20 0 28 0 150783506 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799027468528 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16496] ppid=16479 vsize=26540748 memory=1296 CPUtime=3.54 cores=0-7 /proc/16481/task/16496/stat : 16496 (java) S 16479 16479 13758 0 -1 1077944384 16983 0 0 0 351 3 0 0 20 0 28 0 150783506 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799026415984 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16497] ppid=16479 vsize=26540748 memory=2400 CPUtime=3.29 cores=0-7 /proc/16481/task/16497/stat : 16497 (java) S 16479 16479 13758 0 -1 1077944384 18441 0 0 0 325 4 0 0 20 0 28 0 150783506 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799025362928 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16498] ppid=16479 vsize=26540748 memory=1928 CPUtime=1.01 cores=0-7 /proc/16481/task/16498/stat : 16498 (java) S 16479 16479 13758 0 -1 1077944384 12660 0 0 0 99 2 0 0 20 0 28 0 150783507 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799024310384 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16499] ppid=16479 vsize=26540748 memory=1428 CPUtime=0 cores=0-7 /proc/16481/task/16499/stat : 16499 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150783507 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799023258592 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16500] ppid=16479 vsize=26540748 memory=6944613755495348631 CPUtime=0.05 cores=0-7 /proc/16481/task/16500/stat : 16500 (java) S 16479 16479 13758 0 -1 1077944384 2158 0 0 0 0 5 0 0 20 0 28 0 150783507 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799022206128 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16550] ppid=16479 vsize=26540748 memory=7302169257894783639 CPUtime=64.41 cores=0-7 /proc/16481/task/16550/stat : 16550 (java) R 16479 16479 13758 0 -1 4202560 1979 0 0 0 6440 1 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799010479544 139799667924384 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16551] ppid=16479 vsize=26540748 memory=1380 CPUtime=64.35 cores=0-7 /proc/16481/task/16551/stat : 16551 (java) R 16479 16479 13758 0 -1 4202560 1927 0 0 0 6435 0 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799011532968 139799669613801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16552] ppid=16479 vsize=26540748 memory=1380 CPUtime=63.86 cores=0-7 /proc/16481/task/16552/stat : 16552 (java) R 16479 16479 13758 0 -1 4202560 1907 0 0 0 6385 1 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799007322504 139799668561949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16553] ppid=16479 vsize=26540748 memory=1007256 CPUtime=64.34 cores=0-7 /proc/16481/task/16553/stat : 16553 (java) R 16479 16479 13758 0 -1 4202560 2328 0 0 0 6431 3 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799014690728 139799669358665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16554] ppid=16479 vsize=26540748 memory=13565981461055745 CPUtime=64.42 cores=0-7 /proc/16481/task/16554/stat : 16554 (java) R 16479 16479 13758 0 -1 4202560 1905 0 0 0 6439 3 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799013637520 139799671041876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16555] ppid=16479 vsize=26540748 memory=1728 CPUtime=64.32 cores=0-7 /proc/16481/task/16555/stat : 16555 (java) R 16479 16479 13758 0 -1 4202560 1902 0 0 0 6431 1 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799009427112 139799665910355 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16556] ppid=16479 vsize=26540748 memory=1007256 CPUtime=64.43 cores=0-7 /proc/16481/task/16556/stat : 16556 (java) R 16479 16479 13758 0 -1 4202560 1531 0 0 0 6442 1 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799012586008 139799667706766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16557] ppid=16479 vsize=26540748 memory=4012 CPUtime=63.84 cores=0-7 /proc/16481/task/16557/stat : 16557 (java) R 16479 16479 13758 0 -1 4202560 1463 0 0 0 6383 1 0 0 20 0 28 0 150799282 27177725952 251814 33554432000 4194304 4196468 140735990535248 139799008378000 139799666708521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 1721.05 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 1008636 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 7.06 7.62 7.73 9/209 16596 /proc/meminfo: memFree=22457860/32770624 swapFree=67108860/67108860 [pid=16479] ppid=16476 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16479/stat : 16479 (xcsp3-exec) S 16476 16479 13758 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150783500 9740288 345 33554432000 4194304 5098028 140735889620656 140735889618760 140101257998972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19345408 140735889622123 140735889622332 140735889622332 140735889625067 0 /proc/16479/statm: 2378 345 289 221 0 87 0 [pid=16481] ppid=16479 vsize=26540748 memory=978072 CPUtime=1935.92 cores=0-7 /proc/16481/stat : 16481 (java) S 16479 16479 13758 0 -1 1077944320 159753 0 0 0 193447 145 0 0 20 0 28 0 150783500 27177725952 244518 33554432000 4194304 4196468 140735990535248 140735990517792 139800039558903 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 /proc/16481/statm: 6635187 244518 3287 1 0 6622421 0 [pid=16481/tid=16482] ppid=16479 vsize=26540748 memory=1928 CPUtime=0.85 cores=0-7 /proc/16481/task/16482/stat : 16482 (java) S 16479 16479 13758 0 -1 1077944384 8690 0 0 0 83 2 0 0 20 0 28 0 150783501 27177725952 244518 33554432000 4194304 4196468 140735990535248 139800043799680 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16483] ppid=16479 vsize=26540748 memory=1428 CPUtime=0.15 cores=0-7 /proc/16481/task/16483/stat : 16483 (java) S 16479 16479 13758 0 -1 1077944384 3378 0 0 0 10 5 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799992179728 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16484] ppid=16479 vsize=26540748 memory=1196 CPUtime=0.12 cores=0-7 /proc/16481/task/16484/stat : 16484 (java) S 16479 16479 13758 0 -1 1077944384 1201 0 0 0 8 4 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799991127184 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16485] ppid=16479 vsize=26540748 memory=4872558044660077418 CPUtime=0.12 cores=0-7 /proc/16481/task/16485/stat : 16485 (java) S 16479 16479 13758 0 -1 1077944384 1823 0 0 0 9 3 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799990074128 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16486] ppid=16479 vsize=26540748 memory=1708 CPUtime=0.11 cores=0-7 /proc/16481/task/16486/stat : 16486 (java) S 16479 16479 13758 0 -1 1077944384 2413 0 0 0 8 3 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799989021584 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16487] ppid=16479 vsize=26540748 memory=1012 CPUtime=0.12 cores=0-7 /proc/16481/task/16487/stat : 16487 (java) S 16479 16479 13758 0 -1 1077944384 830 0 0 0 9 3 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799987968528 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16488] ppid=16479 vsize=26540748 memory=796 CPUtime=0.11 cores=0-7 /proc/16481/task/16488/stat : 16488 (java) S 16479 16479 13758 0 -1 1077944384 1460 0 0 0 8 3 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799986915984 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16489] ppid=16479 vsize=26540748 memory=1228 CPUtime=0.12 cores=0-7 /proc/16481/task/16489/stat : 16489 (java) S 16479 16479 13758 0 -1 1077944384 2117 0 0 0 9 3 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799985862928 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16490] ppid=16479 vsize=26540748 memory=5784 CPUtime=0.14 cores=0-7 /proc/16481/task/16490/stat : 16490 (java) S 16479 16479 13758 0 -1 1077944384 2697 0 0 0 10 4 0 0 20 0 28 0 150783502 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799984810384 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16491] ppid=16479 vsize=26540748 memory=4616 CPUtime=0.17 cores=0-7 /proc/16481/task/16491/stat : 16491 (java) S 16479 16479 13758 0 -1 1077944384 6850 0 0 0 7 10 0 0 20 0 28 0 150783503 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799031679728 139800039570050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16492] ppid=16479 vsize=26540748 memory=1928 CPUtime=0 cores=0-7 /proc/16481/task/16492/stat : 16492 (java) S 16479 16479 13758 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 150783504 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799030626016 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16493] ppid=16479 vsize=26540748 memory=1428 CPUtime=0 cores=0-7 /proc/16481/task/16493/stat : 16493 (java) S 16479 16479 13758 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 150783504 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799029572864 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16494] ppid=16479 vsize=26540748 memory=1196 CPUtime=0 cores=0-7 /proc/16481/task/16494/stat : 16494 (java) S 16479 16479 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150783506 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799028521424 139800039577499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16495] ppid=16479 vsize=26540748 memory=10688 CPUtime=3.09 cores=0-7 /proc/16481/task/16495/stat : 16495 (java) S 16479 16479 13758 0 -1 1077944384 14612 0 0 0 306 3 0 0 20 0 28 0 150783506 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799027468528 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16496] ppid=16479 vsize=26540748 memory=15880 CPUtime=3.54 cores=0-7 /proc/16481/task/16496/stat : 16496 (java) S 16479 16479 13758 0 -1 1077944384 16997 0 0 0 351 3 0 0 20 0 28 0 150783506 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799026415984 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16497] ppid=16479 vsize=26540748 memory=4616 CPUtime=3.29 cores=0-7 /proc/16481/task/16497/stat : 16497 (java) S 16479 16479 13758 0 -1 1077944384 18450 0 0 0 325 4 0 0 20 0 28 0 150783506 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799025362928 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16498] ppid=16479 vsize=26540748 memory=1928 CPUtime=1.02 cores=0-7 /proc/16481/task/16498/stat : 16498 (java) S 16479 16479 13758 0 -1 1077944384 14128 0 0 0 100 2 0 0 20 0 28 0 150783507 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799024310384 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16499] ppid=16479 vsize=26540748 memory=1428 CPUtime=0 cores=0-7 /proc/16481/task/16499/stat : 16499 (java) S 16479 16479 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150783507 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799023258592 139800039569109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16500] ppid=16479 vsize=26540748 memory=1196 CPUtime=0.06 cores=0-7 /proc/16481/task/16500/stat : 16500 (java) S 16479 16479 13758 0 -1 1077944384 2217 0 0 0 0 6 0 0 20 0 28 0 150783507 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799022206128 139800039570050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16589] ppid=16479 vsize=26540748 memory=10688 CPUtime=3.05 cores=0-7 /proc/16481/task/16589/stat : 16589 (java) R 16479 16479 13758 0 -1 4202560 45 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799010478920 139799667709550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16590] ppid=16479 vsize=26540748 memory=15880 CPUtime=3.05 cores=0-7 /proc/16481/task/16590/stat : 16590 (java) R 16479 16479 13758 0 -1 4202560 17 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799008374680 139799667048412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16591] ppid=16479 vsize=26540748 memory=22976 CPUtime=3.05 cores=0-7 /proc/16481/task/16591/stat : 16591 (java) R 16479 16479 13758 0 -1 4202560 17 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799007322504 139799669358700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16592] ppid=16479 vsize=26540748 memory=16432 CPUtime=3.05 cores=0-7 /proc/16481/task/16592/stat : 16592 (java) R 16479 16479 13758 0 -1 4202560 22 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799011535392 139799671041883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16593] ppid=16479 vsize=26540748 memory=4040 CPUtime=3.05 cores=0-7 /proc/16481/task/16593/stat : 16593 (java) R 16479 16479 13758 0 -1 4202560 17 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799012584848 139799671041890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16594] ppid=16479 vsize=26540748 memory=1792 CPUtime=2.98 cores=0-7 /proc/16481/task/16594/stat : 16594 (java) R 16479 16479 13758 0 -1 4202560 17 0 0 0 298 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799009427176 139799665910780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16595] ppid=16479 vsize=26540748 memory=640 CPUtime=3.05 cores=0-7 /proc/16481/task/16595/stat : 16595 (java) R 16479 16479 13758 0 -1 4202560 18 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799013638280 139799669358499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 [pid=16481/tid=16596] ppid=16479 vsize=26540748 memory=960 CPUtime=3.05 cores=0-7 /proc/16481/task/16596/stat : 16596 (java) R 16479 16479 13758 0 -1 4202560 19 0 0 0 305 0 0 0 20 0 28 0 150808395 27177725952 244518 33554432000 4194304 4196468 140735990535248 139799014691640 139799666079027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735990539416 140735990539592 140735990539592 140735990542287 0 Current children cumulated CPU time: 1935.92 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 979452 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.038 s] # the end of solver process 16479 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000984 s, system=0.000984 s [startup+252.123 s] # the end of solver process 16481 was just reported to runsolver # cumulated CPU time of all completed processes: user=1935.21 s, system=1.47423 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.123 CPU time (s): 1936.68 CPU user time (s): 1935.21 CPU system time (s): 1.47423 CPU usage (%): 768.15 Max. virtual memory (cumulated for all children) (KiB): 26554816 Max. memory (cumulated for all children) (KiB): 1195008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1935.21 system time used= 1.47423 maximum resident set size= 1199772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160996 page faults= 0 swaps= 0 block input operations= 0 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13905 involuntary context switches= 21425 # summary of solver processes directly reported to runsolver: # pid: 16479,16481 # total CPU time (s): 1936.68 # total CPU user time (s): 1935.21 # total CPU system time (s): 1.47423 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.3334 second user time and 2.72013 second system time The end
Begin job on node105 at 2017-08-19 22:57:40 IDJOB=4281671 IDBENCH=115851 IDSOLVER=2676 FILE ID=node105/4281671-1503177120 RUNJOBID= node105-1503165003-13785 PBS_JOBID= 20630832 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-0.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-4281671-1503177120/watcher-4281671-1503177120 -o /tmp/evaluation-result-4281671-1503177120/solver-4281671-1503177120 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 587122059 HOME/instance-4281671-1503177120.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d2a9d5f7f2311440d16f3c3017ccc9f9 RANDOM SEED=587122059 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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.17 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.17 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.17 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: 23423700 kB MemAvailable: 31969440 kB Buffers: 236392 kB Cached: 8599720 kB SwapCached: 0 kB Active: 1040480 kB Inactive: 7849676 kB Active(anon): 2908 kB Inactive(anon): 87148 kB Active(file): 1037572 kB Inactive(file): 7762528 kB Unevictable: 7324 kB Mlocked: 7324 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7548 kB Writeback: 4 kB AnonPages: 61264 kB Mapped: 51308 kB Shmem: 33420 kB Slab: 149316 kB SReclaimable: 122952 kB SUnreclaim: 26364 kB KernelStack: 3216 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61840 MiB End job on node105 at 2017-08-19 23:01:53