Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | SAT | 272.958 | 272.975 |
Name | MarketSplit/MarketSplit-m1-gp/ MarketSplit-10.xml |
MD5SUM | 12bfb070d62c3c52bb7bd12298b2d530 |
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 | 15.432 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 4 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":30}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":29}] |
Minimum constraint arity | 29 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":29,"count":1},{"arity":30,"count":3}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c root propagations : 0 0.00/0.00 c restarts enabled, print stats at every restarts 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c This is cosoco 1.0 -- 0.00/0.00 c 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 30 0.00/0.00 c | Domain Sizes: 2..2 0.00/0.00 c | 0.00/0.00 c | Constraints: 4 0.00/0.00 c | Arity: 29..30 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | Sum: 4 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 101 321 1740 1684 0 0 11 27 21 0.00/0.01 c 211 773 4124 3780 0 0 12 27 22 0.00/0.02 c 332 1209 6571 6098 0 0 10 26 21 0.00/0.03 c 465 1658 8875 8348 0 0 14 27 22 0.00/0.04 c 611 2100 11249 10794 0 0 11 26 21 0.00/0.04 c 771 2644 14051 13651 0 0 11 26 21 0.00/0.05 c 947 3275 17220 16827 0 0 11 27 21 0.00/0.06 c 1140 4005 20958 20312 0 0 12 27 22 0.00/0.07 c 1352 4805 24954 24092 0 0 12 27 22 0.00/0.09 c 1585 5682 29323 28259 0 0 14 27 23 0.09/0.10 c 1841 6604 33781 32715 0 0 12 27 22 0.09/0.11 c 2122 7620 38869 37782 0 0 12 27 22 0.09/0.12 c 2431 8744 44474 43387 0 0 12 27 22 0.09/0.13 c 2770 10005 50652 49589 0 0 12 27 22 0.09/0.15 c 3142 11283 56887 55872 0 0 12 27 22 0.09/0.16 c 3551 12655 63912 62845 0 0 13 27 22 0.09/0.18 c 4000 14310 72340 70586 0 0 14 28 22 0.09/0.19 c 4493 16102 81283 79348 0 0 13 27 22 0.19/0.21 c 5035 17994 90447 88745 0 0 12 27 22 0.19/0.22 c 5631 20074 101138 99338 0 0 12 27 22 0.19/0.24 c 6286 22391 112599 110672 0 0 12 27 22 0.19/0.26 c 7006 24854 124951 122986 0 0 12 28 22 0.19/0.28 c 7798 27626 139380 136504 0 0 12 27 23 0.29/0.31 c 8669 30584 154570 151785 0 0 12 27 22 0.29/0.33 c 9627 33878 171148 167962 0 0 13 27 23 0.29/0.36 c 10680 37511 190183 187085 0 0 11 27 22 0.39/0.40 c 11838 41496 210666 207104 0 0 12 28 22 0.39/0.43 c 13111 45859 233911 229987 0 0 10 27 22 0.39/0.48 c 14511 50919 260460 255669 0 0 10 27 23 0.49/0.52 c 16051 56289 288507 283066 0 0 11 28 23 0.49/0.57 c 17745 62380 320108 314112 0 0 12 28 23 0.59/0.62 c 19608 68909 353033 346131 0 0 12 27 23 0.59/0.67 c 21657 75823 388290 380528 0 0 13 27 23 0.69/0.74 c 23910 83685 429628 419859 0 0 13 27 23 0.79/0.82 c 26388 92393 478130 465067 0 0 11 28 22 0.89/0.90 c 29113 101951 529157 513573 0 0 10 28 23 0.89/0.98 c 32110 112554 583465 565456 0 0 13 28 23 0.99/1.07 c 35406 123551 641896 622243 0 0 9 28 22 1.10/1.17 c 39031 136102 706788 685840 0 0 11 28 23 1.20/1.29 c 43018 150080 779545 756180 0 0 11 28 23 1.39/1.42 c 47403 165151 859784 834844 0 0 11 27 22 1.49/1.56 c 52226 181932 948289 920472 0 0 11 28 22 1.69/1.71 c 57531 199839 1042175 1014803 0 0 11 28 22 1.79/1.87 c 63366 219774 1147421 1119692 0 0 11 27 22 1.99/2.06 c 69784 242208 1265655 1235381 0 0 12 28 23 2.20/2.25 c 76843 265735 1389604 1354392 0 0 12 27 23 2.39/2.47 c 84607 292041 1527586 1487597 0 0 11 28 23 2.69/2.73 c 93147 321926 1693084 1639640 0 0 10 28 23 2.99/3.01 c 102541 354769 1872701 1806355 0 0 12 28 23 3.30/3.31 c 112874 390229 2066066 1988779 0 0 12 28 23 3.59/3.63 c 124240 428987 2272724 2189308 0 0 12 28 23 3.99/4.01 c 136742 472800 2510517 2415704 0 0 11 28 23 4.40/4.40 c 150494 520135 2765026 2659436 0 0 12 28 23 4.79/4.84 c 165621 572483 3044727 2929191 0 0 13 28 23 5.29/5.32 c 182260 630215 3351201 3225191 0 0 11 28 23 5.79/5.84 c 200562 693059 3687092 3547227 0 0 12 28 23 6.39/6.43 c 220694 763596 4068811 3902847 0 0 13 28 23 7.09/7.10 c 242839 841355 4497914 4303048 0 0 11 28 23 7.80/7.82 c 267198 924635 4959703 4740364 0 0 11 28 23 8.59/8.61 c 293992 1016588 5465128 5225278 0 0 11 28 23 9.39/9.49 c 323465 1118165 6026732 5767486 0 0 11 28 23 10.39/10.48 c 355885 1231854 6659843 6354421 0 0 12 28 23 11.49/11.50 c 391547 1353671 7320612 6982372 0 0 11 28 23 12.59/12.65 c 430775 1489016 8064395 7678490 0 0 12 28 23 13.89/13.93 c 473925 1638516 8890330 8451125 0 0 11 28 23 15.29/15.34 c 521390 1804798 9797079 9327452 0 0 11 28 23 16.79/16.85 c 573601 1985540 10770450 10284700 0 0 12 28 23 18.49/18.52 c 631033 2184889 11861817 11309965 0 0 13 28 23 20.29/20.36 c 694208 2403177 13052873 12462185 0 0 11 28 23 22.29/22.37 c 763700 2641823 14362832 13715146 0 0 11 28 23 24.59/24.62 c 840141 2905363 15808247 15105723 0 0 12 28 23 26.99/27.06 c 924226 3193514 17388907 16605714 0 0 12 28 23 29.70/29.74 c 1016719 3509453 19113465 18271647 0 0 11 28 23 32.59/32.67 c 1118461 3858314 21002435 20145814 0 0 12 28 23 35.89/35.94 c 1230377 4246237 23119150 22222810 0 0 11 28 23 39.60/39.61 c 1353484 4675212 25469187 24525914 0 0 10 28 23 43.59/43.69 c 1488901 5144779 28080792 27060852 0 0 11 28 23 48.19/48.20 c 1637859 5666723 31001398 29875855 0 0 11 28 23 53.09/53.11 c 1801712 6237548 34189282 32928544 0 0 11 28 23 58.49/58.56 c 1981950 6867584 37702732 36294408 0 0 11 28 23 64.39/64.46 c 2180211 7555691 41532208 39947594 0 0 9 28 23 70.79/70.82 c 2398298 8302215 45643882 43937982 0 0 11 28 23 77.79/77.81 c 2638193 9134411 50174311 48404843 0 0 11 28 23 85.59/85.67 c 2902077 10053885 55231505 53369946 0 0 10 28 23 94.19/94.29 c 3192349 11065526 60787285 58787569 0 0 11 28 23 103.79/103.86 c 3511648 12182602 66958959 64863186 0 0 12 28 23 114.39/114.48 c 3862876 13419331 73809115 71566252 0 0 12 28 23 126.08/126.10 c 4249226 14782416 81331249 78911859 0 0 11 28 23 138.48/138.51 c 4674211 16248815 89366988 86775880 0 0 11 28 23 152.68/152.72 c 5141694 17893032 98542539 95662860 0 0 11 28 23 167.98/168.09 c 5655925 19693184 108509423 105428768 0 0 12 28 23 184.79/184.85 c 6221579 21659839 119371074 116137444 0 0 11 28 23 203.68/203.74 c 6843798 23845444 131493625 128259844 0 0 11 28 23 224.39/224.50 c 7528238 26257948 144932002 141385610 0 0 10 28 23 247.68/247.72 c 8281122 28930520 159892323 155988193 0 0 9 28 23 272.88/272.97 c solution 1 272.88/272.97 272.88/272.97 v <instantiation type='solution'> 272.88/272.97 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] x[25] x[26] x[27] x[28] x[29] </list> 272.88/272.97 v <values>0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 </values> 272.88/272.97 v </instantiation> 272.88/272.97 272.88/272.97 c restarts : 95 272.88/272.97 c conflicts : 9098498 (33333 /sec) 272.88/272.97 c decisions : 31869137 (116756 /sec) 272.88/272.97 c propagations : 172201570 (630881 /sec) 272.88/272.97 c root propagations : 0 272.88/272.97 c filter calls : 176246760 (645701 /sec) 272.88/272.97 c useless filter calls : 149183233 (84 %) 272.88/272.97 c Memory used : 26.36 MB 272.88/272.97 c CPU time : 272.954 s 272.88/272.97 272.88/272.97 s SATISFIABLE
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241936-1500656279/watcher-4241936-1500656279 -o /tmp/evaluation-result-4241936-1500656279/solver-4241936-1500656279 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241936-1500656279.xml pid=4057 running on 8 cores: 1,3,5,7,9,11,13,15 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 2.02 4/242 4060 /proc/meminfo: memFree=32044520/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 1 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643080 5136611 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 [startup+0.100155 s] /proc/loadavg: 1.93 2.00 2.02 4/242 4060 /proc/meminfo: memFree=32044520/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 9 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5039141 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26992 [startup+0.200331 s] /proc/loadavg: 1.93 2.00 2.02 4/242 4060 /proc/meminfo: memFree=32044520/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 19 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5038359 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 26992 [startup+0.300238 s] /proc/loadavg: 1.93 2.00 2.02 4/242 4060 /proc/meminfo: memFree=32044520/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 29 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5038359 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26992 [startup+0.700214 s] /proc/loadavg: 1.93 2.00 2.02 4/242 4060 /proc/meminfo: memFree=32044520/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 69 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5038193 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26992 [startup+1.50022 s] /proc/loadavg: 1.93 2.00 2.02 3/243 4061 /proc/meminfo: memFree=32043744/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1025 0 0 0 149 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5038965 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26992 [startup+3.10022 s] /proc/loadavg: 1.93 2.00 2.02 3/243 4062 /proc/meminfo: memFree=32043308/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1056 0 0 0 309 0 0 0 20 0 1 0 895696 27639808 832 33554432000 4194304 5970956 140728023646432 140728023643768 5098954 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 832 740 434 0 112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26992 [startup+6.30022 s] /proc/loadavg: 1.94 2.00 2.02 3/243 4062 /proc/meminfo: memFree=32042936/32770624 swapFree=5840/212292 [pid=4060] ppid=4057 vsize=26992 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1087 0 0 0 629 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5136795 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26992 [startup+12.7002 s] /proc/loadavg: 1.94 2.00 2.02 3/243 4062 /proc/meminfo: memFree=32043576/32770624 swapFree=5840/212248 [pid=4060] ppid=4057 vsize=26992 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1118 0 0 0 1269 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5328066 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26992 [startup+25.5003 s] /proc/loadavg: 1.96 2.00 2.02 3/243 4062 /proc/meminfo: memFree=32043592/32770624 swapFree=5840/212260 [pid=4060] ppid=4057 vsize=26992 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1180 0 0 0 2549 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5098954 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26992 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 2.02 3/243 4062 /proc/meminfo: memFree=32043232/32770624 swapFree=5840/212284 [pid=4060] ppid=4057 vsize=26992 CPUtime=51.09 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1211 0 0 0 5109 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038552 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26992 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.02 3/243 4063 /proc/meminfo: memFree=32042384/32770624 swapFree=5840/212284 [pid=4060] ppid=4057 vsize=26992 CPUtime=102.29 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1242 0 0 0 10229 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5039662 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 26992 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.02 3/244 4072 /proc/meminfo: memFree=32042512/32770624 swapFree=5840/212432 [pid=4060] ppid=4057 vsize=26992 CPUtime=162.28 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1273 0 0 0 16228 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038359 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 26992 [startup+222.308 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4096 /proc/meminfo: memFree=32040236/32770624 swapFree=5840/212480 [pid=4060] ppid=4057 vsize=26992 CPUtime=222.29 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1304 0 0 0 22229 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5136570 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 26992 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4060 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+230.4 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4096 /proc/meminfo: memFree=32040236/32770624 swapFree=5840/212480 [pid=4060] ppid=4057 vsize=26992 CPUtime=230.38 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1304 0 0 0 23038 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5319987 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 230.38 Current children cumulated vsize (KiB) 26992 [startup+256 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041120/32770624 swapFree=5840/212480 [pid=4060] ppid=4057 vsize=26992 CPUtime=255.98 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 25598 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5039662 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 255.98 Current children cumulated vsize (KiB) 26992 [startup+262.4 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041120/32770624 swapFree=5840/212480 [pid=4060] ppid=4057 vsize=26992 CPUtime=262.38 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 26238 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5311648 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 262.38 Current children cumulated vsize (KiB) 26992 [startup+268.8 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041224/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=268.78 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 26878 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038193 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 268.78 Current children cumulated vsize (KiB) 26992 [startup+270.4 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041224/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=270.38 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 27038 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5319872 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 270.38 Current children cumulated vsize (KiB) 26992 [startup+272 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041356/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=271.98 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 27198 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038716 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 271.98 Current children cumulated vsize (KiB) 26992 [startup+272.4 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041356/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=272.38 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 27238 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5039677 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 272.38 Current children cumulated vsize (KiB) 26992 [startup+272.8 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041356/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=272.78 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 27278 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038188 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 272.78 Current children cumulated vsize (KiB) 26992 [startup+272.907 s] /proc/loadavg: 2.00 2.00 2.02 3/245 4097 /proc/meminfo: memFree=32041356/32770624 swapFree=5840/212532 [pid=4060] ppid=4057 vsize=26992 CPUtime=272.88 cores=1,3,5,7,9,11,13,15 /proc/4060/stat : 4060 (cosoco) R 4057 4060 2458 0 -1 4202496 1335 0 0 0 27288 0 0 0 20 0 1 0 895696 27639808 866 33554432000 4194304 5970956 140728023646432 140728023643768 5038144 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 41484288 140728023651521 140728023651651 140728023651651 140728023654350 0 /proc/4060/statm: 6748 866 772 434 0 112 0 Current children cumulated CPU time (s) 272.88 Current children cumulated vsize (KiB) 26992 Child status: 0 Real time (s): 272.975 CPU time (s): 272.958 CPU user time (s): 272.955 CPU system time (s): 0.002999 CPU usage (%): 99.9937 Max. virtual memory (cumulated for all children) (KiB): 26992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 272.955 system time used= 0.002999 maximum resident set size= 3548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1377 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= 6 involuntary context switches= 13719 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.825117 second user time and 1.2097 second system time The end
Begin job on node126 at 2017-07-21 18:57:59 IDJOB=4241936 IDBENCH=133090 IDSOLVER=2620 FILE ID=node126/4241936-1500656279 RUNJOBID= node126-1500648174-2492 PBS_JOBID= 20623294 Free space on /tmp= 61980 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-10.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241936-1500656279/watcher-4241936-1500656279 -o /tmp/evaluation-result-4241936-1500656279/solver-4241936-1500656279 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241936-1500656279.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 12bfb070d62c3c52bb7bd12298b2d530 RANDOM SEED=555961304 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32044520 kB MemAvailable: 32029988 kB Buffers: 31396 kB Cached: 266628 kB SwapCached: 0 kB Active: 134908 kB Inactive: 221272 kB Active(anon): 61028 kB Inactive(anon): 8656 kB Active(file): 73880 kB Inactive(file): 212616 kB Unevictable: 5840 kB Mlocked: 5840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1940 kB Writeback: 0 kB AnonPages: 66952 kB Mapped: 30792 kB Shmem: 8840 kB Slab: 61844 kB SReclaimable: 29612 kB SUnreclaim: 32232 kB KernelStack: 5552 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 329308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61980 MiB End job on node126 at 2017-07-21 19:02:32