Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | UNSAT | 1752.39 | 1752.24 |
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 | 85.5465 |
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-4389461-1568329052.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.03 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.06 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.08 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.10 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.10 c intension eq(add(x[2][11],13),x[3][11]) -> extension (support ? 1) - 51tuples 0.00/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.11 c root propagations : 1824 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c ========================================[ Problem Statistics ]=========================================== 0.10/0.11 c | 0.10/0.11 c | Parse time : 0.11 s 0.10/0.11 c | 0.10/0.11 c | Variables: 64 0.10/0.11 c | Domain Sizes: 64..64 0.10/0.11 c | 0.10/0.11 c | Constraints: 49 0.10/0.11 c | Arity: 2..64 -- Binary: 48 0.10/0.11 c | 0.10/0.11 c | Types: 0.10/0.11 c | All Different: 1 0.10/0.11 c | Extension: 48 (nb tuples: 47..62) -- (shared: 0) 0.10/0.11 c | 0.10/0.11 c ========================================================================================================= 0.10/0.11 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.56 c 332 1216 77823 249100 64 0 17 33 24 0.69/0.70 c 465 1597 102798 334536 64 0 17 29 23 0.79/0.84 c 611 2047 128272 419155 64 0 17 29 24 1.00/1.05 c 771 2643 163989 526489 64 0 13 29 22 1.19/1.27 c 947 3311 202571 645164 64 0 17 33 25 1.49/1.52 c 1140 3984 246740 781501 64 0 13 33 24 1.69/1.74 c 1352 4656 286481 916099 64 0 17 33 24 2.00/2.02 c 1585 5369 334574 1069708 64 0 13 33 23 2.29/2.35 c 1841 6301 392170 1246469 64 0 17 33 25 2.59/2.67 c 2122 7298 448898 1432205 64 0 17 37 24 3.00/3.08 c 2431 8439 520425 1641551 64 0 17 33 24 3.39/3.44 c 2770 9578 584206 1847554 64 0 17 33 23 3.89/3.93 c 3142 10998 670122 2121310 64 0 9 33 25 4.39/4.46 c 3551 12547 763198 2419532 64 0 13 33 23 5.00/5.01 c 4000 14064 860049 2738558 64 0 17 33 24 5.49/5.54 c 4493 15529 952659 3054760 64 0 17 33 23 6.19/6.23 c 5035 17411 1073741 3442594 64 0 13 33 24 6.89/7.00 c 5631 19543 1208225 3862451 64 0 17 33 24 7.79/7.85 c 6286 21786 1357607 4332209 64 0 17 33 24 8.69/8.76 c 7006 24282 1515622 4809697 64 0 17 33 23 9.69/9.74 c 7798 26890 1687982 5375662 64 0 13 33 24 10.79/10.87 c 8669 30073 1887882 5976813 64 0 17 33 24 12.00/12.08 c 9627 33355 2098108 6623769 64 0 17 33 24 13.19/13.29 c 10680 37056 2313224 7311972 64 0 13 33 24 14.69/14.76 c 11838 41162 2570907 8118997 64 0 13 33 24 16.29/16.31 c 13111 45591 2842677 8989069 64 0 13 33 24 18.10/18.14 c 14511 50463 3162532 9992709 64 0 13 37 24 20.19/20.20 c 16051 55791 3520460 11088053 64 0 13 33 23 22.39/22.46 c 17745 62205 3918500 12267581 64 0 13 37 24 24.59/24.68 c 19608 68592 4308549 13505552 64 0 13 41 24 27.19/27.22 c 21657 75709 4751723 14856306 64 0 13 33 24 30.19/30.27 c 23910 84054 5285372 16500312 64 0 13 37 24 32.89/32.95 c 26388 92256 5754722 18071445 64 0 9 37 24 36.19/36.29 c 29113 101921 6335499 19946313 64 0 13 37 23 40.10/40.17 c 32110 114146 7016506 22016851 64 0 9 37 23 43.79/43.89 c 35406 126090 7680287 24017162 64 0 13 37 26 48.19/48.25 c 39031 137983 8437712 26487791 64 0 9 37 24 53.59/53.64 c 43018 152322 9376259 29452982 64 0 9 37 24 59.59/59.64 c 47403 168503 10424995 32494991 64 0 13 37 24 65.89/65.95 c 52226 186838 11526117 35910648 64 0 9 37 23 72.19/72.29 c 57531 205839 12630687 39519332 64 0 9 37 23 79.29/79.36 c 63366 226698 13863597 43414781 64 0 9 41 23 87.70/87.76 c 69784 249292 15327124 47857802 64 0 13 37 23 96.50/96.59 c 76843 275155 16868268 52673064 64 0 9 33 23 106.60/106.63 c 84607 303499 18618254 58091016 64 0 13 37 24 116.50/116.52 c 93147 333639 20345409 63509813 64 0 9 33 23 128.20/128.26 c 102541 368729 22403666 69708545 64 0 9 37 23 141.01/141.08 c 112874 405886 24640820 76553937 64 0 9 33 23 155.40/155.40 c 124240 447844 27157067 84165456 64 0 9 37 24 172.11/172.14 c 136742 494710 30072557 93137082 64 0 9 37 23 190.60/190.68 c 150494 546274 33294271 103077122 64 0 9 37 23 209.12/209.18 c 165621 602081 36529768 112969167 64 0 9 37 24 229.41/229.44 c 182260 659120 40042254 124626205 64 0 9 37 24 252.41/252.47 c 200562 728838 44070738 136689502 64 0 9 37 23 278.02/278.04 c 220694 802054 48547615 150592719 64 0 9 37 24 307.62/307.68 c 242839 882819 53711604 166158549 64 0 9 37 24 336.92/336.90 c 267198 972386 58778587 181970545 64 0 9 41 23 370.72/370.75 c 293992 1076316 64698937 199680974 64 0 9 37 23 407.62/407.67 c 323465 1186493 71174104 219550719 64 0 9 41 24 445.43/445.42 c 355885 1302529 77787340 240131703 64 0 9 41 24 491.73/491.78 c 391547 1430431 85843163 265637565 64 0 5 41 23 539.43/539.47 c 430775 1575767 94115362 291418899 64 0 9 41 23 587.15/587.17 c 473925 1718221 102366044 319360166 64 0 9 37 24 648.24/648.24 c 521390 1888446 112934628 352315035 64 0 5 37 23 711.65/711.65 c 573601 2074221 123993653 387144889 64 0 9 37 24 786.66/786.60 c 631033 2285057 137017282 427017352 64 0 9 41 24 860.46/860.45 c 694208 2521200 150032874 467018040 64 0 9 41 25 949.38/949.35 c 763700 2774704 165459066 515413047 64 0 5 37 23 1045.69/1045.69 c 840141 3047269 182104240 568763275 64 0 5 37 23 1152.50/1152.47 c 924226 3357066 200703467 626581387 64 0 5 41 24 1269.61/1269.59 c 1016719 3697167 220993340 690860171 64 0 5 41 23 1398.42/1398.33 c 1118461 4064889 243209000 761995512 64 0 5 41 23 1543.53/1543.44 c 1230377 4480829 268361833 840211404 64 0 5 45 23 1700.44/1700.32 c 1353484 4937028 295489941 925227964 64 0 5 41 23 1752.35/1752.23 s UNSATISFIABLE 1752.35/1752.23 c restarts : 76 1752.35/1752.23 c conflicts : 1393206 (795 /sec) 1752.35/1752.23 c decisions : 5093290 (2906 /sec) 1752.35/1752.23 c propagations : 952659362 (543637 /sec) 1752.35/1752.23 c root propagations : 1824 1752.35/1752.23 c filter calls : 304462970 (173743 /sec) 1752.35/1752.23 c useless filter calls : 50547452 (16 %) 1752.35/1752.23 c Memory used : 27.50 MB 1752.35/1752.23 c CPU time : 1752.38 s 1752.35/1752.23 c real time : 1752.23 s 1752.35/1752.23
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 (13459 MiB free) memory of node 1: 16384 MiB (15711 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389461-1568329052/watcher-4389461-1568329052 -o /tmp/evaluation-result-4389461-1568329052/solver-4389461-1568329052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389461-1568329052.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 solver pid=9995, runsolver pid=9992 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29870776/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4452 CPUtime=0.1 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1295 0 0 0 10 0 0 0 20 0 1 0 408846926 28827648 1113 33554432000 4194304 6210612 140730798884464 140730798881000 139923469401491 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1113 829 493 0 343 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4452 KiB [startup+0.210655 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29870404/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4716 CPUtime=0.21 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1344 0 0 0 21 0 0 0 20 0 1 0 408846926 28827648 1179 33554432000 4194304 6210612 140730798884464 140730798881000 5081025 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1179 861 493 0 343 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4716 KiB [startup+0.310149 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29870404/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4716 CPUtime=0.31 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1345 0 0 0 31 0 0 0 20 0 1 0 408846926 28827648 1179 33554432000 4194304 6210612 140730798884464 140730798881000 5078708 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1179 861 493 0 343 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4716 KiB [startup+0.700299 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29869964/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4716 CPUtime=0.69 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1345 0 0 0 69 0 0 0 20 0 1 0 408846926 28827648 1179 33554432000 4194304 6210612 140730798884464 140730798882424 5080991 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1179 861 493 0 343 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4716 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29869964/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4716 CPUtime=1.49 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1345 0 0 0 149 0 0 0 20 0 1 0 408846926 28827648 1179 33554432000 4194304 6210612 140730798884464 140730798882424 5081990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1179 861 493 0 343 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4716 KiB [startup+3.11013 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29870068/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=3.1 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1536 0 0 0 310 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5081399 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9996 /proc/meminfo: memFree=29869912/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=6.29 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1727 0 0 0 629 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5078397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/200 9998 /proc/meminfo: memFree=29869580/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=12.69 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 1917 0 0 0 1269 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5074860 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9998 /proc/meminfo: memFree=29869628/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=25.49 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 2300 0 0 0 2549 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5078976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+51.1102 s] /proc/loadavg: 2.00 2.01 2.05 3/199 9999 /proc/meminfo: memFree=29869628/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=51.1 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 2490 0 0 0 5110 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5079006 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10006 /proc/meminfo: memFree=29870004/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=102.3 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 2681 0 0 0 10230 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5081335 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10010 /proc/meminfo: memFree=29869944/32770688 swapFree=66960972/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=162.3 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 2871 0 0 0 16230 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5076063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10022 /proc/meminfo: memFree=29869824/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=222.31 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 3061 0 0 0 22231 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5080969 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/203 10055 /proc/meminfo: memFree=29868640/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=282.31 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 3067 0 0 0 28231 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5074136 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/202 10059 /proc/meminfo: memFree=29869092/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=342.32 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 3258 0 0 0 34232 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5074860 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/202 10063 /proc/meminfo: memFree=29868644/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=402.32 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 3258 0 0 0 40232 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5078384 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/203 10069 /proc/meminfo: memFree=29868620/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=462.33 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 3449 0 0 0 46233 0 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5192880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB ################ # More data... # ################ Current children cumulated memory: 4732 KiB [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10203 /proc/meminfo: memFree=29870048/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1302.41 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 4786 0 0 0 130240 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5078384 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1302.41 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1362.3 s] /proc/loadavg: 1.99 2.01 2.04 3/200 10270 /proc/meminfo: memFree=29369688/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1362.42 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 4786 0 0 0 136241 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5074024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1362.42 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1422.3 s] /proc/loadavg: 2.00 2.01 2.04 3/202 10284 /proc/meminfo: memFree=26789704/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1422.42 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 4977 0 0 0 142241 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5075219 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1422.42 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.04 3/202 10288 /proc/meminfo: memFree=24206028/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1482.43 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 4977 0 0 0 148242 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5081003 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1482.43 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.04 3/203 10294 /proc/meminfo: memFree=21620936/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1542.43 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5161 0 0 0 154242 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5075426 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1542.43 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.04 3/202 10298 /proc/meminfo: memFree=19035524/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1602.44 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5168 0 0 0 160243 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5082025 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1602.44 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.04 3/202 10302 /proc/meminfo: memFree=16458540/32770688 swapFree=66960976/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1662.44 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5347 0 0 0 166243 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5081376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1662.44 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1722.3 s] /proc/loadavg: 2.40 2.13 2.08 3/200 10373 /proc/meminfo: memFree=28237004/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1722.45 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5359 0 0 0 172244 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5081990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1722.45 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1752.24 s] # the end of solver process 9995 was just reported to runsolver # cumulated CPU time of all completed processes: user=1752.38 s, system=0.013001 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1728 s]* /proc/loadavg: 2.36 2.13 2.08 3/199 10373 /proc/meminfo: memFree=27977744/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1728.16 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5359 0 0 0 172815 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5075248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1728.16 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1740.8 s] /proc/loadavg: 2.28 2.12 2.08 3/199 10373 /proc/meminfo: memFree=27460108/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1740.95 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 174094 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5078394 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1740.95 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1747.2 s] /proc/loadavg: 2.26 2.12 2.08 3/199 10374 /proc/meminfo: memFree=27157972/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1747.35 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 174734 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5080933 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1747.35 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1750.4 s] /proc/loadavg: 2.24 2.12 2.08 3/199 10374 /proc/meminfo: memFree=27028660/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1750.55 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 175054 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5079072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1750.55 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1751.2 s] /proc/loadavg: 2.24 2.12 2.08 3/199 10374 /proc/meminfo: memFree=26985184/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1751.35 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 175134 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5080821 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1751.35 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1752 s]* /proc/loadavg: 2.24 2.12 2.08 3/199 10374 /proc/meminfo: memFree=26942064/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1752.16 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 175215 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5082029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1752.16 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB [startup+1752.2 s] /proc/loadavg: 2.24 2.12 2.08 3/199 10374 /proc/meminfo: memFree=26942064/32770688 swapFree=66960980/67108860 [pid=9995] ppid=9992 vsize=28152 memory=4732 CPUtime=1752.35 cores=0-3 /proc/9995/stat : 9995 (cosoco) R 9992 9995 6407 0 -1 4202496 5537 0 0 0 175234 1 0 0 20 0 1 0 408846926 28827648 1183 33554432000 4194304 6210612 140730798884464 140730798882424 5080977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15355904 140730798887947 140730798888049 140730798888049 140730798890958 0 /proc/9995/statm: 7038 1183 864 493 0 343 0 Current children cumulated CPU time: 1752.35 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4732 KiB Child status: 0 Real time (s): 1752.24 CPU time (s): 1752.39 CPU user time (s): 1752.38 CPU system time (s): 0.013001 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 28152 Max. memory (cumulated for all children) (KiB): 4732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.38 system time used= 0.013001 maximum resident set size= 4800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5586 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= 440 # summary of solver processes directly reported to runsolver: # pid: 9995 # total CPU time (s): 1752.39 # total CPU user time (s): 1752.38 # total CPU system time (s): 0.013001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.07967 second user time and 12.5543 second system time The end
Begin job on node116 at 2019-09-13 00:56:52 IDJOB=4389461 IDBENCH=124313 IDSOLVER=2829 FILE ID=node116/4389461-1568329052 RUNJOBID= node116-1568311136-6438 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 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-4389461-1568329052/watcher-4389461-1568329052 -o /tmp/evaluation-result-4389461-1568329052/solver-4389461-1568329052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389461-1568329052.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640 RANDOM SEED=1831652789 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: 29871812 kB MemAvailable: 31846140 kB Buffers: 81276 kB Cached: 2170660 kB SwapCached: 46708 kB Active: 818644 kB Inactive: 1487216 kB Active(anon): 5608 kB Inactive(anon): 88776 kB Active(file): 813036 kB Inactive(file): 1398440 kB Unevictable: 110248 kB Mlocked: 110248 kB SwapTotal: 67108860 kB SwapFree: 66960972 kB Dirty: 2540 kB Writeback: 0 kB AnonPages: 132924 kB Mapped: 44352 kB Shmem: 31876 kB Slab: 186156 kB SReclaimable: 157376 kB SUnreclaim: 28780 kB KernelStack: 3760 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 530124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 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= 56880 MiB End job on node116 at 2019-09-13 01:26:04