Trace number 357181

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)-32 1800.3 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-39
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
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.19/0.29	c ...done
0.19/0.29	c #vars=760 #constraints=41620 hasObjective=yes
0.40/0.47	c res. mode=mod
0.40/0.47	c VSIDS like heuristics
0.40/0.47	c complete search running
0.40/0.50	c nbDecision=26 #constraints=41620
0.40/0.50	c linear search for optimum
0.40/0.50	o -26
0.49/0.52	c nbDecision=26 #constraints=41622
0.49/0.52	o -27
0.49/0.53	c nbDecision=28 #constraints=41624
0.49/0.53	o -28
0.49/0.59	c nbDecision=41 #constraints=41634
0.49/0.59	o -29
1.00/1.06	c nbDecision=162 #constraints=41697
1.00/1.06	o -30
1.19/1.21	c nbDecision=206 #constraints=41718
1.19/1.21	o -31
1.89/1.94	c restart after 401 decisions
2.30/2.38	c nbDecision=500 #constraints=41841
3.69/3.74	c restart after 801 decisions
5.19/5.23	c nbDecision=1000 #constraints=42116
9.19/9.20	c nbDecision=1500 #constraints=42476
9.99/10.01	c restart after 1601 decisions
13.49/13.57	c nbDecision=2000 #constraints=42782
17.99/18.04	c nbDecision=2500 #constraints=43078
22.69/22.75	c nbDecision=3000 #constraints=43379
24.68/24.77	c restart after 3201 decisions
28.98/29.06	c nbDecision=3500 #constraints=43638
29.69/29.74	c nbDecision=3554 #constraints=43670
29.69/29.74	o -32
35.78/35.82	c nbDecision=4000 #constraints=43953
41.48/41.53	c nbDecision=4500 #constraints=44227
48.07/48.13	c nbDecision=5000 #constraints=44515
55.27/55.35	c nbDecision=5500 #constraints=44789
65.17/65.20	c nbDecision=6000 #constraints=45141
72.47/72.52	c restart after 6401 decisions
77.07/77.17	c nbDecision=6500 #constraints=45431
86.36/86.44	c nbDecision=7000 #constraints=45732
96.95/97.02	c nbDecision=7500 #constraints=46019
107.55/107.63	c nbDecision=8000 #constraints=46311
119.75/119.87	c nbDecision=8500 #constraints=46657
133.54/133.67	c nbDecision=9000 #constraints=47030
147.35/147.46	c nbDecision=9500 #constraints=47360
164.33/164.45	c nbDecision=10000 #constraints=47743
182.03/182.10	c nbDecision=10500 #constraints=48101
196.63/196.79	c nbDecision=11000 #constraints=48431
216.92/217.01	c nbDecision=11500 #constraints=48818
233.31/233.43	c nbDecision=12000 #constraints=49141
255.29/255.49	c nbDecision=12500 #constraints=49517
270.19/270.32	c restart after 12801 decisions
284.39/284.51	c nbDecision=13000 #constraints=49841
306.69/306.90	c nbDecision=13500 #constraints=50139
328.27/328.43	c nbDecision=14000 #constraints=50459
347.76/347.98	c nbDecision=14500 #constraints=50746
370.36/370.57	c nbDecision=15000 #constraints=51058
390.75/390.93	c nbDecision=15500 #constraints=51290
424.14/424.32	c nbDecision=16000 #constraints=51666
458.03/458.28	c nbDecision=16500 #constraints=52081
492.21/492.44	c nbDecision=17000 #constraints=52429
527.40/527.69	c nbDecision=17500 #constraints=52823
557.09/557.39	c nbDecision=18000 #constraints=53165
584.89/585.14	c nbDecision=18500 #constraints=53496
613.27/613.57	c nbDecision=19000 #constraints=53797
644.06/644.31	c nbDecision=19500 #constraints=54126
672.35/672.68	c nbDecision=20000 #constraints=54386
710.34/710.65	c nbDecision=20500 #constraints=54720
755.52/755.81	c nbDecision=21000 #constraints=55126
807.40/807.79	c nbDecision=21500 #constraints=55524
844.19/844.53	c nbDecision=22000 #constraints=55872
883.17/883.55	c nbDecision=22500 #constraints=56228
923.27/923.79	c nbDecision=23000 #constraints=56583
966.23/966.71	c nbDecision=23500 #constraints=56964
1013.12/1013.66	c nbDecision=24000 #constraints=57359
1047.30/1047.85	c nbDecision=24500 #constraints=57657
1086.39/1086.94	c nbDecision=25000 #constraints=57979
1120.68/1121.29	c nbDecision=25500 #constraints=58254
1128.58/1129.10	c restart after 25601 decisions
1170.76/1171.37	c nbDecision=26000 #constraints=58553
1208.35/1208.97	c nbDecision=26500 #constraints=58862
1242.44/1243.08	c nbDecision=27000 #constraints=59157
1272.43/1273.01	c nbDecision=27500 #constraints=59393
1318.71/1319.33	c nbDecision=28000 #constraints=59725
1361.39/1362.07	c nbDecision=28500 #constraints=60010
1399.88/1400.52	c nbDecision=29000 #constraints=60321
1439.46/1440.16	c nbDecision=29500 #constraints=60590
1476.95/1477.69	c nbDecision=30000 #constraints=60868
1515.34/1516.08	c nbDecision=30500 #constraints=61155
1562.42/1563.15	c nbDecision=31000 #constraints=61474
1612.90/1613.64	c nbDecision=31500 #constraints=61793
1653.89/1654.61	c nbDecision=32000 #constraints=62093
1695.37/1696.18	c nbDecision=32500 #constraints=62381
1744.25/1745.08	c nbDecision=33000 #constraints=62678
1780.74/1781.52	c nbDecision=33500 #constraints=62946
1800.03/1800.80	Received signal 15
1800.13/1800.91	
1800.13/1800.91	s SATISFIABLE
1800.13/1800.91	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.13/1800.91	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.13/1800.91	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.13/1800.91	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 -x105
1800.13/1800.91	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.13/1800.91	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.13/1800.91	v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.13/1800.91	v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.13/1800.91	v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.13/1800.91	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231
1800.13/1800.91	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252
1800.13/1800.91	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273
1800.13/1800.91	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.13/1800.91	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315
1800.13/1800.91	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.13/1800.91	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.13/1800.91	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.13/1800.91	v x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399
1800.13/1800.91	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420
1800.13/1800.91	v x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.13/1800.91	v -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.13/1800.91	v -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.13/1800.91	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.13/1800.91	v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.13/1800.91	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.13/1800.91	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.13/1800.91	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.13/1800.91	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609
1800.13/1800.91	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.13/1800.91	v -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.13/1800.91	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672
1800.13/1800.91	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693
1800.13/1800.91	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.13/1800.91	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.13/1800.91	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.13/1800.91	v -x757 -x758 -x759 -x760
1800.13/1800.91	
1800.13/1800.91	c user time= 1799.03 s
1800.13/1800.91	c system time= 1.12083 s
1800.13/1800.91	c wall clock time=1800.91

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-357181-1176990365 -o ROOT/results/node46/solver-357181-1176990365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.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.91 0.95 0.90 3/78 24333
/proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=1468 CPUtime=0
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 53719583 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 367 165 130 317 0 46 0

[startup+0.0403649 s]
/proc/loadavg: 0.91 0.95 0.90 3/78 24333
/proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=2260 CPUtime=0.03
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 379 0 0 0 3 0 0 0 18 0 1 0 53719583 2314240 361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 565 361 130 317 0 244 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2260

[startup+0.101369 s]
/proc/loadavg: 0.91 0.95 0.90 3/78 24333
/proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=3612 CPUtime=0.09
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 53719583 3698688 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 903 694 130 317 0 582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3612

[startup+0.301406 s]
/proc/loadavg: 0.91 0.95 0.90 3/78 24333
/proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=9912 CPUtime=0.29
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 2203 0 0 0 28 1 0 0 19 0 1 0 53719583 10149888 2152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 2478 2155 136 317 0 2157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9912

[startup+0.70148 s]
/proc/loadavg: 0.91 0.95 0.90 3/78 24333
/proc/meminfo: memFree=1609320/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=13692 CPUtime=0.69
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 3299 0 0 0 67 2 0 0 22 0 1 0 53719583 14020608 2963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284472 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 3423 2963 170 317 0 3102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13692

[startup+1.50163 s]
/proc/loadavg: 0.91 0.95 0.90 2/79 24334
/proc/meminfo: memFree=1596512/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=18060 CPUtime=1.49
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 4344 0 0 0 147 2 0 0 25 0 1 0 53719583 18493440 4008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 4515 4009 170 317 0 4194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18060

[startup+3.10192 s]
/proc/loadavg: 0.91 0.95 0.90 2/79 24334
/proc/meminfo: memFree=1592160/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=24544 CPUtime=3.09
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 5934 0 0 0 306 3 0 0 25 0 1 0 53719583 25133056 5598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 6136 5598 170 317 0 5815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24544

[startup+6.30152 s]
/proc/loadavg: 0.92 0.95 0.90 2/79 24334
/proc/meminfo: memFree=1581040/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=36348 CPUtime=6.29
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 8864 0 0 0 625 4 0 0 25 0 1 0 53719583 37220352 8528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 9087 8528 170 317 0 8766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36348

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.90 2/79 24334
/proc/meminfo: memFree=1557744/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=57416 CPUtime=12.68
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 13768 0 0 0 1262 6 0 0 25 0 1 0 53719583 58793984 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 14354 13432 170 317 0 14033 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57416

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.91 2/79 24334
/proc/meminfo: memFree=1531760/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=80696 CPUtime=25.48
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 19780 0 0 0 2539 9 0 0 25 0 1 0 53719583 82632704 19444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 20174 19444 170 317 0 19853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 80696

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.91 2/79 24334
/proc/meminfo: memFree=1487920/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=127236 CPUtime=51.07
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 30901 0 0 0 5092 15 0 0 25 0 1 0 53719583 130289664 30565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 31809 30565 170 317 0 31488 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 127236

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/79 24334
/proc/meminfo: memFree=1426864/2055920 swapFree=4113908/4192956
[pid=24333] ppid=24331 vsize=195492 CPUtime=102.26
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 45974 0 0 0 10203 23 0 0 25 0 1 0 53719583 200183808 45638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 48873 45638 170 317 0 48552 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 195492

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1376304/2055920 swapFree=4113972/4192956
[pid=24333] ppid=24331 vsize=243504 CPUtime=162.23
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 58683 0 0 0 16194 29 0 0 25 0 1 0 53719583 249348096 58347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 60876 58347 170 317 0 60555 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 243504

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1335600/2055920 swapFree=4113972/4192956
[pid=24333] ppid=24331 vsize=280992 CPUtime=222.21
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 68777 0 0 0 22185 36 0 0 25 0 1 0 53719583 287735808 68441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 70248 68441 170 317 0 69927 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 280992

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1307504/2055920 swapFree=4114036/4192956
[pid=24333] ppid=24331 vsize=308304 CPUtime=282.19
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 75811 0 0 0 28179 40 0 0 25 0 1 0 53719583 315703296 75475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 77076 75475 170 317 0 76755 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 308304

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1258608/2055920 swapFree=4114036/4192956
[pid=24333] ppid=24331 vsize=378896 CPUtime=342.16
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 87966 0 0 0 34171 45 0 0 25 0 1 0 53719583 387989504 87630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 94724 87630 170 317 0 94403 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 378896

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1233136/2055920 swapFree=4114036/4192956
[pid=24333] ppid=24331 vsize=402960 CPUtime=402.15
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 94356 0 0 0 40166 49 0 0 25 0 1 0 53719583 412631040 94020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 100740 94020 170 317 0 100419 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 402960

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1210352/2055920 swapFree=4114100/4192956
[pid=24333] ppid=24331 vsize=424952 CPUtime=462.13
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 99996 0 0 0 46162 51 0 0 25 0 1 0 53719583 435150848 99660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 106238 99660 170 317 0 105917 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 424952

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1189680/2055920 swapFree=4114100/4192956
[pid=24333] ppid=24331 vsize=444872 CPUtime=522.11
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 105214 0 0 0 52157 54 0 0 25 0 1 0 53719583 455548928 104878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 111218 104878 170 317 0 110897 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 444872

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1165488/2055920 swapFree=4114164/4192956
[pid=24333] ppid=24331 vsize=466696 CPUtime=582.08
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 111216 0 0 0 58151 57 0 0 25 0 1 0 53719583 477896704 110880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 116674 110880 170 317 0 116353 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 466696

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1144304/2055920 swapFree=4114164/4192956
[pid=24333] ppid=24331 vsize=486364 CPUtime=642.06
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 116451 0 0 0 64145 61 0 0 25 0 1 0 53719583 498036736 116115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 121591 116115 170 317 0 121270 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 486364


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24334
/proc/meminfo: memFree=1074288/2055920 swapFree=4114292/4192956
[pid=24333] ppid=24331 vsize=551504 CPUtime=881.97
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 133937 0 0 0 88125 72 0 0 25 0 1 0 53719583 564740096 133601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 137876 133601 170 317 0 137555 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 551504

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/85 24508
/proc/meminfo: memFree=1055488/2055920 swapFree=4114292/4192956
[pid=24333] ppid=24331 vsize=567736 CPUtime=941.86
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 138331 0 0 0 94111 75 0 0 25 0 1 0 53719583 581361664 137995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 141934 137995 170 317 0 141613 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 567736

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=1039272/2055920 swapFree=4114356/4192956
[pid=24333] ppid=24331 vsize=583652 CPUtime=1001.83
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 142653 0 0 0 100104 79 0 0 25 0 1 0 53719583 597659648 142317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 145913 142317 170 317 0 145592 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 583652

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=1022312/2055920 swapFree=4114356/4192956
[pid=24333] ppid=24331 vsize=599316 CPUtime=1061.8
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 146916 0 0 0 106099 81 0 0 25 0 1 0 53719583 613699584 146580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 149829 146580 170 317 0 149508 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 599316

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=988136/2055920 swapFree=4114356/4192956
[pid=24333] ppid=24331 vsize=696116 CPUtime=1121.78
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 166337 0 0 0 112090 88 0 0 25 0 1 0 53719583 712822784 155045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 174029 155045 170 317 0 173708 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 696116

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=974440/2055920 swapFree=4114420/4192956
[pid=24333] ppid=24331 vsize=708756 CPUtime=1181.75
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 169971 0 0 0 118085 90 0 0 25 0 1 0 53719583 725766144 158514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 177189 158514 170 317 0 176868 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 708756

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=956904/2055920 swapFree=4114420/4192956
[pid=24333] ppid=24331 vsize=725340 CPUtime=1241.73
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 174611 0 0 0 124081 92 0 0 25 0 1 0 53719583 742748160 162824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 181335 162824 170 317 0 181014 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 725340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=941040/2055920 swapFree=4114484/4192956
[pid=24333] ppid=24331 vsize=740180 CPUtime=1301.72
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 178746 0 0 0 130076 96 0 0 25 0 1 0 53719583 757944320 166761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 185045 166761 170 317 0 184724 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 740180

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=928688/2055920 swapFree=4114484/4192956
[pid=24333] ppid=24331 vsize=753528 CPUtime=1361.69
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 182080 0 0 0 136071 98 0 0 25 0 1 0 53719583 771612672 169897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 188382 169897 170 317 0 188061 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 753528

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=912624/2055920 swapFree=4114484/4192956
[pid=24333] ppid=24331 vsize=768072 CPUtime=1421.67
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 186141 0 0 0 142068 99 0 0 25 0 1 0 53719583 786505728 173859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 192018 173859 170 317 0 191697 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 768072

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=897328/2055920 swapFree=4114548/4192956
[pid=24333] ppid=24331 vsize=781880 CPUtime=1481.65
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 190077 0 0 0 148063 102 0 0 25 0 1 0 53719583 800645120 177729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 195470 177729 170 317 0 195149 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 781880

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=881968/2055920 swapFree=4114548/4192956
[pid=24333] ppid=24331 vsize=795892 CPUtime=1541.62
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 194074 0 0 0 154059 103 0 0 25 0 1 0 53719583 814993408 181528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 198973 181528 170 317 0 198652 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 795892

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=868272/2055920 swapFree=4114612/4192956
[pid=24333] ppid=24331 vsize=808024 CPUtime=1601.6
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 197621 0 0 0 160055 105 0 0 25 0 1 0 53719583 827416576 184976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 202006 184976 170 317 0 201685 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 808024

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=852912/2055920 swapFree=4114612/4192956
[pid=24333] ppid=24331 vsize=821540 CPUtime=1661.58
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 201567 0 0 0 166051 107 0 0 25 0 1 0 53719583 841256960 188790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711448 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 205385 188790 170 317 0 205064 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 821540

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=840880/2055920 swapFree=4114612/4192956
[pid=24333] ppid=24331 vsize=834832 CPUtime=1721.56
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 204829 0 0 0 172048 108 0 0 25 0 1 0 53719583 854867968 191821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 208708 191821 170 317 0 208387 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 834832

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=826096/2055920 swapFree=4114676/4192956
[pid=24333] ppid=24331 vsize=847636 CPUtime=1781.54
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 208545 0 0 0 178044 110 0 0 25 0 1 0 53719583 867979264 195504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 211909 195504 170 317 0 211588 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 847636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=822064/2055920 swapFree=4114676/4192956
[pid=24333] ppid=24331 vsize=851448 CPUtime=1800.03
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194304 209521 0 0 0 179892 111 0 0 25 0 1 0 53719583 871882752 196480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 212862 196480 170 317 0 212541 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 851448

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24532
/proc/meminfo: memFree=822064/2055920 swapFree=4114676/4192956
[pid=24333] ppid=24331 vsize=0 CPUtime=1800.23
/proc/24333/stat : 24333 (oree) R 24331 24333 24189 0 -1 4194308 209537 0 0 0 179904 119 0 0 25 0 1 0 53719583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24333/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.3
CPU user time (s): 1799.05
CPU system time (s): 1.24881
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 851448

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

runsolver used 1.77973 second user time and 4.78527 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Thu Apr 19 13:46:06 UTC 2007

IDJOB= 357181
IDBENCH= 2240
IDSOLVER= 172
FILE ID= node46/357181-1176990365

PBS_JOBID= 4630453

Free space on /tmp= 66082 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
COMMAND LINE= oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-357181-1176990365 -o ROOT/results/node46/solver-357181-1176990365 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357181-1176990365/instance-357181-1176990365.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f408a60720d5bae3e36cea0c41e2f7f1

RANDOM SEED= 787263412

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1609728 kB
Buffers:         37372 kB
Cached:         338756 kB
SwapCached:       2904 kB
Active:         206396 kB
Inactive:       193132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1609728 kB
SwapTotal:     4192956 kB
SwapFree:      4113908 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          30736 kB
Slab:            31996 kB
Committed_AS:  1950264 kB
PageTables:       1988 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= 66082 MiB

End job on node46 on Thu Apr 19 14:16:09 UTC 2007