Trace number 356859

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alphaSAT (TO)251036 1800.22 1800.97

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21166
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
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 (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=556 #constraints=181 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.00/0.01	c nbDecision=180 #constraints=185
0.00/0.01	c linear search for optimum
0.00/0.01	o 262940
0.00/0.01	c nbDecision=185 #constraints=190
0.00/0.01	o 262864
0.00/0.02	c nbDecision=201 #constraints=201
0.00/0.02	o 262020
0.03/0.03	c nbDecision=215 #constraints=212
0.03/0.03	o 261860
0.03/0.03	c nbDecision=219 #constraints=215
0.03/0.03	o 261525
0.03/0.04	c nbDecision=243 #constraints=224
0.03/0.04	o 258516
0.09/0.15	c restart after 401 decisions
0.19/0.20	c nbDecision=500 #constraints=400
0.29/0.34	c restart after 801 decisions
0.29/0.37	c nbDecision=1000 #constraints=565
0.49/0.50	c nbDecision=1183 #constraints=685
0.49/0.50	o 258386
0.49/0.51	c nbDecision=1192 #constraints=693
0.49/0.51	o 257601
0.49/0.51	c nbDecision=1195 #constraints=697
0.49/0.51	o 257266
0.49/0.52	c nbDecision=1202 #constraints=702
0.49/0.52	o 256276
0.49/0.59	c nbDecision=1284 #constraints=756
0.49/0.59	o 255576
0.59/0.60	c nbDecision=1297 #constraints=769
0.59/0.60	o 255416
0.59/0.61	c nbDecision=1303 #constraints=774
0.59/0.61	o 254871
0.59/0.62	c nbDecision=1314 #constraints=784
0.59/0.62	o 254296
0.69/0.79	c nbDecision=1500 #constraints=908
0.89/0.92	c restart after 1601 decisions
1.19/1.26	c nbDecision=2000 #constraints=1148
2.20/2.23	c nbDecision=2500 #constraints=1537
3.39/3.45	c nbDecision=3000 #constraints=1905
4.09/4.16	c restart after 3201 decisions
4.29/4.34	c nbDecision=3400 #constraints=2081
4.29/4.34	o 253924
4.29/4.35	c nbDecision=3403 #constraints=2084
4.29/4.35	o 253776
4.29/4.35	c nbDecision=3403 #constraints=2086
4.29/4.35	o 253201
4.39/4.41	c nbDecision=3430 #constraints=2099
4.39/4.41	o 252394
4.39/4.41	c nbDecision=3432 #constraints=2101
4.39/4.41	o 252234
4.39/4.44	c nbDecision=3435 #constraints=2109
4.39/4.44	o 251944
4.59/4.68	c nbDecision=3500 #constraints=2153
6.59/6.67	c nbDecision=4000 #constraints=2531
8.59/8.64	c nbDecision=4500 #constraints=2899
10.89/10.96	c nbDecision=5000 #constraints=3243
14.08/14.19	c nbDecision=5500 #constraints=3598
17.58/17.62	c nbDecision=6000 #constraints=3956
20.68/20.78	c restart after 6401 decisions
20.98/21.02	c nbDecision=6500 #constraints=4237
24.38/24.43	c nbDecision=7000 #constraints=4531
29.09/29.15	c nbDecision=7500 #constraints=4873
34.28/34.38	c nbDecision=8000 #constraints=5227
40.07/40.18	c nbDecision=8500 #constraints=5581
46.08/46.19	c nbDecision=9000 #constraints=5922
46.77/46.89	c nbDecision=9079 #constraints=5970
46.77/46.89	o 251866
52.27/52.36	c nbDecision=9500 #constraints=6289
59.76/59.87	c nbDecision=10000 #constraints=6653
67.77/67.81	c nbDecision=10500 #constraints=6984
68.97/69.06	c nbDecision=10578 #constraints=7037
68.97/69.06	o 251771
69.17/69.22	c nbDecision=10589 #constraints=7045
69.17/69.22	o 251196
76.57/76.66	c nbDecision=11000 #constraints=7340
87.16/87.26	c nbDecision=11500 #constraints=7725
98.35/98.43	c nbDecision=12000 #constraints=8117
110.25/110.38	c nbDecision=12500 #constraints=8490
116.55/116.64	c restart after 12801 decisions
118.55/118.64	c nbDecision=13000 #constraints=8715
133.24/133.31	c nbDecision=13500 #constraints=9088
149.23/149.36	c nbDecision=14000 #constraints=9456
163.53/163.65	c nbDecision=14500 #constraints=9800
178.42/178.57	c nbDecision=15000 #constraints=10184
193.72/193.81	c nbDecision=15500 #constraints=10569
209.81/209.98	c nbDecision=16000 #constraints=10932
228.31/228.49	c nbDecision=16500 #constraints=11329
244.10/244.22	c nbDecision=17000 #constraints=11683
259.70/259.89	c nbDecision=17500 #constraints=12024
276.99/277.13	c nbDecision=18000 #constraints=12387
295.38/295.53	c nbDecision=18500 #constraints=12755
315.17/315.39	c nbDecision=19000 #constraints=13139
335.57/335.72	c nbDecision=19500 #constraints=13523
356.95/357.19	c nbDecision=20000 #constraints=13902
377.15/377.33	c nbDecision=20500 #constraints=14266
398.95/399.10	c nbDecision=21000 #constraints=14640
421.63/421.90	c nbDecision=21500 #constraints=15014
443.83/444.00	c nbDecision=22000 #constraints=15378
468.82/469.04	c nbDecision=22500 #constraints=15760
496.01/496.25	c nbDecision=23000 #constraints=16153
521.30/521.60	c nbDecision=23500 #constraints=16531
546.28/546.55	c nbDecision=24000 #constraints=16896
573.68/573.94	c nbDecision=24500 #constraints=17283
601.17/601.44	c nbDecision=25000 #constraints=17678
629.96/630.21	c nbDecision=25500 #constraints=18056
636.46/636.73	c restart after 25601 decisions
649.05/649.37	c nbDecision=26000 #constraints=18290
673.14/673.40	c nbDecision=26500 #constraints=18616
702.64/702.95	c nbDecision=27000 #constraints=19001
731.23/731.59	c nbDecision=27500 #constraints=19374
760.71/761.02	c nbDecision=28000 #constraints=19738
789.79/790.10	c nbDecision=28500 #constraints=20105
819.49/819.84	c nbDecision=29000 #constraints=20457
852.38/852.71	c nbDecision=29500 #constraints=20839
885.56/885.91	c nbDecision=30000 #constraints=21217
920.95/921.32	c nbDecision=30500 #constraints=21599
957.34/957.78	c nbDecision=31000 #constraints=21976
991.62/992.08	c nbDecision=31500 #constraints=22350
1028.71/1029.12	c nbDecision=32000 #constraints=22742
1063.90/1064.30	c nbDecision=32500 #constraints=23117
1100.28/1100.78	c nbDecision=33000 #constraints=23499
1133.58/1134.09	c nbDecision=33500 #constraints=23846
1170.16/1170.66	c nbDecision=34000 #constraints=24205
1208.65/1209.12	c nbDecision=34500 #constraints=24592
1248.53/1249.02	c nbDecision=35000 #constraints=24983
1288.02/1288.54	c nbDecision=35500 #constraints=25369
1324.80/1325.34	c nbDecision=36000 #constraints=25706
1367.69/1368.23	c nbDecision=36500 #constraints=26075
1405.77/1406.35	c nbDecision=36923 #constraints=26377
1405.77/1406.35	o 251036
1412.37/1412.94	c nbDecision=37000 #constraints=26440
1455.25/1455.82	c nbDecision=37500 #constraints=26814
1504.34/1504.92	c nbDecision=38000 #constraints=27220
1554.32/1554.99	c nbDecision=38500 #constraints=27623
1605.70/1606.37	c nbDecision=39000 #constraints=28024
1647.98/1648.70	c nbDecision=39500 #constraints=28369
1696.17/1696.80	c nbDecision=40000 #constraints=28765
1744.42/1745.14	c nbDecision=40500 #constraints=29143
1791.04/1791.90	c nbDecision=41000 #constraints=29507
1800.04/1800.80	Received signal 15
1800.14/1800.94	
1800.14/1800.94	s SATISFIABLE
1800.14/1800.94	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
1800.14/1800.94	v -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
1800.14/1800.94	v -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
1800.14/1800.94	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.14/1800.94	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126
1800.14/1800.94	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.14/1800.94	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168
1800.14/1800.94	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.14/1800.94	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.14/1800.94	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.14/1800.94	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 -x252
1800.14/1800.94	v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.14/1800.94	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294
1800.14/1800.94	v -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.14/1800.94	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336
1800.14/1800.94	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.14/1800.94	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.14/1800.94	v -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399
1800.14/1800.94	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.14/1800.94	v -x421 -x422 -x423 x424 -x425 -x426 x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.14/1800.94	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.14/1800.94	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.14/1800.94	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.14/1800.94	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.14/1800.94	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 x540 -x541 x542 -x543 -x544 x545 x546 -x547
1800.14/1800.94	v x548 x549 x550 -x551 x552 -x553 -x554 x555 x556
1800.14/1800.94	
1800.14/1800.94	c user time= 1799.8 s
1800.14/1800.94	c system time= 0.38894 s
1800.14/1800.94	c wall clock time=1800.95

Verifier Data (download as text)

OK	251036

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-356859-1176845529 -o ROOT/results/node42/solver-356859-1176845529 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.72 0.93 0.97 3/77 25435
/proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=1468 CPUtime=0
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 132464818 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 367 163 131 317 0 46 0

[startup+0.0324381 s]
/proc/loadavg: 0.72 0.93 0.97 3/77 25435
/proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=1732 CPUtime=0.03
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 284 0 0 0 3 0 0 0 18 0 1 0 132464818 1773568 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 433 266 170 317 0 112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1732

[startup+0.101451 s]
/proc/loadavg: 0.72 0.93 0.97 3/77 25435
/proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=2116 CPUtime=0.09
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 132464818 2166784 355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134525473 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 529 355 170 317 0 208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2116

[startup+0.301489 s]
/proc/loadavg: 0.72 0.93 0.97 3/77 25435
/proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=2768 CPUtime=0.29
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 548 0 0 0 29 0 0 0 19 0 1 0 132464818 2834432 530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 692 530 170 317 0 371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2768

[startup+0.701566 s]
/proc/loadavg: 0.72 0.93 0.97 3/77 25435
/proc/meminfo: memFree=1596792/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=4212 CPUtime=0.69
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 902 0 0 0 69 0 0 0 23 0 1 0 132464818 4313088 884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712592 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 1053 884 170 317 0 732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4212

[startup+1.50172 s]
/proc/loadavg: 0.72 0.93 0.97 2/78 25436
/proc/meminfo: memFree=1593008/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=5924 CPUtime=1.49
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 1317 0 0 0 149 0 0 0 25 0 1 0 132464818 6066176 1299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 1481 1299 170 317 0 1160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5924

[startup+3.10203 s]
/proc/loadavg: 0.72 0.93 0.97 2/78 25436
/proc/meminfo: memFree=1590832/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=8216 CPUtime=3.09
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 1892 0 0 0 308 1 0 0 25 0 1 0 132464818 8413184 1874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 2054 1874 170 317 0 1733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8216

[startup+6.30163 s]
/proc/loadavg: 0.74 0.94 0.97 2/78 25436
/proc/meminfo: memFree=1587896/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=10712 CPUtime=6.29
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 2503 0 0 0 628 1 0 0 25 0 1 0 132464818 10969088 2485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 2678 2485 170 317 0 2357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10712

[startup+12.7029 s]
/proc/loadavg: 0.76 0.94 0.97 2/78 25436
/proc/meminfo: memFree=1583544/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=14788 CPUtime=12.69
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 3485 0 0 0 1267 2 0 0 25 0 1 0 132464818 15142912 3467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 3697 3467 170 317 0 3376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14788

[startup+25.5013 s]
/proc/loadavg: 0.81 0.94 0.97 2/78 25436
/proc/meminfo: memFree=1578744/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=19868 CPUtime=25.48
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 4610 0 0 0 2545 3 0 0 25 0 1 0 132464818 20344832 4592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 4967 4592 170 317 0 4646 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19868

[startup+51.1012 s]
/proc/loadavg: 0.87 0.94 0.97 2/78 25436
/proc/meminfo: memFree=1572856/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=25868 CPUtime=51.07
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 6088 0 0 0 5102 5 0 0 25 0 1 0 132464818 26488832 6070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 6467 6070 170 317 0 6146 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25868

[startup+102.306 s]
/proc/loadavg: 0.94 0.95 0.97 2/78 25436
/proc/meminfo: memFree=1565048/2055920 swapFree=4056072/4192956
[pid=25435] ppid=25433 vsize=32948 CPUtime=102.26
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 8005 0 0 0 10219 7 0 0 25 0 1 0 132464818 33738752 7987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 8237 7987 170 317 0 7916 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32948

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.97 2/78 25436
/proc/meminfo: memFree=1557304/2055920 swapFree=4056136/4192956
[pid=25435] ppid=25433 vsize=42524 CPUtime=162.23
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 9994 0 0 0 16213 10 0 0 25 0 1 0 132464818 43544576 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 10631 9918 170 317 0 10310 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42524

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 25436
/proc/meminfo: memFree=1551992/2055920 swapFree=4056136/4192956
[pid=25435] ppid=25433 vsize=47644 CPUtime=222.21
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 11298 0 0 0 22209 12 0 0 25 0 1 0 132464818 48787456 11222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 11911 11222 170 317 0 11590 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 47644

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25436
/proc/meminfo: memFree=1547512/2055920 swapFree=4056200/4192956
[pid=25435] ppid=25433 vsize=51712 CPUtime=282.19
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 12434 0 0 0 28206 13 0 0 25 0 1 0 132464818 52953088 12358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 12928 12358 170 317 0 12607 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 51712

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25436
/proc/meminfo: memFree=1543808/2055920 swapFree=4056200/4192956
[pid=25435] ppid=25433 vsize=55008 CPUtime=342.16
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 13359 0 0 0 34202 14 0 0 25 0 1 0 132464818 56328192 13283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 13752 13283 170 317 0 13431 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 55008

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25436
/proc/meminfo: memFree=1540608/2055920 swapFree=4056328/4192956
[pid=25435] ppid=25433 vsize=58296 CPUtime=402.15
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 14190 0 0 0 40199 16 0 0 25 0 1 0 132464818 59695104 14114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 14574 14114 170 317 0 14253 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 58296

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25438
/proc/meminfo: memFree=1537280/2055920 swapFree=4056328/4192956
[pid=25435] ppid=25433 vsize=61312 CPUtime=462.12
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 15010 0 0 0 46195 17 0 0 25 0 1 0 132464818 62783488 14934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 15328 14934 170 317 0 15007 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 61312

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25438
/proc/meminfo: memFree=1533440/2055920 swapFree=4056392/4192956
[pid=25435] ppid=25433 vsize=65492 CPUtime=522.1
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 15950 0 0 0 52192 18 0 0 25 0 1 0 132464818 67063808 15874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 16373 15874 170 317 0 16052 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 65492

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25438
/proc/meminfo: memFree=1529280/2055920 swapFree=4056456/4192956
[pid=25435] ppid=25433 vsize=74628 CPUtime=582.08
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 17979 0 0 0 58189 19 0 0 25 0 1 0 132464818 76419072 16898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 18657 16898 170 317 0 18336 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 74628

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25438
/proc/meminfo: memFree=1525888/2055920 swapFree=4056584/4192956
[pid=25435] ppid=25433 vsize=78388 CPUtime=642.06
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 18847 0 0 0 64186 20 0 0 25 0 1 0 132464818 80269312 17733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 19597 17733 170 317 0 19276 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 78388


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

[startup+882.302 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 25438
/proc/meminfo: memFree=1515904/2055920 swapFree=4056712/4192956
[pid=25435] ppid=25433 vsize=87348 CPUtime=881.96
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 21375 0 0 0 88171 25 0 0 25 0 1 0 132464818 89444352 20261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 21837 20261 170 317 0 21516 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 87348

[startup+942.302 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 25438
/proc/meminfo: memFree=1513408/2055920 swapFree=4056844/4192956
[pid=25435] ppid=25433 vsize=89588 CPUtime=941.95
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 21991 0 0 0 94169 26 0 0 25 0 1 0 132464818 91738112 20877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 22397 20877 170 317 0 22076 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 89588

[startup+1002.3 s]
/proc/loadavg: 1.06 1.00 0.98 2/78 25438
/proc/meminfo: memFree=1510976/2055920 swapFree=4056844/4192956
[pid=25435] ppid=25433 vsize=92064 CPUtime=1001.93
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 22664 0 0 0 100166 27 0 0 25 0 1 0 132464818 94273536 21484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 23016 21484 170 317 0 22695 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 92064

[startup+1062.3 s]
/proc/loadavg: 1.02 1.00 0.98 2/78 25438
/proc/meminfo: memFree=1508608/2055920 swapFree=4056844/4192956
[pid=25435] ppid=25433 vsize=94160 CPUtime=1061.9
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 23269 0 0 0 106162 28 0 0 25 0 1 0 132464818 96419840 22056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 23540 22056 170 317 0 23219 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 94160

[startup+1122.3 s]
/proc/loadavg: 1.09 1.03 0.99 2/78 25438
/proc/meminfo: memFree=1506496/2055920 swapFree=4056972/4192956
[pid=25435] ppid=25433 vsize=96180 CPUtime=1121.88
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 23788 0 0 0 112159 29 0 0 25 0 1 0 132464818 98488320 22575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 24045 22575 170 317 0 23724 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 96180

[startup+1182.3 s]
/proc/loadavg: 1.08 1.04 0.99 2/78 25438
/proc/meminfo: memFree=1504448/2055920 swapFree=4056972/4192956
[pid=25435] ppid=25433 vsize=97892 CPUtime=1181.86
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 24285 0 0 0 118156 30 0 0 25 0 1 0 132464818 100241408 23072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 24473 23072 170 317 0 24152 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 97892

[startup+1242.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 25438
/proc/meminfo: memFree=1502400/2055920 swapFree=4057100/4192956
[pid=25435] ppid=25433 vsize=99728 CPUtime=1241.83
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 24786 0 0 0 124153 30 0 0 25 0 1 0 132464818 102121472 23573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 24932 23573 170 317 0 24611 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 99728

[startup+1302.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 25438
/proc/meminfo: memFree=1500352/2055920 swapFree=4057100/4192956
[pid=25435] ppid=25433 vsize=101436 CPUtime=1301.82
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 25309 0 0 0 130151 31 0 0 25 0 1 0 132464818 103870464 24096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 25359 24096 170 317 0 25038 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 101436

[startup+1362.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 25438
/proc/meminfo: memFree=1498240/2055920 swapFree=4057100/4192956
[pid=25435] ppid=25433 vsize=103148 CPUtime=1361.79
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 25816 0 0 0 136147 32 0 0 25 0 1 0 132464818 105623552 24603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 25787 24603 170 317 0 25466 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 103148

[startup+1422.31 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 25438
/proc/meminfo: memFree=1496512/2055920 swapFree=4057228/4192956
[pid=25435] ppid=25433 vsize=104840 CPUtime=1421.77
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 26285 0 0 0 142145 32 0 0 25 0 1 0 132464818 107356160 25072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 26210 25072 170 317 0 25889 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 104840

[startup+1482.3 s]
/proc/loadavg: 1.14 1.08 1.01 2/78 25438
/proc/meminfo: memFree=1494592/2055920 swapFree=4057228/4192956
[pid=25435] ppid=25433 vsize=106568 CPUtime=1481.75
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 26758 0 0 0 148141 34 0 0 25 0 1 0 132464818 109125632 25545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 26642 25545 170 317 0 26321 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 106568

[startup+1542.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/78 25438
/proc/meminfo: memFree=1492416/2055920 swapFree=4057292/4192956
[pid=25435] ppid=25433 vsize=108460 CPUtime=1541.72
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 27303 0 0 0 154137 35 0 0 25 0 1 0 132464818 111063040 26090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 27115 26090 170 317 0 26794 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 108460

[startup+1602.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/78 25438
/proc/meminfo: memFree=1490688/2055920 swapFree=4057292/4192956
[pid=25435] ppid=25433 vsize=110168 CPUtime=1601.71
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 27756 0 0 0 160135 36 0 0 25 0 1 0 132464818 112812032 26543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 27542 26543 170 317 0 27221 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 110168

[startup+1662.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/78 25438
/proc/meminfo: memFree=1488704/2055920 swapFree=4057292/4192956
[pid=25435] ppid=25433 vsize=111744 CPUtime=1661.68
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 28231 0 0 0 166132 36 0 0 25 0 1 0 132464818 114425856 27018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 27936 27018 170 317 0 27615 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 111744

[startup+1722.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/78 25438
/proc/meminfo: memFree=1486656/2055920 swapFree=4057356/4192956
[pid=25435] ppid=25433 vsize=113576 CPUtime=1721.65
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 28742 0 0 0 172128 37 0 0 25 0 1 0 132464818 116301824 27496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 28394 27496 170 317 0 28073 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 113576

[startup+1782.3 s]
/proc/loadavg: 1.05 1.07 1.01 2/84 25614
/proc/meminfo: memFree=1483512/2055920 swapFree=4057356/4192956
[pid=25435] ppid=25433 vsize=115268 CPUtime=1781.56
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29184 0 0 0 178118 38 0 0 25 0 1 0 132464818 118034432 27938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 28817 27938 170 317 0 28496 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 115268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.03 1.06 1.01 2/78 25636
/proc/meminfo: memFree=1484224/2055920 swapFree=4057356/4192956
[pid=25435] ppid=25433 vsize=115664 CPUtime=1800.04
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29316 0 0 0 179966 38 0 0 25 0 1 0 132464818 118439936 28070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 28916 28070 170 317 0 28595 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 115664

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

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

[startup+1800.91 s]
/proc/loadavg: 1.03 1.06 1.01 2/78 25636
/proc/meminfo: memFree=1484224/2055920 swapFree=4057356/4192956
[pid=25435] ppid=25433 vsize=115664 CPUtime=1800.14
/proc/25435/stat : 25435 (oree) R 25433 25435 25378 0 -1 4194304 29317 0 0 0 179976 38 0 0 25 0 1 0 132464818 118439936 28071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25435/statm: 28916 28071 170 317 0 28595 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 115664

Child status: 0
Real time (s): 1800.97
CPU time (s): 1800.22
CPU user time (s): 1799.81
CPU system time (s): 0.409937
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 115664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29333
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= 8
involuntary context switches= 24880

runsolver used 2.06968 second user time and 4.49632 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue Apr 17 21:32:09 UTC 2007

IDJOB= 356859
IDBENCH= 1528
IDSOLVER= 172
FILE ID= node42/356859-1176845529

PBS_JOBID= 4590185

Free space on /tmp= 66464 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
COMMAND LINE= oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-356859-1176845529 -o ROOT/results/node42/solver-356859-1176845529 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356859-1176845529/instance-356859-1176845529.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fbf213ed65afe4e66abc3948eb02a29f

RANDOM SEED= 964987868

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1597200 kB
Buffers:         43708 kB
Cached:         301524 kB
SwapCached:      34276 kB
Active:         206924 kB
Inactive:       185872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597200 kB
SwapTotal:     4192956 kB
SwapFree:      4056072 kB
Dirty:            1480 kB
Writeback:           0 kB
Mapped:          38752 kB
Slab:            51304 kB
Committed_AS:  2956828 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66464 MiB

End job on node42 on Tue Apr 17 22:02:12 UTC 2007