Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | UNSAT | 1714.87 | 1714.72 |
Name | Langford/Langford-m1-k4/ Langford-4-16.xml |
MD5SUM | a550bb6a39ca50ab9210b9c0283e2640 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 84.7029 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 49 |
Number of domains | 1 |
Minimum domain size | 64 |
Maximum domain size | 64 |
Distribution of domain sizes | [{"size":64,"count":64}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":32},{"degree":3,"count":32}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":2,"count":48},{"arity":64,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 48 |
Distribution of constraint types | [{"type":"intension","count":48},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c 0.00/0.00 c This is cosoco 2.00 -- 0.00/0.00 c 0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408544-1569790915.xml 0.00/0.00 c intension eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 62tuples 0.00/0.01 c intension eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 61tuples 0.00/0.01 c intension eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 60tuples 0.00/0.01 c intension eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 59tuples 0.00/0.01 c intension eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 58tuples 0.00/0.02 c intension eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 57tuples 0.00/0.02 c intension eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 56tuples 0.00/0.02 c intension eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 55tuples 0.00/0.02 c intension eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 54tuples 0.00/0.02 c intension eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 53tuples 0.00/0.03 c intension eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 52tuples 0.00/0.03 c intension eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 51tuples 0.00/0.03 c intension eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 50tuples 0.00/0.03 c intension eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 49tuples 0.00/0.04 c intension eq(add(x[0][14],16),x[1][14]) -> extension (support ? 1) - 48tuples 0.00/0.04 c intension eq(add(x[0][15],17),x[1][15]) -> extension (support ? 1) - 47tuples 0.00/0.04 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 62tuples 0.00/0.04 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 61tuples 0.00/0.05 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 60tuples 0.00/0.05 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 59tuples 0.00/0.05 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 58tuples 0.00/0.05 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 57tuples 0.00/0.05 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 56tuples 0.00/0.06 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 55tuples 0.00/0.06 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 54tuples 0.00/0.06 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 53tuples 0.00/0.06 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 52tuples 0.00/0.07 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 51tuples 0.00/0.07 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 50tuples 0.00/0.07 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 49tuples 0.00/0.07 c intension eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 48tuples 0.00/0.07 c intension eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 47tuples 0.00/0.08 c intension eq(add(x[2][0],2),x[3][0]) -> extension (support ? 1) - 62tuples 0.00/0.08 c intension eq(add(x[2][1],3),x[3][1]) -> extension (support ? 1) - 61tuples 0.00/0.08 c intension eq(add(x[2][2],4),x[3][2]) -> extension (support ? 1) - 60tuples 0.00/0.08 c intension eq(add(x[2][3],5),x[3][3]) -> extension (support ? 1) - 59tuples 0.00/0.09 c intension eq(add(x[2][4],6),x[3][4]) -> extension (support ? 1) - 58tuples 0.00/0.09 c intension eq(add(x[2][5],7),x[3][5]) -> extension (support ? 1) - 57tuples 0.00/0.09 c intension eq(add(x[2][6],8),x[3][6]) -> extension (support ? 1) - 56tuples 0.00/0.09 c intension eq(add(x[2][7],9),x[3][7]) -> extension (support ? 1) - 55tuples 0.00/0.09 c intension eq(add(x[2][8],10),x[3][8]) -> extension (support ? 1) - 54tuples 0.00/0.10 c intension eq(add(x[2][9],11),x[3][9]) -> extension (support ? 1) - 53tuples 0.00/0.10 c intension eq(add(x[2][10],12),x[3][10]) -> extension (support ? 1) - 52tuples 0.00/0.11 c intension eq(add(x[2][11],13),x[3][11]) -> extension (support ? 1) - 51tuples 0.10/0.11 c intension eq(add(x[2][12],14),x[3][12]) -> extension (support ? 1) - 50tuples 0.10/0.11 c intension eq(add(x[2][13],15),x[3][13]) -> extension (support ? 1) - 49tuples 0.10/0.11 c intension eq(add(x[2][14],16),x[3][14]) -> extension (support ? 1) - 48tuples 0.10/0.11 c intension eq(add(x[2][15],17),x[3][15]) -> extension (support ? 1) - 47tuples 0.10/0.12 c root propagations : 1824 0.10/0.12 c restarts enabled, print stats at every restarts 0.10/0.12 c 0.10/0.12 c 0.10/0.12 c ========================================[ Problem Statistics ]=========================================== 0.10/0.12 c | 0.10/0.12 c | Parse time : 0.11 s 0.10/0.12 c | 0.10/0.12 c | Variables: 64 0.10/0.12 c | Domain Sizes: 64..64 0.10/0.12 c | 0.10/0.12 c | Constraints: 49 0.10/0.12 c | Arity: 2..64 -- Binary: 48 0.10/0.12 c | 0.10/0.12 c | Types: 0.10/0.12 c | All Different: 1 0.10/0.12 c | Extension: 48 (nb tuples: 47..62) -- (shared: 0) 0.10/0.12 c | 0.10/0.12 c ========================================================================================================= 0.10/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.23 c 101 341 20476 67383 64 0 17 29 22 0.31/0.40 c 211 823 51249 157264 64 0 17 33 23 0.51/0.55 c 332 1216 77823 249100 64 0 17 33 24 0.60/0.69 c 465 1597 102798 334536 64 0 17 29 23 0.79/0.83 c 611 2047 128272 419155 64 0 17 29 24 1.00/1.03 c 771 2643 163989 526489 64 0 13 29 22 1.19/1.25 c 947 3311 202571 645164 64 0 17 33 25 1.39/1.49 c 1140 3984 246740 781501 64 0 13 33 24 1.69/1.71 c 1352 4656 286481 916099 64 0 17 33 24 1.89/1.98 c 1585 5369 334574 1069708 64 0 13 33 23 2.29/2.30 c 1841 6301 392170 1246469 64 0 17 33 25 2.59/2.62 c 2122 7298 448898 1432205 64 0 17 37 24 3.00/3.02 c 2431 8439 520425 1641551 64 0 17 33 24 3.29/3.38 c 2770 9578 584206 1847554 64 0 17 33 23 3.79/3.85 c 3142 10998 670122 2121310 64 0 9 33 25 4.29/4.37 c 3551 12547 763198 2419532 64 0 13 33 23 4.89/4.91 c 4000 14064 860049 2738558 64 0 17 33 24 5.39/5.43 c 4493 15529 952659 3054760 64 0 17 33 23 6.10/6.11 c 5035 17411 1073741 3442594 64 0 13 33 24 6.79/6.86 c 5631 19543 1208225 3862451 64 0 17 33 24 7.59/7.69 c 6286 21786 1357607 4332209 64 0 17 33 24 8.49/8.57 c 7006 24282 1515622 4809697 64 0 17 33 23 9.49/9.54 c 7798 26890 1687982 5375662 64 0 13 33 24 10.59/10.65 c 8669 30073 1887882 5976813 64 0 17 33 24 11.79/11.82 c 9627 33355 2098108 6623769 64 0 17 33 24 13.00/13.02 c 10680 37056 2313224 7311972 64 0 13 33 24 14.39/14.45 c 11838 41162 2570907 8118997 64 0 13 33 24 15.89/15.97 c 13111 45591 2842677 8989069 64 0 13 33 24 17.69/17.76 c 14511 50463 3162532 9992709 64 0 13 37 24 19.69/19.77 c 16051 55791 3520460 11088053 64 0 13 33 23 21.89/21.99 c 17745 62205 3918500 12267581 64 0 13 37 24 24.10/24.16 c 19608 68592 4308549 13505552 64 0 13 41 24 26.59/26.64 c 21657 75709 4751723 14856306 64 0 13 33 24 29.59/29.62 c 23910 84054 5285372 16500312 64 0 13 37 24 32.19/32.25 c 26388 92256 5754722 18071445 64 0 9 37 24 35.49/35.52 c 29113 101921 6335499 19946313 64 0 13 37 23 39.29/39.31 c 32110 114146 7016506 22016851 64 0 9 37 23 42.89/42.96 c 35406 126090 7680287 24017162 64 0 13 37 26 47.19/47.23 c 39031 137983 8437712 26487791 64 0 9 37 24 52.39/52.50 c 43018 152322 9376259 29452982 64 0 9 37 24 58.29/58.36 c 47403 168503 10424995 32494991 64 0 13 37 24 64.49/64.53 c 52226 186838 11526117 35910648 64 0 9 37 23 70.69/70.74 c 57531 205839 12630687 39519332 64 0 9 37 23 77.59/77.65 c 63366 226698 13863597 43414781 64 0 9 41 23 85.79/85.87 c 69784 249292 15327124 47857802 64 0 13 37 23 94.50/94.51 c 76843 275155 16868268 52673064 64 0 9 33 23 104.30/104.33 c 84607 303499 18618254 58091016 64 0 13 37 24 114.01/114.01 c 93147 333639 20345409 63509813 64 0 9 33 23 125.40/125.49 c 102541 368729 22403666 69708545 64 0 9 37 23 138.01/138.03 c 112874 405886 24640820 76553937 64 0 9 33 23 152.01/152.06 c 124240 447844 27157067 84165456 64 0 9 37 24 168.40/168.44 c 136742 494710 30072557 93137082 64 0 9 37 23 186.50/186.56 c 150494 546274 33294271 103077122 64 0 9 37 23 204.61/204.67 c 165621 602081 36529768 112969167 64 0 9 37 24 224.51/224.50 c 182260 659120 40042254 124626205 64 0 9 37 24 247.02/247.01 c 200562 728838 44070738 136689502 64 0 9 37 23 272.02/272.06 c 220694 802054 48547615 150592719 64 0 9 37 24 301.02/301.05 c 242839 882819 53711604 166158549 64 0 9 37 24 329.62/329.62 c 267198 972386 58778587 181970545 64 0 9 41 23 362.72/362.73 c 293992 1076316 64698937 199680974 64 0 9 37 23 398.92/398.91 c 323465 1186493 71174104 219550719 64 0 9 41 24 435.83/435.87 c 355885 1302529 77787340 240131703 64 0 9 41 24 481.23/481.23 c 391547 1430431 85843163 265637565 64 0 5 41 23 527.83/527.89 c 430775 1575767 94115362 291418899 64 0 9 41 23 574.54/574.58 c 473925 1718221 102366044 319360166 64 0 9 37 24 634.34/634.31 c 521390 1888446 112934628 352315035 64 0 5 37 23 696.45/696.41 c 573601 2074221 123993653 387144889 64 0 9 37 24 769.75/769.73 c 631033 2285057 137017282 427017352 64 0 9 41 24 842.17/842.15 c 694208 2521200 150032874 467018040 64 0 9 41 25 929.07/929.09 c 763700 2774704 165459066 515413047 64 0 5 37 23 1023.37/1023.35 c 840141 3047269 182104240 568763275 64 0 5 37 23 1127.98/1127.91 c 924226 3357066 200703467 626581387 64 0 5 41 24 1242.59/1242.52 c 1016719 3697167 220993340 690860171 64 0 5 41 23 1368.50/1368.47 c 1118461 4064889 243209000 761995512 64 0 5 41 23 1510.51/1510.42 c 1230377 4480829 268361833 840211404 64 0 5 45 23 1664.03/1663.92 c 1353484 4937028 295489941 925227964 64 0 5 41 23 1714.83/1714.72 s UNSATISFIABLE 1714.83/1714.72 c restarts : 76 1714.83/1714.72 c conflicts : 1393206 (812 /sec) 1714.83/1714.72 c decisions : 5093290 (2970 /sec) 1714.83/1714.72 c propagations : 952659362 (555532 /sec) 1714.83/1714.72 c root propagations : 1824 1714.83/1714.72 c filter calls : 304462970 (177544 /sec) 1714.83/1714.72 c useless filter calls : 50547452 (16 %) 1714.83/1714.72 c Memory used : 27.50 MB 1714.83/1714.72 c CPU time : 1714.86 s 1714.83/1714.72 c real time : 1714.72 s 1714.83/1714.72
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (15382 MiB free) memory of node 1: 16384 MiB (15338 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408544-1569790915/watcher-4408544-1569790915 -o /tmp/evaluation-result-4408544-1569790915/solver-4408544-1569790915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408544-1569790915.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=26986, runsolver pid=26983 [startup+0.100466 s]* /proc/loadavg: 2.00 2.02 1.97 3/202 26987 /proc/meminfo: memFree=31457920/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4464 CPUtime=0.1 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1298 0 0 0 10 0 0 0 20 0 1 0 555033033 28827648 1116 33554432000 4194304 6211132 140729473287872 140729473282776 139730886974437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1116 832 493 0 343 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4464 KiB [startup+0.210754 s]* /proc/loadavg: 2.00 2.02 1.97 3/202 26987 /proc/meminfo: memFree=31457548/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4728 CPUtime=0.21 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1349 0 0 0 21 0 0 0 20 0 1 0 555033033 28827648 1182 33554432000 4194304 6211132 140729473287872 140729473282776 5193742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1182 864 493 0 343 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4728 KiB [startup+0.310199 s]* /proc/loadavg: 2.00 2.02 1.97 3/202 26987 /proc/meminfo: memFree=31457548/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4728 CPUtime=0.31 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1349 0 0 0 31 0 0 0 20 0 1 0 555033033 28827648 1182 33554432000 4194304 6211132 140729473287872 140729473282776 5082423 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1182 864 493 0 343 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4728 KiB [startup+0.700288 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26987 /proc/meminfo: memFree=31457052/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4728 CPUtime=0.69 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1349 0 0 0 69 0 0 0 20 0 1 0 555033033 28827648 1182 33554432000 4194304 6211132 140729473287872 140729473285832 5186208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1182 864 493 0 343 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4728 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26987 /proc/meminfo: memFree=31457052/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4728 CPUtime=1.49 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1349 0 0 0 149 0 0 0 20 0 1 0 555033033 28827648 1182 33554432000 4194304 6211132 140729473287872 140729473285832 5082823 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1182 864 493 0 343 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4728 KiB [startup+3.11035 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26988 /proc/meminfo: memFree=31457176/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=3.1 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1540 0 0 0 310 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081360 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26988 /proc/meminfo: memFree=31457148/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=6.29 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1731 0 0 0 629 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5075568 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26988 /proc/meminfo: memFree=31457336/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=12.69 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 1921 0 0 0 1269 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5079232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 1.97 3/202 26988 /proc/meminfo: memFree=31457148/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=25.49 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 2304 0 0 0 2549 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081703 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+51.1103 s] /proc/loadavg: 2.00 2.01 1.97 3/202 26990 /proc/meminfo: memFree=31457100/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=51.1 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 2494 0 0 0 5110 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5078951 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.97 3/202 26994 /proc/meminfo: memFree=31456924/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=102.3 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 2685 0 0 0 10230 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5082803 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.97 3/202 26998 /proc/meminfo: memFree=31456480/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=162.3 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 2875 0 0 0 16230 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081762 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.97 3/202 27004 /proc/meminfo: memFree=31456052/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=222.31 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 3065 0 0 0 22231 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5082376 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.97 3/201 27008 /proc/meminfo: memFree=31456092/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=282.31 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 3071 0 0 0 28231 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081762 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27012 /proc/meminfo: memFree=31456324/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=342.32 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 3262 0 0 0 34232 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27018 /proc/meminfo: memFree=31456248/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=402.32 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 3262 0 0 0 40232 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5075532 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27022 /proc/meminfo: memFree=31455964/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=462.33 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 3453 0 0 0 46233 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5076434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB ################ # More data... # ################ Current children cumulated memory: 4748 KiB [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27169 /proc/meminfo: memFree=31301516/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1362.4 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 4778 0 0 0 136240 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5074395 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1362.4 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1422.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27173 /proc/meminfo: memFree=31295100/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1422.41 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 4969 0 0 0 142241 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081371 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1422.41 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27180 /proc/meminfo: memFree=31294884/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1482.41 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 4969 0 0 0 148241 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5074429 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1482.41 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27184 /proc/meminfo: memFree=31295112/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1542.42 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5165 0 0 0 154242 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1542.42 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27188 /proc/meminfo: memFree=31295000/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1602.42 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5165 0 0 0 160242 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5075807 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1602.42 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27195 /proc/meminfo: memFree=31295088/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1662.43 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5344 0 0 0 166243 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5082393 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1662.43 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1714.72 s] # the end of solver process 26986 was just reported to runsolver # cumulated CPU time of all completed processes: user=1714.86 s, system=0.009 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1664 s]* /proc/loadavg: 2.00 2.01 1.97 3/199 27195 /proc/meminfo: memFree=31295088/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1664.14 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 166414 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5017476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1664.14 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1689.6 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27196 /proc/meminfo: memFree=31295216/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1689.73 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 168973 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5017296 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1689.73 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1702.4 s] /proc/loadavg: 2.00 2.01 1.97 3/200 27198 /proc/meminfo: memFree=31294608/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1702.53 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 170253 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1702.53 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1708.8 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294460/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1708.93 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 170893 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5074376 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1708.93 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1712 s]* /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294412/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1712.14 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 171214 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5079092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1712.14 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1713.6 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294412/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1713.73 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 171373 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5081325 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1713.73 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1714.4 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294412/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1714.53 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 171453 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5075263 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1714.53 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1714.6 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294412/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1714.73 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 171473 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5075092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1714.73 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB [startup+1714.7 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27199 /proc/meminfo: memFree=31294412/32770688 swapFree=67001368/67108860 [pid=26986] ppid=26983 vsize=28152 memory=4748 CPUtime=1714.83 cores=4-7 /proc/26986/stat : 26986 (cosoco) R 26983 26986 26332 0 -1 4202496 5356 0 0 0 171483 0 0 0 20 0 1 0 555033033 28827648 1187 33554432000 4194304 6211132 140729473287872 140729473285832 5082487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38096896 140729473291275 140729473291377 140729473291377 140729473294286 0 /proc/26986/statm: 7038 1187 868 493 0 343 0 Current children cumulated CPU time: 1714.83 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4748 KiB Child status: 0 Real time (s): 1714.72 CPU time (s): 1714.87 CPU user time (s): 1714.86 CPU system time (s): 0.009 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 28152 Max. memory (cumulated for all children) (KiB): 4748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1714.86 system time used= 0.009 maximum resident set size= 4812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5393 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 454 # summary of solver processes directly reported to runsolver: # pid: 26986 # total CPU time (s): 1714.87 # total CPU user time (s): 1714.86 # total CPU system time (s): 0.009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.77496 second user time and 13.3478 second system time The end
Begin job on node116 at 2019-09-29 23:01:13 IDJOB=4408544 IDBENCH=124313 IDSOLVER=2875 FILE ID=node116/4408544-1569790915 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62024 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408544-1569790915/watcher-4408544-1569790915 -o /tmp/evaluation-result-4408544-1569790915/solver-4408544-1569790915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408544-1569790915.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640 RANDOM SEED=941120075 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31458008 kB MemAvailable: 31809768 kB Buffers: 188372 kB Cached: 483284 kB SwapCached: 3260 kB Active: 422632 kB Inactive: 301320 kB Active(anon): 69624 kB Inactive(anon): 63324 kB Active(file): 353008 kB Inactive(file): 237996 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 158952 kB Mapped: 27832 kB Shmem: 72416 kB Slab: 183500 kB SReclaimable: 153180 kB SUnreclaim: 30320 kB KernelStack: 3568 kB PageTables: 5980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 614324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61992 MiB End job on node116 at 2019-09-29 23:29:48