Trace number 2701267

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1MSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub1-20_wcsp.wbo
MD5SUM8392c6f9a9c070c17f5e6e6f3dfa2fdc
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark152646
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables280
Total number of constraints49254
Number of soft constraints49240
Number of constraints which are clauses49240
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Top cost 38275680
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 3660538699
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.25	c constraints 14/0 clauses 0/49240 units 0
0.19/0.25	c vars 280
0.19/0.25	c Setting top cost 38275680
3.89/3.90	c 3.76943 265.156 1 98812
3.89/3.90	o 33713953
3.89/3.99	c 3.80442 271.938 1 148152
3.89/3.99	o 27692941
3.99/4.08	c 3.83242 271.938 2 194069
3.99/4.08	o 27653650
4.09/4.17	c 3.85741 271.938 2 243399
4.09/4.17	o 19532634
4.19/4.26	c 3.88541 271.938 3 293063
4.19/4.26	o 19512634
4.29/4.35	c 3.91241 271.938 3 342411
4.29/4.35	o 12372027
4.39/4.44	c 3.9464 272.133 3 375273
4.39/4.44	o 12362027
4.49/4.53	c 3.9764 272.383 4 390446
4.49/4.53	o 12362026
4.59/4.62	c 4.00139 272.383 7 444115
4.59/4.62	o 11432526
4.69/4.72	c 4.02239 272.383 13 490191
4.69/4.72	o 11372233
4.79/4.81	c 4.03939 272.383 14 539706
4.79/4.81	o 8392634
4.89/4.90	c 4.05638 272.383 14 589089
4.89/4.90	o 5312226
4.99/5.05	c 4.10138 272.383 114 652769
4.99/5.05	o 3473137
5.09/5.15	c 4.11837 272.512 122 701867
5.09/5.15	o 3462435
5.19/5.28	c 4.15037 272.512 222 754455
5.19/5.28	o 3422627
5.29/5.37	c 4.16737 272.512 222 782156
5.29/5.37	o 3412833
5.49/5.52	c 4.20036 272.641 259 811052
5.49/5.52	o 3412636
5.59/5.65	c 4.22736 272.641 292 840203
5.59/5.65	o 3403032
5.69/5.78	c 4.25935 272.641 393 892124
5.69/5.78	o 2513137
5.79/5.87	c 4.27735 272.77 420 938159
5.79/5.87	o 2492426
5.99/6.02	c 4.31634 272.77 434 984517
5.99/6.02	o 2473136
6.09/6.11	c 4.34034 272.77 439 1012171
6.09/6.11	o 2472440
6.19/6.20	c 4.35934 272.77 439 1039429
6.19/6.20	o 2462537
6.39/6.46	c 4.41633 272.898 540 1087870
6.39/6.46	o 2392638
6.60/6.65	c 4.48532 272.898 765 1141282
6.60/6.65	o 1542834
6.69/6.75	c 4.50831 272.898 777 1188349
6.69/6.75	o 1454134
6.79/6.85	c 4.52631 273.027 785 1217052
6.79/6.85	o 1452740
6.89/6.95	c 4.54431 273.027 795 1263762
6.89/6.95	o 1423232
6.99/7.08	c 4.5683 273.027 814 1291830
6.99/7.08	o 1422635
7.09/7.17	c 4.5903 273.027 823 1337822
7.09/7.17	o 1392939
7.19/7.28	c 4.6133 273.027 851 1385430
7.19/7.28	o 1382634
7.60/7.70	c 4.70328 273.156 1025 1436209
7.60/7.70	o 1372542
8.09/8.15	c 4.84726 273.285 1378 1500721
8.09/8.15	o 1362433
8.89/8.92	c 5.04923 273.414 2179 1578282
8.89/8.92	o 1342141
9.10/9.11	c 5.09123 273.414 2232 1625905
9.10/9.11	o 1301937
9.40/9.45	c 5.18321 273.543 2670 1681198
9.40/9.45	o 1292243
16.09/16.16	c 7.2649 275.348 11715 2011564
16.09/16.16	o 493133
16.19/16.26	c 7.28989 275.348 11717 2057415
16.19/16.26	o 452334
16.29/16.36	c 7.30989 275.348 11723 2087543
16.29/16.36	o 442836
16.50/16.52	c 7.36388 275.348 11875 2138125
16.50/16.52	o 432536
16.59/16.62	c 7.39588 275.348 11963 2184291
16.59/16.62	o 382533
16.69/16.72	c 7.43287 275.477 12020 2212961
16.69/16.72	o 372535
16.79/16.81	c 7.46686 275.477 12022 2258855
16.79/16.81	o 352732
16.89/16.91	c 7.50286 275.477 12050 2287604
16.89/16.91	o 352537
16.99/17.06	c 7.56185 275.477 12184 2318947
16.99/17.06	o 343233
17.29/17.33	c 7.67883 275.605 12705 2364434
17.29/17.33	o 342435
17.39/17.48	c 7.72783 275.605 12762 2393753
17.39/17.48	o 333146
17.49/17.58	c 7.77182 275.605 4542 2424018
17.49/17.58	o 333040
17.69/17.70	c 7.80981 275.605 4585 2471330
17.69/17.70	o 322729
18.09/18.15	c 7.95379 275.605 5156 2510693
18.09/18.15	o 322630
18.59/18.64	c 8.12576 275.605 6077 2572371
18.59/18.64	o 322536
18.70/18.75	c 8.15676 275.605 6104 2601568
18.70/18.75	o 312634
18.79/18.85	c 8.17976 275.605 6123 2633516
18.79/18.85	o 312238
20.59/20.68	c 8.72567 275.605 8761 2750326
20.59/20.68	o 292829
20.90/20.99	c 8.81466 275.605 9274 2791454
20.90/20.99	o 292036
21.09/21.12	c 8.84366 275.605 9310 2808740
21.09/21.12	o 292034
22.20/22.26	c 9.14461 275.605 10696 2880237
22.20/22.26	o 282029
25.19/25.25	c 10.1565 275.992 15120 3055135
25.19/25.25	o 281829
35.29/35.39	c 13.6009 276.531 13966 3646586
35.29/35.39	o 272731
41.49/41.50	c 15.6416 276.66 15300 4012716
41.49/41.50	o 253344
53.19/53.28	c 19.2451 277.047 21691 4426601
53.19/53.28	o 251934
54.09/54.14	c 19.544 277.047 12751 4536601
54.09/54.14	o 242040
59.89/59.93	c 21.5357 277.047 14738 4897127
59.89/59.93	o 212941
104.59/104.62	c 37.5963 277.691 17502 6765297
104.59/104.62	o 212133
125.09/125.14	c 44.8872 277.691 12237 7920979
125.09/125.14	o 202336
208.10/208.15	c 74.2297 278.723 14769 11766728
208.10/208.15	o 192630
215.19/215.27	c 76.7243 278.723 19360 12087313
215.19/215.27	o 182840
293.90/293.90	c 105.393 279.109 15584 15159906
293.90/293.90	o 182432
384.10/384.11	c 136.669 279.883 17433 18794332
384.10/384.11	o 173044
399.21/399.21	c 142.418 279.883 18356 19423464
399.21/399.21	o 172847
490.91/490.95	c 169.212 280.656 17815 21461563
490.91/490.95	o 172632
586.51/586.54	c 202.268 281.043 13245 25110080
586.51/586.54	o 162839
1083.43/1083.50	c 369.205 283.754 16024 42412150
1083.43/1083.50	o 162335
1146.52/1146.53	c 392.578 283.754 12416 45035249
1146.52/1146.53	o 152946
1409.14/1409.16	c 502.445 284.398 19682 53798431
1409.14/1409.16	o 152840
1483.84/1483.89	c 533.724 284.527 20136 55885215
1483.84/1483.89	o 152649
1607.74/1607.79	c 586.328 284.785 15521 59889037
1607.74/1607.79	o 152646
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280

Verifier Data 

OK	152646

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701267-1278538460/watcher-2701267-1278538460 -o /tmp/evaluation-result-2701267-1278538460/solver-2701267-1278538460 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701267-1278538460.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.62 2.24 2.05 4/182 19985
/proc/meminfo: memFree=29012664/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=2268 CPUtime=0
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 271 0 0 0 0 0 0 0 21 0 1 0 22058685 2322432 190 4089446400 134512640 136421960 4289006400 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19985/statm: 567 190 144 467 0 98 0

[startup+0.0840429 s]
/proc/loadavg: 2.62 2.24 2.05 4/182 19985
/proc/meminfo: memFree=29012664/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=3188 CPUtime=0.08
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 533 0 0 0 8 0 0 0 21 0 1 0 22058685 3264512 419 4089446400 134512640 136421960 4289006400 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19985/statm: 797 419 144 467 0 328 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3188

[startup+0.10104 s]
/proc/loadavg: 2.62 2.24 2.05 4/182 19985
/proc/meminfo: memFree=29012664/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=3708 CPUtime=0.1
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 676 0 0 0 10 0 0 0 21 0 1 0 22058685 3796992 497 4089446400 134512640 136421960 4289006400 18446744073709551615 135830496 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19985/statm: 927 497 144 467 0 458 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3708

[startup+0.301003 s]
/proc/loadavg: 2.62 2.24 2.05 4/182 19985
/proc/meminfo: memFree=29012664/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=18068 CPUtime=0.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 4384 0 0 0 29 0 0 0 21 0 1 0 22058685 18501632 4076 4089446400 134512640 136421960 4289006400 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 4550 4080 194 467 0 4081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18068

[startup+0.700929 s]
/proc/loadavg: 2.62 2.24 2.05 4/182 19985
/proc/meminfo: memFree=29012664/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=111468 CPUtime=0.69
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 28457 0 0 0 66 3 0 0 22 0 1 0 22058685 114143232 27172 4089446400 134512640 136421960 4289006400 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 27867 27172 194 467 0 27398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111468

[startup+1.50078 s]
/proc/loadavg: 2.62 2.24 2.05 3/183 19986
/proc/meminfo: memFree=28831252/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=263416 CPUtime=1.49
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 68214 0 0 0 142 7 0 0 25 0 1 0 22058685 269737984 64754 4089446400 134512640 136421960 4289006400 18446744073709551615 135017068 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 65854 64754 209 467 0 65385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 263416

[startup+3.10048 s]
/proc/loadavg: 2.62 2.24 2.05 3/183 19986
/proc/meminfo: memFree=28752140/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=266420 CPUtime=3.09
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 68964 0 0 0 302 7 0 0 25 0 1 0 22058685 272814080 65504 4089446400 134512640 136421960 4289006400 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 66605 65504 211 467 0 66136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266420

[startup+6.30089 s]
/proc/loadavg: 2.57 2.24 2.05 3/183 19986
/proc/meminfo: memFree=28745412/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=279312 CPUtime=6.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 72284 0 0 0 438 191 0 0 25 0 1 0 22058685 286015488 67063 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 69828 67063 239 467 0 69359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 279312

[startup+12.7007 s]
/proc/loadavg: 2.52 2.23 2.05 3/183 19987
/proc/meminfo: memFree=28745220/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=280368 CPUtime=12.69
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 72551 0 0 0 619 650 0 0 25 0 1 0 22058685 287096832 67317 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 70092 67317 239 467 0 69623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 280368

[startup+25.5003 s]
/proc/loadavg: 2.41 2.22 2.05 3/183 19987
/proc/meminfo: memFree=28743584/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=282612 CPUtime=25.49
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73130 0 0 0 1024 1525 0 0 25 0 1 0 22058685 289394688 67874 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19985/statm: 70653 67874 239 467 0 70184 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 282612

[startup+51.1006 s]
/proc/loadavg: 2.33 2.22 2.05 3/183 19987
/proc/meminfo: memFree=28742308/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=283560 CPUtime=51.1
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73367 0 0 0 1865 3245 0 0 25 0 1 0 22058685 290365440 68109 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 70890 68109 239 467 0 70421 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 283560

[startup+102.307 s]
/proc/loadavg: 2.14 2.18 2.04 3/183 19989
/proc/meminfo: memFree=28741420/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=284352 CPUtime=102.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73564 0 0 0 3688 6542 0 0 25 0 1 0 22058685 291176448 68303 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71088 68303 239 467 0 70619 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 284352

[startup+162.301 s]
/proc/loadavg: 2.05 2.15 2.04 3/183 19991
/proc/meminfo: memFree=28741392/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=284484 CPUtime=162.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73609 0 0 0 5815 10414 0 0 25 0 1 0 22058685 291311616 68346 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71121 68346 239 467 0 70652 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 284484

[startup+222.301 s]
/proc/loadavg: 2.02 2.12 2.03 3/183 19992
/proc/meminfo: memFree=28739980/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=285408 CPUtime=222.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73864 0 0 0 7922 14308 0 0 25 0 1 0 22058685 292257792 68599 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71352 68599 239 467 0 70883 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 285408

[startup+282.301 s]
/proc/loadavg: 2.00 2.09 2.03 3/183 19994
/proc/meminfo: memFree=28739832/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=285672 CPUtime=282.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 73898 0 0 0 10138 18092 0 0 25 0 1 0 22058685 292528128 68633 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71418 68633 239 467 0 70949 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 285672

[startup+342.301 s]
/proc/loadavg: 2.00 2.07 2.02 3/183 19995
/proc/meminfo: memFree=28739056/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=286596 CPUtime=342.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74140 0 0 0 12219 22010 0 0 25 0 1 0 22058685 293474304 68874 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71649 68874 239 467 0 71180 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 286596

[startup+402.301 s]
/proc/loadavg: 2.00 2.06 2.02 3/183 19997
/proc/meminfo: memFree=28738892/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=286596 CPUtime=402.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74142 0 0 0 14353 25877 0 0 25 0 1 0 22058685 293474304 68874 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71649 68874 239 467 0 71180 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 286596

[startup+462.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/183 19999
/proc/meminfo: memFree=28739104/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=286596 CPUtime=462.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74146 0 0 0 16070 30160 0 0 25 0 1 0 22058685 293474304 68878 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71649 68878 239 467 0 71180 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 286596

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 20000
/proc/meminfo: memFree=28738204/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=287388 CPUtime=522.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74343 0 0 0 17953 34277 0 0 25 0 1 0 22058685 294285312 69074 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71847 69074 239 467 0 71378 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 287388

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 20002
/proc/meminfo: memFree=28738064/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=287388 CPUtime=582.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74347 0 0 0 20089 38141 0 0 25 0 1 0 22058685 294285312 69078 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71847 69078 239 467 0 71378 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 287388

[startup+642.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 20003
/proc/meminfo: memFree=28737640/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=287784 CPUtime=642.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74444 0 0 0 22125 42106 0 0 25 0 1 0 22058685 294690816 69174 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 71946 69174 239 467 0 71477 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 287784

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 20008
/proc/meminfo: memFree=28737316/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=288312 CPUtime=822.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74578 0 0 0 28180 54052 0 0 25 0 1 0 22058685 295231488 69308 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72078 69308 239 467 0 71609 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 288312

[startup+882.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 20010
/proc/meminfo: memFree=28736788/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=288708 CPUtime=882.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74677 0 0 0 30311 57920 0 0 25 0 1 0 22058685 295636992 69407 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72177 69407 239 467 0 71708 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 288708

[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20011
/proc/meminfo: memFree=28736768/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=288708 CPUtime=942.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74681 0 0 0 32411 61821 0 0 25 0 1 0 22058685 295636992 69411 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72177 69411 239 467 0 71708 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 288708

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 20013
/proc/meminfo: memFree=28735992/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=289236 CPUtime=1002.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 74826 0 0 0 34253 65979 0 0 25 0 1 0 22058685 296177664 69556 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72309 69556 239 467 0 71840 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 289236

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20015
/proc/meminfo: memFree=28734588/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290428 CPUtime=1062.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75099 0 0 0 36245 69987 0 0 25 0 1 0 22058685 297398272 69829 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72607 69829 239 467 0 72138 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 290428

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 20016
/proc/meminfo: memFree=28734316/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290560 CPUtime=1122.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75151 0 0 0 38379 73853 0 0 25 0 1 0 22058685 297533440 69880 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72640 69880 239 467 0 72171 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 290560

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/200 20155
/proc/meminfo: memFree=28606932/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290560 CPUtime=1182.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75152 0 0 0 40531 77702 0 0 25 0 1 0 22058685 297533440 69880 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72640 69880 239 467 0 72171 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 290560

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 20188
/proc/meminfo: memFree=28562104/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290560 CPUtime=1242.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75152 0 0 0 43213 81019 0 0 25 0 1 0 22058685 297533440 69880 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72640 69880 239 467 0 72171 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 290560

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20190
/proc/meminfo: memFree=28554124/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290824 CPUtime=1302.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75199 0 0 0 45807 84427 0 0 25 0 1 0 22058685 297803776 69927 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72706 69927 239 467 0 72237 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 290824

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 20192
/proc/meminfo: memFree=28545776/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=290824 CPUtime=1362.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75199 0 0 0 48166 88067 0 0 25 0 1 0 22058685 297803776 69927 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72706 69927 239 467 0 72237 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 290824

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20193
/proc/meminfo: memFree=28536580/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=291220 CPUtime=1422.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75300 0 0 0 50807 91427 0 0 25 0 1 0 22058685 298209280 70027 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72805 70027 239 467 0 72336 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 291220

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20195
/proc/meminfo: memFree=28536532/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=291220 CPUtime=1482.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75300 0 0 0 53293 94941 0 0 25 0 1 0 22058685 298209280 70027 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72805 70027 239 467 0 72336 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 291220

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20196
/proc/meminfo: memFree=28536364/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=291352 CPUtime=1542.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75350 0 0 0 55922 98312 0 0 25 0 1 0 22058685 298344448 70076 4089446400 134512640 136421960 4289006400 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72838 70076 239 467 0 72369 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 291352

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20207
/proc/meminfo: memFree=28528388/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=291352 CPUtime=1602.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75350 0 0 0 58421 101813 0 0 25 0 1 0 22058685 298344448 70076 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72838 70076 239 467 0 72369 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 291352

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20209
/proc/meminfo: memFree=28527012/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=291616 CPUtime=1662.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75420 0 0 0 61083 105151 0 0 25 0 1 0 22058685 298614784 70145 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 72904 70145 239 467 0 72435 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 291616

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 20210
/proc/meminfo: memFree=28526364/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=292276 CPUtime=1722.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75578 0 0 0 63866 108368 0 0 25 0 1 0 22058685 299290624 70303 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 73069 70303 239 467 0 72600 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 292276

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 20212
/proc/meminfo: memFree=28526088/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=292276 CPUtime=1782.34
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75578 0 0 0 66453 111781 0 0 25 0 1 0 22058685 299290624 70303 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 73069 70303 239 467 0 72600 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 292276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 20212
/proc/meminfo: memFree=28526196/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=292276 CPUtime=1800.05
/proc/19985/stat : 19985 (pbct) R 19983 19985 18581 0 -1 4202496 75578 0 0 0 67193 112812 0 0 25 0 1 0 22058685 299290624 70303 4089446400 134512640 136421960 4289006400 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 73069 70303 239 467 0 72600 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 292276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 671.936
CPU system time (s): 1128.14
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 292276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 671.936
system time used= 1128.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75579
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= 1
involuntary context switches= 2998

runsolver used 3.43248 second user time and 6.29204 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-07 23:34:20
IDJOB=2701267
IDBENCH=79551
IDSOLVER=1208
FILE ID=node135/2701267-1278538460
PBS_JOBID= 11239208
Free space on /tmp= 73756 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub1-20_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701267-1278538460/watcher-2701267-1278538460 -o /tmp/evaluation-result-2701267-1278538460/solver-2701267-1278538460 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701267-1278538460.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8392c6f9a9c070c17f5e6e6f3dfa2fdc
RANDOM SEED=108174224

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7358.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29013060 kB
Buffers:        126840 kB
Cached:        3570856 kB
SwapCached:          0 kB
Active:        1967136 kB
Inactive:      1826452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29013060 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3656 kB
Writeback:           0 kB
AnonPages:       95444 kB
Mapped:          15408 kB
Slab:            81124 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   239164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73752 MiB
End job on node135 at 2010-07-08 00:04:22