Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2519.82 | 2520.01 |
Name | Langford/Langford-m1-k3/ Langford-3-35.xml |
MD5SUM | d39bc1ef1e07e502cfee7f2819d89a2a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 46.1491 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 71 |
Number of domains | 1 |
Minimum domain size | 105 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":105,"count":105}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":3,"count":35}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 105 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":105,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 70 |
Distribution of constraint types | [{"type":"intension","count":70},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389596-1568327803.xml 0.00/0.01 c intension eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 103tuples 0.00/0.01 c intension eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 102tuples 0.00/0.02 c intension eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 101tuples 0.00/0.03 c intension eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 100tuples 0.00/0.03 c intension eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 99tuples 0.00/0.04 c intension eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 98tuples 0.00/0.04 c intension eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 97tuples 0.00/0.05 c intension eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 96tuples 0.00/0.06 c intension eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 95tuples 0.00/0.06 c intension eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 94tuples 0.00/0.07 c intension eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 93tuples 0.00/0.07 c intension eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 92tuples 0.00/0.08 c intension eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 91tuples 0.00/0.09 c intension eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 90tuples 0.00/0.09 c intension eq(add(x[0][14],16),x[1][14]) -> extension (support ? 1) - 89tuples 0.00/0.10 c intension eq(add(x[0][15],17),x[1][15]) -> extension (support ? 1) - 88tuples 0.00/0.10 c intension eq(add(x[0][16],18),x[1][16]) -> extension (support ? 1) - 87tuples 0.10/0.11 c intension eq(add(x[0][17],19),x[1][17]) -> extension (support ? 1) - 86tuples 0.10/0.11 c intension eq(add(x[0][18],20),x[1][18]) -> extension (support ? 1) - 85tuples 0.10/0.12 c intension eq(add(x[0][19],21),x[1][19]) -> extension (support ? 1) - 84tuples 0.10/0.13 c intension eq(add(x[0][20],22),x[1][20]) -> extension (support ? 1) - 83tuples 0.10/0.13 c intension eq(add(x[0][21],23),x[1][21]) -> extension (support ? 1) - 82tuples 0.10/0.14 c intension eq(add(x[0][22],24),x[1][22]) -> extension (support ? 1) - 81tuples 0.10/0.14 c intension eq(add(x[0][23],25),x[1][23]) -> extension (support ? 1) - 80tuples 0.10/0.15 c intension eq(add(x[0][24],26),x[1][24]) -> extension (support ? 1) - 79tuples 0.10/0.15 c intension eq(add(x[0][25],27),x[1][25]) -> extension (support ? 1) - 78tuples 0.10/0.16 c intension eq(add(x[0][26],28),x[1][26]) -> extension (support ? 1) - 77tuples 0.10/0.17 c intension eq(add(x[0][27],29),x[1][27]) -> extension (support ? 1) - 76tuples 0.10/0.17 c intension eq(add(x[0][28],30),x[1][28]) -> extension (support ? 1) - 75tuples 0.10/0.18 c intension eq(add(x[0][29],31),x[1][29]) -> extension (support ? 1) - 74tuples 0.10/0.18 c intension eq(add(x[0][30],32),x[1][30]) -> extension (support ? 1) - 73tuples 0.10/0.19 c intension eq(add(x[0][31],33),x[1][31]) -> extension (support ? 1) - 72tuples 0.10/0.19 c intension eq(add(x[0][32],34),x[1][32]) -> extension (support ? 1) - 71tuples 0.10/0.20 c intension eq(add(x[0][33],35),x[1][33]) -> extension (support ? 1) - 70tuples 0.10/0.21 c intension eq(add(x[0][34],36),x[1][34]) -> extension (support ? 1) - 69tuples 0.10/0.21 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 103tuples 0.21/0.22 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 102tuples 0.21/0.22 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 101tuples 0.21/0.23 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 100tuples 0.21/0.24 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 99tuples 0.21/0.24 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 98tuples 0.21/0.25 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 97tuples 0.21/0.25 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 96tuples 0.21/0.26 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 95tuples 0.21/0.27 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 94tuples 0.21/0.27 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 93tuples 0.21/0.28 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 92tuples 0.21/0.28 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 91tuples 0.21/0.29 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 90tuples 0.21/0.29 c intension eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 89tuples 0.21/0.30 c intension eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 88tuples 0.21/0.31 c intension eq(add(x[1][16],18),x[2][16]) -> extension (support ? 1) - 87tuples 0.21/0.31 c intension eq(add(x[1][17],19),x[2][17]) -> extension (support ? 1) - 86tuples 0.31/0.32 c intension eq(add(x[1][18],20),x[2][18]) -> extension (support ? 1) - 85tuples 0.31/0.32 c intension eq(add(x[1][19],21),x[2][19]) -> extension (support ? 1) - 84tuples 0.31/0.33 c intension eq(add(x[1][20],22),x[2][20]) -> extension (support ? 1) - 83tuples 0.31/0.33 c intension eq(add(x[1][21],23),x[2][21]) -> extension (support ? 1) - 82tuples 0.31/0.34 c intension eq(add(x[1][22],24),x[2][22]) -> extension (support ? 1) - 81tuples 0.31/0.35 c intension eq(add(x[1][23],25),x[2][23]) -> extension (support ? 1) - 80tuples 0.31/0.35 c intension eq(add(x[1][24],26),x[2][24]) -> extension (support ? 1) - 79tuples 0.31/0.36 c intension eq(add(x[1][25],27),x[2][25]) -> extension (support ? 1) - 78tuples 0.31/0.36 c intension eq(add(x[1][26],28),x[2][26]) -> extension (support ? 1) - 77tuples 0.31/0.37 c intension eq(add(x[1][27],29),x[2][27]) -> extension (support ? 1) - 76tuples 0.31/0.38 c intension eq(add(x[1][28],30),x[2][28]) -> extension (support ? 1) - 75tuples 0.31/0.38 c intension eq(add(x[1][29],31),x[2][29]) -> extension (support ? 1) - 74tuples 0.31/0.39 c intension eq(add(x[1][30],32),x[2][30]) -> extension (support ? 1) - 73tuples 0.31/0.39 c intension eq(add(x[1][31],33),x[2][31]) -> extension (support ? 1) - 72tuples 0.31/0.40 c intension eq(add(x[1][32],34),x[2][32]) -> extension (support ? 1) - 71tuples 0.31/0.40 c intension eq(add(x[1][33],35),x[2][33]) -> extension (support ? 1) - 70tuples 0.31/0.41 c intension eq(add(x[1][34],36),x[2][34]) -> extension (support ? 1) - 69tuples 0.31/0.41 c root propagations : 3990 0.31/0.41 c restarts enabled, print stats at every restarts 0.31/0.41 c 0.31/0.41 c 0.31/0.41 c ========================================[ Problem Statistics ]=========================================== 0.31/0.41 c | 0.31/0.41 c | Parse time : 0.39 s 0.31/0.41 c | 0.31/0.41 c | Variables: 105 0.31/0.41 c | Domain Sizes: 105..105 0.31/0.41 c | 0.31/0.41 c | Constraints: 71 0.31/0.41 c | Arity: 2..105 -- Binary: 70 0.31/0.41 c | 0.31/0.41 c | Types: 0.31/0.41 c | All Different: 1 0.31/0.41 c | Extension: 70 (nb tuples: 69..103) -- (shared: 0) 0.31/0.41 c | 0.31/0.41 c ========================================================================================================= 0.31/0.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.51/0.54 c 101 410 12325 76391 105 0 46 61 53 0.69/0.71 c 211 847 28696 175709 105 0 49 67 57 0.89/0.91 c 332 1391 47803 289085 105 0 46 64 56 1.09/1.11 c 465 1887 66765 416322 105 0 46 61 53 1.29/1.31 c 611 2549 85564 533301 105 0 46 67 54 1.49/1.58 c 771 3288 110459 698497 105 0 52 67 56 1.79/1.84 c 947 4031 135828 841447 105 0 49 67 58 2.19/2.21 c 1140 4998 170748 1067658 105 0 49 70 56 2.49/2.52 c 1352 5921 200560 1243523 105 0 49 67 58 2.79/2.88 c 1585 6865 235197 1458778 105 0 49 67 57 3.19/3.24 c 1841 7976 271264 1681215 105 0 52 70 58 3.69/3.71 c 2122 9352 315876 1956797 105 0 49 67 56 4.10/4.18 c 2431 10717 361422 2249559 105 0 46 70 57 4.69/4.80 c 2770 12316 420157 2624812 105 0 49 70 57 5.39/5.43 c 3142 13960 481245 2990007 105 0 49 67 56 6.00/6.09 c 3551 15485 543483 3368902 105 0 46 70 56 6.59/6.67 c 4000 17272 599074 3777403 105 0 49 67 57 7.39/7.44 c 4493 19499 672697 4247821 105 0 46 67 56 8.10/8.19 c 5035 21913 745425 4696170 105 0 49 70 57 9.00/9.08 c 5631 24675 831567 5258359 105 0 46 67 57 10.10/10.18 c 6286 27496 936447 5901682 105 0 49 70 58 11.19/11.26 c 7006 30484 1041013 6573102 105 0 46 70 55 12.39/12.43 c 7798 33751 1153178 7229452 105 0 46 70 56 13.89/13.94 c 8669 37724 1297479 8098686 105 0 43 70 57 15.29/15.38 c 9627 41676 1436018 8973486 105 0 46 67 56 16.89/16.90 c 10680 46125 1582488 9919827 105 0 46 67 57 18.59/18.67 c 11838 50865 1750902 11013416 105 0 43 67 56 20.49/20.57 c 13111 55801 1930440 12203826 105 0 49 67 56 22.59/22.62 c 14511 61980 2128463 13475315 105 0 46 70 57 24.69/24.79 c 16051 68272 2336495 14899020 105 0 46 70 55 27.19/27.26 c 17745 75390 2573776 16385762 105 0 43 70 56 30.00/30.10 c 19608 82800 2843269 18069807 105 0 46 67 55 32.79/32.86 c 21657 91329 3109346 19751058 105 0 46 70 58 36.00/36.02 c 23910 100590 3413665 21743236 105 0 46 67 56 39.69/39.78 c 26388 110511 3772151 23974386 105 0 46 73 57 43.89/43.92 c 29113 121435 4164546 26565642 105 0 37 73 57 48.00/48.07 c 32110 133204 4563874 29198158 105 0 46 76 57 53.39/53.42 c 35406 147201 5072607 32313770 105 0 46 73 57 58.79/58.84 c 39031 162169 5595275 35603052 105 0 46 73 58 64.59/64.67 c 43018 179056 6157849 39109780 105 0 46 73 58 71.69/71.77 c 47403 197715 6835108 43308630 105 0 46 76 58 78.69/78.71 c 52226 217592 7492836 47547506 105 0 46 76 58 86.38/86.48 c 57531 238869 8240167 52068428 105 0 43 76 57 95.28/95.33 c 63366 263487 9074360 58292766 105 0 46 73 55 104.99/105.03 c 69784 291850 9990411 64274291 105 0 43 70 56 115.68/115.70 c 76843 322147 11011305 70914640 105 0 43 70 57 127.58/127.63 c 84607 353347 12136623 78446750 105 0 43 70 55 139.78/139.80 c 93147 388320 13301121 86289832 105 0 40 73 55 153.68/153.76 c 102541 426625 14632084 94727608 105 0 43 73 57 168.48/168.58 c 112874 469748 16072982 103468513 105 0 46 76 58 185.48/185.53 c 124240 518992 17709172 113551757 105 0 43 76 58 204.48/204.55 c 136742 572618 19541300 124841780 105 0 40 73 57 225.67/225.71 c 150494 631124 21566470 138063621 105 0 43 73 58 247.67/247.74 c 165621 692439 23683823 151445244 105 0 46 76 59 272.67/272.70 c 182260 762583 26059890 167437541 105 0 40 76 58 300.77/300.83 c 200562 840195 28739163 184439422 105 0 43 73 57 331.98/332.08 c 220694 927515 31720653 204321714 105 0 40 79 58 367.97/368.01 c 242839 1021702 35156712 225778985 105 0 43 73 59 405.16/405.27 c 267198 1125339 38720254 248652595 105 0 43 73 59 446.56/446.64 c 293992 1240003 42651181 273275307 105 0 43 76 58 492.15/492.27 c 323465 1365419 46991538 302573087 105 0 43 76 58 541.85/541.99 c 355885 1506325 51734827 332706598 105 0 43 76 57 595.96/596.05 c 391547 1661231 56931694 365464890 105 0 43 76 58 653.64/653.73 c 430775 1817594 62470785 400792471 105 0 43 76 59 719.05/719.14 c 473925 2000112 68729434 440217984 105 0 43 76 58 792.53/792.60 c 521390 2198564 75782952 483157215 105 0 43 76 58 866.22/866.31 c 573601 2423395 82904982 528908962 105 0 40 79 58 953.62/953.77 c 631033 2665897 91261959 581822271 105 0 40 76 57 1047.61/1047.76 c 694208 2930678 100217036 640963618 105 0 40 73 57 1156.80/1156.99 c 763700 3227789 110582885 702706181 105 0 40 79 57 1274.79/1274.99 c 840141 3557880 121821852 776507580 105 0 40 76 57 1404.68/1404.87 c 924226 3913636 134189831 854742089 105 0 40 76 57 1540.88/1541.10 c 1016719 4304974 147169269 939020311 105 0 40 73 56 1684.56/1684.79 c 1118461 4741504 161077941 1026977849 105 0 43 76 58 1859.86/1860.10 c 1230377 5222597 177759110 1135367128 105 0 40 76 57 2047.53/2047.79 c 1353484 5747425 195630967 1249857066 105 0 40 76 57 2249.72/2249.91 c 1488901 6319774 214824954 1376960293 105 0 40 79 57 2489.50/2489.74 c 1637859 6948789 237553070 1525613176 105 0 40 79 58 2519.80/2520.01 2519.80/2520.01 c *** INTERRUPTED *** 2519.80/2520.01 c restarts : 78 2519.80/2520.01 c conflicts : 1656643 (657 /sec) 2519.80/2520.01 c decisions : 7026205 (2788 /sec) 2519.80/2520.01 c propagations : 1544165582 (612822 /sec) 2519.80/2520.01 c root propagations : 3990 2519.80/2520.01 c filter calls : 240428033 (95417 /sec) 2519.80/2520.01 c useless filter calls : 39587609 (16 %) 2519.80/2520.01 c Memory used : 28.66 MB 2519.80/2520.01 c CPU time : 2519.76 s 2519.80/2520.01 c real time : 2520.01 s 2519.80/2520.01 2519.80/2520.01 s UNKNOWN
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 (12575 MiB free) memory of node 1: 16384 MiB (15560 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389596-1568327803/watcher-4389596-1568327803 -o /tmp/evaluation-result-4389596-1568327803/solver-4389596-1568327803 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389596-1568327803.xml running on 4 cores: 4-7 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 Starting watchdog thread Linux 3.10.0-514.16.1.el7.x86_64 Current StackSize limit: 8192 KiB solver pid=9818, runsolver pid=9815 [startup+0.100161 s]* /proc/loadavg: 2.24 2.06 2.06 3/201 9819 /proc/meminfo: memFree=28815324/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=28164 memory=4668 CPUtime=0.1 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 2283 0 0 0 10 0 0 0 20 0 1 0 408722314 28839936 1167 33554432000 4194304 6210612 140736229787600 140736229784136 139876236060579 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7041 1167 829 493 0 346 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28164 KiB Current children cumulated memory: 4668 KiB [startup+0.210927 s]* /proc/loadavg: 2.24 2.06 2.06 4/201 9819 /proc/meminfo: memFree=28814736/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=28588 memory=5092 CPUtime=0.21 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 3361 0 0 0 20 1 0 0 20 0 1 0 408722314 29274112 1273 33554432000 4194304 6210612 140736229787600 140736229784136 139876235149215 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7147 1273 829 493 0 452 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28588 KiB Current children cumulated memory: 5092 KiB [startup+0.31078 s]* /proc/loadavg: 2.24 2.06 2.06 3/201 9819 /proc/meminfo: memFree=28819680/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29148 memory=5472 CPUtime=0.31 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 4334 0 0 0 30 1 0 0 20 0 1 0 408722314 29847552 1368 33554432000 4194304 6210612 140736229787600 140736229784136 5012488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7287 1368 829 493 0 592 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29148 KiB Current children cumulated memory: 5472 KiB [startup+0.700364 s] /proc/loadavg: 2.24 2.06 2.06 3/200 9819 /proc/meminfo: memFree=28816400/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=5852 CPUtime=0.69 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 5332 0 0 0 67 2 0 0 20 0 1 0 408722314 30052352 1463 33554432000 4194304 6210612 140736229787600 140736229784136 5079010 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1463 829 493 0 642 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 5852 KiB [startup+1.50035 s] /proc/loadavg: 2.24 2.06 2.06 3/200 9819 /proc/meminfo: memFree=28820040/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=5852 CPUtime=1.49 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 5332 0 0 0 145 4 0 0 20 0 1 0 408722314 30052352 1463 33554432000 4194304 6210612 140736229787600 140736229785560 5081968 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1463 829 493 0 642 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 5852 KiB [startup+3.11071 s] /proc/loadavg: 2.24 2.06 2.06 3/200 9819 /proc/meminfo: memFree=28815680/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=3.1 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 5698 0 0 0 305 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5078360 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+6.30034 s] /proc/loadavg: 2.62 2.15 2.09 3/200 9819 /proc/meminfo: memFree=29288824/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=6.29 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 6064 0 0 0 624 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+12.7003 s] /proc/loadavg: 2.57 2.14 2.09 3/199 9822 /proc/meminfo: memFree=29828764/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=12.69 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 6430 0 0 0 1264 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5017201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+25.5003 s] /proc/loadavg: 2.52 2.15 2.09 3/199 9823 /proc/meminfo: memFree=29829292/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=25.49 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 7162 0 0 0 2544 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+51.1102 s] /proc/loadavg: 2.34 2.14 2.09 3/199 9825 /proc/meminfo: memFree=29829980/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=51.1 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 7528 0 0 0 5105 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5074895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+102.3 s] /proc/loadavg: 2.15 2.12 2.08 3/200 9830 /proc/meminfo: memFree=29830220/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=102.28 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 7894 0 0 0 10223 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5079064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+162.3 s] /proc/loadavg: 2.05 2.10 2.08 3/200 9834 /proc/meminfo: memFree=29831048/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=162.28 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 8260 0 0 0 16223 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5080821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+222.3 s] /proc/loadavg: 2.02 2.08 2.07 3/201 9840 /proc/meminfo: memFree=29830476/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=222.27 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 8632 0 0 0 22222 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082450 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.07 2.07 3/201 9852 /proc/meminfo: memFree=29830908/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=282.27 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 9000 0 0 0 28222 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.06 3/201 9856 /proc/meminfo: memFree=29831160/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=342.27 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 9368 0 0 0 34222 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5074158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.05 3/201 9862 /proc/meminfo: memFree=29830624/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=402.26 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 9734 0 0 0 40221 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5081856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 9866 /proc/meminfo: memFree=29830032/32770688 swapFree=66960972/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=462.26 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 10103 0 0 0 46221 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5078572 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB ################ # More data... # ################ /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 1722.16 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 10073 /proc/meminfo: memFree=29868804/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=1782.15 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 17328 0 0 0 178210 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5078927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 1782.15 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10079 /proc/meminfo: memFree=29868704/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=1842.15 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 17601 0 0 0 184210 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5074392 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 1842.15 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10083 /proc/meminfo: memFree=29868788/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=1902.15 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 17968 0 0 0 190210 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5080961 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 1902.15 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10087 /proc/meminfo: memFree=29868884/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=1962.14 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 18242 0 0 0 196209 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5081007 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 1962.14 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10093 /proc/meminfo: memFree=29868228/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2022.14 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 18516 0 0 0 202209 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082070 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2022.14 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2082.3 s] /proc/loadavg: 2.08 2.03 2.05 3/200 10105 /proc/meminfo: memFree=29868696/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2082.13 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 18884 0 0 0 208208 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2082.13 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2142.3 s] /proc/loadavg: 2.03 2.03 2.05 3/199 10109 /proc/meminfo: memFree=29869660/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2142.13 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 19159 0 0 0 214208 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5082008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2142.13 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.02 2.05 3/201 10116 /proc/meminfo: memFree=29868424/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2202.12 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 19433 0 0 0 220207 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5080969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2202.12 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10120 /proc/meminfo: memFree=29868528/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2262.12 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 19800 0 0 0 226207 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5079072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2262.12 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10124 /proc/meminfo: memFree=29868472/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2322.11 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 20068 0 0 0 232206 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5078380 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2322.11 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 10130 /proc/meminfo: memFree=29868616/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2382.11 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 20344 0 0 0 238206 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5078934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2382.11 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10134 /proc/meminfo: memFree=29868468/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2442.1 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 20612 0 0 0 244205 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5080999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2442.1 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 10138 /proc/meminfo: memFree=29868784/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2502.1 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 20980 0 0 0 250205 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5076008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2502.1 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 10141 /proc/meminfo: memFree=29868736/32770688 swapFree=66960976/67108860 [pid=9818] ppid=9815 vsize=29348 memory=6000 CPUtime=2519.8 cores=4-7 /proc/9818/stat : 9818 (cosoco) R 9815 9818 6407 0 -1 4202496 21239 0 0 0 251975 5 0 0 20 0 1 0 408722314 30052352 1500 33554432000 4194304 6210612 140736229787600 140736229785560 5074840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30973952 140736229794827 140736229794929 140736229794929 140736229797838 0 /proc/9818/statm: 7337 1500 866 493 0 642 0 Current children cumulated CPU time: 2519.8 s Current children cumulated vsize: 29348 KiB Current children cumulated memory: 6000 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 9818 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.76 s, system=0.057995 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.82 CPU user time (s): 2519.76 CPU system time (s): 0.057995 CPU usage (%): 99.9923 Max. virtual memory (cumulated for all children) (KiB): 29348 Max. memory (cumulated for all children) (KiB): 6000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.76 system time used= 0.057995 maximum resident set size= 6068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21289 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= 1913 # summary of solver processes directly reported to runsolver: # pid: 9818 # total CPU time (s): 2519.82 # total CPU user time (s): 2519.76 # total CPU system time (s): 0.057995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.69628 second user time and 18.5019 second system time The end
Begin job on node116 at 2019-09-13 00:36:05 IDJOB=4389596 IDBENCH=124271 IDSOLVER=2829 FILE ID=node116/4389596-1568327803 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56412 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-35.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389596-1568327803/watcher-4389596-1568327803 -o /tmp/evaluation-result-4389596-1568327803/solver-4389596-1568327803 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389596-1568327803.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d39bc1ef1e07e502cfee7f2819d89a2a RANDOM SEED=1161686289 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: 28810944 kB MemAvailable: 31758544 kB Buffers: 80572 kB Cached: 3137308 kB SwapCached: 46708 kB Active: 857468 kB Inactive: 2452948 kB Active(anon): 44360 kB Inactive(anon): 88788 kB Active(file): 813108 kB Inactive(file): 2364160 kB Unevictable: 110248 kB Mlocked: 110248 kB SwapTotal: 67108860 kB SwapFree: 66960972 kB Dirty: 585704 kB Writeback: 79448 kB AnonPages: 157180 kB Mapped: 45540 kB Shmem: 31876 kB Slab: 241376 kB SReclaimable: 172336 kB SUnreclaim: 69040 kB KernelStack: 3488 kB PageTables: 5784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 569852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 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:18:06