Trace number 357192

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)-35 1800.25 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.39/0.41	c ...done
0.39/0.41	c #vars=945 #constraints=58625 hasObjective=yes
0.69/0.73	c res. mode=mod
0.69/0.73	c VSIDS like heuristics
0.69/0.73	c complete search running
0.69/0.76	c nbDecision=29 #constraints=58625
0.69/0.76	c linear search for optimum
0.69/0.76	o -29
0.79/0.81	c nbDecision=34 #constraints=58628
0.79/0.81	o -30
1.19/1.24	c nbDecision=143 #constraints=58676
1.19/1.24	o -31
1.29/1.37	c nbDecision=179 #constraints=58690
1.29/1.37	o -32
1.49/1.58	c nbDecision=232 #constraints=58714
1.49/1.58	o -33
2.29/2.31	c restart after 401 decisions
2.99/3.01	c nbDecision=500 #constraints=58848
4.78/4.89	c restart after 801 decisions
5.99/6.05	c nbDecision=1000 #constraints=59091
8.89/8.98	c nbDecision=1500 #constraints=59328
9.69/9.72	c restart after 1601 decisions
12.79/12.87	c nbDecision=2000 #constraints=59562
16.68/16.74	c nbDecision=2500 #constraints=59813
19.98/20.07	c nbDecision=3000 #constraints=60022
21.29/21.32	c restart after 3201 decisions
26.69/26.75	c nbDecision=3500 #constraints=60257
33.88/33.94	c nbDecision=4000 #constraints=60519
40.08/40.16	c nbDecision=4500 #constraints=60737
49.67/49.74	c nbDecision=5000 #constraints=61071
60.67/60.73	c nbDecision=5500 #constraints=61408
71.88/71.92	c nbDecision=6000 #constraints=61721
83.17/83.28	c restart after 6401 decisions
89.57/89.64	c nbDecision=6500 #constraints=62075
104.67/104.70	c nbDecision=7000 #constraints=62453
122.06/122.12	c nbDecision=7500 #constraints=62821
138.36/138.48	c nbDecision=8000 #constraints=63144
157.25/157.33	c nbDecision=8500 #constraints=63525
177.55/177.63	c nbDecision=9000 #constraints=63885
194.54/194.62	c nbDecision=9500 #constraints=64201
214.03/214.10	c nbDecision=10000 #constraints=64563
235.03/235.14	c nbDecision=10500 #constraints=64922
256.63/256.71	c nbDecision=11000 #constraints=65253
276.72/276.83	c nbDecision=11500 #constraints=65575
303.52/303.61	c nbDecision=12000 #constraints=65968
331.91/332.02	c nbDecision=12500 #constraints=66393
347.10/347.24	c restart after 12801 decisions
361.40/361.55	c nbDecision=13000 #constraints=66670
378.10/378.22	c nbDecision=13500 #constraints=66873
397.69/397.85	c nbDecision=14000 #constraints=67106
407.09/407.22	c nbDecision=14238 #constraints=67205
407.09/407.22	o -34
419.88/420.09	c nbDecision=14500 #constraints=67323
432.68/432.88	c nbDecision=14762 #constraints=67461
432.68/432.88	o -35
446.78/446.95	c nbDecision=15000 #constraints=67619
480.37/480.53	c nbDecision=15500 #constraints=68018
507.26/507.41	c nbDecision=16000 #constraints=68322
532.96/533.12	c nbDecision=16500 #constraints=68612
565.25/565.46	c nbDecision=17000 #constraints=68949
592.34/592.50	c nbDecision=17500 #constraints=69191
622.81/623.02	c nbDecision=18000 #constraints=69506
657.54/657.82	c nbDecision=18500 #constraints=69831
694.61/694.94	c nbDecision=19000 #constraints=70193
720.40/720.70	c nbDecision=19500 #constraints=70438
746.29/746.61	c nbDecision=20000 #constraints=70691
774.69/775.05	c nbDecision=20500 #constraints=70959
811.58/811.94	c nbDecision=21000 #constraints=71301
846.07/846.50	c nbDecision=21500 #constraints=71572
878.56/879.00	c nbDecision=22000 #constraints=71828
923.75/924.11	c nbDecision=22500 #constraints=72218
970.04/970.48	c nbDecision=23000 #constraints=72619
997.23/997.62	c nbDecision=23500 #constraints=72841
1030.72/1031.18	c nbDecision=24000 #constraints=73103
1062.81/1063.29	c nbDecision=24500 #constraints=73349
1111.90/1112.33	c nbDecision=25000 #constraints=73724
1148.30/1148.71	c nbDecision=25500 #constraints=73984
1154.50/1154.95	c restart after 25601 decisions
1213.38/1213.87	c nbDecision=26000 #constraints=74284
1272.07/1272.56	c nbDecision=26500 #constraints=74648
1330.85/1331.39	c nbDecision=27000 #constraints=75001
1391.63/1392.20	c nbDecision=27500 #constraints=75391
1447.52/1448.03	c nbDecision=28000 #constraints=75727
1500.11/1500.64	c nbDecision=28500 #constraints=76060
1552.20/1552.72	c nbDecision=29000 #constraints=76393
1609.18/1609.72	c nbDecision=29500 #constraints=76737
1669.77/1670.37	c nbDecision=30000 #constraints=77118
1727.36/1727.95	c nbDecision=30500 #constraints=77452
1785.54/1786.13	c nbDecision=31000 #constraints=77758
1800.04/1800.61	Received signal 15
1800.04/1800.65	
1800.04/1800.65	s SATISFIABLE
1800.04/1800.65	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.04/1800.65	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.04/1800.65	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.04/1800.65	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.04/1800.65	v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.04/1800.65	v -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.04/1800.65	v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.04/1800.65	v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.04/1800.65	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.04/1800.65	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231
1800.04/1800.65	v x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.04/1800.65	v -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.04/1800.65	v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.04/1800.65	v x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.04/1800.65	v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.04/1800.65	v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.04/1800.65	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.04/1800.65	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.04/1800.65	v -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.04/1800.65	v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.04/1800.65	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.04/1800.65	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.04/1800.65	v -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.04/1800.65	v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.65	v -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.04/1800.65	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567
1800.04/1800.65	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.04/1800.65	v -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1800.65	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.04/1800.65	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.04/1800.65	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.04/1800.65	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1800.65	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.04/1800.65	v -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.04/1800.65	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756
1800.04/1800.65	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.04/1800.65	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798
1800.04/1800.65	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.04/1800.65	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.04/1800.65	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.04/1800.65	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882
1800.04/1800.65	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903
1800.04/1800.65	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924
1800.04/1800.65	v -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.04/1800.65	
1800.04/1800.65	c user time= 1798.92 s
1800.04/1800.65	c system time= 1.17982 s
1800.04/1800.65	c wall clock time=1800.66

Verifier Data (download as text)

OK	-35

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node72/watcher-357192-1176990646 -o ROOT/results/node72/solver-357192-1176990646 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357192-1176990646/instance-357192-1176990646.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 32752
/proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=1468 CPUtime=0
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175103052 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 367 164 130 317 0 46 0

[startup+0.059681 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32752
/proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=2824 CPUtime=0.05
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 493 0 0 0 5 0 0 0 18 0 1 0 175103052 2891776 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 706 475 130 317 0 385 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2824

[startup+0.101685 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32752
/proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=3616 CPUtime=0.09
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 175103052 3702784 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 904 698 130 317 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.301702 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32752
/proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=8100 CPUtime=0.29
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 1836 0 0 0 28 1 0 0 19 0 1 0 175103052 8294400 1785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 2025 1785 130 317 0 1704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8100

[startup+0.701739 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32752
/proc/meminfo: memFree=1767168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=14852 CPUtime=0.69
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 3543 0 0 0 67 2 0 0 23 0 1 0 175103052 15208448 3492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 3713 3492 137 317 0 3392 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14852

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1751160/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=20520 CPUtime=1.49
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 5005 0 0 0 146 3 0 0 25 0 1 0 175103052 21012480 4553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714477 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 5130 4553 170 317 0 4809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20520

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1746040/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=26556 CPUtime=3.09
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 6525 0 0 0 305 4 0 0 25 0 1 0 175103052 27193344 6073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 6639 6073 170 317 0 6318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26556

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1735160/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=37120 CPUtime=6.29
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 9165 0 0 0 624 5 0 0 25 0 1 0 175103052 38010880 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 9280 8713 170 317 0 8959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37120

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 32753
/proc/meminfo: memFree=1715712/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=55580 CPUtime=12.69
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 13785 0 0 0 1262 7 0 0 25 0 1 0 175103052 56913920 13333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593421 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 13895 13333 170 317 0 13574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55580

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1684928/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=85016 CPUtime=25.48
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 21158 0 0 0 2538 10 0 0 25 0 1 0 175103052 87056384 20706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 21254 20706 170 317 0 20933 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85016

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1644096/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=130240 CPUtime=51.08
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 31441 0 0 0 5092 16 0 0 25 0 1 0 175103052 133365760 30989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 32560 30989 170 317 0 32239 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130240

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32753
/proc/meminfo: memFree=1595264/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=174424 CPUtime=102.27
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 43447 0 0 0 10205 22 0 0 25 0 1 0 175103052 178610176 42995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 43606 42995 170 317 0 43285 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 174424

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 32753
/proc/meminfo: memFree=1535936/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=244084 CPUtime=162.25
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 58356 0 0 0 16195 30 0 0 25 0 1 0 175103052 249942016 57904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 61021 57904 170 317 0 60700 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 244084

[startup+222.302 s]
/proc/loadavg: 1.10 1.04 1.01 2/78 32753
/proc/meminfo: memFree=1493888/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=282292 CPUtime=222.24
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 68731 0 0 0 22186 38 0 0 25 0 1 0 175103052 289067008 68279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 70573 68279 170 317 0 70252 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 282292

[startup+282.301 s]
/proc/loadavg: 1.07 1.04 1.01 2/78 32753
/proc/meminfo: memFree=1457920/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=314844 CPUtime=282.22
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 77823 0 0 0 28180 42 0 0 25 0 1 0 175103052 322400256 77306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 78711 77306 170 317 0 78390 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 314844

[startup+342.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 32753
/proc/meminfo: memFree=1425152/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=344840 CPUtime=342.21
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 85915 0 0 0 34174 47 0 0 25 0 1 0 175103052 353116160 85398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 86210 85398 170 317 0 85889 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 344840

[startup+402.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 32753
/proc/meminfo: memFree=1377408/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=420224 CPUtime=402.19
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 97867 0 0 0 40167 52 0 0 25 0 1 0 175103052 430309376 97350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 105056 97350 170 317 0 104735 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 420224

[startup+462.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 32753
/proc/meminfo: memFree=1353088/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=444504 CPUtime=462.18
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 103918 0 0 0 46163 55 0 0 25 0 1 0 175103052 455172096 103401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 111126 103401 170 317 0 110805 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 444504

[startup+522.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 32753
/proc/meminfo: memFree=1325952/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=468968 CPUtime=522.16
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 110726 0 0 0 52158 58 0 0 25 0 1 0 175103052 480223232 110209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 117242 110209 170 317 0 116921 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 468968

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 32753
/proc/meminfo: memFree=1303104/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=490412 CPUtime=582.15
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 116364 0 0 0 58153 62 0 0 25 0 1 0 175103052 502181888 115847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 122603 115847 170 317 0 122282 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 490412

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/84 441
/proc/meminfo: memFree=1278968/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=511452 CPUtime=642.05
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 122019 0 0 0 64140 65 0 0 25 0 1 0 175103052 523726848 121502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 127863 121502 170 317 0 127542 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 511452


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

[startup+882.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 487
/proc/meminfo: memFree=1198464/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=585932 CPUtime=881.97
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 142443 0 0 0 88121 76 0 0 25 0 1 0 175103052 599994368 141926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 146483 141926 170 317 0 146162 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 585932

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 487
/proc/meminfo: memFree=1179072/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=603452 CPUtime=941.95
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 147317 0 0 0 94117 78 0 0 25 0 1 0 175103052 617934848 146800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 150863 146800 170 317 0 150542 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 603452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1159808/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=620696 CPUtime=1001.93
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 152110 0 0 0 100113 80 0 0 25 0 1 0 175103052 635592704 151593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 155174 151593 170 317 0 154853 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 620696

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1142400/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=636276 CPUtime=1061.91
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 156522 0 0 0 106108 83 0 0 25 0 1 0 175103052 651546624 156005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 159069 156005 170 317 0 158748 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 636276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1124608/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=651904 CPUtime=1121.91
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 160900 0 0 0 112105 86 0 0 25 0 1 0 175103052 667549696 160383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 162976 160383 170 317 0 162655 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 651904

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1113088/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=661772 CPUtime=1181.89
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 163802 0 0 0 118101 88 0 0 25 0 1 0 175103052 677654528 163285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 165443 163285 170 317 0 165122 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 661772

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1099776/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=674596 CPUtime=1241.88
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 167083 0 0 0 124097 91 0 0 25 0 1 0 175103052 690786304 166566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 168649 166566 170 317 0 168328 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 674596

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1085440/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=687040 CPUtime=1301.86
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 170653 0 0 0 130092 94 0 0 25 0 1 0 175103052 703528960 170136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 171760 170136 170 317 0 171439 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 687040

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1047168/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=802812 CPUtime=1361.85
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 193922 0 0 0 136083 102 0 0 25 0 1 0 175103052 822079488 179644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 200703 179644 170 317 0 200382 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 802812

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1031680/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=816756 CPUtime=1421.83
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 197996 0 0 0 142080 103 0 0 25 0 1 0 175103052 836358144 183454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 204189 183454 170 317 0 203868 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 816756

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1018560/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=831344 CPUtime=1481.82
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 201702 0 0 0 148077 105 0 0 25 0 1 0 175103052 851296256 186764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 207836 186764 170 317 0 207515 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 831344

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=1002624/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=845256 CPUtime=1541.8
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 205868 0 0 0 154072 108 0 0 25 0 1 0 175103052 865542144 190699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 211314 190699 170 317 0 210993 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 845256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=987776/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=858284 CPUtime=1601.78
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 209804 0 0 0 160068 110 0 0 25 0 1 0 175103052 878882816 194470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 214571 194470 170 317 0 214250 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 858284

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=972288/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=872036 CPUtime=1661.77
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 213893 0 0 0 166064 113 0 0 25 0 1 0 175103052 892964864 198328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 218009 198328 170 317 0 217688 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 872036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=960064/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=885296 CPUtime=1721.76
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 217198 0 0 0 172061 115 0 0 25 0 1 0 175103052 906543104 201402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 221324 201402 170 317 0 221003 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 885296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=946432/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=896956 CPUtime=1781.74
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 220733 0 0 0 178057 117 0 0 25 0 1 0 175103052 918482944 204772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 224239 204772 170 317 0 223918 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 896956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 487
/proc/meminfo: memFree=942720/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=900788 CPUtime=1800.04
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194304 221691 0 0 0 179887 117 0 0 25 0 1 0 175103052 922406912 205664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 225197 205664 170 317 0 224876 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 900788

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 487
/proc/meminfo: memFree=942720/2055920 swapFree=4157116/4192956
[pid=32752] ppid=32750 vsize=0 CPUtime=1800.24
/proc/32752/stat : 32752 (oree) R 32750 32752 31677 0 -1 4194308 221707 0 0 0 179894 130 0 0 25 0 1 0 175103052 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32752/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.25
CPU user time (s): 1798.94
CPU system time (s): 1.3138
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 900788

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

runsolver used 1.9997 second user time and 4.56031 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Thu Apr 19 13:50:46 UTC 2007

IDJOB= 357192
IDBENCH= 2251
IDSOLVER= 172
FILE ID= node72/357192-1176990646

PBS_JOBID= 4630418

Free space on /tmp= 66405 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  aabc023158e10c9511062af8ac97c515

RANDOM SEED= 77070053

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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.222
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:       1767576 kB
Buffers:         29956 kB
Cached:         183788 kB
SwapCached:      16912 kB
Active:          86748 kB
Inactive:       150980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767576 kB
SwapTotal:     4192956 kB
SwapFree:      4157116 kB
Dirty:            2788 kB
Writeback:           0 kB
Mapped:          30976 kB
Slab:            36136 kB
Committed_AS:  2770784 kB
PageTables:       1796 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= 66405 MiB

End job on node72 on Thu Apr 19 14:20:49 UTC 2007