PB'05 competition: run trace

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 in four parts:

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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.

General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	a9d7b9b5569d1dec981f274df34ef66e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	35.1067
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 25693

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 18:52:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18254 boxname=wulflinc31 idbench=1405 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a9d7b9b5569d1dec981f274df34ef66e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 18254
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        388120 kB
Buffers:          5936 kB
Cached:         607900 kB
SwapCached:        816 kB
Active:          66668 kB
Inactive:       549188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        387868 kB
SwapTotal:     2097892 kB
SwapFree:      2095944 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           4960 kB
Slab:            24940 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 19:01:12 (client local time) WITH STATUS 0 IN 527.313 SECONDS
stats: 18254 7 527.313 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.87 0.97 0.99 2/55 14717
Raw data (stat): 14717 (runsolver) R 14716 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 806600863 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 28820 0 0 0 933 62 0 0 25 0 1 0 806600863 131424256 28743 4294967295 134512640 134714508 3221221776 3221220092 1077244289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32086 28743 1111 63 0 32023 0
vsize: 128344
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 48944 0 0 0 1890 105 0 0 25 0 1 0 806600863 212770816 48647 4294967295 134512640 134714508 3221221776 3221218396 1077253729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51946 48647 1111 63 0 51883 0
vsize: 207784
[startup+30.0018 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 67754 0 0 0 2853 142 0 0 25 0 1 0 806600863 289685504 67331 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70724 67332 1111 63 0 70661 0
vsize: 282896
[startup+40.002 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 83064 0 0 0 3824 172 0 0 25 0 1 0 806600863 352235520 82641 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85995 82641 1111 63 0 85932 0
vsize: 343980
[startup+50.003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 97419 0 0 0 4796 200 0 0 25 0 1 0 806600863 409022464 96556 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99859 96559 1111 63 0 99796 0
vsize: 399436
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 112104 0 0 0 5764 231 0 0 25 0 1 0 806600863 468824064 110863 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114459 110863 1111 63 0 114396 0
vsize: 457836
[startup+70.0031 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 124615 0 0 0 6740 256 0 0 25 0 1 0 806600863 519897088 123374 4294967295 134512640 134714508 3221221776 3221219960 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126928 123374 1111 63 0 126865 0
vsize: 507712
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 136470 0 0 0 7713 282 0 0 25 0 1 0 806600863 568324096 135229 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138751 135229 1111 63 0 138688 0
vsize: 555004
[startup+90.0038 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 148133 0 0 0 8691 305 0 0 25 0 1 0 806600863 615911424 146892 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 150369 146892 1111 63 0 150306 0
vsize: 601476
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 159457 0 0 0 9667 328 0 0 25 0 1 0 806600863 662102016 158216 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 161646 158216 1111 63 0 161583 0
vsize: 646584
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 169959 0 0 0 10645 350 0 0 25 0 1 0 806600863 704905216 168718 4294967295 134512640 134714508 3221221776 3221220052 1077414418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 172096 168718 1111 63 0 172033 0
vsize: 688384
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 183162 0 0 0 11616 379 0 0 25 0 1 0 806600863 755167232 181041 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 184367 181041 1111 63 0 184304 0
vsize: 737468
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 193466 0 0 0 12596 399 0 0 25 0 1 0 806600863 797282304 191345 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 194649 191345 1111 63 0 194586 0
vsize: 778596
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 207762 0 0 0 13563 433 0 0 25 0 1 0 806600863 855592960 204858 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 208885 204858 1111 63 0 208822 0
vsize: 835540
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 209276 0 0 0 14560 436 0 0 25 0 1 0 806600863 861810688 206371 4294967295 134512640 134714508 3221221776 3221220080 134566796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 210403 206371 1111 63 0 210340 0
vsize: 841612
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 210839 0 2 0 15552 440 0 0 25 0 1 0 806600863 868298752 207934 4294967295 134512640 134714508 3221221776 3221220060 1077399560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 211987 207934 1111 63 0 211924 0
vsize: 847948
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 212437 0 2 0 16548 444 0 0 25 0 1 0 806600863 874786816 209513 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 213571 209513 1111 63 0 213508 0
vsize: 854284
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 214249 0 2 0 17542 450 0 0 25 0 1 0 806600863 882221056 211261 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 215386 211261 1111 63 0 215323 0
vsize: 861544
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 216366 0 2 0 18536 457 0 0 25 0 1 0 806600863 890871808 213332 4294967295 134512640 134714508 3221221776 3221220052 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 217498 213332 1111 63 0 217435 0
vsize: 869992
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 217947 0 6 0 19528 461 0 0 25 0 1 0 806600863 897089536 214786 4294967295 134512640 134714508 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 219016 214786 1111 63 0 218953 0
vsize: 876064
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 218492 0 6 0 20527 462 0 0 25 0 1 0 806600863 899571712 215318 4294967295 134512640 134714508 3221221776 3221220052 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 219622 215318 1111 63 0 219559 0
vsize: 878488
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 218823 0 6 0 21526 463 0 0 25 0 1 0 806600863 901042176 215588 4294967295 134512640 134714508 3221221776 3221220052 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 219981 215588 1111 63 0 219918 0
vsize: 879924
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 219149 0 6 0 22525 464 0 0 25 0 1 0 806600863 902516736 215899 4294967295 134512640 134714508 3221221776 3221220052 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 220341 215899 1111 63 0 220278 0
vsize: 881364
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 219411 0 6 0 23524 464 0 0 25 0 1 0 806600863 903680000 216153 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 220625 216153 1111 63 0 220562 0
vsize: 882500
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 219635 0 6 0 24524 465 0 0 25 0 1 0 806600863 904740864 216318 4294967295 134512640 134714508 3221221776 3221220272 134539120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 220884 216318 1111 63 0 220821 0
vsize: 883536
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 219803 0 6 0 25524 466 0 0 25 0 1 0 806600863 905461760 216478 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 221060 216478 1111 63 0 220997 0
vsize: 884240
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 220132 0 6 0 26523 466 0 0 25 0 1 0 806600863 906932224 216792 4294967295 134512640 134714508 3221221776 3221220052 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 221419 216792 1111 63 0 221356 0
vsize: 885676
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 220460 0 6 0 27522 468 0 0 25 0 1 0 806600863 908402688 217024 4294967295 134512640 134714508 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 221778 217024 1111 63 0 221715 0
vsize: 887112
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 220775 0 6 0 28520 469 0 0 25 0 1 0 806600863 909742080 217326 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 222105 217326 1111 63 0 222042 0
vsize: 888420
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 220955 0 6 0 29520 469 0 0 25 0 1 0 806600863 910626816 217499 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 222321 217499 1111 63 0 222258 0
vsize: 889284
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 221115 0 6 0 30519 470 0 0 25 0 1 0 806600863 911347712 217652 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 222497 217652 1111 63 0 222434 0
vsize: 889988
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 221441 0 6 0 31519 471 0 0 25 0 1 0 806600863 912822272 217918 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 222857 217918 1111 63 0 222794 0
vsize: 891428
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 221772 0 6 0 32518 472 0 0 25 0 1 0 806600863 914292736 218235 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 223216 218235 1111 63 0 223153 0
vsize: 892864
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 222030 0 6 0 33517 473 0 0 25 0 1 0 806600863 915460096 218432 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 223501 218432 1111 63 0 223438 0
vsize: 894004
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 222212 0 14 0 34509 473 0 0 25 0 1 0 806600863 916180992 218606 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223677 218606 1111 63 0 223614 0
vsize: 894708
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 222439 0 14 0 35508 474 0 0 25 0 1 0 806600863 917237760 218778 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223935 218778 1111 63 0 223872 0
vsize: 895740
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 222767 0 14 0 36506 475 0 0 25 0 1 0 806600863 918708224 219091 4294967295 134512640 134714508 3221221776 3221220052 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224294 219091 1111 63 0 224231 0
vsize: 897176
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 223037 0 14 0 37506 476 0 0 25 0 1 0 806600863 919875584 219266 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224579 219266 1111 63 0 224516 0
vsize: 898316
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 223202 0 14 0 38506 476 0 0 25 0 1 0 806600863 920596480 219424 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224755 219424 1111 63 0 224692 0
vsize: 899020
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 223425 0 14 0 39505 477 0 0 25 0 1 0 806600863 921653248 219635 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 225013 219635 1111 63 0 224950 0
vsize: 900052
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 223758 0 17 0 40503 477 0 0 25 0 1 0 806600863 923127808 219943 4294967295 134512640 134714508 3221221776 3221220052 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 225373 219943 1111 63 0 225310 0
vsize: 901492
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 224013 0 17 0 41502 478 0 0 25 0 1 0 806600863 924155904 220104 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 225624 220104 1111 63 0 225561 0
vsize: 902496
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 224177 0 17 0 42501 478 0 0 25 0 1 0 806600863 925011968 220260 4294967295 134512640 134714508 3221221776 3221218396 1077254713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 225833 220260 1111 63 0 225770 0
vsize: 903332
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 224414 0 17 0 43501 479 0 0 25 0 1 0 806600863 926072832 220484 4294967295 134512640 134714508 3221221776 3221220060 1077364321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226092 220484 1111 63 0 226029 0
vsize: 904368
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 224745 0 17 0 44500 480 0 0 25 0 1 0 806600863 927543296 220763 4294967295 134512640 134714508 3221221776 3221220052 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226451 220763 1111 63 0 226388 0
vsize: 905804
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 14717
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 224917 0 17 0 45500 480 0 0 25 0 1 0 806600863 928301056 220928 4294967295 134512640 134714508 3221221776 3221218252 1077196514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226636 220928 1111 63 0 226573 0
vsize: 906544
[startup+470.177 s]
Raw data (loadavg): 1.30 1.04 1.01 3/58 14758
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 225075 0 17 0 46515 481 0 0 25 0 1 0 806600863 929021952 220795 4294967295 134512640 134714508 3221221776 3221220052 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226812 220795 1111 63 0 226749 0
vsize: 907248
[startup+480.178 s]
Raw data (loadavg): 1.25 1.03 1.01 2/55 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 225403 0 17 0 47514 481 0 0 25 0 1 0 806600863 930492416 221108 4294967295 134512640 134714508 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 227171 221108 1111 63 0 227108 0
vsize: 908684
[startup+490.178 s]
Raw data (loadavg): 1.22 1.03 1.01 2/55 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 225717 0 17 0 48513 482 0 0 25 0 1 0 806600863 931831808 221408 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 227498 221408 1111 63 0 227435 0
vsize: 909992
[startup+500.178 s]
Raw data (loadavg): 1.18 1.03 1.01 2/55 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 225839 0 17 0 49513 483 0 0 25 0 1 0 806600863 932380672 221528 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 227632 221528 1111 63 0 227569 0
vsize: 910528
[startup+510.178 s]
Raw data (loadavg): 1.15 1.03 1.01 2/55 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 226510 0 17 0 50511 484 0 0 25 0 1 0 806600863 935194624 222150 4294967295 134512640 134714508 3221221776 3221218396 1077253827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228319 222150 1111 63 0 228256 0
vsize: 913276
[startup+520.177 s]
Raw data (loadavg): 1.13 1.03 1.01 2/55 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 227516 0 17 0 51507 488 0 0 25 0 1 0 806600863 939384832 223097 4294967295 134512640 134714508 3221221776 3221220060 1077399564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 229342 223097 1111 63 0 229279 0
vsize: 917368
[startup+527.523 s]
Raw data (loadavg): 1.12 1.03 1.01 1/54 14770
Raw data (stat): 14717 (bsolo_lpr_cuts) R 14716 7876 7672 0 -1 0 227516 0 17 0 51507 488 0 0 25 0 1 0 806600863 939384832 223097 4294967295 134512640 134714508 3221221776 3221220060 1077399564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 229342 223097 1111 63 0 229279 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 527.522
CPU time (s): 527.313
CPU user time (s): 521.961
CPU system time (s): 5.35219
CPU usage (%): 99.9603
Max. virtual memory (Kb): 917368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####