Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 2057.74 | 2057.62 |
Name | QRandom/QRandom-mdd-7-25-5/ mdd-7-25-5-56-01.xml |
MD5SUM | 38fbb435e56fa73fec05cbb523a31b1b |
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 | 95.0485 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 56 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 11 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":11,"count":5},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":5},{"degree":15,"count":1},{"degree":16,"count":2},{"degree":17,"count":1},{"degree":18,"count":2},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":56}] |
Number of extensional constraints | 56 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":56}] |
Optimization problem | NO |
Type of objective |
16.50/16.50 c root propagations : 0 16.50/16.50 c restarts enabled, print stats at every restarts 16.50/16.50 c 16.50/16.50 c 16.50/16.50 c 16.50/16.50 c This is cosoco 2.00 -- 16.50/16.50 c 16.50/16.50 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408649-1569792634.xml 16.50/16.50 c ========================================[ Problem Statistics ]=========================================== 16.50/16.50 c | 16.50/16.50 c | Parse time : 16.35 s 16.50/16.50 c | 16.50/16.50 c | Variables: 25 16.50/16.50 c | Domain Sizes: 5..5 16.50/16.50 c | 16.50/16.50 c | Constraints: 56 16.50/16.50 c | Arity: 7..7 16.50/16.50 c | 16.50/16.50 c | Types: 16.50/16.50 c | Extension: 56 (nb tuples: 33309..47125) -- (shared: 0) 16.50/16.50 c | 16.50/16.50 c ========================================================================================================= 16.50/16.50 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 16.60/16.68 c 101 193 13796 4108 0 0 11 16 14 17.01/17.05 c 211 437 30413 8848 0 0 8 15 11 17.50/17.50 c 332 736 50289 14375 0 0 6 17 12 18.11/18.17 c 465 1079 73841 21620 0 0 9 16 12 19.01/19.02 c 611 1433 98071 29313 0 0 8 15 11 20.01/20.05 c 771 1818 126826 37757 0 0 8 17 11 20.49/20.55 c 947 2241 152880 45858 0 0 9 15 11 21.69/21.73 c 1140 2771 188230 56310 0 0 9 16 11 22.89/22.95 c 1352 3296 226017 67669 0 0 9 16 12 23.40/23.40 c 1585 3833 260702 78305 0 0 9 16 12 24.39/24.45 c 1841 4447 303817 91567 0 0 8 17 11 25.89/25.99 c 2122 5129 350680 106359 0 0 8 16 11 27.39/27.42 c 2431 5861 399960 121496 0 0 7 15 11 28.49/28.53 c 2770 6588 446431 135475 0 0 10 16 12 30.29/30.35 c 3142 7515 507619 154406 0 0 8 16 11 31.69/31.75 c 3551 8444 570550 173084 0 0 8 16 12 34.10/34.16 c 4000 9613 650621 196798 0 0 7 16 12 36.79/36.83 c 4493 10771 730083 221782 0 0 8 17 11 38.79/38.85 c 5035 12061 819300 249411 0 0 7 16 12 41.00/41.04 c 5631 13639 928594 281815 0 0 8 16 12 44.69/44.71 c 6286 15319 1044389 316391 0 0 8 17 11 47.60/47.62 c 7006 17196 1172105 354415 0 0 8 16 12 52.11/52.11 c 7798 19204 1313601 397445 0 0 8 17 11 54.40/54.48 c 8669 21251 1457684 440515 0 0 9 16 12 58.20/58.21 c 9627 23573 1618766 489625 0 0 7 17 11 61.80/61.87 c 10680 26211 1799109 543912 0 0 7 17 11 65.40/65.44 c 11838 29023 1983877 601233 0 0 8 17 12 69.30/69.35 c 13111 32168 2187942 662965 0 0 7 16 11 74.01/74.01 c 14511 35707 2425694 734316 0 0 8 17 12 79.40/79.46 c 16051 39470 2677205 809280 0 0 7 17 12 84.90/84.95 c 17745 43695 2951550 890036 0 0 7 17 12 91.11/91.13 c 19608 48442 3256898 983008 0 0 7 17 12 100.19/100.25 c 21657 53791 3609302 1090601 0 0 7 17 12 106.10/106.19 c 23910 59673 3995764 1206115 0 0 7 17 12 112.10/112.14 c 26388 65768 4396441 1330329 0 0 8 16 12 123.09/123.14 c 29113 72365 4846535 1468276 0 0 7 17 12 137.87/137.92 c 32110 79957 5358017 1622703 0 0 6 17 12 151.16/151.27 c 35406 87931 5901209 1787664 0 0 7 17 12 164.67/164.72 c 39031 97087 6509079 1975091 0 0 7 17 11 188.16/188.26 c 43018 107249 7212265 2189560 0 0 6 17 11 212.75/212.81 c 47403 118525 7988297 2425041 0 0 7 18 11 231.96/232.01 c 52226 130877 8821504 2675782 0 0 6 17 12 252.46/252.58 c 57531 144342 9727418 2950127 0 0 7 18 12 278.26/278.37 c 63366 158896 10707233 3246250 0 0 6 16 11 301.36/301.41 c 69784 174796 11767360 3574476 0 0 6 17 11 323.46/323.51 c 76843 192190 12967918 3931751 0 0 7 17 12 356.66/356.71 c 84607 211091 14271648 4331804 0 0 7 17 11 381.17/381.29 c 93147 232318 15681582 4763503 0 0 7 17 12 422.27/422.33 c 102541 256035 17273344 5241760 0 0 7 16 12 463.87/463.96 c 112874 280884 19002633 5773184 0 0 7 17 11 497.18/497.26 c 124240 308128 20851698 6336608 0 0 7 17 12 536.99/537.05 c 136742 338475 22869288 6945431 0 0 6 17 12 590.88/590.90 c 150494 371669 25119989 7650331 0 0 6 18 11 642.89/642.95 c 165621 410115 27698907 8427853 0 0 6 18 11 697.01/697.06 c 182260 451159 30420862 9239277 0 0 6 18 12 759.80/759.81 c 200562 495454 33398732 10143096 0 0 6 17 11 831.21/831.24 c 220694 544119 36714607 11136173 0 0 7 17 12 886.31/886.31 c 242839 598798 40309323 12219792 0 0 6 17 12 1002.32/1002.36 c 267198 660058 44457853 13459458 0 0 6 18 12 1111.83/1111.88 c 293992 727182 49062471 14848758 0 0 6 18 11 1222.54/1222.57 c 323465 800184 53984072 16325342 0 0 6 18 11 1319.95/1319.97 c 355885 881004 59232376 17916384 0 0 6 18 12 1423.66/1423.60 c 391547 968859 65088265 19704627 0 0 6 19 11 1582.37/1582.36 c 430775 1068778 71827786 21693175 0 0 5 17 11 1726.29/1726.27 c 473925 1174602 78921829 23878940 0 0 5 17 11 1891.40/1891.30 c 521390 1290461 86725852 26204666 0 0 6 18 11 2057.71/2057.60 c First solution is found 2057.71/2057.61 s SATISFIABLE 2057.71/2057.61 c restarts : 66 2057.71/2057.61 c conflicts : 570447 (277 /sec) 2057.71/2057.61 c decisions : 1410431 (685 /sec) 2057.71/2057.61 c propagations : 28683573 (13941 /sec) 2057.71/2057.61 c root propagations : 0 2057.71/2057.61 c filter calls : 94821511 (46085 /sec) 2057.71/2057.61 c useless filter calls : 78114296 (82 %) 2057.71/2057.61 c Memory used : 193.80 MB 2057.71/2057.61 c CPU time : 2057.54 s 2057.71/2057.61 c real time : 2057.61 s 2057.71/2057.61 2057.71/2057.61 c solution 1 2057.71/2057.61 2057.71/2057.61 v <instantiation type='solution'> 2057.71/2057.61 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list> 2057.71/2057.61 v <values>1 4 4 2 2 1 4 4 2 4 3 1 3 3 1 2 1 0 1 4 0 4 3 3 2 </values> 2057.71/2057.61 v </instantiation> 2057.71/2057.61
OK
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 (15225 MiB free) memory of node 1: 16384 MiB (15305 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408649-1569792634/watcher-4408649-1569792634 -o /tmp/evaluation-result-4408649-1569792634/solver-4408649-1569792634 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408649-1569792634.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=27323, runsolver pid=27320 [startup+0.100162 s]* /proc/loadavg: 1.84 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31262332/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=28328 memory=4408 CPUtime=0.1 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 1367 0 0 0 10 0 0 0 20 0 1 0 555204966 29007872 1102 33554432000 4194304 6211132 140727478247008 140727478244280 5483353 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 7082 1102 803 493 0 387 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28328 KiB Current children cumulated memory: 4408 KiB [startup+0.210646 s]* /proc/loadavg: 1.84 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31261220/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=29504 memory=5512 CPUtime=0.21 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 1739 0 0 0 21 0 0 0 20 0 1 0 555204966 30212096 1378 33554432000 4194304 6211132 140727478247008 140727478244280 5743421 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 7376 1378 803 493 0 681 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29504 KiB Current children cumulated memory: 5512 KiB [startup+0.31013 s]* /proc/loadavg: 1.84 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31256384/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=33476 memory=9808 CPUtime=0.31 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 3166 0 0 0 31 0 0 0 20 0 1 0 555204966 34279424 2452 33554432000 4194304 6211132 140727478247008 140727478244280 5814143 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 8369 2452 809 493 0 1674 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 33476 KiB Current children cumulated memory: 9808 KiB [startup+0.700361 s] /proc/loadavg: 1.84 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31256384/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=38760 memory=14028 CPUtime=0.69 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 4285 0 0 0 69 0 0 0 20 0 1 0 555204966 39690240 3507 33554432000 4194304 6211132 140727478247008 140727478244280 5814093 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 9690 3507 809 493 0 2995 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38760 KiB Current children cumulated memory: 14028 KiB [startup+1.50032 s] /proc/loadavg: 1.86 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31238876/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=46804 memory=22212 CPUtime=1.49 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 6271 0 0 0 149 0 0 0 20 0 1 0 555204966 47927296 5553 33554432000 4194304 6211132 140727478247008 140727478244280 5818378 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 11701 5553 810 493 0 5006 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 46804 KiB Current children cumulated memory: 22212 KiB [startup+3.11061 s] /proc/loadavg: 1.86 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31233648/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=61400 memory=35932 CPUtime=3.1 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 11239 0 0 0 309 1 0 0 20 0 1 0 555204966 62873600 8983 33554432000 4194304 6211132 140727478247008 140727478244280 5814122 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 15350 8983 810 493 0 8655 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 61400 KiB Current children cumulated memory: 35932 KiB [startup+6.30031 s] /proc/loadavg: 1.87 1.98 1.96 3/199 27324 /proc/meminfo: memFree=31206120/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=90612 memory=62676 CPUtime=6.29 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 19904 0 0 0 627 2 0 0 20 0 1 0 555204966 92786688 15669 33554432000 4194304 6211132 140727478247008 140727478244280 5689471 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 22653 15669 810 493 0 15958 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 90612 KiB Current children cumulated memory: 62676 KiB [startup+12.7003 s] /proc/loadavg: 1.88 1.98 1.96 3/200 27333 /proc/meminfo: memFree=31154524/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=149132 memory=116580 CPUtime=12.69 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 35130 0 0 0 1265 4 0 0 20 0 1 0 555204966 152711168 29145 33554432000 4194304 6211132 140727478247008 140727478244280 5707973 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 37283 29145 810 493 0 30588 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 149132 KiB Current children cumulated memory: 116580 KiB [startup+25.5004 s] /proc/loadavg: 1.90 1.98 1.96 3/200 27333 /proc/meminfo: memFree=31100924/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=164060 CPUtime=25.49 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 118048 0 0 0 2539 10 0 0 20 0 1 0 555204966 203214848 41015 33554432000 4194304 6211132 140727478247008 140727478244968 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 41015 855 493 0 42918 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 164060 KiB [startup+51.1109 s] /proc/loadavg: 2.28 2.07 1.99 3/200 27336 /proc/meminfo: memFree=31100672/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=164060 CPUtime=51.11 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 157562 0 0 0 5098 13 0 0 20 0 1 0 555204966 203214848 41015 33554432000 4194304 6211132 140727478247008 140727478244968 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 41015 855 493 0 42918 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 164060 KiB [startup+102.3 s] /proc/loadavg: 2.46 2.16 2.03 3/200 27340 /proc/meminfo: memFree=31099480/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=164512 CPUtime=102.29 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 197083 0 0 0 10213 16 0 0 20 0 1 0 555204966 203214848 41128 33554432000 4194304 6211132 140727478247008 140727478244968 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 41128 855 493 0 42918 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 164512 KiB [startup+162.3 s] /proc/loadavg: 2.17 2.13 2.03 3/201 27346 /proc/meminfo: memFree=31092816/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=171624 CPUtime=162.27 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 222902 0 0 0 16209 18 0 0 20 0 1 0 555204966 203214848 42906 33554432000 4194304 6211132 140727478247008 140727478244968 5037880 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 42906 855 493 0 42918 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 171624 KiB [startup+222.3 s] /proc/loadavg: 2.06 2.11 2.03 3/200 27350 /proc/meminfo: memFree=31090204/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=222.25 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 226529 0 0 0 22207 18 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039061 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.09 2.03 3/200 27354 /proc/meminfo: memFree=31090016/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=282.26 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 226916 0 0 0 28208 18 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039540 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.07 2.03 3/200 27360 /proc/meminfo: memFree=31089952/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=342.26 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 226916 0 0 0 34208 18 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.06 2.03 3/199 27364 /proc/meminfo: memFree=31089856/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=402.27 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 227303 0 0 0 40209 18 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.03 3/199 27368 /proc/meminfo: memFree=31090140/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=462.27 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 227303 0 0 0 46209 18 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB ################ # More data... # ################ Current children cumulated memory: 174932 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27492 /proc/meminfo: memFree=31088948/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1662.38 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 231033 0 0 0 166219 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038944 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1662.38 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27497 /proc/meminfo: memFree=31089640/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1722.39 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 231263 0 0 0 172220 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1722.39 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27503 /proc/meminfo: memFree=31089340/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1782.39 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 231420 0 0 0 178220 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039561 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1782.39 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27515 /proc/meminfo: memFree=31089440/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1842.4 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 231644 0 0 0 184221 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1842.4 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27544 /proc/meminfo: memFree=31088500/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1902.4 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 231807 0 0 0 190221 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1902.4 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27550 /proc/meminfo: memFree=31088008/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=1962.41 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232039 0 0 0 196222 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5037825 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 1962.41 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27614 /proc/meminfo: memFree=31294040/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2022.41 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232087 0 0 0 202222 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5038982 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2022.41 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2057.62 s] # the end of solver process 27323 was just reported to runsolver # cumulated CPU time of all completed processes: user=2057.54 s, system=0.198016 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2022.4 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27614 /proc/meminfo: memFree=31294040/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2022.51 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232087 0 0 0 202232 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5037808 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2022.51 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2035.2 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27615 /proc/meminfo: memFree=31293792/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2035.31 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232087 0 0 0 203512 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039104 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2035.31 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2048 s]* /proc/loadavg: 2.00 2.01 2.03 3/200 27615 /proc/meminfo: memFree=31293932/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2048.12 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 204793 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5037808 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2048.12 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2054.4 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27617 /proc/meminfo: memFree=31293660/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2054.51 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 205432 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039536 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2054.51 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2056 s]* /proc/loadavg: 2.00 2.01 2.03 3/201 27617 /proc/meminfo: memFree=31293804/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2056.12 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 205593 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039029 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2056.12 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2056.8 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27617 /proc/meminfo: memFree=31293804/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2056.91 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 205672 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2056.91 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2057.2 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27617 /proc/meminfo: memFree=31293796/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2057.31 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 205712 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5039199 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2057.31 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB [startup+2057.6 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27617 /proc/meminfo: memFree=31293796/32770688 swapFree=67001368/67108860 [pid=27323] ppid=27320 vsize=198452 memory=174932 CPUtime=2057.71 cores=4-7 /proc/27323/stat : 27323 (cosoco) R 27320 27323 26332 0 -1 4202496 232331 0 0 0 205752 19 0 0 20 0 1 0 555204966 203214848 43733 33554432000 4194304 6211132 140727478247008 140727478244968 5037854 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 29077504 140727478248459 140727478248561 140727478248561 140727478251470 0 /proc/27323/statm: 49613 43733 855 493 0 42918 0 Current children cumulated CPU time: 2057.71 s Current children cumulated vsize: 198452 KiB Current children cumulated memory: 174932 KiB Child status: 0 Real time (s): 2057.62 CPU time (s): 2057.74 CPU user time (s): 2057.54 CPU system time (s): 0.198016 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 198452 Max. memory (cumulated for all children) (KiB): 174932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2057.54 system time used= 0.198016 maximum resident set size= 175000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232383 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= 79 involuntary context switches= 531 # summary of solver processes directly reported to runsolver: # pid: 27323 # total CPU time (s): 2057.74 # total CPU user time (s): 2057.54 # total CPU system time (s): 0.198016 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.62202 second user time and 18.6185 second system time The end
Begin job on node116 at 2019-09-29 23:29:52 IDJOB=4408649 IDBENCH=126080 IDSOLVER=2875 FILE ID=node116/4408649-1569792634 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 61964 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-01.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408649-1569792634/watcher-4408649-1569792634 -o /tmp/evaluation-result-4408649-1569792634/solver-4408649-1569792634 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408649-1569792634.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38fbb435e56fa73fec05cbb523a31b1b RANDOM SEED=1788209250 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: 31262944 kB MemAvailable: 31676944 kB Buffers: 189300 kB Cached: 544852 kB SwapCached: 3260 kB Active: 614128 kB Inactive: 303380 kB Active(anon): 200908 kB Inactive(anon): 63324 kB Active(file): 413220 kB Inactive(file): 240056 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 35552 kB Writeback: 0 kB AnonPages: 70892 kB Mapped: 28032 kB Shmem: 72416 kB Slab: 183704 kB SReclaimable: 153120 kB SUnreclaim: 30584 kB KernelStack: 3808 kB PageTables: 6168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 745824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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-30 00:04:10