Trace number 453755

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)31 1800.1 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_2.opb
MD5SUM54e50bd6cbfbb2a5705269c41241de9a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint20
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products2492
Sum of products size4984

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.03	c ...done
0.00/0.03	c #vars=2692 #constraints=5185 hasObjective=yes
0.04/0.06	c res. mode=mod
0.04/0.06	c VSIDS like heuristics
0.04/0.06	c complete search running
0.04/0.07	c nbDecision=163 #constraints=5185
0.04/0.07	c linear search for optimum
0.04/0.07	o 37
0.04/0.08	c nbDecision=163 #constraints=5187
0.04/0.08	o 36
0.04/0.08	c nbDecision=164 #constraints=5190
0.04/0.08	o 35
0.19/0.23	c restart after 401 decisions
0.19/0.25	c nbDecision=500 #constraints=5364
0.19/0.27	c nbDecision=588 #constraints=5385
0.19/0.27	o 34
0.39/0.40	c restart after 801 decisions
0.39/0.45	c nbDecision=1000 #constraints=5518
0.79/0.81	c nbDecision=1500 #constraints=5754
0.90/0.92	c restart after 1601 decisions
1.19/1.24	c nbDecision=2000 #constraints=5958
1.89/1.93	c nbDecision=2500 #constraints=6241
2.80/2.88	c nbDecision=3000 #constraints=6574
3.30/3.38	c restart after 3201 decisions
3.89/3.90	c nbDecision=3500 #constraints=6791
5.39/5.46	c nbDecision=4000 #constraints=7078
6.98/7.04	c nbDecision=4500 #constraints=7335
8.80/8.86	c nbDecision=5000 #constraints=7649
10.89/10.96	c nbDecision=5500 #constraints=7933
13.88/13.92	c nbDecision=6000 #constraints=8225
16.09/16.18	c restart after 6401 decisions
16.29/16.38	c nbDecision=6500 #constraints=8431
19.39/19.42	c nbDecision=7000 #constraints=8674
23.29/23.35	c nbDecision=7500 #constraints=8970
27.58/27.61	c nbDecision=8000 #constraints=9291
31.98/32.08	c nbDecision=8500 #constraints=9558
36.59/36.60	c nbDecision=9000 #constraints=9833
40.88/41.00	c nbDecision=9500 #constraints=10101
46.28/46.31	c nbDecision=10000 #constraints=10377
48.68/48.73	c nbDecision=10288 #constraints=10495
48.68/48.73	o 33
49.97/50.08	c nbDecision=10500 #constraints=10566
54.99/55.05	c nbDecision=11000 #constraints=10801
57.88/57.92	c nbDecision=11345 #constraints=10934
57.88/57.92	o 32
58.98/59.08	c nbDecision=11500 #constraints=10980
64.28/64.32	c nbDecision=12000 #constraints=11194
69.18/69.24	c nbDecision=12500 #constraints=11391
72.67/72.72	c restart after 12801 decisions
73.97/74.04	c nbDecision=13000 #constraints=11550
78.47/78.51	c nbDecision=13500 #constraints=11720
84.37/84.42	c nbDecision=14000 #constraints=11933
89.27/89.31	c nbDecision=14500 #constraints=12125
97.47/97.51	c nbDecision=15000 #constraints=12410
105.67/105.76	c nbDecision=15500 #constraints=12689
115.06/115.18	c nbDecision=16000 #constraints=12984
124.06/124.14	c nbDecision=16500 #constraints=13246
132.26/132.31	c nbDecision=17000 #constraints=13474
139.75/139.87	c nbDecision=17500 #constraints=13672
148.35/148.49	c nbDecision=18000 #constraints=13909
158.75/158.80	c nbDecision=18500 #constraints=14229
170.75/170.82	c nbDecision=19000 #constraints=14539
182.64/182.72	c nbDecision=19500 #constraints=14859
194.15/194.26	c nbDecision=20000 #constraints=15128
205.34/205.40	c nbDecision=20500 #constraints=15407
213.14/213.22	c nbDecision=21000 #constraints=15606
223.44/223.52	c nbDecision=21500 #constraints=15843
235.13/235.21	c nbDecision=22000 #constraints=16099
245.23/245.37	c nbDecision=22500 #constraints=16313
262.43/262.52	c nbDecision=23000 #constraints=16658
279.62/279.75	c nbDecision=23500 #constraints=17000
295.02/295.17	c nbDecision=24000 #constraints=17294
308.71/308.88	c nbDecision=24500 #constraints=17552
323.31/323.46	c nbDecision=25000 #constraints=17841
334.41/334.52	c nbDecision=25500 #constraints=18139
336.81/336.90	c restart after 25601 decisions
343.60/343.79	c nbDecision=26000 #constraints=18350
354.80/354.90	c nbDecision=26500 #constraints=18631
366.20/366.31	c nbDecision=27000 #constraints=18896
377.89/378.06	c nbDecision=27500 #constraints=19159
391.69/391.89	c nbDecision=28000 #constraints=19470
405.29/405.49	c nbDecision=28500 #constraints=19765
418.48/418.69	c nbDecision=29000 #constraints=20040
431.09/431.29	c nbDecision=29500 #constraints=20311
444.18/444.37	c nbDecision=30000 #constraints=20557
455.48/455.69	c nbDecision=30500 #constraints=20765
456.48/456.62	c nbDecision=30560 #constraints=20782
456.48/456.62	o 31
466.88/467.03	c nbDecision=31000 #constraints=20958
481.67/481.81	c nbDecision=31500 #constraints=21200
493.27/493.42	c nbDecision=32000 #constraints=21390
516.76/516.98	c nbDecision=32500 #constraints=21745
543.56/543.79	c nbDecision=33000 #constraints=22126
559.55/559.75	c nbDecision=33500 #constraints=22396
577.15/577.33	c nbDecision=34000 #constraints=22664
589.85/590.02	c nbDecision=34500 #constraints=22864
610.34/610.54	c nbDecision=35000 #constraints=23135
634.73/634.90	c nbDecision=35500 #constraints=23485
652.72/653.00	c nbDecision=36000 #constraints=23784
670.93/671.16	c nbDecision=36500 #constraints=24072
695.42/695.63	c nbDecision=37000 #constraints=24402
716.22/716.45	c nbDecision=37500 #constraints=24696
736.51/736.77	c nbDecision=38000 #constraints=24974
753.50/753.70	c nbDecision=38500 #constraints=25204
770.60/770.87	c nbDecision=39000 #constraints=25428
791.19/791.42	c nbDecision=39500 #constraints=25677
811.19/811.47	c nbDecision=40000 #constraints=25913
843.18/843.43	c nbDecision=40500 #constraints=26288
881.57/881.83	c nbDecision=41000 #constraints=26688
904.27/904.59	c nbDecision=41500 #constraints=26982
929.06/929.38	c nbDecision=42000 #constraints=27277
949.16/949.48	c nbDecision=42500 #constraints=27506
975.05/975.39	c nbDecision=43000 #constraints=27780
1011.04/1011.35	c nbDecision=43500 #constraints=28150
1035.44/1035.71	c nbDecision=44000 #constraints=28428
1063.33/1063.67	c nbDecision=44500 #constraints=28714
1084.12/1084.43	c nbDecision=45000 #constraints=28921
1118.21/1118.59	c nbDecision=45500 #constraints=29257
1150.31/1150.69	c nbDecision=46000 #constraints=29577
1180.50/1180.80	c nbDecision=46500 #constraints=29868
1221.99/1222.38	c nbDecision=47000 #constraints=30267
1245.98/1246.38	c nbDecision=47500 #constraints=30549
1268.99/1269.35	c nbDecision=48000 #constraints=30848
1293.07/1293.45	c nbDecision=48500 #constraints=31127
1320.27/1320.67	c nbDecision=49000 #constraints=31419
1344.36/1344.74	c nbDecision=49500 #constraints=31717
1369.56/1369.95	c nbDecision=50000 #constraints=31995
1391.85/1392.20	c nbDecision=50500 #constraints=32228
1409.74/1410.14	c nbDecision=51000 #constraints=32405
1418.94/1419.31	c restart after 51201 decisions
1430.44/1430.84	c nbDecision=51500 #constraints=32570
1450.73/1451.19	c nbDecision=52000 #constraints=32769
1480.02/1480.46	c nbDecision=52500 #constraints=33038
1521.41/1521.84	c nbDecision=53000 #constraints=33382
1554.21/1554.65	c nbDecision=53500 #constraints=33686
1578.60/1579.07	c nbDecision=54000 #constraints=33966
1606.10/1606.59	c nbDecision=54500 #constraints=34225
1626.29/1626.72	c nbDecision=55000 #constraints=34410
1664.58/1665.02	c nbDecision=55500 #constraints=34709
1698.47/1698.91	c nbDecision=56000 #constraints=35019
1733.86/1734.39	c nbDecision=56500 #constraints=35328
1765.55/1766.01	c nbDecision=57000 #constraints=35601
1794.35/1794.82	c nbDecision=57500 #constraints=35834
1800.05/1800.50	Received signal 15
1800.05/1800.51	
1800.05/1800.51	s SATISFIABLE
1800.05/1800.51	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.05/1800.51	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.05/1800.51	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.05/1800.51	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.05/1800.51	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.05/1800.51	v x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 x145 -x146
1800.05/1800.51	v -x147 x148 -x149 x150 -x151 x152 x153 x154 -x155 x156 -x157 x158 x159 x160 -x161 x162 -x163 x164 x165 x166 -x167 -x168 x169
1800.05/1800.51	v x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 x182 -x183 x184 -x185 -x186 x187 -x188 x189 -x190 x191 -x192
1800.05/1800.51	v -x193 -x194 x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.05/1800.51	v -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234
1800.05/1800.51	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 x254 -x255
1800.05/1800.51	v -x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.05/1800.51	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297
1800.05/1800.51	v x298 -x299 -x300 -x301 -x302 x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319
1800.05/1800.51	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340
1800.05/1800.51	v -x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362
1800.05/1800.51	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.05/1800.51	v -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404
1800.05/1800.51	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425
1800.05/1800.51	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 x446
1800.05/1800.51	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.05/1800.51	v -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488
1800.05/1800.51	v -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 x502 x503 x504 -x505 -x506 -x507 -x508 -x509 -x510
1800.05/1800.51	v -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531
1800.05/1800.51	v -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553
1800.05/1800.51	v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574
1800.05/1800.51	v -x575 -x576 -x577 x578 -x579 -x580 -x581 x582 x583 -x584 -x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.05/1800.51	v -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617
1800.05/1800.51	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638
1800.05/1800.51	v -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 x658 -x659
1800.05/1800.51	v -x660 x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 x678 x679 -x680 -x681
1800.05/1800.51	v -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 x690 -x691 x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702
1800.05/1800.51	v -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 x720 -x721 -x722 x723
1800.05/1800.51	v -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744
1800.05/1800.51	v -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
1800.05/1800.51	v -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 x785 x786 -x787
1800.05/1800.51	v -x788 x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808
1800.05/1800.51	v x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830
1800.05/1800.51	v x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 x850 -x851 -x852
1800.05/1800.51	v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873
1800.05/1800.51	v x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894
1800.05/1800.51	v -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915
1800.05/1800.51	v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936
1800.05/1800.51	v -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957
1800.05/1800.51	v -x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978
1800.05/1800.51	v x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999
1800.05/1800.51	v -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017
1800.05/1800.51	v -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
1800.05/1800.51	v -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052
1800.05/1800.51	v -x1053 -x1054 -x1055 -x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
1800.05/1800.51	v x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088
1800.05/1800.51	v x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106
1800.05/1800.51	v x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 x1123 -x1124
1800.05/1800.51	v x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.05/1800.51	v x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160
1800.05/1800.51	v x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.05/1800.51	v x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196
1800.05/1800.51	v -x1197 -x1198 -x1199 x1200 -x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214
1800.05/1800.51	v x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.05/1800.51	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.05/1800.51	v -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
1800.05/1800.51	v -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285
1800.05/1800.51	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302
1800.05/1800.51	v -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 x1316 -x1317 -x1318 -x1319 -x1320
1800.05/1800.51	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338
1800.05/1800.51	v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
1800.05/1800.51	v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372
1800.05/1800.51	v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390
1800.05/1800.51	v x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408
1800.05/1800.51	v x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.05/1800.51	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
1800.05/1800.51	v -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 x1460 -x1461
1800.05/1800.51	v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478
1800.05/1800.51	v -x1479 x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 x1495 x1496
1800.05/1800.51	v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514
1800.05/1800.51	v -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
1800.05/1800.51	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548
1800.05/1800.51	v -x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.05/1800.51	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.05/1800.51	v -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601
1800.05/1800.51	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1800.05/1800.51	v -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.05/1800.51	v x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.05/1800.51	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.05/1800.51	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 x1688 -x1689
1800.05/1800.51	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.05/1800.51	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.05/1800.51	v -x1724 -x1725 x1726 -x1727 -x1728 -x1729 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 x1741
1800.05/1800.51	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1800.05/1800.51	v -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777
1800.05/1800.51	v -x1778 -x1779 -x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795
1800.05/1800.51	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813
1800.05/1800.51	v -x1814 -x1815 -x1816 -x1817 x1818 -x1819 x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831
1800.05/1800.51	v -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849
1800.05/1800.51	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1800.05/1800.51	v -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
1800.05/1800.51	v -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903
1800.05/1800.51	v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1800.05/1800.51	v -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938
1800.05/1800.51	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.05/1800.51	v x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1800.05/1800.51	v -x1975 -x1976 -x1977 x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992
1800.05/1800.51	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010
1800.05/1800.51	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028
1800.05/1800.51	v -x2029 -x2030 -x2031 -x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
1800.05/1800.51	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1800.05/1800.51	v -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1800.05/1800.51	v -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099
1800.05/1800.51	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.05/1800.51	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134
1800.05/1800.51	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151
1800.05/1800.51	v -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168
1800.05/1800.51	v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.05/1800.51	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.05/1800.51	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.05/1800.51	v -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.05/1800.51	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.05/1800.51	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.05/1800.51	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.05/1800.51	v x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.05/1800.51	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323
1800.05/1800.51	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1800.05/1800.51	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357
1800.05/1800.51	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1800.05/1800.51	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1800.05/1800.51	v -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 x2408 -x2409
1800.05/1800.51	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1800.05/1800.51	v x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444
1800.05/1800.51	v -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461
1800.05/1800.51	v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1800.05/1800.51	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.05/1800.51	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.05/1800.51	v -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1800.05/1800.51	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
1800.05/1800.51	v x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
1800.05/1800.51	v -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583
1800.05/1800.51	v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
1800.05/1800.51	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.05/1800.51	v -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636
1800.05/1800.51	v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653
1800.05/1800.51	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1800.05/1800.51	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.05/1800.51	v -x2688 -x2689 x2690 x2691 x2692
1800.05/1800.51	
1800.05/1800.51	c user time= 1799.61 s
1800.05/1800.51	c system time= 0.45593 s
1800.05/1800.51	c wall clock time=1800.51

Verifier Data (download as text)

OK	31

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb
mv /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb.tmp /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-453755-1178154400 -o ROOT/results/node18/solver-453755-1178154400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453755-1178154400/instance-453755-1178154400.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: 1.00 1.00 1.00 3/77 10076
/proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=1468 CPUtime=0
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 263357384 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 367 165 130 317 0 46 0

[startup+0.050354 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10076
/proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=3328 CPUtime=0.04
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 635 0 0 0 4 0 0 0 18 0 1 0 263357384 3407872 618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 832 618 137 317 0 511 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3328

[startup+0.101359 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10076
/proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=3600 CPUtime=0.09
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 756 0 0 0 9 0 0 0 18 0 1 0 263357384 3686400 703 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 900 703 170 317 0 579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3600

[startup+0.301378 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10076
/proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=4516 CPUtime=0.29
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 974 0 0 0 29 0 0 0 19 0 1 0 263357384 4624384 921 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 1129 921 170 317 0 808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4516

[startup+0.701417 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10076
/proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=5832 CPUtime=0.69
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 1310 0 0 0 69 0 0 0 23 0 1 0 263357384 5971968 1257 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563740 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 1458 1257 170 317 0 1137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5832

[startup+1.50249 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1801528/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=7796 CPUtime=1.49
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 1792 0 0 0 148 1 0 0 25 0 1 0 263357384 7983104 1739 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 1949 1739 170 317 0 1628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7796

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1798968/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=10444 CPUtime=3.1
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 2469 0 0 0 308 2 0 0 25 0 1 0 263357384 10694656 2416 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 2611 2416 170 317 0 2290 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10444

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1795512/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=13488 CPUtime=6.29
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 3211 0 0 0 627 2 0 0 25 0 1 0 263357384 13811712 3158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 3372 3158 170 317 0 3051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13488

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1790840/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=17752 CPUtime=12.69
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 4258 0 0 0 1266 3 0 0 25 0 1 0 263357384 18178048 4205 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 4438 4205 170 317 0 4117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17752

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1785272/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=23036 CPUtime=25.48
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 5586 0 0 0 2544 4 0 0 25 0 1 0 263357384 23588864 5533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 5759 5533 170 317 0 5438 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23036

[startup+51.1013 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 10077
/proc/meminfo: memFree=1777272/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=31864 CPUtime=51.07
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 7657 0 0 0 5101 6 0 0 25 0 1 0 263357384 32628736 7533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 7966 7533 170 317 0 7645 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31864

[startup+102.305 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10077
/proc/meminfo: memFree=1768056/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=40792 CPUtime=102.27
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 9925 0 0 0 10219 8 0 0 25 0 1 0 263357384 41771008 9801 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 10198 9801 170 317 0 9877 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40792

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1758264/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=51200 CPUtime=162.25
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 12377 0 0 0 16215 10 0 0 25 0 1 0 263357384 52428800 12253 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 12800 12253 170 317 0 12479 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51200

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1750520/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=59296 CPUtime=222.24
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 14320 0 0 0 22212 12 0 0 25 0 1 0 263357384 60719104 14196 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 14824 14196 170 317 0 14503 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59296

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1743160/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=67012 CPUtime=282.22
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 16150 0 0 0 28209 13 0 0 25 0 1 0 263357384 68620288 16026 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 16753 16026 170 317 0 16432 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 67012

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1736312/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=73792 CPUtime=342.2
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 17837 0 0 0 34205 15 0 0 25 0 1 0 263357384 75563008 17713 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 18448 17713 170 317 0 18127 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 73792

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1729720/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=80744 CPUtime=402.19
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 19504 0 0 0 40202 17 0 0 25 0 1 0 263357384 82681856 19380 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 20186 19380 170 317 0 19865 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 80744

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1723768/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=87156 CPUtime=462.18
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 21121 0 0 0 46199 19 0 0 25 0 1 0 263357384 89247744 20856 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 21789 20856 170 317 0 21468 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 87156

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1717560/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=95392 CPUtime=522.17
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 22969 0 0 0 52196 21 0 0 25 0 1 0 263357384 97681408 22440 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 23848 22440 170 317 0 23527 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 95392

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1711800/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=101288 CPUtime=582.15
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 24398 0 0 0 58193 22 0 0 25 0 1 0 263357384 103718912 23869 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 25322 23869 170 317 0 25001 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 101288

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1706680/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=105728 CPUtime=642.13
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 25652 0 0 0 64190 23 0 0 25 0 1 0 263357384 108265472 25123 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 26432 25123 170 317 0 26111 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 105728


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1688568/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=123344 CPUtime=882.07
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 30147 0 0 0 88179 28 0 0 25 0 1 0 263357384 126304256 29618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 30836 29618 170 317 0 30515 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 123344

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1685112/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=126908 CPUtime=942.06
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 31049 0 0 0 94176 30 0 0 25 0 1 0 263357384 129953792 30487 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 31727 30487 170 317 0 31406 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 126908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1680632/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=131768 CPUtime=1002.04
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 32194 0 0 0 100173 31 0 0 25 0 1 0 263357384 134930432 31632 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 32942 31632 170 317 0 32621 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 131768

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1676856/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=136332 CPUtime=1062.03
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 33330 0 0 0 106171 32 0 0 25 0 1 0 263357384 139603968 32570 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 34083 32570 170 317 0 33762 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 136332

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1673400/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=140020 CPUtime=1122.01
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 34228 0 0 0 112168 33 0 0 25 0 1 0 263357384 143380480 33435 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 35005 33435 170 317 0 34684 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 140020

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1669432/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=144616 CPUtime=1182
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 35236 0 0 0 118166 34 0 0 25 0 1 0 263357384 148086784 34410 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 36154 34410 170 317 0 35833 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 144616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1665976/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=147764 CPUtime=1241.98
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 36102 0 0 0 124163 35 0 0 25 0 1 0 263357384 151310336 35276 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 36941 35276 170 317 0 36620 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 147764

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1662392/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=151212 CPUtime=1301.97
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 36985 0 0 0 130161 36 0 0 25 0 1 0 263357384 154841088 36159 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 37803 36159 170 317 0 37482 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 151212

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1658744/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=154744 CPUtime=1361.95
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 37887 0 0 0 136158 37 0 0 25 0 1 0 263357384 158457856 37061 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 38686 37061 170 317 0 38365 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 154744

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1655736/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=158052 CPUtime=1421.94
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 38658 0 0 0 142155 39 0 0 25 0 1 0 263357384 161845248 37832 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 39513 37832 170 317 0 39192 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 158052

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1652216/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=162808 CPUtime=1481.92
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 39655 0 0 0 148153 39 0 0 25 0 1 0 263357384 166715392 38763 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 40702 38763 170 317 0 40381 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 162808

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1648248/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=166888 CPUtime=1541.91
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 40636 0 0 0 154150 41 0 0 25 0 1 0 263357384 170893312 39711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 41722 39711 170 317 0 41401 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 166888

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1645176/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=170292 CPUtime=1601.9
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 41402 0 0 0 160148 42 0 0 25 0 1 0 263357384 174379008 40477 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 42573 40477 170 317 0 42252 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 170292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1641848/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=173356 CPUtime=1661.88
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 42210 0 0 0 166145 43 0 0 25 0 1 0 263357384 177516544 41285 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 43339 41285 170 317 0 43018 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 173356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1638584/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=176656 CPUtime=1721.86
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43087 0 0 0 172143 43 0 0 25 0 1 0 263357384 180895744 42129 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134711185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 44164 42129 170 317 0 43843 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 176656

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1635704/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=179492 CPUtime=1781.85
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43783 0 0 0 178140 45 0 0 25 0 1 0 263357384 183799808 42825 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 44873 42825 170 317 0 44552 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 179492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1634872/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=180156 CPUtime=1800.05
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43981 0 0 0 179960 45 0 0 25 0 1 0 263357384 184479744 43023 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 45039 43023 170 317 0 44718 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180156

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10077
/proc/meminfo: memFree=1634872/2055920 swapFree=4147168/4192956
[pid=10076] ppid=10074 vsize=180156 CPUtime=1800.05
/proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43981 0 0 0 179960 45 0 0 25 0 1 0 263357384 184479744 43023 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10076/statm: 45039 43023 170 317 0 44718 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180156

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.485926
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 180156

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

runsolver used 1.3198 second user time and 4.15137 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Thu May  3 01:06:40 UTC 2007

IDJOB= 453755
IDBENCH= 48151
IDSOLVER= 172
FILE ID= node18/453755-1178154400

PBS_JOBID= 4751089

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/mds/normalized-mds_200_10_2.opb
COMMAND LINE= oree /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-453755-1178154400 -o ROOT/results/node18/conversion-453755-1178154400 -C 600 -M 1800 /tmp/evaluation/453755-1178154400/substituteSizeProductKeyword /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  54e50bd6cbfbb2a5705269c41241de9a

RANDOM SEED= 331580782

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1807192 kB
Buffers:         95484 kB
Cached:          54944 kB
SwapCached:      15084 kB
Active:         105656 kB
Inactive:        76528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807192 kB
SwapTotal:     4192956 kB
SwapFree:      4147168 kB
Dirty:            1368 kB
Writeback:           0 kB
Mapped:          35992 kB
Slab:            52020 kB
Committed_AS:  8471368 kB
PageTables:       1788 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 node18 on Thu May  3 01:36:43 UTC 2007