0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396930-1568579267.xml
0.00/0.00 c intension eq(add(p[1],2),p[0]) -> extension (support ? 1) - 48tuples
0.00/0.01 c intension eq(add(p[3],3),p[2]) -> extension (support ? 1) - 47tuples
0.00/0.01 c intension eq(add(p[5],4),p[4]) -> extension (support ? 1) - 46tuples
0.00/0.01 c intension eq(add(p[7],5),p[6]) -> extension (support ? 1) - 45tuples
0.00/0.01 c intension eq(add(p[9],6),p[8]) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension eq(add(p[11],7),p[10]) -> extension (support ? 1) - 43tuples
0.00/0.02 c intension eq(add(p[13],8),p[12]) -> extension (support ? 1) - 42tuples
0.00/0.02 c intension eq(add(p[15],9),p[14]) -> extension (support ? 1) - 41tuples
0.00/0.02 c intension eq(add(p[17],10),p[16]) -> extension (support ? 1) - 40tuples
0.00/0.02 c intension eq(add(p[19],11),p[18]) -> extension (support ? 1) - 39tuples
0.00/0.02 c intension eq(add(p[21],12),p[20]) -> extension (support ? 1) - 38tuples
0.00/0.02 c intension eq(add(p[23],13),p[22]) -> extension (support ? 1) - 37tuples
0.00/0.03 c intension eq(add(p[25],14),p[24]) -> extension (support ? 1) - 36tuples
0.00/0.03 c intension eq(add(p[27],15),p[26]) -> extension (support ? 1) - 35tuples
0.00/0.03 c intension eq(add(p[29],16),p[28]) -> extension (support ? 1) - 34tuples
0.00/0.03 c intension eq(add(p[31],17),p[30]) -> extension (support ? 1) - 33tuples
0.00/0.03 c intension eq(add(p[33],18),p[32]) -> extension (support ? 1) - 32tuples
0.00/0.03 c intension eq(add(p[35],19),p[34]) -> extension (support ? 1) - 31tuples
0.00/0.04 c intension eq(add(p[37],20),p[36]) -> extension (support ? 1) - 30tuples
0.00/0.04 c intension eq(add(p[39],21),p[38]) -> extension (support ? 1) - 29tuples
0.00/0.04 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 28tuples
0.00/0.04 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 27tuples
0.00/0.04 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 26tuples
0.00/0.05 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 25tuples
0.00/0.05 c intension eq(add(p[49],26),p[48]) -> extension (support ? 1) - 24tuples
0.00/0.05 c root propagations : 700
0.00/0.05 c restarts enabled, print stats at every restarts
0.00/0.05 c
0.00/0.05 c
0.00/0.05 c ========================================[ Problem Statistics ]===========================================
0.00/0.05 c |
0.00/0.05 c | Parse time : 0.05 s
0.00/0.05 c |
0.00/0.05 c | Variables: 100
0.00/0.05 c | Domain Sizes: 25..50
0.00/0.05 c |
0.00/0.05 c | Constraints: 75
0.00/0.05 c | Arity: 2..51 -- Binary: 25
0.00/0.05 c |
0.00/0.05 c | Types:
0.00/0.05 c | Element Constant: 50
0.00/0.05 c | Extension: 25 (nb tuples: 24..48) -- (shared: 0)
0.00/0.05 c |
0.00/0.05 c =========================================================================================================
0.00/0.05 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.05 c 101 610 47672 9943 50 0 66 85 77
0.00/0.06 c 211 1013 85371 22409 50 0 40 55 46
0.00/0.06 c 332 1324 115741 32437 50 0 37 45 41
0.00/0.06 c 465 1561 144835 42757 50 0 36 44 39
0.00/0.07 c 611 2013 185371 56993 50 0 38 43 41
0.00/0.07 c 771 2267 210302 67012 50 0 38 41 38
0.00/0.07 c 947 2526 246790 82143 50 0 37 39 37
0.00/0.08 c 1140 2832 281465 94950 50 0 38 40 37
0.00/0.08 c 1352 3152 313953 108256 50 0 39 41 38
0.00/0.09 c 1585 3540 364676 133230 50 0 33 47 35
0.00/0.09 c 1841 3901 397980 142938 50 0 38 46 42
0.00/0.10 c 2122 4589 487129 181484 50 0 34 39 36
0.00/0.11 c 2431 5079 547172 203275 50 0 34 39 36
0.10/0.11 c 2770 5544 598799 220447 50 0 35 37 36
0.10/0.12 c 3142 6267 694117 252044 50 0 35 41 39
0.10/0.12 c 3551 6762 740547 263370 50 0 40 40 39
0.10/0.13 c 4000 7438 811498 291258 50 0 38 38 37
0.10/0.14 c 4493 8213 906866 321788 50 0 34 44 39
0.10/0.15 c 5035 8868 986507 342768 50 0 37 43 41
0.10/0.16 c 5631 9674 1075201 372581 50 0 33 43 40
0.10/0.17 c 6286 10655 1194497 415524 50 0 39 44 41
0.10/0.18 c 7006 11533 1323255 468586 50 0 36 42 37
0.10/0.19 c 7798 12471 1431100 501469 50 0 36 44 40
0.10/0.20 c 8669 13458 1562308 540471 50 0 31 41 39
0.10/0.22 c 9627 14653 1706237 584398 50 0 32 43 39
0.21/0.23 c 10680 15957 1880596 646500 50 0 34 41 37
0.21/0.25 c 11838 17326 2046720 702428 50 0 37 42 39
0.21/0.26 c 13111 18909 2213187 742187 50 0 36 41 38
0.21/0.28 c 14511 20576 2402465 803762 50 0 38 43 40
0.21/0.30 c 16051 22311 2612828 861807 50 0 37 38 37
0.31/0.32 c 17745 24818 2897873 979164 50 0 35 40 37
0.31/0.35 c 19608 26933 3138091 1047642 50 0 36 38 37
0.31/0.37 c 21657 29297 3431603 1133339 50 0 36 39 37
0.31/0.40 c 23910 31819 3694691 1222521 50 0 36 38 37
0.41/0.42 c 26388 34776 3986686 1336851 50 0 35 39 38
0.41/0.45 c 29113 37818 4341232 1445948 50 0 36 38 36
0.41/0.49 c 32110 41128 4742923 1574366 50 0 34 39 35
0.51/0.53 c 35406 45126 5165381 1710225 50 0 33 36 35
0.60/0.61 c 39031 51823 5886569 2067512 50 0 35 36 35
0.60/0.67 c 43018 58139 6539013 2325413 50 0 32 39 35
0.69/0.74 c 47403 62983 7220553 2565340 50 0 30 38 35
0.79/0.84 c 52226 68682 8116397 2955418 50 0 30 35 33
0.89/0.94 c 57531 74486 9123662 3338139 50 0 34 38 35
0.89/1.00 c 63366 80992 9820333 3572014 50 0 35 38 36
1.49/7.25 c 69784 88231 10679375 3933120 50 0 31 36 34
1.49/7.25 c 76843 98020 12303918 4728902 50 0 31 39 33
1.49/7.25 c 84607 106948 13201974 5026707 50 0 33 37 35
1.49/7.25 c 93147 116617 14405705 5487873 50 0 33 41 34
1.49/7.25 c 102541 126988 15558200 5875438 50 0 33 38 36
1.49/7.25 c 112874 141936 16898986 6262938 50 0 37 40 38
1.49/7.25 c 124240 155820 18661952 6861332 50 0 35 40 37
1.49/7.25 c 136742 171594 19935317 7295272 50 0 35 38 37
1.49/7.25 c 150494 187750 21891034 7985947 50 0 33 38 35
1.49/7.25 c 165621 204469 23505562 8556479 50 0 32 39 37
1.49/7.25 c 182260 229011 26173765 9279197 50 0 35 39 37
1.49/7.25 c 200562 250024 27912129 9857100 50 0 37 39 38
1.49/7.25 c 220694 273731 29948137 10388534 50 0 35 39 37
1.49/7.25 c 242839 302869 33069515 11336181 50 0 32 39 38
1.49/7.25 c 267198 331183 36089149 12419227 50 0 33 39 37
1.49/7.25 c 293992 364364 39244177 13398290 50 0 33 39 38
1.49/7.25 c 323465 400722 43206103 14435004 50 0 33 40 38
1.49/7.25 c 355885 437969 47060967 15848140 50 0 34 39 37
1.49/7.25 c 391547 489579 52291295 17684033 50 0 34 40 37
1.49/7.25 c 430775 552880 58307972 19970880 50 0 36 40 38
1.49/7.25 c 473925 616167 64613584 21733059 50 0 33 41 38
1.49/7.25 c 521390 686157 70892781 23095587 50 0 34 39 38
1.49/7.25 c 573601 744186 76210991 24728115 50 0 35 40 38
7.39/7.40 c 631033 814778 84124084 27326030 50 0 34 39 37
7.99/8.08 c 694208 890777 92332424 29276324 50 0 35 39 37
8.80/8.87 c 763700 967360 101638896 32174445 50 0 33 39 37
9.80/9.85 c 840141 1059048 112813217 35863571 50 0 33 42 37
10.59/10.69 c 924226 1159934 122747593 39231560 50 0 34 39 37
11.59/11.61 c 1016719 1265849 133329587 42240676 50 0 35 39 37
12.70/12.80 c 1118461 1404713 147065352 46871095 50 0 35 40 37
13.99/14.06 c 1230377 1550037 161918845 51342574 50 0 34 40 37
15.39/15.49 c 1353484 1695335 177968923 56931057 50 0 35 40 37
16.89/16.97 c 1488901 1852479 194192244 62668388 50 0 35 40 36
18.99/19.06 c 1637859 2065667 218763264 70611097 50 0 35 41 37
20.59/20.70 c 1801712 2257524 239298626 75811322 50 0 35 41 37
22.29/22.39 c 1981950 2479285 260127464 81016678 50 0 35 39 38
24.29/24.38 c 2180211 2698912 284212323 88448888 50 0 36 39 37
26.09/26.16 c 2398298 2939536 305971035 94324155 50 0 34 39 37
28.39/28.45 c 2638193 3229887 334508459 101127826 50 0 33 40 38
30.70/30.75 c 2902077 3519860 362206488 108627033 50 0 34 39 37
33.99/34.07 c 3192349 3851888 400099858 122303128 50 0 34 39 37
38.59/38.70 c 3511648 4228416 449102296 141507668 50 0 32 40 36
43.29/43.32 c 3862876 4666382 503981344 158143656 50 0 33 42 37
47.89/47.99 c 4249226 5150708 556612210 177882235 50 0 33 42 37
53.69/53.71 c 4674211 5630217 619242540 201682234 50 0 33 41 36
63.58/63.67 c 5141694 6529979 728398394 238900280 50 0 32 39 37
70.28/70.35 c 5655925 7224174 806769027 263370821 50 0 34 40 37
76.28/76.39 c 6221579 7911402 877418878 285442860 50 0 34 41 37
81.79/81.87 c 6843798 8672103 946766023 302935383 50 0 36 41 39
88.08/88.10 c 7528238 9489867 1028602539 325875740 50 0 36 40 39
99.79/99.85 c 8281122 10517395 1170467245 369892112 50 0 33 39 38
107.18/107.28 c 9109294 11471700 1263076195 394694722 50 0 34 40 37
115.79/115.89 c 10020283 12591449 1370571726 422942129 50 0 35 40 38
125.18/125.27 c 11022370 13761850 1493914168 453699118 50 0 32 40 38
136.28/136.32 c 12124665 14968388 1613803228 504864399 50 0 33 40 37
146.79/146.84 c 13337189 16471365 1736635878 543458026 50 0 36 39 38
159.68/159.75 c 14670965 17933019 1896139703 590793841 50 0 35 41 38
178.17/178.25 c 16138118 19894449 2110399704 661697114 50 0 32 41 37
191.87/191.97 c 17751986 21728985 2294419437 702145810 50 0 34 39 37
209.27/209.35 c 19527240 24045258 2508342499 768995828 50 0 35 40 38
235.97/236.08 c 21480019 26845456 2828438164 862876430 50 0 33 40 37
259.77/259.85 c 23628075 29507617 3128154956 950118072 50 0 34 44 39
291.16/291.22 c 25990936 32992575 3477369210 1076184613 50 0 34 41 37
339.86/339.92 c 28590083 37676047 4010911923 1275931821 50 0 34 41 37
379.25/379.30 c 31449144 41740976 4466344423 1428193063 50 0 34 41 37
412.25/412.35 c 34594111 45309055 4868590383 1543410765 50 0 34 40 37
445.85/445.99 c 38053574 49174744 5266447481 1660646318 50 0 33 42 36
482.75/482.88 c 41858983 53576539 5708251301 1787327459 50 0 32 42 37
534.04/534.14 c 46044932 60119490 6313411505 1955913103 50 0 34 41 37
576.44/576.55 c 50649475 65559131 6840902811 2096796337 50 0 35 41 37
612.33/612.48 c 55714472 71541649 7301161591 2189300918 50 0 35 41 38
662.43/662.58 c 61285968 78096692 7930817405 2347330930 50 0 34 40 37
717.12/717.26 c 67414613 84956984 8648844168 2519766258 50 0 34 39 37
796.21/796.37 c 74156122 92767597 9586368605 2825132455 50 0 33 41 37
859.11/859.22 c 81571781 101012860 10332408972 3017198926 50 0 34 40 38
938.50/938.62 c 89729005 110398204 11278784236 3272194291 50 0 34 41 37
1019.89/1020.01 c 98701951 120279380 12236574851 3564165006 50 0 35 40 38
1114.48/1114.67 c 108572191 131347820 13318859706 3923148589 50 0 33 40 37
1228.58/1228.72 c 119429455 144105686 14496740484 4376909252 50 0 34 42 37
1347.26/1347.46 c 131372445 158358947 15902255050 4786193033 50 0 35 40 38
1492.66/1492.86 c 144509734 173309646 17557945212 5330127610 50 0 34 42 38
1660.33/1660.51 c 158960751 194575745 19567270789 5910644803 50 0 34 41 38
1815.82/1816.07 c 174856869 213224721 21536594077 6399961399 50 0 35 42 39
1971.00/1971.27 c 192342598 232364447 23426564975 6913183918 50 0 35 40 38
2164.08/2164.35 c 211576899 253811090 25735653669 7570652847 50 0 32 42 37
2368.47/2368.80 c 232734630 278499150 28241596482 8202260068 50 0 34 40 37
2519.75/2520.00
2519.75/2520.00 c *** INTERRUPTED ***
2519.75/2520.00 c restarts : 130
2519.75/2520.00 c conflicts : 245865108 (97576 /sec)
2519.75/2520.00 c decisions : 294516250 (116884 /sec)
2519.75/2520.00 c propagations : 8776628759 (3483156 /sec)
2519.75/2520.00 c root propagations : 700
2519.75/2520.00 c filter calls : 29781956393 (11819480 /sec)
2519.75/2520.00 c useless filter calls : 24512992968 (82 %)
2519.75/2520.00 c Memory used : 27.21 MB
2519.75/2520.00 c CPU time : 2519.73 s
2519.75/2520.00 c real time : 2520 s
2519.75/2520.00
2519.75/2520.00 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 (12836 MiB free)
memory of node 1: 16384 MiB (14345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396930-1568579267/watcher-4396930-1568579267 -o /tmp/evaluation-result-4396930-1568579267/solver-4396930-1568579267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396930-1568579267.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29923, runsolver pid=29920
[startup+0.100159 s]*
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833804/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4284 CPUtime=0.1 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1313 0 0 0 10 0 0 0 20 0 1 0 433933078 28532736 1071 33554432000 4194304 6211092 140728601723024 140728601719560 5008831 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB
[startup+0.211083 s]*
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833804/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4284 CPUtime=0.21 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1313 0 0 0 21 0 0 0 20 0 1 0 433933078 28532736 1071 33554432000 4194304 6211092 140728601723024 140728601719560 5099128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB
[startup+0.311045 s]*
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833804/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4284 CPUtime=0.31 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1313 0 0 0 31 0 0 0 20 0 1 0 433933078 28532736 1071 33554432000 4194304 6211092 140728601723024 140728601719560 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB
[startup+0.700356 s]
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833804/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4284 CPUtime=0.69 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1313 0 0 0 67 2 0 0 20 0 1 0 433933078 28532736 1071 33554432000 4194304 6211092 140728601723024 140728601719560 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB
[startup+1.50035 s]
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833752/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4284 CPUtime=1.49 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1313 0 0 0 147 2 0 0 20 0 1 0 433933078 28532736 1071 33554432000 4194304 6211092 140728601723024 140728601720984 5099111 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB
[startup+7.35838 s]
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833752/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=7.35 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1588 0 0 0 733 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193710 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+7.40038 s]
/proc/loadavg: 2.13 2.05 2.05 3/201 29924
/proc/meminfo: memFree=27833752/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=7.39 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1588 0 0 0 737 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099107 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+12.7003 s]*
/proc/loadavg: 2.90 2.22 2.11 3/199 29927
/proc/meminfo: memFree=28835540/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=12.7 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 1726 0 0 0 1268 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+25.5003 s]
/proc/loadavg: 2.76 2.21 2.11 3/199 29927
/proc/meminfo: memFree=28837268/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=25.49 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2000 0 0 0 2547 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5397375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+51.1003 s]
/proc/loadavg: 2.58 2.21 2.11 3/199 29930
/proc/meminfo: memFree=28837888/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=51.08 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2140 0 0 0 5106 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5397216 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+102.3 s]
/proc/loadavg: 2.25 2.18 2.11 3/199 29933
/proc/meminfo: memFree=28837892/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=102.28 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2277 0 0 0 10226 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/199 29944
/proc/meminfo: memFree=28839240/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=162.27 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2414 0 0 0 16225 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099087 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.12 2.10 3/199 29948
/proc/meminfo: memFree=28838928/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=222.27 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2552 0 0 0 22225 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.10 2.09 3/199 29954
/proc/meminfo: memFree=28838240/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=282.26 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2690 0 0 0 28224 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5017444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/199 29958
/proc/meminfo: memFree=28838220/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=342.26 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2827 0 0 0 34224 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5397352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/199 29962
/proc/meminfo: memFree=28838712/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=402.25 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 2964 0 0 0 40223 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 29969
/proc/meminfo: memFree=28838388/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=462.25 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 3102 0 0 0 46223 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
################
# More data... #
################
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 30176
/proc/meminfo: memFree=28508232/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=1842.11 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6089 0 0 0 184209 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5390488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 30182
/proc/meminfo: memFree=28508708/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=1902.11 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6207 0 0 0 190209 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 30194
/proc/meminfo: memFree=28503412/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=1962.1 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6323 0 0 0 196208 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5409866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 30198
/proc/meminfo: memFree=28503784/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2022.1 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6466 0 0 0 202208 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30204
/proc/meminfo: memFree=28503432/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2082.09 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6585 0 0 0 208207 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5409866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30208
/proc/meminfo: memFree=28503688/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2142.09 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6704 0 0 0 214207 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099219 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30212
/proc/meminfo: memFree=28503660/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2202.08 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6842 0 0 0 220206 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5409866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30219
/proc/meminfo: memFree=28503780/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2262.07 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 6962 0 0 0 226205 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5193710 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30223
/proc/meminfo: memFree=28503944/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2322.07 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7079 0 0 0 232205 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30227
/proc/meminfo: memFree=28503752/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2382.06 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7216 0 0 0 238204 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 30234
/proc/meminfo: memFree=28503440/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2442.06 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7334 0 0 0 244204 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5403947 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 30238
/proc/meminfo: memFree=28503380/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2502.05 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7453 0 0 0 250203 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5380304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 30250
/proc/meminfo: memFree=28503884/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2519.75 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7568 0 0 0 251973 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5396430 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 29923 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.024997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 30250
/proc/meminfo: memFree=28503884/32770688 swapFree=66919992/67108860
[pid=29923] ppid=29920 vsize=27864 memory=4440 CPUtime=2519.75 cores=4-7
/proc/29923/stat : 29923 (cosoco) R 29920 29923 28498 0 -1 4202496 7568 0 0 0 251973 2 0 0 20 0 1 0 433933078 28532736 1110 33554432000 4194304 6211092 140728601723024 140728601720984 5396430 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 33271808 140728601728011 140728601728113 140728601728113 140728601731022 0
/proc/29923/statm: 6966 1110 868 493 0 271 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4440 KiB
Child status: 1
Real time (s): 2520
CPU time (s): 2519.76
CPU user time (s): 2519.73
CPU system time (s): 0.024997
CPU usage (%): 99.9904
Max. virtual memory (cumulated for all children) (KiB): 27864
Max. memory (cumulated for all children) (KiB): 4440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.024997
maximum resident set size= 4504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7619
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= 1895
# summary of solver processes directly reported to runsolver:
# pid: 29923
# total CPU time (s): 2519.76
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.024997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.161 second user time and 18.2273 second system time
The end
Begin job on node120 at 2011-12-17 04:48:10
IDJOB=4396930
IDBENCH=124376
IDSOLVER=2848
FILE ID=node120/4396930-1568579267
RUNJOBID= node120-1324087207-28530
PBS_JOBID= 21703329
Free space on /tmp= 61168 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-25.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396930-1568579267/watcher-4396930-1568579267 -o /tmp/evaluation-result-4396930-1568579267/solver-4396930-1568579267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396930-1568579267.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ff4f1513315dd8e08dcc4cf2bbbe3209
RANDOM SEED=1112019617
node120.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.49
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.49
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.49
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.49
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 : 5329.69
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 : 5329.69
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 : 5329.69
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 : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 27834796 kB
MemAvailable: 31657256 kB
Buffers: 191220 kB
Cached: 3928344 kB
SwapCached: 77548 kB
Active: 1492372 kB
Inactive: 2872420 kB
Active(anon): 165560 kB
Inactive(anon): 129412 kB
Active(file): 1326812 kB
Inactive(file): 2743008 kB
Unevictable: 107628 kB
Mlocked: 107628 kB
SwapTotal: 67108860 kB
SwapFree: 66919992 kB
Dirty: 827852 kB
Writeback: 80900 kB
AnonPages: 276812 kB
Mapped: 54268 kB
Shmem: 41008 kB
Slab: 166476 kB
SReclaimable: 136948 kB
SUnreclaim: 29528 kB
KernelStack: 3504 kB
PageTables: 6008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 708528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 146880 kB
DirectMap2M: 33398784 kB
Free space on /tmp at the end= 61648 MiB
End job on node120 at 2011-12-17 05:30:10