Trace number 365240

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)28 1800.23 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.596908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
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.01	c ...done
0.00/0.01	c #vars=776 #constraints=869 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.02	c nbDecision=172 #constraints=869
0.00/0.02	c linear search for optimum
0.00/0.02	o 37
0.10/0.11	c nbDecision=217 #constraints=908
0.10/0.11	o 35
0.49/0.51	c restart after 401 decisions
0.49/0.52	c nbDecision=500 #constraints=1063
0.99/1.06	c restart after 801 decisions
1.19/1.20	c nbDecision=996 #constraints=1283
1.19/1.20	o 34
1.19/1.22	c nbDecision=1000 #constraints=1289
2.09/2.14	c nbDecision=1391 #constraints=1566
2.09/2.14	o 33
2.30/2.38	c nbDecision=1500 #constraints=1634
2.59/2.62	c restart after 1601 decisions
3.39/3.42	c nbDecision=2000 #constraints=1870
5.60/5.63	c nbDecision=2500 #constraints=2227
8.29/8.34	c nbDecision=3000 #constraints=2627
9.49/9.51	c restart after 3201 decisions
10.79/10.82	c nbDecision=3500 #constraints=2883
10.79/10.90	c nbDecision=3509 #constraints=2889
10.79/10.90	o 32
14.29/14.35	c nbDecision=4000 #constraints=3255
16.49/16.54	c nbDecision=4299 #constraints=3458
16.49/16.54	o 31
17.78/17.85	c nbDecision=4500 #constraints=3585
21.88/21.98	c nbDecision=5000 #constraints=3935
28.78/28.86	c nbDecision=5500 #constraints=4313
36.08/36.12	c nbDecision=6000 #constraints=4727
42.38/42.49	c restart after 6401 decisions
43.38/43.43	c nbDecision=6500 #constraints=5059
49.48/49.55	c nbDecision=7000 #constraints=5356
56.38/56.49	c nbDecision=7500 #constraints=5692
64.17/64.29	c nbDecision=8000 #constraints=6049
75.48/75.57	c nbDecision=8500 #constraints=6448
90.17/90.20	c nbDecision=9000 #constraints=6864
101.96/102.09	c nbDecision=9500 #constraints=7277
114.26/114.37	c nbDecision=10000 #constraints=7692
128.56/128.62	c nbDecision=10500 #constraints=8104
142.15/142.25	c nbDecision=11000 #constraints=8508
155.76/155.83	c nbDecision=11500 #constraints=8871
168.55/168.61	c nbDecision=12000 #constraints=9215
176.35/176.43	c nbDecision=12312 #constraints=9402
176.35/176.43	o 30
180.84/180.92	c nbDecision=12500 #constraints=9513
188.75/188.87	c restart after 12801 decisions
192.64/192.72	c nbDecision=13000 #constraints=9736
206.14/206.22	c nbDecision=13500 #constraints=10045
219.04/219.17	c nbDecision=14000 #constraints=10369
232.84/232.93	c nbDecision=14500 #constraints=10689
246.53/246.66	c nbDecision=15000 #constraints=10993
261.53/261.65	c nbDecision=15500 #constraints=11305
284.63/284.79	c nbDecision=16000 #constraints=11656
311.71/311.86	c nbDecision=16500 #constraints=12056
336.62/336.71	c nbDecision=17000 #constraints=12448
358.11/358.29	c nbDecision=17500 #constraints=12830
386.79/386.93	c nbDecision=18000 #constraints=13224
412.29/412.45	c nbDecision=18500 #constraints=13608
433.79/433.98	c nbDecision=19000 #constraints=13957
456.48/456.65	c nbDecision=19500 #constraints=14320
490.07/490.22	c nbDecision=20000 #constraints=14713
520.96/521.11	c nbDecision=20500 #constraints=15127
546.67/546.82	c nbDecision=21000 #constraints=15493
570.86/571.05	c nbDecision=21500 #constraints=15848
598.45/598.61	c nbDecision=22000 #constraints=16252
642.53/642.75	c nbDecision=22500 #constraints=16669
676.53/676.75	c nbDecision=23000 #constraints=17079
709.43/709.63	c nbDecision=23500 #constraints=17497
743.81/744.08	c nbDecision=24000 #constraints=17903
778.20/778.46	c nbDecision=24500 #constraints=18307
808.70/808.97	c nbDecision=25000 #constraints=18674
836.39/836.62	c nbDecision=25500 #constraints=19014
842.29/842.60	c restart after 25601 decisions
860.48/860.75	c nbDecision=26000 #constraints=19225
888.48/888.78	c nbDecision=26500 #constraints=19554
913.08/913.33	c nbDecision=27000 #constraints=19858
939.66/939.99	c nbDecision=27500 #constraints=20193
965.56/965.81	c nbDecision=28000 #constraints=20491
993.46/993.78	c nbDecision=28500 #constraints=20811
1021.85/1022.17	c nbDecision=29000 #constraints=21112
1074.33/1074.66	c nbDecision=29500 #constraints=21510
1122.02/1122.36	c nbDecision=30000 #constraints=21889
1156.81/1157.15	c nbDecision=30500 #constraints=22178
1195.10/1195.40	c nbDecision=31000 #constraints=22463
1235.60/1235.92	c nbDecision=31500 #constraints=22770
1272.68/1273.02	c nbDecision=32000 #constraints=23050
1278.78/1279.10	c nbDecision=32107 #constraints=23105
1278.78/1279.10	o 29
1301.18/1301.59	c nbDecision=32500 #constraints=23307
1348.06/1348.44	c nbDecision=33000 #constraints=23610
1396.30/1396.75	c nbDecision=33500 #constraints=23956
1430.86/1431.38	c nbDecision=34000 #constraints=24229
1463.96/1464.48	c nbDecision=34500 #constraints=24486
1511.25/1511.74	c nbDecision=35000 #constraints=24795
1560.03/1560.53	c nbDecision=35500 #constraints=25113
1601.72/1602.24	c nbDecision=36000 #constraints=25419
1644.71/1645.22	c nbDecision=36500 #constraints=25721
1689.20/1689.71	c nbDecision=37000 #constraints=26028
1721.98/1722.56	c nbDecision=37500 #constraints=26282
1734.89/1735.47	c nbDecision=37702 #constraints=26379
1734.89/1735.47	o 28
1753.48/1754.00	c nbDecision=38000 #constraints=26528
1784.77/1785.37	c nbDecision=38500 #constraints=26779
1800.08/1800.60	Received signal 15
1800.08/1800.68	
1800.08/1800.68	s SATISFIABLE
1800.08/1800.68	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.08/1800.68	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
1800.08/1800.68	v -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
1800.08/1800.68	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.08/1800.68	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.08/1800.68	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.08/1800.68	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.08/1800.68	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.08/1800.68	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.08/1800.68	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.08/1800.68	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.08/1800.68	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.08/1800.68	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.08/1800.68	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314
1800.08/1800.68	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336
1800.08/1800.68	v x337 x338 x339 x340 x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 -x355 -x356 -x357 -x358 -x359
1800.08/1800.68	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.08/1800.68	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.08/1800.68	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.08/1800.68	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443
1800.08/1800.68	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 x455 x456 x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465
1800.08/1800.68	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.08/1800.68	v -x487 -x488 -x489 x490 x491 x492 x493 x494 -x495 x496 x497 -x498 -x499 -x500 -x501 x502 x503 x504 x505 x506 -x507 x508 x509
1800.08/1800.68	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1800.08/1800.68	v -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554
1800.08/1800.68	v x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 -x568 x569 x570 x571 x572 x573 x574 x575 -x576 x577 x578 x579
1800.08/1800.68	v x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 -x597 x598 x599 x600 -x601 x602 x603 x604
1800.08/1800.68	v x605 x606 x607 x608 x609 x610 x611 -x612 -x613 x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 x624 x625 x626 x627 x628
1800.08/1800.68	v x629 x630 -x631 x632 x633 x634 x635 -x636 x637 x638 x639 x640 x641 -x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653
1800.08/1800.68	v x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679
1800.08/1800.68	v x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 -x703
1800.08/1800.68	v x704 x705 x706 x707 x708 x709 -x710 -x711 x712 x713 -x714 -x715 -x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 x726
1800.08/1800.68	v x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 -x750 x751
1800.08/1800.68	v x752 x753 -x754 x755 x756 x757 x758 x759 x760 -x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 -x776
1800.08/1800.68	
1800.08/1800.68	c user time= 1799.48 s
1800.08/1800.68	c system time= 0.681896 s
1800.08/1800.68	c wall clock time=1800.68

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-365240-1176989888 -o ROOT/results/node41/solver-365240-1176989888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.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.92 0.98 0.96 3/77 19729
/proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=1468 CPUtime=0
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 146900688 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 367 165 131 317 0 46 0

[startup+0.104536 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19729
/proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=2520 CPUtime=0.1
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 469 0 0 0 10 0 0 0 18 0 1 0 146900688 2580480 451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559563 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 630 451 170 317 0 309 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2520

[startup+0.202544 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19729
/proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=3160 CPUtime=0.19
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 635 0 0 0 19 0 0 0 18 0 1 0 146900688 3235840 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 790 617 170 317 0 469 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3160

[startup+0.302552 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19729
/proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=3676 CPUtime=0.29
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 779 0 0 0 29 0 0 0 19 0 1 0 146900688 3764224 761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 919 761 170 317 0 598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3676

[startup+0.702588 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 19729
/proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=6440 CPUtime=0.69
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 1467 0 0 0 69 0 0 0 23 0 1 0 146900688 6594560 1449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 1610 1450 170 317 0 1289 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6440

[startup+1.50166 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 19730
/proc/meminfo: memFree=1683920/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=11008 CPUtime=1.49
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 2586 0 0 0 149 0 0 0 25 0 1 0 146900688 11272192 2569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 2752 2572 170 317 0 2431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11008

[startup+3.10179 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 19730
/proc/meminfo: memFree=1678160/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=16848 CPUtime=3.09
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 4062 0 0 0 308 1 0 0 25 0 1 0 146900688 17252352 4044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 4212 4044 170 317 0 3891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16848

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 19730
/proc/meminfo: memFree=1667408/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=26352 CPUtime=6.29
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 6417 0 0 0 627 2 0 0 25 0 1 0 146900688 26984448 6399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 6588 6399 170 317 0 6267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26352

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 19730
/proc/meminfo: memFree=1653392/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=40780 CPUtime=12.69
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 9681 0 0 0 1265 4 0 0 25 0 1 0 146900688 41758720 9663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134597113 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 10195 9663 170 317 0 9874 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40780

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.96 2/78 19730
/proc/meminfo: memFree=1636560/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=56284 CPUtime=25.49
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 13728 0 0 0 2543 6 0 0 25 0 1 0 146900688 57634816 13710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 14071 13710 170 317 0 13750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56284

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1613648/2055920 swapFree=4134376/4192956
[pid=19729] ppid=19727 vsize=81960 CPUtime=51.08
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 19505 0 0 0 5099 9 0 0 25 0 1 0 146900688 83927040 19487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 20490 19487 170 317 0 20169 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81960

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1584784/2055920 swapFree=4134440/4192956
[pid=19729] ppid=19727 vsize=109112 CPUtime=102.27
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 26626 0 0 0 10214 13 0 0 25 0 1 0 146900688 111730688 26565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 27278 26565 170 317 0 26957 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109112

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1558544/2055920 swapFree=4134440/4192956
[pid=19729] ppid=19727 vsize=134624 CPUtime=162.25
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 33248 0 0 0 16208 17 0 0 25 0 1 0 146900688 137854976 33187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 33656 33187 170 317 0 33335 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 134624

[startup+222.307 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1530704/2055920 swapFree=4134440/4192956
[pid=19729] ppid=19727 vsize=168788 CPUtime=222.25
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 40131 0 0 0 22204 21 0 0 25 0 1 0 146900688 172838912 40070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 42197 40070 170 317 0 41876 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 168788

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1513104/2055920 swapFree=4134504/4192956
[pid=19729] ppid=19727 vsize=185676 CPUtime=282.22
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 44672 0 0 0 28199 23 0 0 25 0 1 0 146900688 190132224 44611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 46419 44611 170 317 0 46098 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 185676

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1498704/2055920 swapFree=4134504/4192956
[pid=19729] ppid=19727 vsize=199752 CPUtime=342.21
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 48223 0 0 0 34195 26 0 0 25 0 1 0 146900688 204546048 48077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 49938 48077 170 317 0 49617 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 199752

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1484944/2055920 swapFree=4134568/4192956
[pid=19729] ppid=19727 vsize=212832 CPUtime=402.2
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 51684 0 0 0 40192 28 0 0 25 0 1 0 146900688 217939968 51538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 53208 51538 170 317 0 52887 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 212832

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1470672/2055920 swapFree=4134568/4192956
[pid=19729] ppid=19727 vsize=226720 CPUtime=462.18
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 55205 0 0 0 46189 29 0 0 25 0 1 0 146900688 232161280 55059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 56680 55059 170 317 0 56359 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 226720

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1459152/2055920 swapFree=4134568/4192956
[pid=19729] ppid=19727 vsize=238376 CPUtime=522.16
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 58100 0 0 0 52185 31 0 0 25 0 1 0 146900688 244097024 57954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 59594 57954 170 317 0 59273 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 238376

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 19732
/proc/meminfo: memFree=1445840/2055920 swapFree=4134632/4192956
[pid=19729] ppid=19727 vsize=250640 CPUtime=582.15
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 61394 0 0 0 58182 33 0 0 25 0 1 0 146900688 256655360 61248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 62660 61248 170 317 0 62339 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 250640

[startup+642.302 s]
/proc/loadavg: 1.03 1.00 0.96 2/78 19732
/proc/meminfo: memFree=1435920/2055920 swapFree=4134632/4192956
[pid=19729] ppid=19727 vsize=259980 CPUtime=642.13
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 63892 0 0 0 64178 35 0 0 25 0 1 0 146900688 266219520 63746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 64995 63746 170 317 0 64674 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 259980


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1386064/2055920 swapFree=4134760/4192956
[pid=19729] ppid=19727 vsize=328356 CPUtime=882.08
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 80147 0 0 0 88164 44 0 0 25 0 1 0 146900688 336236544 76140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 82089 76140 170 317 0 81768 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 328356

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1374992/2055920 swapFree=4134760/4192956
[pid=19729] ppid=19727 vsize=338696 CPUtime=942.06
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 82923 0 0 0 94160 46 0 0 25 0 1 0 146900688 346824704 78916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 84674 78916 170 317 0 84353 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 338696

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1363792/2055920 swapFree=4134824/4192956
[pid=19729] ppid=19727 vsize=348812 CPUtime=1002.05
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 85737 0 0 0 100157 48 0 0 25 0 1 0 146900688 357183488 81697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 87203 81697 170 317 0 86882 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 348812

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1355792/2055920 swapFree=4134824/4192956
[pid=19729] ppid=19727 vsize=356024 CPUtime=1062.04
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 87753 0 0 0 106154 50 0 0 25 0 1 0 146900688 364568576 83713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 89006 83713 170 317 0 88685 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 356024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1348048/2055920 swapFree=4134824/4192956
[pid=19729] ppid=19727 vsize=363108 CPUtime=1122.02
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 89669 0 0 0 112151 51 0 0 25 0 1 0 146900688 371822592 85629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 90777 85629 170 317 0 90456 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 363108

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1340432/2055920 swapFree=4134888/4192956
[pid=19729] ppid=19727 vsize=370284 CPUtime=1182.01
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 91653 0 0 0 118148 53 0 0 25 0 1 0 146900688 379170816 87547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 92571 87547 170 317 0 92250 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 370284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1333904/2055920 swapFree=4134888/4192956
[pid=19729] ppid=19727 vsize=376660 CPUtime=1241.99
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 93252 0 0 0 124145 54 0 0 25 0 1 0 146900688 385699840 89146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 94165 89146 170 317 0 93844 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 376660

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19732
/proc/meminfo: memFree=1326352/2055920 swapFree=4134952/4192956
[pid=19729] ppid=19727 vsize=383712 CPUtime=1301.98
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 95167 0 0 0 130143 55 0 0 25 0 1 0 146900688 392921088 91061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 95928 91061 170 317 0 95607 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 383712

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 19732
/proc/meminfo: memFree=1319824/2055920 swapFree=4134952/4192956
[pid=19729] ppid=19727 vsize=389644 CPUtime=1361.96
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 96849 0 0 0 136140 56 0 0 25 0 1 0 146900688 398995456 92677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 97411 92677 170 317 0 97090 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 389644

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/84 19908
/proc/meminfo: memFree=1311368/2055920 swapFree=4135016/4192956
[pid=19729] ppid=19727 vsize=396228 CPUtime=1421.88
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 98702 0 0 0 142129 59 0 0 25 0 1 0 146900688 405737472 94464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 99057 94464 170 317 0 98736 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 396228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1305104/2055920 swapFree=4135016/4192956
[pid=19729] ppid=19727 vsize=403032 CPUtime=1481.85
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 100597 0 0 0 148125 60 0 0 25 0 1 0 146900688 412704768 96326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 100758 96326 170 317 0 100437 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 403032

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1299088/2055920 swapFree=4135016/4192956
[pid=19729] ppid=19727 vsize=409352 CPUtime=1541.84
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 102351 0 0 0 154122 62 0 0 25 0 1 0 146900688 419176448 97811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 102338 97811 170 317 0 102017 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 409352

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1292816/2055920 swapFree=4135080/4192956
[pid=19729] ppid=19727 vsize=415712 CPUtime=1601.82
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 103965 0 0 0 160119 63 0 0 25 0 1 0 146900688 425689088 99392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 103928 99392 170 317 0 103607 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 415712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 19930
/proc/meminfo: memFree=1285840/2055920 swapFree=4135080/4192956
[pid=19729] ppid=19727 vsize=421888 CPUtime=1661.8
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 105690 0 0 0 166116 64 0 0 25 0 1 0 146900688 432013312 101117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 105472 101117 170 317 0 105151 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 421888

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1278928/2055920 swapFree=4135144/4192956
[pid=19729] ppid=19727 vsize=429120 CPUtime=1721.78
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 107520 0 0 0 172113 65 0 0 25 0 1 0 146900688 439418880 102848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 107280 102848 170 317 0 106959 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 429120

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1271632/2055920 swapFree=4135144/4192956
[pid=19729] ppid=19727 vsize=435512 CPUtime=1781.77
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 109340 0 0 0 178110 67 0 0 25 0 1 0 146900688 445964288 104668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 108878 104668 170 317 0 108557 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 435512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 19930
/proc/meminfo: memFree=1269264/2055920 swapFree=4135144/4192956
[pid=19729] ppid=19727 vsize=438024 CPUtime=1800.08
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 109985 0 0 0 179940 68 0 0 25 0 1 0 146900688 448536576 105247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 109506 105247 170 317 0 109185 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 438024

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 19931
/proc/meminfo: memFree=1399304/2055920 swapFree=4135144/4192956
[pid=19729] ppid=19727 vsize=0 CPUtime=1800.18
/proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194308 110001 0 0 0 179948 70 0 0 25 0 1 0 146900688 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19729/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.23
CPU user time (s): 1799.48
CPU system time (s): 0.749886
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 438024

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

runsolver used 2.01469 second user time and 4.55431 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Thu Apr 19 13:38:08 UTC 2007

IDJOB= 365240
IDBENCH= 2219
IDSOLVER= 172
FILE ID= node41/365240-1176989888

PBS_JOBID= 4630436

Free space on /tmp= 66347 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-365240-1176989888 -o ROOT/results/node41/solver-365240-1176989888 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  885184c694263ba985a0dc2cd49b3440

RANDOM SEED= 746984196

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1691440 kB
Buffers:         37124 kB
Cached:         243796 kB
SwapCached:       2640 kB
Active:         101360 kB
Inactive:       202912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691440 kB
SwapTotal:     4192956 kB
SwapFree:      4134376 kB
Dirty:            1340 kB
Writeback:           0 kB
Mapped:          31140 kB
Slab:            45540 kB
Committed_AS:  2564496 kB
PageTables:       2008 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= 66347 MiB

End job on node41 on Thu Apr 19 14:08:11 UTC 2007