0.00/0.05 c root propagations : 0
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
0.00/0.05 c This is cosoco 2.00 --
0.00/0.05 c
0.00/0.05 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396734-1568589755.xml
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: 110
0.00/0.05 c | Domain Sizes: 2..2
0.00/0.05 c |
0.00/0.05 c | Constraints: 561
0.00/0.05 c | Arity: 2..10 -- Binary: 550
0.00/0.05 c |
0.00/0.05 c | Types:
0.00/0.05 c | Sum: 561
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 882 31851 4981 0 0 84 105 95
0.00/0.06 c 211 2035 66265 11215 0 0 64 103 82
0.00/0.06 c 332 3372 123276 20838 0 0 72 94 84
0.00/0.07 c 465 4785 166104 28391 0 0 79 100 92
0.00/0.08 c 611 6495 239948 42274 0 0 67 96 82
0.00/0.09 c 771 8145 291115 51009 0 0 78 103 94
0.00/0.10 c 947 10051 359458 65104 0 0 67 101 87
0.10/0.11 c 1140 12531 444116 79784 0 0 62 103 93
0.10/0.12 c 1352 14702 519836 94287 0 0 81 103 93
0.10/0.13 c 1585 16777 595598 106704 0 0 81 105 97
0.10/0.15 c 1841 19124 686675 123197 0 0 81 101 91
0.10/0.16 c 2122 21720 773361 137728 0 0 77 105 98
0.10/0.18 c 2431 25240 911447 161013 0 0 69 104 91
0.10/0.20 c 2770 29146 1046125 189551 0 0 65 104 89
0.21/0.22 c 3142 32846 1168367 212494 0 0 83 103 95
0.21/0.24 c 3551 37699 1331550 244943 0 0 70 102 92
0.21/0.26 c 4000 42004 1485183 270507 0 0 79 105 97
0.21/0.29 c 4493 47078 1675177 310261 0 0 61 104 90
0.31/0.32 c 5035 53104 1882920 351037 0 0 72 103 93
0.31/0.35 c 5631 58939 2088181 392038 0 0 69 103 92
0.31/0.39 c 6286 66168 2327647 436480 0 0 65 103 92
0.41/0.44 c 7006 74602 2636023 495755 0 0 50 103 90
0.41/0.47 c 7798 81637 2888956 541102 0 0 82 105 96
0.51/0.53 c 8669 91587 3262862 607783 0 0 70 104 91
0.51/0.57 c 9627 100631 3566048 661168 0 0 75 105 97
0.60/0.63 c 10680 112030 3941695 737432 0 0 64 103 92
0.69/0.70 c 11838 125124 4431175 826853 0 0 66 105 92
0.69/0.76 c 13111 138128 4890982 914465 0 0 67 105 94
0.79/0.83 c 14511 151408 5364111 1001925 0 0 78 105 95
0.89/0.91 c 16051 166307 5916888 1106591 0 0 66 105 93
1.00/1.02 c 17745 187026 6656498 1260616 0 0 54 101 88
1.10/1.12 c 19608 204248 7296541 1384015 0 0 70 105 93
1.19/1.25 c 21657 226476 8171313 1545323 0 0 63 105 92
1.29/1.38 c 23910 251695 9094709 1721792 0 0 61 105 91
1.49/1.53 c 26388 277882 10084502 1925748 0 0 65 105 90
1.59/1.68 c 29113 307860 11123865 2113806 0 0 60 105 94
1.79/1.89 c 32110 345707 12514098 2385935 0 0 48 105 90
2.00/2.08 c 35406 382623 13845520 2643783 0 0 66 105 92
2.29/2.30 c 39031 420829 15328178 2911374 0 0 64 105 94
2.49/2.54 c 43018 466879 17001515 3204322 0 0 63 105 92
2.79/2.87 c 47403 517296 19202138 3629857 0 0 38 103 86
3.10/3.17 c 52226 575917 21190201 4025894 0 0 53 103 90
3.49/3.52 c 57531 639022 23503493 4487979 0 0 57 103 90
3.79/3.87 c 63366 704747 25882193 4958300 0 0 54 105 89
4.29/4.34 c 69784 788907 29038947 5542829 0 0 49 105 87
4.69/4.77 c 76843 874298 31909231 6107817 0 0 51 105 91
5.19/5.22 c 84607 956338 35032367 6676777 0 0 55 105 91
5.69/5.78 c 93147 1058764 38861020 7414748 0 0 56 105 90
6.39/6.40 c 102541 1170925 43035509 8309317 0 0 51 105 87
7.00/7.08 c 112874 1295788 47669211 9203780 0 0 55 105 91
7.69/7.76 c 124240 1428573 52236615 10128017 0 0 59 105 91
8.49/8.53 c 136742 1569656 57412509 11135627 0 0 45 105 91
9.49/9.55 c 150494 1754286 64349883 12443336 0 0 51 105 88
10.49/10.54 c 165621 1937058 71045955 13731297 0 0 52 105 91
11.59/11.66 c 182260 2139557 78636510 15209194 0 0 56 105 90
12.79/12.83 c 200562 2359331 86527268 16756493 0 0 57 105 91
14.00/14.07 c 220694 2591387 94754780 18474058 0 0 53 104 90
15.49/15.53 c 242839 2840727 104778630 20476379 0 0 50 105 89
17.10/17.11 c 267198 3132735 115555107 22563979 0 0 51 105 91
19.00/19.06 c 293992 3481177 128651729 25047042 0 0 44 105 89
20.89/20.99 c 323465 3824253 141730033 27675118 0 0 43 105 89
23.00/23.04 c 355885 4175945 155434172 30490782 0 0 45 105 87
25.39/25.43 c 391547 4582065 171339151 33748917 0 0 44 104 86
28.00/28.08 c 430775 5054501 189332211 37161991 0 0 49 105 90
30.79/30.88 c 473925 5525007 208373488 40923386 0 0 47 105 87
34.00/34.08 c 521390 6102384 229899325 45196764 0 0 51 105 89
37.59/37.63 c 573601 6690974 254130065 49633093 0 0 46 105 89
41.49/41.54 c 631033 7346803 280939973 54667982 0 0 45 105 89
45.69/45.77 c 694208 8071922 309361033 60232509 0 0 49 103 87
50.29/50.35 c 763700 8850358 340112934 66185755 0 0 42 104 86
55.29/55.38 c 840141 9698198 373866288 73158652 0 0 46 104 86
61.00/61.05 c 924226 10702491 412233083 80372808 0 0 46 105 91
67.69/67.70 c 1016719 11782967 457939622 88660188 0 0 46 105 89
74.89/74.94 c 1118461 13038152 506769373 97947411 0 0 42 105 89
82.39/82.45 c 1230377 14336421 557694106 107834557 0 0 38 105 88
90.49/90.55 c 1353484 15786980 611917826 118963098 0 0 41 105 87
99.68/99.74 c 1488901 17273463 674478170 130881272 0 0 43 105 88
110.09/110.12 c 1637859 19051232 745387487 144020159 0 0 43 105 89
120.38/120.42 c 1801712 20919100 814437420 157939857 0 0 35 105 88
132.28/132.32 c 1981950 22976709 895426659 173566870 0 0 46 105 90
145.09/145.19 c 2180211 25174721 983253060 190049767 0 0 36 105 88
160.18/160.25 c 2398298 27677032 1084675764 209604533 0 0 32 105 87
176.58/176.67 c 2638193 30464676 1196568655 230329563 0 0 39 104 86
193.58/193.69 c 2902077 33532775 1311116228 253166980 0 0 41 105 88
213.37/213.44 c 3192349 36922206 1446957514 278062491 0 0 30 105 89
236.08/236.19 c 3511648 40574843 1601797620 307613878 0 0 38 105 87
261.17/261.21 c 3862876 44523641 1772248698 339614429 0 0 18 105 85
287.47/287.56 c 4249226 49024041 1948994730 374529552 0 0 32 105 85
316.16/316.26 c 4674211 53779202 2144283172 411883551 0 0 38 105 88
349.46/349.55 c 5141694 59030136 2372007523 453286557 0 0 39 105 86
385.07/385.14 c 5655925 64961122 2612542461 500179561 0 0 31 105 86
422.85/422.92 c 6221579 71650170 2866721507 550740511 0 0 32 105 87
462.06/462.15 c 6843798 78513149 3134139427 602409386 0 0 33 105 89
504.34/504.40 c 7528238 86088249 3415588385 660754258 0 0 41 105 86
553.24/553.31 c 8281122 94159132 3748992691 724908388 0 0 32 105 86
605.54/605.60 c 9109294 102981943 4102086052 794480726 0 0 33 105 85
663.13/663.27 c 10020283 113633506 4493130763 873529367 0 0 32 105 89
729.22/729.32 c 11022370 125204054 4943679451 961066580 0 0 37 105 89
801.32/801.41 c 12124665 137659998 5432889227 1058292677 0 0 25 105 88
884.61/884.78 c 13337189 151733641 5998762953 1167657479 0 0 18 105 88
976.60/976.74 c 14670965 166883712 6625910272 1286194016 0 0 38 105 88
1078.19/1078.37 c 16138118 183350300 7321721359 1416609458 0 0 34 105 88
1189.08/1189.28 c 17751986 202385937 8078884096 1557901879 0 0 37 105 89
1308.57/1308.74 c 19527240 222417674 8895674419 1713213487 0 0 34 105 88
1443.86/1444.03 c 21480019 244903970 9810259509 1889637647 2 0 33 105 86
1592.84/1593.08 c 23628075 269700619 10828395752 2082280434 2 0 32 105 87
1753.82/1754.08 c 25990936 296090581 11928855667 2292023391 2 0 31 104 86
1930.00/1930.22 c 28590083 324772967 13127009866 2521632292 4 0 23 103 84
2125.27/2125.58 c 31449144 356492200 14466172222 2775783063 4 0 24 103 86
2332.64/2332.92 c 34594111 391587485 15876141467 3049568414 4 0 27 103 86
2519.72/2520.01
2519.72/2520.01 c *** INTERRUPTED ***
2519.72/2520.01 c restarts : 110
2519.72/2520.01 c conflicts : 37378643 (14834 /sec)
2519.72/2520.01 c decisions : 423314803 (168000 /sec)
2519.72/2520.01 c propagations : 3293717170 (1307173 /sec)
2519.72/2520.01 c root propagations : 0
2519.72/2520.01 c filter calls : 17149077134 (6805932 /sec)
2519.72/2520.01 c useless filter calls : 14624302608 (85 %)
2519.72/2520.01 c Memory used : 27.21 MB
2519.72/2520.01 c CPU time : 2519.73 s
2519.72/2520.01 c real time : 2520.01 s
2519.72/2520.01
2519.72/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (13966 MiB free)
memory of node 1: 16384 MiB (14336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396734-1568589755/watcher-4396734-1568589755 -o /tmp/evaluation-result-4396734-1568589755/solver-4396734-1568589755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396734-1568589755.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=31650, runsolver pid=31647
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981900/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4260 CPUtime=0.1 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1280 0 0 0 10 0 0 0 20 0 1 0 434981784 28524544 1065 33554432000 4194304 6211092 140726894176992 140726894173528 5250284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1065 837 493 0 269 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4260 KiB
[startup+0.210499 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981900/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4260 CPUtime=0.21 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1280 0 0 0 21 0 0 0 20 0 1 0 434981784 28524544 1065 33554432000 4194304 6211092 140726894176992 140726894173528 5155734 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1065 837 493 0 269 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4260 KiB
[startup+0.310065 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981900/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4260 CPUtime=0.31 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1280 0 0 0 31 0 0 0 20 0 1 0 434981784 28524544 1065 33554432000 4194304 6211092 140726894176992 140726894173528 5250279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1065 837 493 0 269 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4260 KiB
[startup+0.700238 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981636/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4260 CPUtime=0.69 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1280 0 0 0 69 0 0 0 20 0 1 0 434981784 28524544 1065 33554432000 4194304 6211092 140726894176992 140726894173528 5397440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1065 837 493 0 269 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4260 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981596/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4260 CPUtime=1.49 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1280 0 0 0 149 0 0 0 20 0 1 0 434981784 28524544 1065 33554432000 4194304 6211092 140726894176992 140726894174952 5008951 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1065 837 493 0 269 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4260 KiB
[startup+3.11009 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981720/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=3.1 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1461 0 0 0 310 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155800 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+6.30024 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981720/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=6.29 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1643 0 0 0 629 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28981904/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=12.69 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 1824 0 0 0 1269 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5008840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31651
/proc/meminfo: memFree=28982152/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=25.49 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 2186 0 0 0 2549 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5009317 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+51.1101 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31654
/proc/meminfo: memFree=28981764/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=51.1 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 2367 0 0 0 5110 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5009317 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31658
/proc/meminfo: memFree=28982744/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=102.28 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 2548 0 0 0 10228 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5009195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 31662
/proc/meminfo: memFree=28982008/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=162.28 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 2729 0 0 0 16228 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/200 31668
/proc/meminfo: memFree=28981808/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=222.27 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 2910 0 0 0 22227 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5156133 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/199 31672
/proc/meminfo: memFree=28981788/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=282.27 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 3091 0 0 0 28227 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+342.3 s]
/proc/loadavg: 2.51 2.19 2.10 3/199 31676
/proc/meminfo: memFree=28982104/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=342.26 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 3272 0 0 0 34226 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+402.3 s]
/proc/loadavg: 2.19 2.15 2.09 3/200 31682
/proc/meminfo: memFree=28981536/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=402.26 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 3453 0 0 0 40226 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5390069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/199 31693
/proc/meminfo: memFree=28981164/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=462.25 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 3634 0 0 0 46225 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5396409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
################
# More data... #
################
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/201 32084
/proc/meminfo: memFree=28982196/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=1782.11 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 7515 0 0 0 178211 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155847 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/202 32090
/proc/meminfo: memFree=28982036/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=1842.11 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 7683 0 0 0 184211 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5156192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 32094
/proc/meminfo: memFree=28982212/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=1902.1 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 7851 0 0 0 190210 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32098
/proc/meminfo: memFree=28982740/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=1962.09 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8032 0 0 0 196209 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5157967 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32104
/proc/meminfo: memFree=28982492/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2022.08 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8200 0 0 0 202208 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155539 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32108
/proc/meminfo: memFree=28982476/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2082.07 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8368 0 0 0 208207 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5157163 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32112
/proc/meminfo: memFree=28982388/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2142.06 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8549 0 0 0 214206 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250467 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32118
/proc/meminfo: memFree=28982336/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2202.06 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8717 0 0 0 220206 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250450 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32130
/proc/meminfo: memFree=28982308/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2262.05 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 8885 0 0 0 226205 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 32134
/proc/meminfo: memFree=28982896/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2322.04 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 9053 0 0 0 232204 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5157004 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 32140
/proc/meminfo: memFree=28982312/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2382.03 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 9234 0 0 0 238203 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250251 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 32144
/proc/meminfo: memFree=28981980/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2442.02 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 9402 0 0 0 244202 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5155216 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32148
/proc/meminfo: memFree=28982396/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2502.01 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 9570 0 0 0 250201 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5250224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 32150
/proc/meminfo: memFree=28981748/32770688 swapFree=66919992/67108860
[pid=31650] ppid=31647 vsize=27856 memory=4476 CPUtime=2519.72 cores=4-7
/proc/31650/stat : 31650 (cosoco) R 31647 31650 28498 0 -1 4202496 9728 0 0 0 251972 0 0 0 20 0 1 0 434981784 28524544 1119 33554432000 4194304 6211092 140726894176992 140726894174952 5156188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35344384 140726894179339 140726894179441 140726894179441 140726894182350 0
/proc/31650/statm: 6964 1119 875 493 0 269 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31650 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.003999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.73
CPU user time (s): 2519.73
CPU system time (s): 0.003999
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 27856
Max. memory (cumulated for all children) (KiB): 4476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.003999
maximum resident set size= 4540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9777
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= 1892
# summary of solver processes directly reported to runsolver:
# pid: 31650
# total CPU time (s): 2519.73
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.003999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0938 second user time and 17.98 second system time
The end
Begin job on node120 at 2011-12-17 07:42:57
IDJOB=4396734
IDBENCH=135568
IDSOLVER=2848
FILE ID=node120/4396734-1568589755
RUNJOBID= node120-1324087207-28530
PBS_JOBID= 21703329
Free space on /tmp= 61652 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-clau-011-010.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396734-1568589755/watcher-4396734-1568589755 -o /tmp/evaluation-result-4396734-1568589755/solver-4396734-1568589755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396734-1568589755.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 46ced5e3eb9b8d9f9897ebef4f7d04b7
RANDOM SEED=891844747
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: 28983216 kB
MemAvailable: 31824520 kB
Buffers: 194828 kB
Cached: 2951072 kB
SwapCached: 77548 kB
Active: 1341196 kB
Inactive: 1889472 kB
Active(anon): 5632 kB
Inactive(anon): 129020 kB
Active(file): 1335564 kB
Inactive(file): 1760452 kB
Unevictable: 107628 kB
Mlocked: 107628 kB
SwapTotal: 67108860 kB
SwapFree: 66919992 kB
Dirty: 2724 kB
Writeback: 320 kB
AnonPages: 106432 kB
Mapped: 53580 kB
Shmem: 41008 kB
Slab: 150832 kB
SReclaimable: 122244 kB
SUnreclaim: 28588 kB
KernelStack: 3520 kB
PageTables: 5664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 547308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 57344 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 08:24:57