Trace number 365296

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)58 1800.34 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf9ec307a3c8f55679d3b9ab693efbd4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.797877
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=934 #constraints=1065 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.02	c nbDecision=262 #constraints=1065
0.00/0.02	c linear search for optimum
0.00/0.02	o 86
0.00/0.02	c nbDecision=262 #constraints=1067
0.00/0.02	o 83
0.03/0.04	c nbDecision=285 #constraints=1077
0.03/0.04	o 81
0.03/0.06	c nbDecision=296 #constraints=1083
0.03/0.06	o 80
0.19/0.22	c restart after 401 decisions
0.19/0.23	c nbDecision=500 #constraints=1146
0.19/0.29	c nbDecision=693 #constraints=1169
0.19/0.29	o 78
0.29/0.31	c nbDecision=703 #constraints=1175
0.29/0.31	o 77
0.49/0.57	c restart after 801 decisions
0.49/0.59	c nbDecision=1000 #constraints=1253
0.59/0.61	c nbDecision=1084 #constraints=1262
0.59/0.61	o 75
0.59/0.63	c nbDecision=1095 #constraints=1268
0.59/0.63	o 74
0.79/0.87	c nbDecision=1238 #constraints=1354
0.79/0.87	o 72
0.79/0.88	c nbDecision=1248 #constraints=1360
0.79/0.88	o 71
1.29/1.34	c nbDecision=1425 #constraints=1496
1.29/1.34	o 70
1.49/1.59	c nbDecision=1500 #constraints=1563
1.89/1.99	c restart after 1601 decisions
2.59/2.68	c nbDecision=2000 #constraints=1771
5.09/5.18	c nbDecision=2500 #constraints=2190
8.19/8.27	c nbDecision=3000 #constraints=2574
9.69/9.72	c restart after 3201 decisions
10.39/10.44	c nbDecision=3500 #constraints=2768
10.69/10.73	c nbDecision=3549 #constraints=2799
10.69/10.73	o 69
14.58/14.68	c nbDecision=4000 #constraints=3168
20.79/20.89	c nbDecision=4500 #constraints=3601
26.08/26.12	c nbDecision=5000 #constraints=4020
32.78/32.87	c nbDecision=5500 #constraints=4447
37.78/37.81	c nbDecision=5842 #constraints=4707
37.78/37.81	o 68
37.88/37.93	c nbDecision=5856 #constraints=4714
37.88/37.93	o 67
40.38/40.46	c nbDecision=6000 #constraints=4827
40.48/40.51	c nbDecision=6011 #constraints=4828
40.48/40.51	o 66
40.59/40.60	c nbDecision=6024 #constraints=4834
40.59/40.60	o 65
45.08/45.13	c nbDecision=6287 #constraints=5031
45.08/45.13	o 64
47.48/47.57	c restart after 6401 decisions
48.48/48.51	c nbDecision=6500 #constraints=5121
56.28/56.36	c nbDecision=7000 #constraints=5385
65.48/65.57	c nbDecision=7500 #constraints=5688
67.28/67.36	c nbDecision=7601 #constraints=5752
67.28/67.36	o 62
67.78/67.82	c nbDecision=7637 #constraints=5768
67.78/67.82	o 61
74.57/74.66	c nbDecision=7962 #constraints=5983
74.57/74.66	o 60
74.97/75.05	c nbDecision=7993 #constraints=5996
74.97/75.05	o 59
75.17/75.24	c nbDecision=8000 #constraints=6005
87.26/87.38	c nbDecision=8500 #constraints=6352
89.26/89.34	c nbDecision=8595 #constraints=6408
89.26/89.34	o 58
102.76/102.81	c nbDecision=9000 #constraints=6723
120.76/120.88	c nbDecision=9500 #constraints=7111
138.45/138.52	c nbDecision=10000 #constraints=7469
157.56/157.67	c nbDecision=10500 #constraints=7881
176.15/176.29	c nbDecision=11000 #constraints=8258
202.54/202.60	c nbDecision=11500 #constraints=8649
225.53/225.67	c nbDecision=12000 #constraints=9013
248.03/248.12	c nbDecision=12500 #constraints=9447
260.63/260.71	c restart after 12801 decisions
263.42/263.54	c nbDecision=13000 #constraints=9668
283.12/283.26	c nbDecision=13500 #constraints=9997
302.91/303.01	c nbDecision=14000 #constraints=10331
322.81/322.98	c nbDecision=14500 #constraints=10658
347.61/347.71	c nbDecision=15000 #constraints=11044
369.40/369.54	c nbDecision=15500 #constraints=11380
391.89/392.02	c nbDecision=16000 #constraints=11720
426.78/426.97	c nbDecision=16500 #constraints=12138
461.38/461.50	c nbDecision=17000 #constraints=12550
496.07/496.20	c nbDecision=17500 #constraints=12942
523.36/523.57	c nbDecision=18000 #constraints=13271
555.45/555.69	c nbDecision=18500 #constraints=13625
586.64/586.85	c nbDecision=19000 #constraints=13976
619.04/619.22	c nbDecision=19500 #constraints=14338
655.63/655.83	c nbDecision=20000 #constraints=14699
689.52/689.70	c nbDecision=20500 #constraints=15134
718.61/718.87	c nbDecision=21000 #constraints=15477
751.90/752.15	c nbDecision=21500 #constraints=15865
788.90/789.12	c nbDecision=22000 #constraints=16241
836.28/836.56	c nbDecision=22500 #constraints=16686
880.18/880.46	c nbDecision=23000 #constraints=17049
920.27/920.56	c nbDecision=23500 #constraints=17425
965.95/966.28	c nbDecision=24000 #constraints=17778
1010.25/1010.51	c nbDecision=24500 #constraints=18177
1058.43/1058.73	c nbDecision=25000 #constraints=18594
1102.21/1102.56	c nbDecision=25500 #constraints=18994
1111.22/1111.55	c restart after 25601 decisions
1129.51/1129.83	c nbDecision=26000 #constraints=19199
1161.80/1162.19	c nbDecision=26500 #constraints=19537
1190.60/1190.98	c nbDecision=27000 #constraints=19842
1221.89/1222.21	c nbDecision=27500 #constraints=20134
1249.35/1249.77	c nbDecision=28000 #constraints=20389
1280.78/1281.24	c nbDecision=28500 #constraints=20687
1312.65/1313.11	c nbDecision=29000 #constraints=20953
1371.04/1371.54	c nbDecision=29500 #constraints=21351
1414.93/1415.41	c nbDecision=30000 #constraints=21706
1448.42/1448.98	c nbDecision=30500 #constraints=21996
1485.81/1486.33	c nbDecision=31000 #constraints=22270
1522.60/1523.14	c nbDecision=31500 #constraints=22566
1561.00/1561.50	c nbDecision=32000 #constraints=22851
1615.08/1615.62	c nbDecision=32500 #constraints=23208
1666.77/1667.31	c nbDecision=33000 #constraints=23575
1710.76/1711.37	c nbDecision=33500 #constraints=23885
1757.15/1757.75	c nbDecision=34000 #constraints=24217
1800.04/1800.61	Received signal 15
1800.23/1800.82	
1800.23/1800.82	s SATISFIABLE
1800.23/1800.82	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.23/1800.82	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.23/1800.82	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.23/1800.82	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.23/1800.82	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.23/1800.82	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.23/1800.82	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.23/1800.82	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.23/1800.82	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.23/1800.82	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.23/1800.82	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.23/1800.82	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273
1800.23/1800.82	v x274 x275 x276 x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.23/1800.82	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.23/1800.82	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.23/1800.82	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.23/1800.82	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1800.23/1800.82	v -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.23/1800.82	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422
1800.23/1800.82	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 x441 x442 x443 x444
1800.23/1800.82	v x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.23/1800.82	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.23/1800.82	v x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 x507 -x508
1800.23/1800.82	v -x509 -x510 -x511 x512 x513 x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1800.23/1800.82	v -x531 -x532 -x533 -x534 -x535 x536 x537 x538 x539 x540 -x541 -x542 -x543 -x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552
1800.23/1800.82	v x553 x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 x571 x572 -x573 -x574
1800.23/1800.82	v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595
1800.23/1800.82	v x596 x597 x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 x614 x615 x616 x617 x618
1800.23/1800.82	v x619 x620 x621 x622 x623 x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 x640
1800.23/1800.82	v x641 x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 x660 x661 x662
1800.23/1800.82	v x663 x664 x665 x666 -x667 x668 x669 -x670 -x671 -x672 -x673 x674 -x675 x676 x677 x678 x679 x680 x681 x682 -x683 x684 x685 x686
1800.23/1800.82	v x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 x706 x707 x708
1800.23/1800.82	v x709 x710 x711 x712 -x713 -x714 -x715 -x716 x717 x718 x719 x720 x721 -x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732
1800.23/1800.82	v x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758
1800.23/1800.82	v x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784
1800.23/1800.82	v x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810
1800.23/1800.82	v x811 x812 x813 x814 x815 x816 x817 x818 -x819 -x820 -x821 -x822 x823 -x824 x825 x826 x827 x828 x829 x830 x831 -x832 -x833 x834
1800.23/1800.82	v x835 -x836 -x837 -x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859
1800.23/1800.82	v x860 -x861 x862 x863 x864 -x865 x866 x867 x868 x869 x870 x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 x879 x880 x881 -x882
1800.23/1800.82	v x883 x884 x885 x886 x887 x888 -x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 -x900 -x901 x902 x903 -x904 -x905 -x906
1800.23/1800.82	v x907 -x908 -x909 x910 x911 x912 x913 -x914 x915 x916 x917 x918 x919 x920 -x921 -x922 x923 x924 x925 x926 x927 x928 x929 x930
1800.23/1800.82	v x931 x932 x933 x934
1800.23/1800.82	
1800.23/1800.82	c user time= 1799.5 s
1800.23/1800.82	c system time= 0.764883 s
1800.23/1800.82	c wall clock time=1800.82

Verifier Data (download as text)

OK	58

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-365296-1176990022 -o ROOT/results/node4/solver-365296-1176990022 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365296-1176990022/instance-365296-1176990022.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/77 9683
/proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=1468 CPUtime=0
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175039912 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 367 164 131 317 0 46 0

[startup+0.040823 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9683
/proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=2156 CPUtime=0.03
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 373 0 0 0 3 0 0 0 18 0 1 0 175039912 2207744 355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 539 355 170 317 0 218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2156

[startup+0.102829 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9683
/proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=2652 CPUtime=0.09
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 175039912 2715648 488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 663 488 170 317 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2652

[startup+0.302849 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9683
/proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=3824 CPUtime=0.29
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 806 0 0 0 29 0 0 0 19 0 1 0 175039912 3915776 788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713745 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 956 788 170 317 0 635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3824

[startup+0.702886 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9683
/proc/meminfo: memFree=1714456/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=5952 CPUtime=0.69
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 1342 0 0 0 69 0 0 0 23 0 1 0 175039912 6094848 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 1488 1324 170 317 0 1167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5952

[startup+1.50196 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9684
/proc/meminfo: memFree=1707728/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=10348 CPUtime=1.49
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 2422 0 0 0 149 0 0 0 25 0 1 0 175039912 10596352 2404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 2587 2404 170 317 0 2266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10348

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9684
/proc/meminfo: memFree=1702480/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=16252 CPUtime=3.09
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 3920 0 0 0 308 1 0 0 25 0 1 0 175039912 16642048 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 4063 3902 170 317 0 3742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16252

[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9684
/proc/meminfo: memFree=1691920/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=25908 CPUtime=6.29
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 6292 0 0 0 626 3 0 0 25 0 1 0 175039912 26529792 6274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 6477 6274 170 317 0 6156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25908

[startup+12.701 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1680144/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=36332 CPUtime=12.69
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 8932 0 0 0 1265 4 0 0 25 0 1 0 175039912 37203968 8914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 9083 8914 170 317 0 8762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36332

[startup+25.5013 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1661328/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=55424 CPUtime=25.48
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 13447 0 0 0 2542 6 0 0 25 0 1 0 175039912 56754176 13429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 13856 13429 170 317 0 13535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55424

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1636752/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=82868 CPUtime=51.08
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 19489 0 0 0 5098 10 0 0 25 0 1 0 175039912 84856832 19471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 20717 19471 170 317 0 20396 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82868

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1611600/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=107004 CPUtime=102.27
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 25753 0 0 0 10213 14 0 0 25 0 1 0 175039912 109572096 25735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 26751 25735 170 317 0 26430 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107004

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1590288/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=126772 CPUtime=162.25
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 31105 0 0 0 16206 19 0 0 25 0 1 0 175039912 129814528 31087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 31693 31087 170 317 0 31372 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 126772

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1574416/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=142196 CPUtime=222.23
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 35079 0 0 0 22201 22 0 0 25 0 1 0 175039912 145608704 35004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 35549 35004 170 317 0 35228 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 142196

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1549776/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=175156 CPUtime=282.22
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 41264 0 0 0 28197 25 0 0 25 0 1 0 175039912 179359744 41189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 43789 41189 170 317 0 43468 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 175156

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1533392/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=190636 CPUtime=342.2
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 45302 0 0 0 34192 28 0 0 25 0 1 0 175039912 195211264 45227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 47659 45227 170 317 0 47338 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 190636

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1518480/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=204824 CPUtime=402.19
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 49064 0 0 0 40188 31 0 0 25 0 1 0 175039912 209739776 48989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 51206 48989 170 317 0 50885 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 204824

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1506896/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=216332 CPUtime=462.18
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 51941 0 0 0 46185 33 0 0 25 0 1 0 175039912 221523968 51866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 54083 51866 170 317 0 53762 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 216332

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 9684
/proc/meminfo: memFree=1495568/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=227948 CPUtime=522.16
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 54806 0 0 0 52181 35 0 0 25 0 1 0 175039912 233418752 54731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 56987 54731 170 317 0 56666 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 227948

[startup+582.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 9684
/proc/meminfo: memFree=1483920/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=238360 CPUtime=582.15
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 57701 0 0 0 58178 37 0 0 25 0 1 0 175039912 244080640 57626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 59590 57626 170 317 0 59269 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 238360

[startup+642.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 9684
/proc/meminfo: memFree=1473104/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=248544 CPUtime=642.14
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 60363 0 0 0 64174 40 0 0 25 0 1 0 175039912 254509056 60288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 62136 60288 170 317 0 61815 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 248544


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1431376/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=287992 CPUtime=882.07
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 70873 0 0 0 88159 48 0 0 25 0 1 0 175039912 294903808 70685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 71998 70685 170 317 0 71677 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 287992

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1415632/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=329016 CPUtime=942.05
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 79245 0 0 0 94155 50 0 0 25 0 1 0 175039912 336912384 74569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 82254 74569 170 317 0 81933 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 329016

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1406800/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=337096 CPUtime=1002.04
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 81457 0 0 0 100151 53 0 0 25 0 1 0 175039912 345186304 76781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 84274 76781 170 317 0 83953 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 337096

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1397840/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=345216 CPUtime=1062.03
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 83692 0 0 0 106148 55 0 0 25 0 1 0 175039912 353501184 79016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 86304 79016 170 317 0 85983 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 345216

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1389264/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=353164 CPUtime=1122.01
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 85878 0 0 0 112144 57 0 0 25 0 1 0 175039912 361639936 81136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 88291 81136 170 317 0 87970 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 353164

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9684
/proc/meminfo: memFree=1378704/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=362996 CPUtime=1182
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 88577 0 0 0 118141 59 0 0 25 0 1 0 175039912 371707904 83802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 90749 83802 170 317 0 90428 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 362996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 9710
/proc/meminfo: memFree=1368160/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=371652 CPUtime=1241.96
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 90931 0 0 0 124134 62 0 0 25 0 1 0 175039912 380571648 86123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 92913 86123 170 317 0 92592 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 371652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1359376/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=380924 CPUtime=1301.86
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 93432 0 0 0 130122 64 0 0 25 0 1 0 175039912 390066176 88525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 95231 88525 170 317 0 94910 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 380924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1352144/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=388060 CPUtime=1361.84
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 95374 0 0 0 136118 66 0 0 25 0 1 0 175039912 397373440 90368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 97015 90368 170 317 0 96694 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 388060

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1344080/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=395560 CPUtime=1421.83
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 97464 0 0 0 142116 67 0 0 25 0 1 0 175039912 405053440 92392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 98890 92392 170 317 0 98569 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 395560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1335632/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=404428 CPUtime=1481.81
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 99695 0 0 0 148112 69 0 0 25 0 1 0 175039912 414134272 94524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 101107 94524 170 317 0 100786 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 404428

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1327376/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=412268 CPUtime=1541.8
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 101829 0 0 0 154109 71 0 0 25 0 1 0 175039912 422162432 96592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 103067 96592 170 317 0 102746 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 412268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1320464/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=418336 CPUtime=1601.79
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 103606 0 0 0 160106 73 0 0 25 0 1 0 175039912 428376064 98336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 104584 98336 170 317 0 104263 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 418336

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1313808/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=424636 CPUtime=1661.77
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 105253 0 0 0 166103 74 0 0 25 0 1 0 175039912 434827264 99983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 106159 99983 170 317 0 105838 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 424636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1306448/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=431596 CPUtime=1721.76
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 107175 0 0 0 172101 75 0 0 25 0 1 0 175039912 441954304 101839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 107899 101839 170 317 0 107578 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 431596

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1298960/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=438284 CPUtime=1781.74
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109098 0 0 0 178098 76 0 0 25 0 1 0 175039912 448802816 103696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 109571 103696 170 317 0 109250 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 438284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1297488/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=439652 CPUtime=1800.04
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109456 0 0 0 179928 76 0 0 25 0 1 0 175039912 450203648 104054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 109913 104054 170 317 0 109592 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 439652

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9882
/proc/meminfo: memFree=1297488/2055920 swapFree=4153812/4192956
[pid=9683] ppid=9681 vsize=439652 CPUtime=1800.23
/proc/9683/stat : 9683 (oree) R 9681 9683 9539 0 -1 4194304 109464 0 0 0 179947 76 0 0 25 0 1 0 175039912 450203648 104062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9683/statm: 109913 104062 170 317 0 109592 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 439652

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.34
CPU user time (s): 1799.51
CPU system time (s): 0.830873
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 439672

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

runsolver used 2.22066 second user time and 4.24835 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Thu Apr 19 13:40:22 UTC 2007

IDJOB= 365296
IDBENCH= 2227
IDSOLVER= 172
FILE ID= node4/365296-1176990022

PBS_JOBID= 4630445

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f9ec307a3c8f55679d3b9ab693efbd4c

RANDOM SEED= 997680899

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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:       1714864 kB
Buffers:         36676 kB
Cached:         222752 kB
SwapCached:       2236 kB
Active:          68128 kB
Inactive:       213996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714864 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            1436 kB
Writeback:           0 kB
Mapped:          30252 kB
Slab:            44412 kB
Committed_AS:  5290056 kB
PageTables:       1816 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= 66473 MiB

End job on node4 on Thu Apr 19 14:10:24 UTC 2007