Trace number 455180

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)-9 1800.26 1801.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_3.opb
MD5SUM138d1c5c8dee06528dd1cfb072975c49
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)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

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=718 #constraints=1389 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.07/0.08	c restart after 401 decisions
0.09/0.10	c nbDecision=500 #constraints=1570
0.09/0.17	c restart after 801 decisions
0.19/0.22	c nbDecision=1000 #constraints=1768
0.29/0.37	c nbDecision=1500 #constraints=1985
0.39/0.40	c restart after 1601 decisions
0.49/0.55	c nbDecision=2000 #constraints=2147
0.69/0.79	c nbDecision=2500 #constraints=2332
1.09/1.11	c nbDecision=3000 #constraints=2523
1.19/1.27	c restart after 3201 decisions
1.49/1.50	c nbDecision=3500 #constraints=2740
1.99/2.02	c nbDecision=4000 #constraints=2997
2.69/2.73	c nbDecision=4500 #constraints=3217
3.69/3.70	c nbDecision=5000 #constraints=3430
4.89/4.91	c nbDecision=5500 #constraints=3668
6.29/6.32	c nbDecision=6000 #constraints=3950
7.59/7.68	c restart after 6401 decisions
7.99/8.06	c nbDecision=6500 #constraints=4256
10.38/10.42	c nbDecision=7000 #constraints=4508
13.09/13.10	c nbDecision=7500 #constraints=4781
15.99/16.02	c nbDecision=8000 #constraints=5123
19.59/19.68	c nbDecision=8500 #constraints=5458
23.78/23.87	c nbDecision=9000 #constraints=5822
27.88/27.93	c nbDecision=9500 #constraints=6232
33.18/33.28	c nbDecision=10000 #constraints=6614
36.67/36.72	c nbDecision=10365 #constraints=6936
36.67/36.72	c linear search for optimum
36.67/36.72	o -8
38.17/38.20	c nbDecision=10500 #constraints=7047
43.78/43.86	c nbDecision=11000 #constraints=7477
50.37/50.43	c nbDecision=11500 #constraints=7902
56.87/56.96	c nbDecision=12000 #constraints=8344
65.56/65.63	c nbDecision=12500 #constraints=8727
70.27/70.33	c restart after 12801 decisions
73.26/73.34	c nbDecision=13000 #constraints=9166
73.67/73.76	c nbDecision=13037 #constraints=9191
73.67/73.76	o -9
79.56/79.66	c nbDecision=13500 #constraints=9597
86.56/86.66	c nbDecision=14000 #constraints=10077
94.25/94.38	c nbDecision=14500 #constraints=10551
102.26/102.31	c nbDecision=15000 #constraints=11025
110.05/110.15	c nbDecision=15500 #constraints=11512
118.75/118.84	c nbDecision=16000 #constraints=11984
127.34/127.44	c nbDecision=16500 #constraints=12456
137.74/137.81	c nbDecision=17000 #constraints=12918
146.54/146.61	c nbDecision=17500 #constraints=13401
156.23/156.38	c nbDecision=18000 #constraints=13864
167.03/167.13	c nbDecision=18500 #constraints=14338
180.33/180.50	c nbDecision=19000 #constraints=14777
191.71/191.89	c nbDecision=19500 #constraints=15246
204.11/204.27	c nbDecision=20000 #constraints=15687
218.01/218.19	c nbDecision=20500 #constraints=16142
231.10/231.20	c nbDecision=21000 #constraints=16627
244.19/244.33	c nbDecision=21500 #constraints=17105
259.56/259.72	c nbDecision=22000 #constraints=17590
274.62/274.87	c nbDecision=22500 #constraints=18081
290.81/291.03	c nbDecision=23000 #constraints=18533
307.99/308.22	c nbDecision=23500 #constraints=18947
324.48/324.79	c nbDecision=24000 #constraints=19406
344.27/344.56	c nbDecision=24500 #constraints=19818
363.97/364.26	c nbDecision=25000 #constraints=20199
380.85/381.18	c nbDecision=25500 #constraints=20685
384.76/385.06	c restart after 25601 decisions
399.75/400.05	c nbDecision=26000 #constraints=21163
418.44/418.70	c nbDecision=26500 #constraints=21636
435.44/435.76	c nbDecision=27000 #constraints=22097
454.83/455.17	c nbDecision=27500 #constraints=22558
473.62/473.95	c nbDecision=28000 #constraints=23046
492.61/492.94	c nbDecision=28500 #constraints=23500
514.91/515.24	c nbDecision=29000 #constraints=23939
536.31/536.64	c nbDecision=29500 #constraints=24421
557.30/557.60	c nbDecision=30000 #constraints=24880
575.89/576.23	c nbDecision=30500 #constraints=25339
598.18/598.50	c nbDecision=31000 #constraints=25826
620.18/620.57	c nbDecision=31500 #constraints=26273
643.36/643.73	c nbDecision=32000 #constraints=26741
670.26/670.65	c nbDecision=32500 #constraints=27187
697.54/697.93	c nbDecision=33000 #constraints=27659
726.73/727.10	c nbDecision=33500 #constraints=28123
756.82/757.25	c nbDecision=34000 #constraints=28586
783.61/784.03	c nbDecision=34500 #constraints=29040
811.00/811.42	c nbDecision=35000 #constraints=29487
838.49/838.90	c nbDecision=35500 #constraints=29903
867.58/868.02	c nbDecision=36000 #constraints=30330
895.37/895.84	c nbDecision=36500 #constraints=30768
921.96/922.49	c nbDecision=37000 #constraints=31214
953.75/954.23	c nbDecision=37500 #constraints=31691
981.84/982.38	c nbDecision=38000 #constraints=32179
1012.93/1013.49	c nbDecision=38500 #constraints=32622
1045.91/1046.44	c nbDecision=39000 #constraints=33063
1079.80/1080.39	c nbDecision=39500 #constraints=33476
1113.99/1114.50	c nbDecision=40000 #constraints=33905
1148.38/1148.90	c nbDecision=40500 #constraints=34289
1186.77/1187.33	c nbDecision=41000 #constraints=34684
1216.25/1216.85	c nbDecision=41500 #constraints=35164
1249.94/1250.54	c nbDecision=42000 #constraints=35642
1286.13/1286.74	c nbDecision=42500 #constraints=36058
1320.01/1320.64	c nbDecision=43000 #constraints=36476
1358.30/1358.90	c nbDecision=43500 #constraints=36826
1393.78/1394.44	c nbDecision=44000 #constraints=37272
1429.57/1430.24	c nbDecision=44500 #constraints=37721
1468.36/1469.09	c nbDecision=45000 #constraints=38146
1501.95/1502.69	c nbDecision=45500 #constraints=38622
1533.93/1534.65	c nbDecision=46000 #constraints=39066
1568.23/1568.98	c nbDecision=46500 #constraints=39493
1607.21/1607.96	c nbDecision=47000 #constraints=39909
1645.40/1646.13	c nbDecision=47500 #constraints=40384
1686.68/1687.48	c nbDecision=48000 #constraints=40819
1730.96/1731.70	c nbDecision=48500 #constraints=41237
1772.75/1773.50	c nbDecision=49000 #constraints=41709
1800.04/1800.80	Received signal 15
1800.14/1800.99	
1800.14/1800.99	s SATISFIABLE
1800.14/1800.99	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.14/1800.99	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.14/1800.99	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.14/1800.99	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
1800.14/1800.99	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.14/1800.99	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.14/1800.99	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.14/1800.99	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191
1800.14/1800.99	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1800.14/1800.99	v -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.14/1800.99	v -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.14/1800.99	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.14/1800.99	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.14/1800.99	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1800.14/1800.99	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.14/1800.99	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.14/1800.99	v x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.14/1800.99	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.14/1800.99	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.14/1800.99	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.14/1800.99	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.14/1800.99	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.14/1800.99	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.14/1800.99	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.14/1800.99	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.14/1800.99	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.14/1800.99	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.14/1800.99	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.14/1800.99	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.14/1800.99	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.14/1800.99	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.14/1800.99	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.14/1800.99	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.14/1800.99	v -x717 -x718
1800.14/1800.99	
1800.14/1800.99	c user time= 1799.88 s
1800.14/1800.99	c system time= 0.355945 s
1800.14/1800.99	c wall clock time=1800.99

Verifier Data (download as text)

OK	-9

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455180-1178038619/instance-455180-1178038619.opb
mv /tmp/evaluation/455180-1178038619/instance-455180-1178038619.opb.tmp /tmp/evaluation/455180-1178038619/instance-455180-1178038619.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node37/watcher-455180-1178038619 -o ROOT/results/node37/solver-455180-1178038619 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455180-1178038619/instance-455180-1178038619.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.99 3/78 32115
/proc/meminfo: memFree=1787584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=1468 CPUtime=0
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 251774333 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 367 164 131 317 0 46 0

[startup+0.07372 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 32115
/proc/meminfo: memFree=1787584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=2392 CPUtime=0.07
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 397 0 0 0 7 0 0 0 18 0 1 0 251774333 2449408 380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 598 380 139 317 0 277 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2392

[startup+0.101724 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 32115
/proc/meminfo: memFree=1787584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=2392 CPUtime=0.09
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 251774333 2449408 403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 598 403 139 317 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2392

[startup+0.301762 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 32115
/proc/meminfo: memFree=1787584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=3176 CPUtime=0.29
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 604 0 0 0 29 0 0 0 19 0 1 0 251774333 3252224 587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 794 587 139 317 0 473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3176

[startup+0.702838 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 32115
/proc/meminfo: memFree=1787584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=3972 CPUtime=0.69
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 821 0 0 0 69 0 0 0 22 0 1 0 251774333 4067328 804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 993 804 139 317 0 672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3972

[startup+1.50199 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1783992/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=5468 CPUtime=1.49
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 1179 0 0 0 149 0 0 0 25 0 1 0 251774333 5599232 1162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 1367 1162 139 317 0 1046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5468

[startup+3.10129 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1782712/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=6652 CPUtime=3.09
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 1480 0 0 0 308 1 0 0 25 0 1 0 251774333 6811648 1463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 1663 1463 139 317 0 1342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6652

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1780664/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=8640 CPUtime=6.29
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 1909 0 0 0 628 1 0 0 25 0 1 0 251774333 8847360 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 2160 1892 139 317 0 1839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8640

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1778616/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=10368 CPUtime=12.69
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 2369 0 0 0 1267 2 0 0 25 0 1 0 251774333 10616832 2352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 2592 2352 139 317 0 2271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10368

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1775352/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=14072 CPUtime=25.48
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 3192 0 0 0 2546 2 0 0 25 0 1 0 251774333 14409728 3139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 3518 3139 139 317 0 3197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14072

[startup+51.1013 s]
/proc/loadavg: 0.97 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1770424/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=18828 CPUtime=51.07
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 4437 0 0 0 5104 3 0 0 25 0 1 0 251774333 19279872 4384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 4707 4384 170 317 0 4386 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18828

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1762296/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=27840 CPUtime=102.26
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 6516 0 0 0 10221 5 0 0 25 0 1 0 251774333 28508160 6392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 6960 6392 170 317 0 6639 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27840

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1754104/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=36724 CPUtime=162.23
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 8552 0 0 0 16215 8 0 0 25 0 1 0 251774333 37605376 8428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 9181 8428 170 317 0 8860 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36724

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32116
/proc/meminfo: memFree=1748600/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=41720 CPUtime=222.21
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 9940 0 0 0 22211 10 0 0 25 0 1 0 251774333 42721280 9816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 10430 9816 170 317 0 10109 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 41720

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/85 32284
/proc/meminfo: memFree=1742280/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=48116 CPUtime=282.11
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 11574 0 0 0 28200 11 0 0 25 0 1 0 251774333 49270784 11120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 12029 11120 170 317 0 11708 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 48116

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1739448/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=51788 CPUtime=342.07
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 12644 0 0 0 34195 12 0 0 25 0 1 0 251774333 53030912 12058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 12947 12058 170 317 0 12626 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 51788

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1735480/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=57856 CPUtime=402.05
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 14352 0 0 0 40191 14 0 0 25 0 1 0 251774333 59244544 13030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 14464 13030 170 317 0 14143 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 57856

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1731448/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=62072 CPUtime=462.03
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 15526 0 0 0 46187 16 0 0 25 0 1 0 251774333 63561728 14039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 15518 14039 170 317 0 15197 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 62072

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1728120/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=65216 CPUtime=522
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 16409 0 0 0 52183 17 0 0 25 0 1 0 251774333 66781184 14889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 16304 14889 170 317 0 15983 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 65216

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1724472/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=68628 CPUtime=581.98
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 17378 0 0 0 58180 18 0 0 25 0 1 0 251774333 70275072 15825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 17157 15825 170 317 0 16836 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 68628

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1721080/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=71520 CPUtime=641.97
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 18200 0 0 0 64178 19 0 0 25 0 1 0 251774333 73236480 16647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 17880 16647 170 317 0 17559 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 71520


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1711032/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=81012 CPUtime=881.88
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 20857 0 0 0 88165 23 0 0 25 0 1 0 251774333 82956288 19172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 20253 19172 170 317 0 19932 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 81012

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1708472/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=83120 CPUtime=941.85
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 21496 0 0 0 94162 23 0 0 25 0 1 0 251774333 85114880 19811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 20780 19811 170 317 0 20459 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 83120

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1706104/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=85440 CPUtime=1001.83
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 22102 0 0 0 100159 24 0 0 25 0 1 0 251774333 87490560 20417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 21360 20417 170 317 0 21039 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 85440

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1704120/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=87264 CPUtime=1061.81
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 22633 0 0 0 106156 25 0 0 25 0 1 0 251774333 89358336 20915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 21816 20915 170 317 0 21495 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 87264

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/79 32314
/proc/meminfo: memFree=1702200/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=88836 CPUtime=1121.79
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 23117 0 0 0 112153 26 0 0 25 0 1 0 251774333 90968064 21399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 22209 21399 170 317 0 21888 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 88836

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1700408/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=91044 CPUtime=1181.76
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 23711 0 0 0 118150 26 0 0 25 0 1 0 251774333 93229056 21798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 22761 21798 170 317 0 22440 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 91044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1698040/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=95836 CPUtime=1241.74
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 25004 0 0 0 124146 28 0 0 25 0 1 0 251774333 98136064 22408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 23959 22408 170 317 0 23638 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 95836

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1695992/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=98316 CPUtime=1301.72
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 25674 0 0 0 130144 28 0 0 25 0 1 0 251774333 100675584 22883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 24579 22883 170 317 0 24258 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 98316

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1694520/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=100388 CPUtime=1361.7
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 26283 0 0 0 136141 29 0 0 25 0 1 0 251774333 102797312 23264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 25097 23264 170 317 0 24776 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 100388

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1692472/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=105424 CPUtime=1421.68
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 27537 0 0 0 142138 30 0 0 25 0 1 0 251774333 107954176 23770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 26356 23770 170 317 0 26035 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 105424

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1690680/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=107260 CPUtime=1481.66
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 28086 0 0 0 148135 31 0 0 25 0 1 0 251774333 109834240 24254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 26815 24254 170 317 0 26494 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 107260

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1688504/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=109620 CPUtime=1541.63
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 28750 0 0 0 154132 31 0 0 25 0 1 0 251774333 112250880 24788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 27405 24788 170 317 0 27084 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 109620

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1686584/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=111212 CPUtime=1601.61
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 29221 0 0 0 160129 32 0 0 25 0 1 0 251774333 113881088 25259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 27803 25259 170 317 0 27482 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 111212

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1684664/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=112932 CPUtime=1661.59
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 29697 0 0 0 166126 33 0 0 25 0 1 0 251774333 115642368 25735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 28233 25735 170 317 0 27912 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 112932

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1683128/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=114372 CPUtime=1721.57
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 30092 0 0 0 172123 34 0 0 25 0 1 0 251774333 117116928 26130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 28593 26130 170 317 0 28272 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 114372

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1681208/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=117464 CPUtime=1781.55
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 30937 0 0 0 178120 35 0 0 25 0 1 0 251774333 120283136 26595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 29366 26595 170 317 0 29045 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 117464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 32314
/proc/meminfo: memFree=1680504/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=118124 CPUtime=1800.04
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194304 31108 0 0 0 179969 35 0 0 25 0 1 0 251774333 120958976 26766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/statm: 29531 26766 170 317 0 29210 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 118124

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.98 0.99 2/79 32314
/proc/meminfo: memFree=1680504/2055920 swapFree=4145560/4192956
[pid=32115] ppid=32113 vsize=0 CPUtime=1800.23
/proc/32115/stat : 32115 (oree) R 32113 32115 31688 0 -1 4194308 31125 0 0 0 179988 35 0 0 25 0 1 0 251774333 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32115/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.02
CPU time (s): 1800.26
CPU user time (s): 1799.89
CPU system time (s): 0.372943
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 118124

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

runsolver used 1.79773 second user time and 4.66629 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue May  1 16:56:59 UTC 2007

IDJOB= 455180
IDBENCH= 48246
IDSOLVER= 172
FILE ID= node37/455180-1178038619

PBS_JOBID= 4728431

Free space on /tmp= 66563 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_3.opb
COMMAND LINE= oree /tmp/evaluation/455180-1178038619/instance-455180-1178038619.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node37/convwatcher-455180-1178038619 -o ROOT/results/node37/conversion-455180-1178038619 -C 600 -M 1800 /tmp/evaluation/455180-1178038619/substituteSizeProductKeyword /tmp/evaluation/455180-1178038619/instance-455180-1178038619.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  138d1c5c8dee06528dd1cfb072975c49

RANDOM SEED= 773131092

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1787928 kB
Buffers:         69592 kB
Cached:         110752 kB
SwapCached:      14952 kB
Active:         114372 kB
Inactive:        89796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787928 kB
SwapTotal:     4192956 kB
SwapFree:      4145560 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          29816 kB
Slab:            49120 kB
Committed_AS:  4687468 kB
PageTables:       2000 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= 66563 MiB

End job on node37 on Tue May  1 17:27:02 UTC 2007