Trace number 455405

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)-7 1800.31 1800.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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=706 #constraints=1365 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.04/0.08	c restart after 401 decisions
0.09/0.10	c nbDecision=500 #constraints=1546
0.09/0.16	c restart after 801 decisions
0.19/0.20	c nbDecision=1000 #constraints=1694
0.29/0.31	c nbDecision=1500 #constraints=1793
0.29/0.34	c restart after 1601 decisions
0.39/0.48	c nbDecision=2000 #constraints=1984
0.59/0.68	c nbDecision=2500 #constraints=2166
0.89/0.94	c nbDecision=3000 #constraints=2389
1.00/1.08	c restart after 3201 decisions
1.19/1.29	c nbDecision=3500 #constraints=2583
1.69/1.75	c nbDecision=4000 #constraints=2778
2.29/2.32	c nbDecision=4500 #constraints=3013
2.99/3.07	c nbDecision=5000 #constraints=3310
3.99/4.09	c nbDecision=5500 #constraints=3578
5.40/5.46	c nbDecision=6000 #constraints=3858
6.69/6.72	c restart after 6401 decisions
7.09/7.10	c nbDecision=6500 #constraints=4186
8.99/9.09	c nbDecision=7000 #constraints=4542
11.79/11.89	c nbDecision=7500 #constraints=4876
14.69/14.75	c nbDecision=8000 #constraints=5269
18.19/18.25	c nbDecision=8500 #constraints=5664
22.08/22.17	c nbDecision=9000 #constraints=6077
27.39/27.43	c nbDecision=9500 #constraints=6498
32.78/32.89	c nbDecision=10000 #constraints=6940
38.18/38.29	c nbDecision=10500 #constraints=7370
44.38/44.44	c nbDecision=11000 #constraints=7783
49.88/49.94	c nbDecision=11500 #constraints=8217
55.77/55.81	c nbDecision=12000 #constraints=8644
63.58/63.61	c nbDecision=12500 #constraints=9066
68.87/68.96	c restart after 12801 decisions
72.27/72.37	c nbDecision=13000 #constraints=9479
82.47/82.55	c nbDecision=13500 #constraints=9908
90.17/90.29	c nbDecision=14000 #constraints=10381
99.16/99.28	c nbDecision=14500 #constraints=10831
108.16/108.29	c nbDecision=15000 #constraints=11261
119.15/119.25	c nbDecision=15500 #constraints=11655
121.75/121.85	c nbDecision=15580 #constraints=11701
121.75/121.85	c linear search for optimum
121.75/121.85	o -7
129.25/129.35	c nbDecision=16000 #constraints=12106
139.75/139.85	c nbDecision=16500 #constraints=12569
150.56/150.63	c nbDecision=17000 #constraints=13042
161.25/161.37	c nbDecision=17500 #constraints=13527
173.44/173.58	c nbDecision=18000 #constraints=13990
186.54/186.69	c nbDecision=18500 #constraints=14434
201.54/201.64	c nbDecision=19000 #constraints=14862
213.53/213.65	c nbDecision=19500 #constraints=15342
227.03/227.12	c nbDecision=20000 #constraints=15808
240.53/240.61	c nbDecision=20500 #constraints=16289
255.42/255.58	c nbDecision=21000 #constraints=16761
269.51/269.69	c nbDecision=21500 #constraints=17238
283.92/284.08	c nbDecision=22000 #constraints=17701
298.61/298.76	c nbDecision=22500 #constraints=18161
312.91/313.05	c nbDecision=23000 #constraints=18630
331.80/331.93	c nbDecision=23500 #constraints=19084
349.60/349.73	c nbDecision=24000 #constraints=19539
368.80/368.91	c nbDecision=24500 #constraints=19991
386.79/386.90	c nbDecision=25000 #constraints=20470
406.29/406.42	c nbDecision=25500 #constraints=20939
409.88/410.06	c restart after 25601 decisions
425.68/425.80	c nbDecision=26000 #constraints=21397
446.97/447.17	c nbDecision=26500 #constraints=21852
471.87/472.07	c nbDecision=27000 #constraints=22285
492.06/492.22	c nbDecision=27500 #constraints=22743
513.15/513.35	c nbDecision=28000 #constraints=23184
534.25/534.50	c nbDecision=28500 #constraints=23642
556.14/556.31	c nbDecision=29000 #constraints=24095
580.73/580.91	c nbDecision=29500 #constraints=24537
603.83/604.01	c nbDecision=30000 #constraints=24968
629.33/629.54	c nbDecision=30500 #constraints=25369
653.62/653.81	c nbDecision=31000 #constraints=25767
682.11/682.38	c nbDecision=31500 #constraints=26153
704.10/704.37	c nbDecision=32000 #constraints=26592
727.80/728.01	c nbDecision=32500 #constraints=27026
750.59/750.89	c nbDecision=33000 #constraints=27496
776.88/777.11	c nbDecision=33500 #constraints=27939
799.48/799.75	c nbDecision=34000 #constraints=28381
824.47/824.70	c nbDecision=34500 #constraints=28822
849.16/849.42	c nbDecision=35000 #constraints=29234
876.96/877.27	c nbDecision=35500 #constraints=29647
904.45/904.74	c nbDecision=36000 #constraints=30108
931.95/932.24	c nbDecision=36500 #constraints=30534
958.54/958.88	c nbDecision=37000 #constraints=30965
984.93/985.29	c nbDecision=37500 #constraints=31369
1013.02/1013.30	c nbDecision=38000 #constraints=31788
1043.01/1043.37	c nbDecision=38500 #constraints=32184
1075.10/1075.42	c nbDecision=39000 #constraints=32518
1109.29/1109.60	c nbDecision=39500 #constraints=32889
1138.79/1139.12	c nbDecision=40000 #constraints=33353
1167.88/1168.27	c nbDecision=40500 #constraints=33829
1196.27/1196.68	c nbDecision=41000 #constraints=34275
1223.87/1224.29	c nbDecision=41500 #constraints=34702
1256.75/1257.12	c nbDecision=42000 #constraints=35141
1285.75/1286.18	c nbDecision=42500 #constraints=35554
1317.03/1317.42	c nbDecision=43000 #constraints=35983
1352.64/1353.01	c nbDecision=43500 #constraints=36386
1388.12/1388.54	c nbDecision=44000 #constraints=36808
1418.52/1418.93	c nbDecision=44500 #constraints=37298
1451.70/1452.20	c nbDecision=45000 #constraints=37752
1487.99/1488.41	c nbDecision=45500 #constraints=38191
1520.38/1520.81	c nbDecision=46000 #constraints=38626
1555.68/1556.11	c nbDecision=46500 #constraints=39058
1591.86/1592.36	c nbDecision=47000 #constraints=39455
1626.95/1627.46	c nbDecision=47500 #constraints=39865
1665.95/1666.47	c nbDecision=48000 #constraints=40265
1702.83/1703.37	c nbDecision=48500 #constraints=40707
1738.53/1739.04	c nbDecision=49000 #constraints=41127
1776.62/1777.17	c nbDecision=49500 #constraints=41550
1800.01/1800.50	Received signal 15
1800.21/1800.76	
1800.21/1800.76	s SATISFIABLE
1800.21/1800.76	v x1 x2 x3 x4 x5 x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1800.21/1800.76	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.21/1800.76	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83
1800.21/1800.76	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1800.21/1800.76	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.21/1800.76	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1800.21/1800.76	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171
1800.21/1800.76	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.21/1800.76	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213
1800.21/1800.76	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.21/1800.76	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1800.21/1800.76	v x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.21/1800.76	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.21/1800.76	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1800.21/1800.76	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1800.21/1800.76	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.21/1800.76	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.21/1800.76	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1800.21/1800.76	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.21/1800.76	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.21/1800.76	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.21/1800.76	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.21/1800.76	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1800.21/1800.76	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1800.21/1800.76	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1800.21/1800.76	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1800.21/1800.76	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1800.21/1800.76	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1800.21/1800.76	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1800.21/1800.76	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
1800.21/1800.76	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
1800.21/1800.76	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1800.21/1800.76	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706
1800.21/1800.76	
1800.21/1800.76	c user time= 1799.98 s
1800.21/1800.76	c system time= 0.306953 s
1800.21/1800.76	c wall clock time=1800.76

Verifier Data (download as text)

OK	-7

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb
mv /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb.tmp /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-455405-1178042775 -o ROOT/results/node74/solver-455405-1178042775 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.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.97 0.98 0.97 3/66 27996
/proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=1468 CPUtime=0
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 252192250 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 367 164 131 317 0 46 0

[startup+0.0421911 s]
/proc/loadavg: 0.97 0.98 0.97 3/66 27996
/proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=2128 CPUtime=0.04
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 346 0 0 0 4 0 0 0 18 0 1 0 252192250 2179072 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 532 329 139 317 0 211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2128

[startup+0.101198 s]
/proc/loadavg: 0.97 0.98 0.97 3/66 27996
/proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=2392 CPUtime=0.09
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 252192250 2449408 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 598 400 139 317 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2392

[startup+0.301219 s]
/proc/loadavg: 0.97 0.98 0.97 3/66 27996
/proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=2920 CPUtime=0.29
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 555 0 0 0 29 0 0 0 19 0 1 0 252192250 2990080 538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 730 538 139 317 0 409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2920

[startup+0.701266 s]
/proc/loadavg: 0.97 0.98 0.97 3/66 27996
/proc/meminfo: memFree=1858648/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=3980 CPUtime=0.69
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 802 0 0 0 69 0 0 0 22 0 1 0 252192250 4075520 785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 995 785 139 317 0 674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3980

[startup+1.50136 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1855632/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=5452 CPUtime=1.49
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1137 0 0 0 149 0 0 0 25 0 1 0 252192250 5582848 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 1363 1120 139 317 0 1042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5452

[startup+3.10154 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1854288/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=6764 CPUtime=3.09
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1483 0 0 0 309 0 0 0 25 0 1 0 252192250 6926336 1466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 1691 1466 139 317 0 1370 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6764

[startup+6.30291 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1851664/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=8824 CPUtime=6.29
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 1963 0 0 0 628 1 0 0 25 0 1 0 252192250 9035776 1946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 2206 1946 139 317 0 1885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8824

[startup+12.7017 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1849040/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=10956 CPUtime=12.69
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 2534 0 0 0 1268 1 0 0 25 0 1 0 252192250 11218944 2517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 2739 2517 139 317 0 2418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10956

[startup+25.5011 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1845456/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=15096 CPUtime=25.49
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 3457 0 0 0 2546 3 0 0 25 0 1 0 252192250 15458304 3404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 3774 3404 139 317 0 3453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15096

[startup+51.1011 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1840784/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=19916 CPUtime=51.08
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 4652 0 0 0 5104 4 0 0 25 0 1 0 252192250 20393984 4599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 4979 4599 139 317 0 4658 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19916

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1833872/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=27656 CPUtime=102.27
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 6421 0 0 0 10221 6 0 0 25 0 1 0 252192250 28319744 6297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 6914 6297 139 317 0 6593 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27656

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1827408/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=34772 CPUtime=162.25
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 8073 0 0 0 16218 7 0 0 25 0 1 0 252192250 35606528 7949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 8693 7949 170 317 0 8372 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34772

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1822160/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=39492 CPUtime=222.23
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 9369 0 0 0 22216 7 0 0 25 0 1 0 252192250 40439808 9245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 9873 9245 170 317 0 9552 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39492

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1817104/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=44224 CPUtime=282.22
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 10638 0 0 0 28213 9 0 0 25 0 1 0 252192250 45285376 10514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 11056 10514 170 317 0 10735 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44224

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1812816/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=50332 CPUtime=342.2
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 12257 0 0 0 34210 10 0 0 25 0 1 0 252192250 51539968 11572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 12583 11572 170 317 0 12262 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 50332

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1808656/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=55800 CPUtime=402.19
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 13803 0 0 0 40207 12 0 0 25 0 1 0 252192250 57139200 12580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 13950 12580 170 317 0 13629 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 55800

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1805456/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=59576 CPUtime=462.17
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 14849 0 0 0 46204 13 0 0 25 0 1 0 252192250 61005824 13395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 14894 13395 170 317 0 14573 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 59576

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1802384/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=62324 CPUtime=522.15
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 15659 0 0 0 52202 13 0 0 25 0 1 0 252192250 63819776 14172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 15581 14172 170 317 0 15260 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 62324

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1799312/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=65020 CPUtime=582.13
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 16416 0 0 0 58199 14 0 0 25 0 1 0 252192250 66580480 14929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 16255 14929 170 317 0 15934 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 65020

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1796688/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=67384 CPUtime=642.13
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 17101 0 0 0 64198 15 0 0 25 0 1 0 252192250 69001216 15581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 16846 15581 170 317 0 16525 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 67384


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1783632/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=78944 CPUtime=942.04
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 20414 0 0 0 94185 19 0 0 25 0 1 0 252192250 80838656 18828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 19736 18828 170 317 0 19415 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 78944

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1781264/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=80784 CPUtime=1002.02
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 20988 0 0 0 100183 19 0 0 25 0 1 0 252192250 82722816 19402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 20196 19402 170 317 0 19875 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 80784

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1779344/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=82876 CPUtime=1062.01
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 21563 0 0 0 106181 20 0 0 25 0 1 0 252192250 84865024 19878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 20719 19878 170 317 0 20398 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 82876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1777552/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=84444 CPUtime=1121.99
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 22047 0 0 0 112178 21 0 0 25 0 1 0 252192250 86470656 20329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 21111 20329 170 317 0 20790 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 84444

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1775056/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=86688 CPUtime=1181.98
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 22711 0 0 0 118176 22 0 0 25 0 1 0 252192250 88768512 20960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 21672 20960 170 317 0 21351 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 86688

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1772816/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=92104 CPUtime=1241.96
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 24136 0 0 0 124173 23 0 0 25 0 1 0 252192250 94314496 21507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 23026 21507 170 317 0 22705 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 92104

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1770640/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=95212 CPUtime=1301.95
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 24990 0 0 0 130171 24 0 0 25 0 1 0 252192250 97497088 22036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 23803 22036 170 317 0 23482 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 95212

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1768848/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=97428 CPUtime=1361.93
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 25632 0 0 0 136168 25 0 0 25 0 1 0 252192250 99766272 22483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 24357 22483 170 317 0 24036 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 97428

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1766608/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=102112 CPUtime=1421.91
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 26806 0 0 0 142165 26 0 0 25 0 1 0 252192250 104562688 23039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 25528 23039 170 317 0 25207 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 102112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1764624/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=105128 CPUtime=1481.89
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 27659 0 0 0 148162 27 0 0 25 0 1 0 252192250 107651072 23534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 26282 23534 170 317 0 25961 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 105128

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1762448/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=107476 CPUtime=1541.87
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 28268 0 0 0 154160 27 0 0 25 0 1 0 252192250 110055424 24013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 26869 24013 170 317 0 26548 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 107476

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1760976/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=108912 CPUtime=1601.86
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 28700 0 0 0 160158 28 0 0 25 0 1 0 252192250 111525888 24445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 27228 24445 170 317 0 26907 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 108912

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1759376/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=110480 CPUtime=1661.85
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 29140 0 0 0 166156 29 0 0 25 0 1 0 252192250 113131520 24852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 27620 24852 170 317 0 27299 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 110480

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1757520/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=112068 CPUtime=1721.83
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 29595 0 0 0 172154 29 0 0 25 0 1 0 252192250 114757632 25307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 28017 25307 170 317 0 27696 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 112068

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1755408/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=114940 CPUtime=1781.82
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30408 0 0 0 178152 30 0 0 25 0 1 0 252192250 117698560 25805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 28735 25805 170 317 0 28414 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 114940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 27997
/proc/meminfo: memFree=1755088/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=115204 CPUtime=1800.01
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30509 0 0 0 179971 30 0 0 25 0 1 0 252192250 117968896 25906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 28801 25906 170 317 0 28480 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 115204

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 27998
/proc/meminfo: memFree=1755080/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=115204 CPUtime=1800.12
/proc/27996/stat : 27996 (oree) R 27994 27996 26703 0 -1 4194304 30509 0 0 0 179982 30 0 0 25 0 1 0 252192250 117968896 25906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27996/statm: 28801 25906 170 317 0 28480 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 115204

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 27998
/proc/meminfo: memFree=1755080/2055920 swapFree=4183036/4192956
[pid=27996] ppid=27994 vsize=0 CPUtime=1800.3
/proc/27996/stat : 27996 (oree) D 27994 27996 26703 0 -1 4194308 30526 0 0 0 179998 32 0 0 25 0 1 0 252192250 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 1 0 0
/proc/27996/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.31
CPU user time (s): 1799.98
CPU system time (s): 0.32495
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 115204

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

runsolver used 1.25681 second user time and 3.69044 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Tue May  1 18:06:15 UTC 2007

IDJOB= 455405
IDBENCH= 48261
IDSOLVER= 172
FILE ID= node74/455405-1178042775

PBS_JOBID= 4728437

Free space on /tmp= 103244 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb
COMMAND LINE= oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-455405-1178042775 -o ROOT/results/node74/conversion-455405-1178042775 -C 600 -M 1800 /tmp/evaluation/455405-1178042775/substituteSizeProductKeyword /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-455405-1178042775 -o ROOT/results/node74/solver-455405-1178042775 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/455405-1178042775/instance-455405-1178042775.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  0619afe86d0e2ffb4ad28e9f2f441c24

RANDOM SEED= 968514769

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1859184 kB
Buffers:         50856 kB
Cached:          73376 kB
SwapCached:       2996 kB
Active:          43520 kB
Inactive:        94084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859184 kB
SwapTotal:     4192956 kB
SwapFree:      4183036 kB
Dirty:            1364 kB
Writeback:           0 kB
Mapped:          17888 kB
Slab:            44936 kB
Committed_AS:  6765092 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103244 MiB

End job on node74 on Tue May  1 18:36:18 UTC 2007