Trace number 2701269

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.06 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.2 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.91	c 3.76143 265.156 1 98812
3.89/3.91	o 33713953
3.99/4.01	c 3.78342 271.938 1 148152
3.99/4.01	o 27692941
3.99/4.09	c 3.80242 271.938 2 194069
3.99/4.09	o 27653650
4.09/4.18	c 3.82042 271.938 2 243399
4.09/4.18	o 19532634
4.19/4.27	c 3.83842 271.938 3 293063
4.19/4.27	o 19512634
4.30/4.36	c 3.85341 271.938 3 342411
4.30/4.36	o 12372027
4.39/4.44	c 3.86941 272.133 3 375273
4.39/4.44	o 12362027
4.49/4.53	c 3.88941 272.383 4 390446
4.49/4.53	o 12362026
4.59/4.63	c 3.90541 272.383 7 444115
4.59/4.63	o 11432526
4.69/4.73	c 3.9304 272.383 13 490191
4.69/4.73	o 11372233
4.79/4.81	c 3.9614 272.383 14 539706
4.79/4.81	o 8392634
4.89/4.90	c 3.98339 272.383 14 589089
4.89/4.90	o 5312226
4.99/5.05	c 4.02239 272.383 114 652769
4.99/5.05	o 3473137
5.10/5.14	c 4.03939 272.512 122 701867
5.10/5.14	o 3462435
5.20/5.27	c 4.07538 272.512 222 754455
5.20/5.27	o 3422627
5.30/5.36	c 4.09338 272.512 222 782156
5.30/5.36	o 3412833
5.49/5.52	c 4.12837 272.641 259 811052
5.49/5.52	o 3412636
5.59/5.65	c 4.15037 272.641 292 840203
5.59/5.65	o 3403032
5.70/5.77	c 4.18136 272.641 393 892124
5.70/5.77	o 2513137
5.79/5.86	c 4.19836 272.77 420 938159
5.79/5.86	o 2492426
5.99/6.00	c 4.22836 272.77 434 984517
5.99/6.00	o 2473136
5.99/6.10	c 4.24835 272.77 439 1012171
5.99/6.10	o 2472440
6.09/6.19	c 4.26835 272.77 439 1039429
6.09/6.19	o 2462537
6.39/6.44	c 4.31934 272.898 540 1087870
6.39/6.44	o 2392638
6.59/6.63	c 4.37933 272.898 765 1141282
6.59/6.63	o 1542834
6.69/6.73	c 4.39833 272.898 777 1188349
6.69/6.73	o 1454134
6.79/6.83	c 4.41433 273.027 785 1217052
6.79/6.83	o 1452740
6.89/6.92	c 4.43633 273.027 795 1263762
6.89/6.92	o 1423232
6.99/7.05	c 4.45732 273.027 814 1291830
6.99/7.05	o 1422635
7.09/7.15	c 4.47732 273.027 823 1337822
7.09/7.15	o 1392939
7.19/7.25	c 4.49932 273.027 851 1385430
7.19/7.25	o 1382634
7.60/7.67	c 4.5823 273.156 1025 1436209
7.60/7.67	o 1372542
8.09/8.12	c 4.70428 273.285 1378 1500721
8.09/8.12	o 1362433
8.80/8.88	c 4.88726 273.414 2179 1578282
8.80/8.88	o 1342141
9.00/9.08	c 4.92925 273.414 2232 1625905
9.00/9.08	o 1301937
9.39/9.41	c 5.06523 273.543 2670 1681198
9.39/9.41	o 1292243
16.09/16.11	c 6.99494 275.348 11715 2011564
16.09/16.11	o 493133
16.19/16.21	c 7.03193 275.348 11717 2057415
16.19/16.21	o 452334
16.30/16.31	c 7.07092 275.348 11723 2087543
16.30/16.31	o 442836
16.40/16.47	c 7.13091 275.348 11875 2138125
16.40/16.47	o 432536
16.50/16.57	c 7.16591 275.348 11963 2184291
16.50/16.57	o 382533
16.59/16.66	c 7.2009 275.477 12020 2212961
16.59/16.66	o 372535
16.69/16.76	c 7.2269 275.477 12022 2258855
16.69/16.76	o 352732
16.79/16.85	c 7.2499 275.477 12050 2287604
16.79/16.85	o 352537
16.99/17.00	c 7.29689 275.477 12184 2318947
16.99/17.00	o 343233
17.19/17.27	c 7.39088 275.605 12705 2364434
17.19/17.27	o 342435
17.39/17.42	c 7.42587 275.605 12762 2393753
17.39/17.42	o 333146
17.50/17.53	c 7.45287 275.605 4542 2424018
17.50/17.53	o 333040
17.60/17.64	c 7.47886 275.605 4585 2471330
17.60/17.64	o 322729
17.99/18.09	c 7.59784 275.605 5156 2510693
17.99/18.09	o 322630
18.50/18.58	c 7.74882 275.605 6077 2572371
18.50/18.58	o 322536
18.59/18.69	c 7.77582 275.605 6104 2601568
18.59/18.69	o 312634
18.70/18.78	c 7.80181 275.605 6123 2633516
18.70/18.78	o 312238
20.59/20.61	c 8.28274 275.605 8761 2750326
20.59/20.61	o 292829
20.90/20.93	c 8.38573 275.605 9274 2791454
20.90/20.93	o 292036
20.99/21.05	c 8.41072 275.605 9310 2808740
20.99/21.05	o 292034
22.19/22.20	c 8.70168 275.605 10696 2880237
22.19/22.20	o 282029
25.10/25.18	c 9.63953 275.992 15120 3055135
25.10/25.18	o 281829
35.29/35.30	c 12.847 276.531 13966 3646586
35.29/35.30	o 272731
41.39/41.41	c 14.8077 276.66 15300 4012716
41.39/41.41	o 253344
53.09/53.18	c 18.2662 277.047 21691 4426601
53.09/53.18	o 251934
53.99/54.04	c 18.5872 277.047 12751 4536601
53.99/54.04	o 242040
59.80/59.83	c 20.5619 277.047 14738 4897127
59.80/59.83	o 212941
104.50/104.52	c 36.2995 277.691 17502 6765297
104.50/104.52	o 212133
124.99/125.08	c 43.4234 277.691 12237 7920979
124.99/125.08	o 202336
208.10/208.19	c 71.6091 278.723 14769 11766728
208.10/208.19	o 192630
215.30/215.31	c 74.0337 278.723 19360 12087313
215.30/215.32	o 182840
293.90/293.98	c 101.826 279.109 15584 15159906
293.90/293.98	o 182432
384.20/384.21	c 132.175 279.883 17433 18794332
384.20/384.21	o 173044
399.31/399.30	c 137.66 279.883 18356 19423464
399.31/399.30	o 172847
491.01/491.04	c 163.352 280.656 17815 21461563
491.01/491.04	o 172632
586.60/586.62	c 195.275 281.043 13245 25110080
586.60/586.62	o 162839
1084.02/1084.01	c 379.692 283.754 16024 42412150
1084.02/1084.01	o 162335
1147.02/1147.08	c 409.226 283.754 12416 45035249
1147.02/1147.08	o 152946
1409.53/1409.56	c 524.306 284.398 19682 53798431
1409.53/1409.56	o 152840
1484.33/1484.30	c 555.882 284.527 20136 55885215
1484.33/1484.30	o 152649
1608.34/1608.32	c 609.3 284.785 15521 59889037
1608.34/1608.32	o 152646
1800.04/1800.00	s SATISFIABLE
1800.04/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-2701269-1278538478/watcher-2701269-1278538478 -o /tmp/evaluation-result-2701269-1278538478/solver-2701269-1278538478 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701269-1278538478.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: 1.92 1.98 1.99 3/196 21630
/proc/meminfo: memFree=30214212/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=2136 CPUtime=0
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 261 0 0 0 0 0 0 0 23 0 1 0 22062223 2187264 181 4089446400 134512640 136422188 4286961888 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21630/statm: 534 181 144 467 0 65 0

[startup+0.0245331 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 21630
/proc/meminfo: memFree=30214212/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=2532 CPUtime=0.02
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 344 0 0 0 2 0 0 0 23 0 1 0 22062223 2592768 264 4089446400 134512640 136422188 4286961888 18446744073709551615 135818531 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21630/statm: 633 264 144 467 0 164 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2532

[startup+0.100511 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 21630
/proc/meminfo: memFree=30214212/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=3708 CPUtime=0.09
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 675 0 0 0 9 0 0 0 23 0 1 0 22062223 3796992 497 4089446400 134512640 136422188 4286961888 18446744073709551615 135822042 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21630/statm: 927 497 144 467 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3708

[startup+0.300477 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 21630
/proc/meminfo: memFree=30214212/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=17276 CPUtime=0.29
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 4151 0 0 0 29 0 0 0 23 0 1 0 22062223 17690624 3845 4089446400 134512640 136422188 4286961888 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 4319 3847 195 467 0 3850 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17276

[startup+0.700418 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 21630
/proc/meminfo: memFree=30214212/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=111468 CPUtime=0.69
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 28458 0 0 0 65 4 0 0 25 0 1 0 22062223 114143232 27174 4089446400 134512640 136422188 4286961888 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 27867 27174 195 467 0 27398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111468

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/197 21631
/proc/meminfo: memFree=30033900/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=263416 CPUtime=1.49
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 68200 0 0 0 141 8 0 0 25 0 1 0 22062223 269737984 64741 4089446400 134512640 136422188 4286961888 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 65854 64741 209 467 0 65385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 263416

[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.99 3/197 21631
/proc/meminfo: memFree=29954960/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=266420 CPUtime=3.09
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 68960 0 0 0 301 8 0 0 25 0 1 0 22062223 272814080 65501 4089446400 134512640 136422188 4286961888 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 66605 65501 211 467 0 66136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266420

[startup+6.30042 s]
/proc/loadavg: 1.93 1.98 1.99 3/197 21631
/proc/meminfo: memFree=29948148/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=279312 CPUtime=6.29
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 72283 0 0 0 429 200 0 0 25 0 1 0 22062223 286015488 67063 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 69828 67063 239 467 0 69359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 279312

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/197 21631
/proc/meminfo: memFree=29947268/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=280368 CPUtime=12.69
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 72563 0 0 0 595 674 0 0 25 0 1 0 22062223 287096832 67330 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 70092 67330 239 467 0 69623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 280368

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/197 21631
/proc/meminfo: memFree=29945436/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=282612 CPUtime=25.49
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73129 0 0 0 975 1574 0 0 25 0 1 0 22062223 289394688 67874 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 70653 67874 239 467 0 70184 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 282612

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/197 21632
/proc/meminfo: memFree=29944588/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=283560 CPUtime=51.09
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73366 0 0 0 1771 3338 0 0 25 0 1 0 22062223 290365440 68109 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 70890 68109 239 467 0 70421 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 283560

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/197 21634
/proc/meminfo: memFree=29943672/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=284352 CPUtime=102.29
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73563 0 0 0 3568 6661 0 0 25 0 1 0 22062223 291176448 68303 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71088 68303 239 467 0 70619 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 284352

[startup+162.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/197 21635
/proc/meminfo: memFree=29943352/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=284484 CPUtime=162.29
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73608 0 0 0 5616 10613 0 0 25 0 1 0 22062223 291311616 68346 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71121 68346 239 467 0 70652 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 284484

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 21637
/proc/meminfo: memFree=29941924/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=285408 CPUtime=222.29
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73863 0 0 0 7637 14592 0 0 25 0 1 0 22062223 292257792 68599 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71352 68599 239 467 0 70883 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 285408

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 21638
/proc/meminfo: memFree=29941488/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=285672 CPUtime=282.3
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 73897 0 0 0 9793 18437 0 0 25 0 1 0 22062223 292528128 68633 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 3/197 21640
/proc/meminfo: memFree=29939944/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=286596 CPUtime=342.3
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74139 0 0 0 11803 22427 0 0 25 0 1 0 22062223 293474304 68874 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71649 68874 239 467 0 71180 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 286596

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 21641
/proc/meminfo: memFree=29939900/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=286596 CPUtime=402.3
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74141 0 0 0 13870 26360 0 0 25 0 1 0 22062223 293474304 68874 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.01 2.01 2.00 3/197 21643
/proc/meminfo: memFree=29939736/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=286596 CPUtime=462.3
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74145 0 0 0 15513 30717 0 0 25 0 1 0 22062223 293474304 68878 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 3/197 21645
/proc/meminfo: memFree=29938688/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=287388 CPUtime=522.3
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74342 0 0 0 17333 34897 0 0 25 0 1 0 22062223 294285312 69074 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71847 69074 239 467 0 71378 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 287388

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 21646
/proc/meminfo: memFree=29938508/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=287388 CPUtime=582.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74346 0 0 0 19392 38839 0 0 25 0 1 0 22062223 294285312 69078 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71847 69078 239 467 0 71378 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 287388

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 21648
/proc/meminfo: memFree=29937800/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=287784 CPUtime=642.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74443 0 0 0 21380 42851 0 0 25 0 1 0 22062223 294690816 69174 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 71946 69174 239 467 0 71477 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 287784

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 21653
/proc/meminfo: memFree=29936808/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=288312 CPUtime=822.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74577 0 0 0 27245 54986 0 0 25 0 1 0 22062223 295231488 69308 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72078 69308 239 467 0 71609 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 288312

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 21654
/proc/meminfo: memFree=29936020/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=288708 CPUtime=882.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74676 0 0 0 29312 58919 0 0 25 0 1 0 22062223 295636992 69407 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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: 1.96 1.98 1.99 3/179 21686
/proc/meminfo: memFree=29782504/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=288708 CPUtime=942.32
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74680 0 0 0 31980 62252 0 0 25 0 1 0 22062223 295636992 69411 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.04 2.00 2.00 3/179 21688
/proc/meminfo: memFree=29774408/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=289236 CPUtime=1002.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 74825 0 0 0 34451 65780 0 0 25 0 1 0 22062223 296177664 69556 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72309 69556 239 467 0 71840 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 289236

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21689
/proc/meminfo: memFree=29767284/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290428 CPUtime=1062.31
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75098 0 0 0 37063 69168 0 0 25 0 1 0 22062223 297398272 69829 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72607 69829 239 467 0 72138 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 290428

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21691
/proc/meminfo: memFree=29760416/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290560 CPUtime=1122.32
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75150 0 0 0 39776 72456 0 0 25 0 1 0 22062223 297533440 69880 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 2.00 3/179 21692
/proc/meminfo: memFree=29750824/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290560 CPUtime=1182.32
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75151 0 0 0 42537 75695 0 0 25 0 1 0 22062223 297533440 69880 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72640 69880 239 467 0 72171 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 290560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21694
/proc/meminfo: memFree=29745336/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290560 CPUtime=1242.32
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75151 0 0 0 45297 78935 0 0 25 0 1 0 22062223 297533440 69880 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 2.00 3/179 21696
/proc/meminfo: memFree=29745048/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290824 CPUtime=1302.33
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75198 0 0 0 47916 82317 0 0 25 0 1 0 22062223 297803776 69927 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72706 69927 239 467 0 72237 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 290824

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21697
/proc/meminfo: memFree=29745136/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=290824 CPUtime=1362.32
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75198 0 0 0 50299 85933 0 0 25 0 1 0 22062223 297803776 69927 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72706 69927 239 467 0 72237 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 290824

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21699
/proc/meminfo: memFree=29744580/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=291220 CPUtime=1422.34
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75299 0 0 0 52969 89265 0 0 25 0 1 0 22062223 298209280 70027 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 3/179 21700
/proc/meminfo: memFree=29744044/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=291220 CPUtime=1482.33
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75299 0 0 0 55487 92746 0 0 25 0 1 0 22062223 298209280 70027 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72805 70027 239 467 0 72336 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 291220

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 21702
/proc/meminfo: memFree=29737416/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=291352 CPUtime=1542.33
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75349 0 0 0 58153 96080 0 0 25 0 1 0 22062223 298344448 70076 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72838 70076 239 467 0 72369 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 291352

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21712
/proc/meminfo: memFree=29730020/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=291352 CPUtime=1602.33
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75349 0 0 0 60680 99553 0 0 25 0 1 0 22062223 298344448 70076 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 72838 70076 239 467 0 72369 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 291352

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21714
/proc/meminfo: memFree=29727616/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=291616 CPUtime=1662.34
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75419 0 0 0 63401 102833 0 0 25 0 1 0 22062223 298614784 70145 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 2.00 3/179 21716
/proc/meminfo: memFree=29726824/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=292276 CPUtime=1722.34
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75577 0 0 0 66211 106023 0 0 25 0 1 0 22062223 299290624 70303 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/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.00 2.00 2.00 3/179 21717
/proc/meminfo: memFree=29726400/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=292276 CPUtime=1782.33
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75577 0 0 0 68820 109413 0 0 25 0 1 0 22062223 299290624 70303 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 73069 70303 239 467 0 72600 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 292276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21718
/proc/meminfo: memFree=29726636/32951124 swapFree=67111528/67111528
[pid=21630] ppid=21628 vsize=292276 CPUtime=1800.04
/proc/21630/stat : 21630 (pbct) R 21628 21630 20441 0 -1 4202496 75577 0 0 0 69562 110442 0 0 25 0 1 0 22062223 299290624 70303 4089446400 134512640 136422188 4286961888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/21630/statm: 73069 70303 239 467 0 72600 0
Current children cumulated CPU time (s) 1800.04
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.06
CPU user time (s): 695.629
CPU system time (s): 1104.43
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 292276

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

runsolver used 2.72358 second user time and 5.86811 second system time

The end

Launcher Data 

Begin job on node103 at 2010-07-07 23:34:38
IDJOB=2701269
IDBENCH=79551
IDSOLVER=1212
FILE ID=node103/2701269-1278538478
PBS_JOBID= 11239271
Free space on /tmp= 73744 MiB

SOLVER NAME= PB/CT 0.1 fixed
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-2701269-1278538478/watcher-2701269-1278538478 -o /tmp/evaluation-result-2701269-1278538478/solver-2701269-1278538478 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701269-1278538478.wbo

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

MD5SUM BENCH= 8392c6f9a9c070c17f5e6e6f3dfa2fdc
RANDOM SEED=743703015

node103.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.793
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.58
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.793
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.82
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.793
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.75
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.793
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.793
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.793
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.793
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.793
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	: 5408.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30214980 kB
Buffers:        133592 kB
Cached:        2306944 kB
SwapCached:          0 kB
Active:        1119156 kB
Inactive:      1474000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30214980 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3176 kB
Writeback:           0 kB
AnonPages:      152676 kB
Mapped:          20268 kB
Slab:            78112 kB
PageTables:       5424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1650792 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= 73736 MiB
End job on node103 at 2010-07-08 00:04:40