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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM	75acdcffdd43b3d3a30d0459a6bffe45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6106
Optimality of the best value was proved	NO
Number of terms in the objective function	6774
Biggest coefficient in the objective function	4804
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	6613094
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	4804
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	6613094
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1190.1
Number of variables	6774
Total number of constraints	6824
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6824
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3729
Trace number 28737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 03:53:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11624 boxname=wulflinc6 idbench=895 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air02.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air02.opb
IDLAUNCH: 11624
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        522684 kB
Buffers:         10188 kB
Cached:         472812 kB
SwapCached:        412 kB
Active:          30848 kB
Inactive:       454448 kB
HighTotal:      131008 kB
HighFree:         5068 kB
LowTotal:       903652 kB
LowFree:        517616 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            21160 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:06:31 (client local time) WITH STATUS 0 IN 778.95 SECONDS
stats: 11624 7 778.95 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6774 variables and 100 constraints.
#### 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.92 0.95 0.98 2/54 2439
Raw data (stat): 2439 (runsolver) R 2438 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777568402 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 41955 0 0 0 915 82 0 0 25 0 1 0 777568402 184889344 41879 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45139 41879 1111 63 0 45076 0
vsize: 180556
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 42826 0 0 0 1913 84 0 0 25 0 1 0 777568402 188420096 42750 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46001 42750 1111 63 0 45938 0
vsize: 184004
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 43626 0 0 0 2911 86 0 0 25 0 1 0 777568402 191827968 43550 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46833 43550 1111 63 0 46770 0
vsize: 187332
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 46036 0 0 0 3907 90 0 0 25 0 1 0 777568402 191823872 45926 4294967295 134512640 134714508 3221224592 3221223128 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46832 45926 1111 63 0 46769 0
vsize: 187328
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 49025 0 0 0 4901 96 0 0 25 0 1 0 777568402 204128256 48915 4294967295 134512640 134714508 3221224592 3221223124 134542981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49836 48915 1111 63 0 49773 0
vsize: 199344
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 51921 0 0 0 5896 102 0 0 25 0 1 0 777568402 216027136 51811 4294967295 134512640 134714508 3221224592 3221223072 134539422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52741 51811 1111 63 0 52678 0
vsize: 210964
[startup+70 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 54866 0 0 0 6891 107 0 0 25 0 1 0 777568402 228065280 54756 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55680 54756 1111 63 0 55617 0
vsize: 222720
[startup+80.0002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 57809 0 0 0 7885 113 0 0 25 0 1 0 777568402 240099328 57699 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58618 57699 1111 63 0 58555 0
vsize: 234472
[startup+89.9996 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 60685 0 0 0 8882 116 0 0 25 0 1 0 777568402 251863040 60575 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61490 60575 1111 63 0 61427 0
vsize: 245960
[startup+99.9995 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 63557 0 0 0 9877 121 0 0 25 0 1 0 777568402 263626752 63447 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64362 63447 1111 63 0 64299 0
vsize: 257448
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 66403 0 0 0 10872 127 0 0 25 0 1 0 777568402 275259392 66293 4294967295 134512640 134714508 3221224592 3221223152 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67202 66293 1111 63 0 67139 0
vsize: 268808
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 69287 0 0 0 11867 132 0 0 25 0 1 0 777568402 287158272 69177 4294967295 134512640 134714508 3221224592 3221223000 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70107 69177 1111 63 0 70044 0
vsize: 280428
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 72186 0 0 0 12861 139 0 0 25 0 1 0 777568402 298921984 72076 4294967295 134512640 134714508 3221224592 3221223036 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72979 72076 1111 63 0 72916 0
vsize: 291916
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 75081 0 0 0 13855 145 0 0 25 0 1 0 777568402 310820864 74971 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75884 74971 1111 63 0 75821 0
vsize: 303536
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 77863 0 0 0 14851 149 0 0 25 0 1 0 777568402 322183168 77753 4294967295 134512640 134714508 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78658 77753 1111 63 0 78595 0
vsize: 314632
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 80715 0 0 0 15847 153 0 0 25 0 1 0 777568402 333946880 80605 4294967295 134512640 134714508 3221224592 3221223036 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81530 80605 1111 63 0 81467 0
vsize: 326120
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 83543 0 0 0 16842 158 0 0 25 0 1 0 777568402 345440256 83433 4294967295 134512640 134714508 3221224592 3221223000 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84336 83433 1111 63 0 84273 0
vsize: 337344
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 86357 0 0 0 17838 164 0 0 25 0 1 0 777568402 357068800 86247 4294967295 134512640 134714508 3221224592 3221223208 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87175 86247 1111 63 0 87112 0
vsize: 348700
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 89179 0 0 0 18835 168 0 0 25 0 1 0 777568402 368562176 89069 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89981 89069 1111 63 0 89918 0
vsize: 359924
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 91926 0 0 0 19830 173 0 0 25 0 1 0 777568402 379789312 91816 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92722 91816 1111 63 0 92659 0
vsize: 370888
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 94636 0 0 0 20825 179 0 0 25 0 1 0 777568402 390877184 94526 4294967295 134512640 134714508 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95429 94526 1111 63 0 95366 0
vsize: 381716
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 97449 0 0 0 21819 185 0 0 25 0 1 0 777568402 402505728 97339 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98268 97339 1111 63 0 98205 0
vsize: 393072
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 100247 0 0 0 22815 190 0 0 25 0 1 0 777568402 413863936 100137 4294967295 134512640 134714508 3221224592 3221223204 134652883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101041 100137 1111 63 0 100978 0
vsize: 404164
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 103065 0 0 0 23811 195 0 0 25 0 1 0 777568402 425492480 102955 4294967295 134512640 134714508 3221224592 3221223072 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103880 102955 1111 63 0 103817 0
vsize: 415520
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 105809 0 0 0 24808 198 0 0 25 0 1 0 777568402 436719616 105699 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106621 105699 1111 63 0 106558 0
vsize: 426484
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 108507 0 0 0 25803 203 0 0 25 0 1 0 777568402 447807488 108397 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109328 108397 1111 63 0 109265 0
vsize: 437312
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 111231 0 0 0 26798 209 0 0 25 0 1 0 777568402 458895360 111121 4294967295 134512640 134714508 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112035 111121 1111 63 0 111972 0
vsize: 448140
[startup+280.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 113846 0 0 0 27795 213 0 0 25 0 1 0 777568402 469577728 113736 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114643 113736 1111 63 0 114580 0
vsize: 458572
[startup+290.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 116506 0 0 0 28791 218 0 0 25 0 1 0 777568402 480530432 116396 4294967295 134512640 134714508 3221224592 3221223096 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117317 116396 1111 63 0 117254 0
vsize: 469268
[startup+300.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 119137 0 0 0 29786 223 0 0 25 0 1 0 777568402 491347968 119027 4294967295 134512640 134714508 3221224592 3221223036 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119958 119027 1111 63 0 119895 0
vsize: 479832
[startup+310.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 121760 0 0 0 30782 228 0 0 25 0 1 0 777568402 502034432 121650 4294967295 134512640 134714508 3221224592 3221223216 134529021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122567 121650 1111 63 0 122504 0
vsize: 490268
[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 124368 0 0 0 31778 232 0 0 25 0 1 0 777568402 512716800 124258 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125175 124258 1111 63 0 125112 0
vsize: 500700
[startup+330.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 126983 0 0 0 32775 235 0 0 25 0 1 0 777568402 523399168 126873 4294967295 134512640 134714508 3221224592 3221223096 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127783 126875 1111 63 0 127720 0
vsize: 511132
[startup+340.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 129572 0 0 0 33771 240 0 0 25 0 1 0 777568402 534081536 129462 4294967295 134512640 134714508 3221224592 3221223120 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130391 129462 1111 63 0 130328 0
vsize: 521564
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 132079 0 0 0 34767 244 0 0 25 0 1 0 777568402 544358400 131969 4294967295 134512640 134714508 3221224592 3221222992 134542808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132900 131969 1111 63 0 132837 0
vsize: 531600
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 134720 0 0 0 35762 249 0 0 25 0 1 0 777568402 555175936 134610 4294967295 134512640 134714508 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135541 134610 1111 63 0 135478 0
vsize: 542164
[startup+370.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 137143 0 0 0 36758 254 0 0 25 0 1 0 777568402 565047296 137033 4294967295 134512640 134714508 3221224592 3221223212 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137951 137033 1111 63 0 137888 0
vsize: 551804
[startup+380.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 139517 0 0 0 37753 259 0 0 25 0 1 0 777568402 574783488 139407 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140328 139407 1111 63 0 140265 0
vsize: 561312
[startup+390.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2439
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 141988 0 0 0 38750 262 0 0 25 0 1 0 777568402 584925184 141878 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142804 141878 1111 63 0 142741 0
vsize: 571216
[startup+400.042 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 144499 0 0 0 39745 267 0 0 25 0 1 0 777568402 595202048 144389 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145313 144389 1111 63 0 145250 0
vsize: 581252
[startup+410.042 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 146962 0 0 0 40740 272 0 0 25 0 1 0 777568402 605208576 146852 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147756 146852 1111 63 0 147693 0
vsize: 591024
[startup+420.042 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 149496 0 0 0 41736 275 0 0 25 0 1 0 777568402 615624704 149386 4294967295 134512640 134714508 3221224592 3221223232 134594989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150299 149386 1111 63 0 150236 0
vsize: 601196
[startup+430.042 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 152022 0 0 0 42731 279 0 0 25 0 1 0 777568402 626036736 151912 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152841 151912 1111 63 0 152778 0
vsize: 611364
[startup+440.043 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 154493 0 0 0 43725 283 0 0 25 0 1 0 777568402 636178432 154383 4294967295 134512640 134714508 3221224592 3221223220 134594993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155317 154383 1111 63 0 155254 0
vsize: 621268
[startup+450.043 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 156990 0 0 0 44720 287 0 0 25 0 1 0 777568402 646320128 156880 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157793 156880 1111 63 0 157730 0
vsize: 631172
[startup+460.043 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 2492
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 159421 0 0 0 45715 291 0 0 25 0 1 0 777568402 656326656 159311 4294967295 134512640 134714508 3221224592 3221223056 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160236 159311 1111 63 0 160173 0
vsize: 640944
[startup+470.043 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 161805 0 0 0 46710 295 0 0 25 0 1 0 777568402 666062848 161695 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162613 161695 1111 63 0 162550 0
vsize: 650452
[startup+480.043 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 164166 0 0 0 47706 299 0 0 25 0 1 0 777568402 675663872 164056 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164957 164056 1111 63 0 164894 0
vsize: 659828
[startup+490.043 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 166407 0 0 0 48701 302 0 0 25 0 1 0 777568402 684859392 166297 4294967295 134512640 134714508 3221224592 3221223104 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167202 166297 1111 63 0 167139 0
vsize: 668808
[startup+500.044 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 168713 0 0 0 49694 308 0 0 25 0 1 0 777568402 694325248 168603 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169513 168603 1111 63 0 169450 0
vsize: 678052
[startup+510.044 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 170923 0 0 0 50690 312 0 0 25 0 1 0 777568402 703385600 170813 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171725 170813 1111 63 0 171662 0
vsize: 686900
[startup+520.048 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 173220 0 0 0 51686 315 0 0 25 0 1 0 777568402 712851456 173110 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174036 173110 1111 63 0 173973 0
vsize: 696144
[startup+530.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 175502 0 0 0 52681 319 0 0 25 0 1 0 777568402 722182144 175392 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176314 175392 1111 63 0 176251 0
vsize: 705256
[startup+540.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 177838 0 0 0 53676 323 0 0 25 0 1 0 777568402 731783168 177728 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178658 177728 1111 63 0 178595 0
vsize: 714632
[startup+550.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 180198 0 0 0 54669 329 0 0 25 0 1 0 777568402 741384192 180088 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181002 180088 1111 63 0 180939 0
vsize: 724008
[startup+560.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 182519 0 0 0 55663 333 0 0 25 0 1 0 777568402 750850048 182409 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183313 182409 1111 63 0 183250 0
vsize: 733252
[startup+570.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 184839 0 0 0 56659 337 0 0 25 0 1 0 777568402 760451072 184729 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185657 184729 1111 63 0 185594 0
vsize: 742628
[startup+580.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 187111 0 0 0 57654 341 0 0 25 0 1 0 777568402 769646592 187001 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187902 187001 1111 63 0 187839 0
vsize: 751608
[startup+590.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 189435 0 0 0 58650 344 0 0 25 0 1 0 777568402 779247616 189325 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190246 189325 1111 63 0 190183 0
vsize: 760984
[startup+600.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 191708 0 0 0 59645 348 0 0 25 0 1 0 777568402 788578304 191598 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192524 191598 1111 63 0 192461 0
vsize: 770096
[startup+610.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 193958 0 0 0 60639 353 0 0 25 0 1 0 777568402 797773824 193848 4294967295 134512640 134714508 3221224592 3221223216 134529009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194769 193848 1111 63 0 194706 0
vsize: 779076
[startup+620.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 196201 0 0 0 61635 357 0 0 25 0 1 0 777568402 806969344 196091 4294967295 134512640 134714508 3221224592 3221223104 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197014 196091 1111 63 0 196951 0
vsize: 788056
[startup+630.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 198381 0 0 0 62629 361 0 0 25 0 1 0 777568402 815894528 198271 4294967295 134512640 134714508 3221224592 3221223108 134542856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199193 198271 1111 63 0 199130 0
vsize: 796772
[startup+640.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 200560 0 0 0 63624 366 0 0 25 0 1 0 777568402 824819712 200356 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201372 200356 1111 63 0 201309 0
vsize: 805488
[startup+650.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 202740 0 2 0 64618 370 0 0 25 0 1 0 777568402 833744896 202443 4294967295 134512640 134714508 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203551 202443 1111 63 0 203488 0
vsize: 814204
[startup+660.053 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 204895 0 5 0 65612 374 0 0 25 0 1 0 777568402 842534912 204442 4294967295 134512640 134714508 3221224592 3221223072 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205697 204442 1111 63 0 205634 0
vsize: 822788
[startup+670.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 207005 0 9 0 66603 378 0 0 25 0 1 0 777568402 851189760 206364 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207810 206364 1111 63 0 207747 0
vsize: 831240
[startup+680.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 209105 0 12 0 67594 383 0 0 25 0 1 0 777568402 859705344 208257 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209889 208257 1111 63 0 209826 0
vsize: 839556
[startup+690.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 211111 0 23 0 68575 386 0 0 25 0 1 0 777568402 867954688 210104 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211903 210104 1111 63 0 211840 0
vsize: 847612
[startup+700.061 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 213274 0 30 0 69564 392 0 0 25 0 1 0 777568402 876879872 212003 4294967295 134512640 134714508 3221224592 3221223088 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214082 212003 1111 63 0 214019 0
vsize: 856328
[startup+710.062 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2494
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 215382 0 33 0 70555 397 0 0 25 0 1 0 777568402 885399552 213977 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216162 213977 1111 63 0 216099 0
vsize: 864648
[startup+720.062 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 217441 0 37 0 71546 400 0 0 25 0 1 0 777568402 893919232 215854 4294967295 134512640 134714508 3221224592 3221223072 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218242 215854 1111 63 0 218179 0
vsize: 872968
[startup+730.066 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 219504 0 49 0 72526 404 0 0 23 0 1 0 777568402 902303744 217667 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220289 217667 1111 63 0 220226 0
vsize: 881156
[startup+740.065 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 221597 0 63 0 73506 409 0 0 25 0 1 0 777568402 910823424 219569 4294967295 134512640 134714508 3221224592 3221222992 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222369 219569 1111 63 0 222306 0
vsize: 889476
[startup+750.065 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 223678 0 69 0 74494 414 0 0 25 0 1 0 777568402 919343104 221357 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224449 221357 1111 63 0 224386 0
vsize: 897796
[startup+760.066 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 225793 0 75 0 75484 419 0 0 25 0 1 0 777568402 927862784 223220 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226529 223220 1111 63 0 226466 0
vsize: 906116
[startup+770.067 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 0 227711 0 107 0 76446 424 0 0 22 0 1 0 777568402 935702528 224901 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228443 224901 1111 63 0 228380 0
vsize: 913772
[startup+780.067 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 1028 229697 0 119 0 77419 436 0 0 25 0 1 0 777568402 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+780.462 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 2496
Raw data (stat): 2439 (bsolo_lpr_cuts) R 2438 25568 25567 0 -1 1028 229697 0 119 0 77419 436 0 0 25 0 1 0 777568402 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 780.461
CPU time (s): 778.95
CPU user time (s): 774.196
CPU system time (s): 4.75328
CPU usage (%): 99.8064
Max. virtual memory (Kb): 913772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####