Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 664 | 1641.36 | 252.041 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml |
MD5SUM | 133cdadaee2e697c51b4261ec7f2679b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 620 |
Best CPU time to get the best result obtained on this benchmark | 251.35899 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 410 |
Number of constraints | 330 |
Number of domains | 12 |
Minimum domain size | 8 |
Maximum domain size | 696 |
Distribution of domain sizes | [{"size":8,"count":10},{"size":9,"count":10},{"size":10,"count":180},{"size":696,"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-4254792-1502637782.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4254792-1502637782.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.15/0.88 c solve instance... 105.55/13.97 o 693 158.64/21.33 o 692 220.52/29.38 o 691 238.45/32.24 o 690 240.11/33.40 o 686 515.18/70.23 o 685 573.93/77.66 o 684 611.69/82.77 o 683 657.04/91.37 o 682 723.17/100.17 o 681 728.92/102.71 o 680 736.47/105.63 o 679 745.00/108.94 o 678 824.12/120.55 o 677 948.45/136.32 o 676 1023.39/150.37 o 675 1040.85/163.34 o 674 1042.91/163.63 o 673 1044.46/163.84 o 670 1048.48/166.84 o 669 1133.16/179.93 o 668 1135.28/180.21 o 667 1139.23/180.78 o 666 1243.93/200.12 o 665 1455.20/228.19 o 664 1641.30/252.01 s SATISFIABLE 1641.30/252.01 v <instantiation> 1641.30/252.01 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> 1641.30/252.01 v <values>0 36 54 105 137 173 270 365 462 570 40 145 213 246 345 469 563 574 606 652 0 9 105 178 292 335 366 416 464 521 40 214 290 318 406 410 481 484 513 607 0 17 39 104 210 239 420 491 505 596 15 69 201 266 389 435 481 488 528 588 2 62 95 171 174 180 190 337 392 483 9 37 123 211 279 364 382 392 495 577 127 220 283 361 445 462 495 574 592 598 0 73 159 180 310 491 547 598 628 646 620 664 572 664 663 664 576 664 652 660 36 18 51 30 36 97 95 97 77 50 81 64 26 98 90 88 6 3 45 12 9 53 73 87 43 31 39 46 49 51 95 75 13 66 4 71 2 21 93 57 15 22 65 55 29 88 58 14 91 67 36 32 51 96 45 46 4 38 59 76 28 33 76 3 6 10 89 51 84 93 23 86 87 68 82 14 10 91 33 87 83 18 50 4 16 23 59 17 2 54 73 53 19 88 61 55 46 29 18 14 5 8 6 1 3 2 7 4 0 9 0 1 5 6 8 3 9 7 4 2 8 2 6 9 0 5 7 3 4 1 9 0 3 2 7 5 1 6 4 8 7 9 3 4 8 5 2 1 6 0 6 4 3 9 0 8 5 7 2 1 3 2 7 9 5 6 4 0 1 8 8 5 0 1 4 9 3 6 2 7 8 6 1 4 0 7 9 5 2 3 1 8 4 7 3 5 0 6 2 9 462 105 173 137 365 0 54 270 36 570 40 145 652 469 606 213 246 574 345 563 292 521 9 416 464 335 105 366 0 178 214 481 318 290 513 410 484 406 607 40 596 491 420 39 104 239 505 0 210 17 389 588 528 201 69 481 15 488 435 266 337 392 62 2 190 174 180 95 483 171 123 211 495 382 279 37 392 577 9 364 445 283 592 598 361 574 220 462 127 495 547 0 628 310 159 491 598 180 73 646 </values> 1641.30/252.01 v </instantiation> 1641.30/252.01 c Unexpected resolution interruption!
OK 664
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 (15339 MiB free) memory of node 1: 16384 MiB (15444 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254792-1502637782/watcher-4254792-1502637782 -o /tmp/evaluation-result-4254792-1502637782/solver-4254792-1502637782 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1904580343 HOME/instance-4254792-1502637782.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13036, runsolver pid=13033 [startup+0.103135 s]* /proc/loadavg: 8.48 6.60 5.27 2/201 13057 /proc/meminfo: memFree=31508056/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=25999808 memory=26188 CPUtime=0.11 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 5474 0 0 0 10 1 0 0 20 0 20 0 96866560 26623803392 6547 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6499952 6547 2848 1 0 6488269 0 [pid=13038/tid=13039] ppid=13036 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) R 13036 13036 10735 0 -1 4202560 3487 0 0 0 8 0 0 0 20 0 20 0 96866561 26623803392 6547 33554432000 4194304 4196468 140721794809392 140094164394080 140094141822302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=25999808 memory=140003667248768 CPUtime=0 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13043] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13043/stat : 13043 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093715765776 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13044] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13044/stat : 13044 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093714713488 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13045] ppid=13036 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13045/stat : 13045 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093713660688 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13046] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13046/stat : 13046 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093712608400 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13047] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13047/stat : 13047 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866562 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093711555600 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13048] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13048/stat : 13048 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866563 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093556017264 140094160181890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13049] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13049/stat : 13049 (java) S 13036 13036 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866563 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093554963232 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13050] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13050/stat : 13050 (java) S 13036 13036 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866564 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093553910896 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13051] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13051/stat : 13051 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866566 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093552859216 140094160189339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13052] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13052/stat : 13052 (java) S 13036 13036 10735 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 96866566 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093551807088 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13053] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13053/stat : 13053 (java) R 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866566 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093550754288 140094160181890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13054] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13054/stat : 13054 (java) R 13036 13036 10735 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 96866566 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093549702000 140094160181890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13055] ppid=13036 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13038/task/13055/stat : 13055 (java) R 13036 13036 10735 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 96866566 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093548649200 140094160192090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13056] ppid=13036 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13056/stat : 13056 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866567 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093547596128 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13057] ppid=13036 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13057/stat : 13057 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866567 26623803392 6547 33554432000 4194304 4196468 140721794809392 140093546543408 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27572 KiB [startup+0.210099 s]* /proc/loadavg: 8.48 6.60 5.27 3/201 13057 /proc/meminfo: memFree=31500220/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=26004064 memory=38912 CPUtime=0.33 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 8276 0 0 0 31 2 0 0 20 0 20 0 96866560 26628161536 9728 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6501016 9728 3065 1 0 6488269 0 [pid=13038/tid=13039] ppid=13036 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) R 13036 13036 10735 0 -1 4202560 5379 0 0 0 18 1 0 0 20 0 20 0 96866561 26628161536 9728 33554432000 4194304 4196468 140721794809392 140094164391736 140094144251230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=26004064 memory=3546222440388396704 CPUtime=0 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13043] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13043/stat : 13043 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093715765776 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13044] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13044/stat : 13044 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093714713488 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13045] ppid=13036 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13045/stat : 13045 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093713660688 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13046] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13046/stat : 13046 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093712608400 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13047] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13047/stat : 13047 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093711555600 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13048] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13048/stat : 13048 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866563 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093556017264 140094160181890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13049] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13049/stat : 13049 (java) S 13036 13036 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866563 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093554963232 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13050] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13050/stat : 13050 (java) S 13036 13036 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866564 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093553910896 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13051] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13051/stat : 13051 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866566 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093552859216 140094160189339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13052] ppid=13036 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/13038/task/13052/stat : 13052 (java) S 13036 13036 10735 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 96866566 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093551807088 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13053] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13053/stat : 13053 (java) S 13036 13036 10735 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 96866566 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093550754288 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13054] ppid=13036 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/13038/task/13054/stat : 13054 (java) S 13036 13036 10735 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 96866566 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093549702000 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13055] ppid=13036 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/13038/task/13055/stat : 13055 (java) S 13036 13036 10735 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 20 0 96866566 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093548649200 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13056] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13056/stat : 13056 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866567 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093547596128 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13057] ppid=13036 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13057/stat : 13057 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866567 26628161536 9728 33554432000 4194304 4196468 140721794809392 140093546543408 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40296 KiB [startup+0.3099 s]* /proc/loadavg: 8.48 6.60 5.27 2/201 13057 /proc/meminfo: memFree=31493728/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=26004064 memory=43808 CPUtime=0.5 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 9112 0 0 0 47 3 0 0 20 0 20 0 96866560 26628161536 10952 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6501016 10952 3110 1 0 6488269 0 [pid=13038/tid=13039] ppid=13036 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) R 13036 13036 10735 0 -1 1077944384 6078 0 0 0 27 2 0 0 20 0 20 0 96866561 26628161536 10952 33554432000 4194304 4196468 140721794809392 140094164409968 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13043] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13043/stat : 13043 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093715765776 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13044] ppid=13036 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13038/task/13044/stat : 13044 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093714713488 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13045] ppid=13036 vsize=26004064 memory=140003518804911 CPUtime=0 cores=0-7 /proc/13038/task/13045/stat : 13045 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093713660688 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13046] ppid=13036 vsize=26004064 memory=140003518807216 CPUtime=0 cores=0-7 /proc/13038/task/13046/stat : 13046 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093712608400 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13047] ppid=13036 vsize=26004064 memory=140003518809520 CPUtime=0 cores=0-7 /proc/13038/task/13047/stat : 13047 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866562 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093711555600 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13048] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13048/stat : 13048 (java) S 13036 13036 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96866563 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093556017264 140094160181890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13049] ppid=13036 vsize=26004064 memory=280007037626000 CPUtime=0 cores=0-7 /proc/13038/task/13049/stat : 13049 (java) S 13036 13036 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96866563 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093554963232 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13050] ppid=13036 vsize=26004064 memory=280007037632912 CPUtime=0 cores=0-7 /proc/13038/task/13050/stat : 13050 (java) S 13036 13036 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96866564 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093553910896 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13051] ppid=13036 vsize=26004064 memory=280007037574192 CPUtime=0 cores=0-7 /proc/13038/task/13051/stat : 13051 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866566 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093552859216 140094160189339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13052] ppid=13036 vsize=26004064 memory=280007037646736 CPUtime=0.03 cores=0-7 /proc/13038/task/13052/stat : 13052 (java) S 13036 13036 10735 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 20 0 96866566 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093551807088 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13053] ppid=13036 vsize=26004064 memory=280007037653648 CPUtime=0.02 cores=0-7 /proc/13038/task/13053/stat : 13053 (java) S 13036 13036 10735 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 96866566 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093550754288 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13054] ppid=13036 vsize=26004064 memory=280007037651344 CPUtime=0.02 cores=0-7 /proc/13038/task/13054/stat : 13054 (java) S 13036 13036 10735 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 96866566 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093549702000 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13055] ppid=13036 vsize=26004064 memory=280007037667504 CPUtime=0.11 cores=0-7 /proc/13038/task/13055/stat : 13055 (java) R 13036 13036 10735 0 -1 4202560 840 0 0 0 11 0 0 0 20 0 20 0 96866566 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093548645568 140094160192090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13056] ppid=13036 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13056/stat : 13056 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96866567 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093547596128 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13057] ppid=13036 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13038/task/13057/stat : 13057 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866567 26628161536 10952 33554432000 4194304 4196468 140721794809392 140093546543408 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45192 KiB [startup+0.700884 s] /proc/loadavg: 8.48 6.60 5.27 2/201 13057 /proc/meminfo: memFree=31480452/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=26006188 memory=84864 CPUtime=1.67 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 12918 0 0 0 161 6 0 0 20 0 20 0 96866560 26630336512 21216 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6501547 21216 3204 1 0 6488781 0 [pid=13038/tid=13039] ppid=13036 vsize=26006188 memory=280007038025392 CPUtime=0.66 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) R 13036 13036 10735 0 -1 4202560 6983 0 0 0 63 3 0 0 20 0 20 0 96866561 26630336512 21216 33554432000 4194304 4196468 140721794809392 140094164408880 140093801563712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=26006188 memory=140003519013744 CPUtime=0 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26630336512 21216 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26630336512 21216 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=26006188 memory=5672 CPUtime=0 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96866562 26630336512 21216 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 ################ # More data... # ################ [pid=13038/tid=13200] ppid=13036 vsize=26607312 memory=3804 CPUtime=0.65 cores=0-7 /proc/13038/task/13200/stat : 13200 (java) S 13036 13036 10735 0 -1 1077944384 26 0 0 0 65 0 0 0 20 0 28 0 96881598 27245887488 268626 33554432000 4194304 4196468 140721794809392 140093533274768 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 1039.85 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 1075888 KiB [startup+222.305 s] /proc/loadavg: 6.35 6.56 5.56 9/210 13264 /proc/meminfo: memFree=30514088/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=26607312 memory=1022116 CPUtime=1420.8 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 212306 0 1 0 141887 193 0 0 20 0 28 0 96866560 27245887488 255529 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6651828 255529 3296 1 0 6639062 0 [pid=13038/tid=13039] ppid=13036 vsize=26607312 memory=1022116 CPUtime=0.89 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) S 13036 13036 10735 0 -1 1077944384 10338 0 0 0 85 4 0 0 20 0 28 0 96866561 27245887488 255529 33554432000 4194304 4196468 140721794809392 140094164411520 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=26607312 memory=1022116 CPUtime=0.13 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1095 0 0 0 7 6 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=26607312 memory=1038000 CPUtime=0.13 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 2021 0 0 0 8 5 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=26607312 memory=1038000 CPUtime=0.13 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1720 0 0 0 7 6 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13043] ppid=13036 vsize=26607312 memory=1022116 CPUtime=0.13 cores=0-7 /proc/13038/task/13043/stat : 13043 (java) S 13036 13036 10735 0 -1 1077944384 1370 0 0 0 7 6 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093715765776 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13044] ppid=13036 vsize=26607312 memory=1022116 CPUtime=0.12 cores=0-7 /proc/13038/task/13044/stat : 13044 (java) S 13036 13036 10735 0 -1 1077944384 1248 0 0 0 7 5 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093714713488 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13045] ppid=13036 vsize=26607312 memory=1022116 CPUtime=0.12 cores=0-7 /proc/13038/task/13045/stat : 13045 (java) S 13036 13036 10735 0 -1 1077944384 2696 0 0 0 7 5 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093713660688 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13046] ppid=13036 vsize=26607312 memory=1384 CPUtime=0.12 cores=0-7 /proc/13038/task/13046/stat : 13046 (java) S 13036 13036 10735 0 -1 1077944384 1761 0 0 0 6 6 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093712608400 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13047] ppid=13036 vsize=26607312 memory=2344 CPUtime=0.12 cores=0-7 /proc/13038/task/13047/stat : 13047 (java) S 13036 13036 10735 0 -1 1077944384 1388 0 0 0 6 6 0 0 20 0 28 0 96866562 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093711555600 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13048] ppid=13036 vsize=26607312 memory=928 CPUtime=0.13 cores=0-7 /proc/13038/task/13048/stat : 13048 (java) S 13036 13036 10735 0 -1 1077944384 6435 0 0 0 7 6 0 0 20 0 28 0 96866563 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093556017264 140094160181890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13049] ppid=13036 vsize=26607312 memory=1724 CPUtime=0 cores=0-7 /proc/13038/task/13049/stat : 13049 (java) S 13036 13036 10735 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 96866563 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093554963296 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13050] ppid=13036 vsize=26607312 memory=11000 CPUtime=0 cores=0-7 /proc/13038/task/13050/stat : 13050 (java) S 13036 13036 10735 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 96866564 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093553910912 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13051] ppid=13036 vsize=26607312 memory=1037992 CPUtime=0 cores=0-7 /proc/13038/task/13051/stat : 13051 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96866566 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093552859216 140094160189339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13052] ppid=13036 vsize=26607312 memory=0 CPUtime=3.73 cores=0-7 /proc/13038/task/13052/stat : 13052 (java) S 13036 13036 10735 0 -1 1077944384 21968 0 0 0 368 5 0 0 20 0 28 0 96866566 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093551807088 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13053] ppid=13036 vsize=26607312 memory=1384 CPUtime=3.43 cores=0-7 /proc/13038/task/13053/stat : 13053 (java) S 13036 13036 10735 0 -1 1077944384 21103 0 1 0 340 3 0 0 20 0 28 0 96866566 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093550754288 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13054] ppid=13036 vsize=26607312 memory=1038000 CPUtime=4.07 cores=0-7 /proc/13038/task/13054/stat : 13054 (java) S 13036 13036 10735 0 -1 1077944384 30150 0 0 0 399 8 0 0 20 0 28 0 96866566 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093549702000 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13055] ppid=13036 vsize=26607312 memory=6791534058613427641 CPUtime=1.02 cores=0-7 /proc/13038/task/13055/stat : 13055 (java) S 13036 13036 10735 0 -1 1077944384 20388 0 0 0 98 4 0 0 20 0 28 0 96866566 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093548649200 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13056] ppid=13036 vsize=26607312 memory=1296 CPUtime=0 cores=0-7 /proc/13038/task/13056/stat : 13056 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96866567 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093547596128 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13057] ppid=13036 vsize=26607312 memory=1136492 CPUtime=0.06 cores=0-7 /proc/13038/task/13057/stat : 13057 (java) S 13036 13036 10735 0 -1 1077944384 3637 0 0 0 3 3 0 0 20 0 28 0 96866567 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093546543408 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13257] ppid=13036 vsize=26607312 memory=1384 CPUtime=21.7 cores=0-7 /proc/13038/task/13257/stat : 13257 (java) R 13036 13036 10735 0 -1 4202560 778 0 0 0 2170 0 0 0 20 0 28 0 96886572 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093538532872 140093803894501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13258] ppid=13036 vsize=26607312 memory=1022116 CPUtime=22.15 cores=0-7 /proc/13038/task/13258/stat : 13258 (java) R 13036 13036 10735 0 -1 4202560 885 0 0 0 2215 0 0 0 20 0 28 0 96886572 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093533270664 140093805863384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13259] ppid=13036 vsize=26607312 memory=4136 CPUtime=22.14 cores=0-7 /proc/13038/task/13259/stat : 13259 (java) R 13036 13036 10735 0 -1 4202560 1489 0 0 0 2214 0 0 0 20 0 28 0 96886572 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093531165736 140093805681913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13260] ppid=13036 vsize=26607312 memory=27888 CPUtime=22.14 cores=0-7 /proc/13038/task/13260/stat : 13260 (java) R 13036 13036 10735 0 -1 4202560 1191 0 0 0 2213 1 0 0 20 0 28 0 96886572 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093535375208 140093809876555 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13261] ppid=13036 vsize=26607312 memory=1296 CPUtime=22.14 cores=0-7 /proc/13038/task/13261/stat : 13261 (java) R 13036 13036 10735 0 -1 4202560 944 0 0 0 2214 0 0 0 20 0 28 0 96886573 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093528015120 140093809876449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13262] ppid=13036 vsize=26607312 memory=2404 CPUtime=22.15 cores=0-7 /proc/13038/task/13262/stat : 13262 (java) R 13036 13036 10735 0 -1 4202560 899 0 0 0 2215 0 0 0 20 0 28 0 96886573 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093532218248 140093804894348 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13263] ppid=13036 vsize=26607312 memory=1732 CPUtime=22.14 cores=0-7 /proc/13038/task/13263/stat : 13263 (java) R 13036 13036 10735 0 -1 4202560 871 0 0 0 2214 0 0 0 20 0 28 0 96886573 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093536430400 140093805515763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13264] ppid=13036 vsize=26607312 memory=796 CPUtime=22.14 cores=0-7 /proc/13038/task/13264/stat : 13264 (java) R 13036 13036 10735 0 -1 4202560 616 0 0 0 2214 0 0 0 20 0 28 0 96886573 27245887488 255529 33554432000 4194304 4196468 140721794809392 140093537480328 140093805863490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 1420.8 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 1023500 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 6.93 6.67 5.63 2/210 13272 /proc/meminfo: memFree=30552348/32770624 swapFree=67108860/67108860 [pid=13036] ppid=13033 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13036/stat : 13036 (xcsp3-exec) S 13033 13036 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 96866560 9740288 346 33554432000 4194304 5098028 140732501950864 140732501948968 140144678118012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17170432 140732501955690 140732501955900 140732501955900 140732501958635 0 /proc/13036/statm: 2378 346 289 221 0 87 0 [pid=13038] ppid=13036 vsize=26607312 memory=983116 CPUtime=1641.3 cores=0-7 /proc/13038/stat : 13038 (java) S 13036 13036 10735 0 -1 1077944320 231651 0 1 0 163921 209 0 0 20 0 28 0 96866560 27245887488 245779 33554432000 4194304 4196468 140721794809392 140721794791936 140094160170743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 /proc/13038/statm: 6651828 245779 3296 1 0 6639062 0 [pid=13038/tid=13039] ppid=13036 vsize=26607312 memory=6791534058613427641 CPUtime=0.89 cores=0-7 /proc/13038/task/13039/stat : 13039 (java) S 13036 13036 10735 0 -1 1077944384 10569 0 0 0 85 4 0 0 20 0 28 0 96866561 27245887488 245779 33554432000 4194304 4196468 140721794809392 140094164411520 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13040] ppid=13036 vsize=26607312 memory=4872558044660077418 CPUtime=0.14 cores=0-7 /proc/13038/task/13040/stat : 13040 (java) S 13036 13036 10735 0 -1 1077944384 1576 0 0 0 8 6 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140094116723088 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13041] ppid=13036 vsize=26607312 memory=2196 CPUtime=0.13 cores=0-7 /proc/13038/task/13041/stat : 13041 (java) S 13036 13036 10735 0 -1 1077944384 2182 0 0 0 8 5 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093717870864 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13042] ppid=13036 vsize=26607312 memory=6760 CPUtime=0.14 cores=0-7 /proc/13038/task/13042/stat : 13042 (java) S 13036 13036 10735 0 -1 1077944384 1868 0 0 0 8 6 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093716818576 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13043] ppid=13036 vsize=26607312 memory=832 CPUtime=0.14 cores=0-7 /proc/13038/task/13043/stat : 13043 (java) S 13036 13036 10735 0 -1 1077944384 2286 0 0 0 8 6 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093715765776 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13044] ppid=13036 vsize=26607312 memory=1692 CPUtime=0.13 cores=0-7 /proc/13038/task/13044/stat : 13044 (java) S 13036 13036 10735 0 -1 1077944384 1525 0 0 0 8 5 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093714713488 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13045] ppid=13036 vsize=26607312 memory=916 CPUtime=0.12 cores=0-7 /proc/13038/task/13045/stat : 13045 (java) S 13036 13036 10735 0 -1 1077944384 3615 0 0 0 7 5 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093713660688 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13046] ppid=13036 vsize=26607312 memory=4184 CPUtime=0.13 cores=0-7 /proc/13038/task/13046/stat : 13046 (java) S 13036 13036 10735 0 -1 1077944384 2056 0 0 0 7 6 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093712608400 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13047] ppid=13036 vsize=26607312 memory=4108 CPUtime=0.14 cores=0-7 /proc/13038/task/13047/stat : 13047 (java) S 13036 13036 10735 0 -1 1077944384 1889 0 0 0 7 7 0 0 20 0 28 0 96866562 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093711555600 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13048] ppid=13036 vsize=26607312 memory=1156 CPUtime=0.17 cores=0-7 /proc/13038/task/13048/stat : 13048 (java) S 13036 13036 10735 0 -1 1077944384 8054 0 0 0 9 8 0 0 20 0 28 0 96866563 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093556017264 140094160181890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13049] ppid=13036 vsize=26607312 memory=1384 CPUtime=0 cores=0-7 /proc/13038/task/13049/stat : 13049 (java) S 13036 13036 10735 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 96866563 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093554963296 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13050] ppid=13036 vsize=26607312 memory=993892 CPUtime=0 cores=0-7 /proc/13038/task/13050/stat : 13050 (java) S 13036 13036 10735 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 96866564 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093553910912 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13051] ppid=13036 vsize=26607312 memory=1384 CPUtime=0 cores=0-7 /proc/13038/task/13051/stat : 13051 (java) S 13036 13036 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96866566 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093552859216 140094160189339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13052] ppid=13036 vsize=26607312 memory=1384 CPUtime=3.73 cores=0-7 /proc/13038/task/13052/stat : 13052 (java) S 13036 13036 10735 0 -1 1077944384 22833 0 0 0 368 5 0 0 20 0 28 0 96866566 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093551807088 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13053] ppid=13036 vsize=26607312 memory=983116 CPUtime=3.43 cores=0-7 /proc/13038/task/13053/stat : 13053 (java) S 13036 13036 10735 0 -1 1077944384 21120 0 1 0 340 3 0 0 20 0 28 0 96866566 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093550754288 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13054] ppid=13036 vsize=26607312 memory=4612 CPUtime=4.07 cores=0-7 /proc/13038/task/13054/stat : 13054 (java) S 13036 13036 10735 0 -1 1077944384 30169 0 0 0 399 8 0 0 20 0 28 0 96866566 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093549702000 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13055] ppid=13036 vsize=26607312 memory=6791534058613427641 CPUtime=1.03 cores=0-7 /proc/13038/task/13055/stat : 13055 (java) S 13036 13036 10735 0 -1 1077944384 21498 0 0 0 98 5 0 0 20 0 28 0 96866566 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093548649200 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13056] ppid=13036 vsize=26607312 memory=1384 CPUtime=0 cores=0-7 /proc/13038/task/13056/stat : 13056 (java) S 13036 13036 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96866567 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093547596128 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13057] ppid=13036 vsize=26607312 memory=16236 CPUtime=0.07 cores=0-7 /proc/13038/task/13057/stat : 13057 (java) S 13036 13036 10735 0 -1 1077944384 3870 0 0 0 4 3 0 0 20 0 28 0 96866567 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093546543408 140094160181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13265] ppid=13036 vsize=26607312 memory=4044 CPUtime=23.23 cores=0-7 /proc/13038/task/13265/stat : 13265 (java) S 13036 13036 10735 0 -1 1077944384 1369 0 0 0 2322 1 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093535379248 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13266] ppid=13036 vsize=26607312 memory=16388 CPUtime=23.13 cores=0-7 /proc/13038/task/13266/stat : 13266 (java) S 13036 13036 10735 0 -1 1077944384 1024 0 0 0 2313 0 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093532222352 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13267] ppid=13036 vsize=26607312 memory=1232 CPUtime=23.23 cores=0-7 /proc/13038/task/13267/stat : 13267 (java) S 13036 13036 10735 0 -1 1077944384 1403 0 0 0 2323 0 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093536433424 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13268] ppid=13036 vsize=26607312 memory=6791534058613427641 CPUtime=23.07 cores=0-7 /proc/13038/task/13268/stat : 13268 (java) S 13036 13036 10735 0 -1 1077944384 2515 0 0 0 2303 4 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093538538640 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13269] ppid=13036 vsize=26607312 memory=1796 CPUtime=23.77 cores=0-7 /proc/13038/task/13269/stat : 13269 (java) R 13036 13036 10735 0 -1 4202560 732 0 0 0 2376 1 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093533270288 140093809876549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13270] ppid=13036 vsize=26607312 memory=956 CPUtime=23.08 cores=0-7 /proc/13038/task/13270/stat : 13270 (java) S 13036 13036 10735 0 -1 1077944384 875 0 0 0 2307 1 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093528020368 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13271] ppid=13036 vsize=26607312 memory=2344 CPUtime=23.23 cores=0-7 /proc/13038/task/13271/stat : 13271 (java) S 13036 13036 10735 0 -1 1077944384 865 0 0 0 2323 0 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093531169552 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 [pid=13038/tid=13272] ppid=13036 vsize=26607312 memory=928 CPUtime=23.1 cores=0-7 /proc/13038/task/13272/stat : 13272 (java) S 13036 13036 10735 0 -1 1077944384 1174 0 0 0 2310 0 0 0 20 0 28 0 96889380 27245887488 245779 33554432000 4194304 4196468 140721794809392 140093537485456 140094160180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25681920 140721794815128 140721794815304 140721794815304 140721794817999 0 Current children cumulated CPU time: 1641.3 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 984500 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.02 s] # the end of solver process 13036 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000952 s, system=0.000952 s [startup+252.041 s] # the end of solver process 13038 was just reported to runsolver # cumulated CPU time of all completed processes: user=1639.24 s, system=2.11416 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.041 CPU time (s): 1641.36 CPU user time (s): 1639.24 CPU system time (s): 2.11416 CPU usage (%): 651.225 Max. virtual memory (cumulated for all children) (KiB): 26616824 Max. memory (cumulated for all children) (KiB): 1182816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1639.24 system time used= 2.11416 maximum resident set size= 1187576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232660 page faults= 1 swaps= 0 block input operations= 24 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16812 involuntary context switches= 19135 # summary of solver processes directly reported to runsolver: # pid: 13036,13038 # total CPU time (s): 1641.36 # total CPU user time (s): 1639.24 # total CPU system time (s): 2.11416 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.63049 second user time and 2.35431 second system time The end
Begin job on node102 at 2017-08-13 17:08:44 IDJOB=4254792 IDBENCH=115817 IDSOLVER=2636 FILE ID=node102/4254792-1502637782 RUNJOBID= node102-1502634636-10762 PBS_JOBID= 20628324 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-1.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-4254792-1502637782/watcher-4254792-1502637782 -o /tmp/evaluation-result-4254792-1502637782/solver-4254792-1502637782 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1904580343 HOME/instance-4254792-1502637782.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 133cdadaee2e697c51b4261ec7f2679b RANDOM SEED=1904580343 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: 31522556 kB MemAvailable: 31983336 kB Buffers: 112444 kB Cached: 632808 kB SwapCached: 0 kB Active: 638772 kB Inactive: 158776 kB Active(anon): 4808 kB Inactive(anon): 75372 kB Active(file): 633964 kB Inactive(file): 83404 kB Unevictable: 6444 kB Mlocked: 6444 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7920 kB Writeback: 0 kB AnonPages: 57200 kB Mapped: 43192 kB Shmem: 25228 kB Slab: 144792 kB SReclaimable: 118496 kB SUnreclaim: 26296 kB KernelStack: 3536 kB PageTables: 5444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323792 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= 61904 MiB End job on node102 at 2017-08-13 17:12:56