Trace number 2701287

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.1 fixedMSAT (TO) 1800.08 1800.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo
MD5SUM1923b56554147f45c1335542a0a2f539
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3328
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables336
Total number of constraints69031
Number of soft constraints69017
Number of constraints which are clauses69017
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 constraint24
Top cost 47694
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 9891329
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.29/0.39	c constraints 14/0 clauses 0/69017 units 0
0.29/0.39	c vars 336
0.29/0.39	c Setting top cost 47694
8.29/8.33	c 8.15676 375.441 1 138461
8.29/8.33	o 39008
8.39/8.46	c 8.25075 384.941 1 207630
8.39/8.46	o 32184
8.59/8.60	c 8.34073 384.941 2 269241
8.59/8.60	o 32052
8.69/8.74	c 8.43372 384.941 6 346842
8.69/8.74	o 15947
8.90/8.98	c 8.58169 384.941 56 422516
8.90/8.98	o 15852
9.09/9.11	c 8.66668 384.941 56 491632
9.09/9.11	o 9112
14.69/14.73	c 12.3881 385.973 3350 846637
14.69/14.73	o 9065
15.99/16.00	c 13.245 385.598 3929 948259
15.99/16.00	o 8500
22.00/22.01	c 17.3104 386.254 7067 1072585
22.00/22.01	o 8447
22.19/22.22	c 17.4563 386.266 7098 1122532
22.19/22.22	o 8408
23.49/23.59	c 18.3672 386.406 7746 1311479
23.49/23.59	o 8307
24.30/24.35	c 18.9061 386.547 8264 1379594
24.30/24.35	o 8271
27.29/27.37	c 20.8968 386.816 9969 1529256
27.29/27.37	o 8167
32.29/32.30	c 24.1673 388.102 12831 1662076
32.29/32.30	o 8157
52.49/52.56	c 37.2853 389.391 10955 2230253
52.49/52.56	o 7978
64.09/64.18	c 45.0522 389.391 16302 2479878
64.09/64.18	o 7887
69.59/69.61	c 48.7576 390.035 19202 2637110
69.59/69.61	o 7857
78.89/78.94	c 55.1686 391.324 23519 2832186
78.89/78.94	o 7683
89.29/89.31	c 62.1536 391.324 16063 3095155
89.29/89.31	o 7375
96.20/96.29	c 66.7618 391.078 19717 3227845
96.20/96.29	o 7327
98.69/98.77	c 68.4056 391.348 20551 3310644
98.69/98.77	o 7316
100.10/100.12	c 69.3505 391.488 21205 3383865
100.10/100.12	o 7238
100.60/100.60	c 69.6844 391.5 21352 3410244
100.60/100.60	o 7235
115.50/115.50	c 79.7719 391.887 16383 3627421
115.50/115.50	o 7208
115.69/115.79	c 79.9718 391.887 16407 3691307
115.69/115.79	o 6636
117.40/117.46	c 81.1907 392.145 17060 3757117
117.40/117.46	o 6595
135.79/135.87	c 94.2207 393.562 22192 3917811
135.79/135.87	o 6547
192.40/192.44	c 133.214 397.957 19910 4273824
192.40/192.44	o 5888
192.61/192.61	c 133.34 397.957 19919 4338566
192.61/192.61	o 5567
208.01/208.03	c 144.478 397.957 14277 4633370
208.01/208.03	o 5476
252.00/252.03	c 175.702 397.957 18583 5149027
252.00/252.03	o 5352
256.10/256.10	c 178.709 397.957 19934 5217629
256.10/256.10	o 5348
315.50/315.54	c 221.623 397.957 13378 5629162
315.50/315.54	o 5311
316.40/316.47	c 222.439 397.957 13514 5678730
316.40/316.47	o 5230
384.50/384.59	c 271.555 398.086 23131 6251446
384.50/384.59	o 5197
396.41/396.48	c 279.652 398.086 16958 6441062
396.41/396.48	o 5010
516.71/516.77	c 357.016 399.504 17768 7343539
516.71/516.77	o 4842
517.02/517.02	c 357.19 399.504 17822 7391761
517.02/517.02	o 4780
519.21/519.28	c 358.841 399.504 18549 7449248
519.21/519.28	o 4736
541.91/541.99	c 375.172 399.504 16196 7713666
541.91/541.99	o 4523
603.51/603.52	c 418.949 399.504 14680 8218937
603.51/603.52	o 4507
604.11/604.14	c 419.368 399.504 14842 8252521
604.11/604.14	o 4504
626.31/626.38	c 434.916 399.504 23335 8504722
626.31/626.38	o 4486
627.12/627.11	c 435.448 399.504 11937 8577987
627.12/627.11	o 4358
670.51/670.55	c 466.316 400.406 22208 8870917
670.51/670.55	o 4342
702.32/702.39	c 490.126 400.535 18736 9112017
702.32/702.39	o 4260
809.62/809.67	c 562.69 402.469 20143 9738382
809.62/809.67	o 4087
884.12/884.15	c 616.279 402.469 17122 10182241
884.12/884.15	o 4009
982.33/982.31	c 687.518 406.078 22436 10822926
982.33/982.31	o 3991
1004.92/1004.91	c 702.993 406.078 18324 11027073
1004.92/1004.91	o 3871
1110.73/1110.71	c 780.591 406.078 13449 11750851
1110.73/1110.71	o 3856
1348.74/1348.71	c 932.591 414.477 25687 13100349
1348.74/1348.71	o 3850
1380.74/1380.71	c 950.595 415.121 12173 13488540
1380.74/1380.71	o 3841
1395.04/1395.04	c 957.901 415.121 17008 13642134
1395.04/1395.04	o 3768
1510.24/1510.26	c 1019.57 425 18638 14599776
1510.24/1510.26	o 3371
1645.45/1645.46	c 1095.6 425 17406 15795441
1645.45/1645.46	o 3328
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 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336

Verifier Data 

OK	3328

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701287-1278538997/watcher-2701287-1278538997 -o /tmp/evaluation-result-2701287-1278538997/solver-2701287-1278538997 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701287-1278538997.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.00 2.00 1.95 4/178 21302
/proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=2136 CPUtime=0
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 262 0 0 0 0 0 0 0 25 0 1 0 22113890 2187264 181 4089446400 134512640 136422188 4290680256 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21302/statm: 534 181 144 467 0 65 0

[startup+0.104209 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 21302
/proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=3708 CPUtime=0.1
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 673 0 0 0 10 0 0 0 25 0 1 0 22113890 3796992 494 4089446400 134512640 136422188 4290680256 18446744073709551615 135204108 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21302/statm: 927 494 144 467 0 458 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3708

[startup+0.201192 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 21302
/proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=5144 CPUtime=0.2
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 1125 0 0 0 20 0 0 0 25 0 1 0 22113890 5267456 817 4089446400 134512640 136422188 4290680256 18446744073709551615 135809638 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21302/statm: 1286 817 144 467 0 817 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5144

[startup+0.301183 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 21302
/proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=5672 CPUtime=0.29
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 1318 0 0 0 29 0 0 0 25 0 1 0 22113890 5808128 1010 4089446400 134512640 136422188 4290680256 18446744073709551615 135523996 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21302/statm: 1418 1010 144 467 0 949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5672

[startup+0.701095 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 21302
/proc/meminfo: memFree=28361136/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=77616 CPUtime=0.69
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 19613 0 0 0 67 2 0 0 25 0 1 0 22113890 79478784 18343 4089446400 134512640 136422188 4290680256 18446744073709551615 135820688 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 19404 18345 195 467 0 18935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77616

[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21303
/proc/meminfo: memFree=28202912/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=241900 CPUtime=1.49
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 63337 0 0 0 141 8 0 0 25 0 1 0 22113890 247705600 59522 4089446400 134512640 136422188 4290680256 18446744073709551615 134701237 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 60475 59524 195 467 0 60006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241900

[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21303
/proc/meminfo: memFree=28001164/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=375368 CPUtime=3.09
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 97176 0 0 0 297 12 0 0 25 0 1 0 22113890 384376832 90470 4089446400 134512640 136422188 4290680256 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 93842 90470 209 467 0 93373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 375368

[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21303
/proc/meminfo: memFree=27996780/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=378328 CPUtime=6.29
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 97904 0 0 0 617 12 0 0 25 0 1 0 22113890 387407872 91198 4089446400 134512640 136422188 4290680256 18446744073709551615 135017819 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 94582 91198 209 467 0 94113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 378328

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21303
/proc/meminfo: memFree=27990848/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=394176 CPUtime=12.69
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 101856 0 0 0 1103 166 0 0 25 0 1 0 22113890 403636224 92710 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 98544 92710 238 467 0 98075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 394176

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21303
/proc/meminfo: memFree=27989596/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=395820 CPUtime=25.49
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 102984 0 0 0 1964 585 0 0 25 0 1 0 22113890 405319680 93137 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 98955 93137 238 467 0 98486 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 395820

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21304
/proc/meminfo: memFree=27987360/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=398732 CPUtime=51.09
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 103808 0 0 0 3634 1475 0 0 25 0 1 0 22113890 408301568 93827 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 99683 93827 238 467 0 99214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 398732

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21305
/proc/meminfo: memFree=27983108/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=401024 CPUtime=102.3
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 104957 0 0 0 7081 3149 0 0 25 0 1 0 22113890 410648576 94407 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 100256 94407 238 467 0 99787 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 401024

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21307
/proc/meminfo: memFree=27975140/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=407372 CPUtime=162.3
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106544 0 0 0 11327 4903 0 0 25 0 1 0 22113890 417148928 95990 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 101843 95990 238 467 0 101374 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 407372

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21309
/proc/meminfo: memFree=27974972/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=407504 CPUtime=222.31
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106570 0 0 0 15438 6793 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 101876 96013 238 467 0 101407 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 407504

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21310
/proc/meminfo: memFree=27975076/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=407504 CPUtime=282.3
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106572 0 0 0 19814 8416 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 101876 96013 238 467 0 101407 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 407504

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21312
/proc/meminfo: memFree=27974916/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=407504 CPUtime=342.31
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106574 0 0 0 24105 10126 0 0 25 0 1 0 22113890 417284096 96013 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 101876 96013 238 467 0 101407 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 407504

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 21313
/proc/meminfo: memFree=27974772/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=407636 CPUtime=402.3
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106613 0 0 0 28366 11864 0 0 25 0 1 0 22113890 417419264 96050 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 101909 96050 238 467 0 101440 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 407636

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 21315
/proc/meminfo: memFree=27973368/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=409088 CPUtime=462.31
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106988 0 0 0 32349 13882 0 0 25 0 1 0 22113890 418906112 96425 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 102272 96425 238 467 0 101803 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 409088

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 1.96 3/179 21317
/proc/meminfo: memFree=27973344/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=409088 CPUtime=522.31
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106991 0 0 0 36093 16138 0 0 25 0 1 0 22113890 418906112 96425 4089446400 134512640 136422188 4290680256 18446744073709551615 134643371 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 102272 96425 238 467 0 101803 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 409088

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 21318
/proc/meminfo: memFree=27973188/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=409088 CPUtime=582.31
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106993 0 0 0 40237 17994 0 0 25 0 1 0 22113890 418906112 96426 4089446400 134512640 136422188 4290680256 18446744073709551615 134871152 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 102272 96426 238 467 0 101803 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 409088

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 21320
/proc/meminfo: memFree=27973152/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=409088 CPUtime=642.32
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 106997 0 0 0 44675 19557 0 0 25 0 1 0 22113890 418906112 96426 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 102272 96426 238 467 0 101803 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 409088

[startup+702.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21326
/proc/meminfo: memFree=27970544/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=412124 CPUtime=882.33
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 107732 0 0 0 61492 26741 0 0 25 0 1 0 22113890 422014976 97158 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 103031 97158 238 467 0 102562 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 412124

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21328
/proc/meminfo: memFree=27967524/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=415292 CPUtime=942.33
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108522 0 0 0 65804 28429 0 0 25 0 1 0 22113890 425259008 97947 4089446400 134512640 136422188 4290680256 18446744073709551615 135024012 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 103823 97947 238 467 0 103354 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 415292

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21329
/proc/meminfo: memFree=27966728/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=415820 CPUtime=1002.32
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108679 0 0 0 70120 30112 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 103955 98103 238 467 0 103486 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 415820

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 21331
/proc/meminfo: memFree=27966584/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=415820 CPUtime=1062.32
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108680 0 0 0 74405 31827 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/21302/statm: 103955 98103 238 467 0 103486 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 415820

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/179 21342
/proc/meminfo: memFree=27965724/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=415820 CPUtime=1122.33
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 108681 0 0 0 78916 33317 0 0 25 0 1 0 22113890 425799680 98103 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/21302/statm: 103955 98103 238 467 0 103486 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 415820

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21343
/proc/meminfo: memFree=27962968/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=418196 CPUtime=1182.33
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 109280 0 0 0 83219 35014 0 0 25 0 1 0 22113890 428232704 98702 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/21302/statm: 104549 98702 238 467 0 104080 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 418196

[startup+1242.3 s]
/proc/loadavg: 2.26 2.07 2.00 3/179 22271
/proc/meminfo: memFree=28502492/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=424420 CPUtime=1242.33
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110813 0 0 0 87080 37153 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 106105 100235 238 467 0 105636 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 424420

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/179 22726
/proc/meminfo: memFree=28528768/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=424420 CPUtime=1302.34
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110813 0 0 0 90942 39292 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 106105 100235 238 467 0 105636 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 424420

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/179 22728
/proc/meminfo: memFree=28522368/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=424420 CPUtime=1362.34
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 110814 0 0 0 94018 42216 0 0 25 0 1 0 22113890 434606080 100235 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 106105 100235 238 467 0 105636 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 424420

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 22730
/proc/meminfo: memFree=28514764/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=431868 CPUtime=1422.34
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 112691 0 0 0 97194 45040 0 0 25 0 1 0 22113890 442232832 102110 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 107967 102110 238 467 0 107498 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 431868

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/179 22731
/proc/meminfo: memFree=28509768/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1482.34
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113523 0 0 0 100489 47745 0 0 25 0 1 0 22113890 445640704 102942 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102942 238 467 0 108330 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 435196

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 1.99 3/179 22733
/proc/meminfo: memFree=28509968/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1542.35
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113525 0 0 0 103867 50368 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 435196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 22734
/proc/meminfo: memFree=28509556/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1602.34
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113525 0 0 0 107326 52908 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 435196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 22736
/proc/meminfo: memFree=28508396/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1662.35
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 110561 55674 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 435196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 22738
/proc/meminfo: memFree=28508372/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1722.35
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 113920 58315 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 435196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22739
/proc/meminfo: memFree=28506616/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1782.35
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117035 61200 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 435196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22740
/proc/meminfo: memFree=28507352/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1800.05
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117949 62056 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 435196

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22740
/proc/meminfo: memFree=28507352/32951124 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=435196 CPUtime=1800.05
/proc/21302/stat : 21302 (pbct) R 21300 21302 19080 0 -1 4202496 113526 0 0 0 117949 62056 0 0 25 0 1 0 22113890 445640704 102943 4089446400 134512640 136422188 4290680256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21302/statm: 108799 102943 238 467 0 108330 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 435196

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1179.5
CPU system time (s): 620.586
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 435196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1179.5
system time used= 620.586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113527
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= 9445

runsolver used 2.72959 second user time and 5.74413 second system time

The end

Launcher Data 

Begin job on node111 at 2010-07-07 23:43:17
IDJOB=2701287
IDBENCH=79554
IDSOLVER=1212
FILE ID=node111/2701287-1278538997
PBS_JOBID= 11239255
Free space on /tmp= 73616 MiB

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

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

MD5SUM BENCH= 1923b56554147f45c1335542a0a2f539
RANDOM SEED=2140087209

node111.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.825
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.65
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.825
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.98
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.825
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	: 5332.67
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.825
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.86
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.825
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	: 5233.30
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.825
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.82
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.825
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.75
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.825
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28361540 kB
Buffers:        145744 kB
Cached:        3552260 kB
SwapCached:          0 kB
Active:        2719856 kB
Inactive:      1719684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28361540 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3936 kB
Writeback:           0 kB
AnonPages:      741280 kB
Mapped:          15556 kB
Slab:            84296 kB
PageTables:       5684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   918304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73616 MiB
End job on node111 at 2010-07-08 00:13:19