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/miplib/normalized-mps-v2-13-7-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	1189.21
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 27548

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 22:32:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16616 boxname=wulflinc11 idbench=1279 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-air02.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-air02.opb
IDLAUNCH: 16616
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        879516 kB
Buffers:         23352 kB
Cached:         105912 kB
SwapCached:        752 kB
Active:          26432 kB
Inactive:       108816 kB
HighTotal:      131008 kB
HighFree:        97076 kB
LowTotal:       903652 kB
LowFree:        782440 kB
SwapTotal:     2097136 kB
SwapFree:      2095700 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5572 kB
Slab:            14288 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:45:16 (client local time) WITH STATUS 0 IN 777.934 SECONDS
stats: 16616 7 777.934 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.97 0.98 2/54 31578
Raw data (stat): 31578 (runsolver) R 31577 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775637710 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 41955 0 0 0 912 84 0 0 25 0 1 0 775637710 184889344 41879 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45139 41879 1111 63 0 45076 0
vsize: 180556
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 42826 0 0 0 1909 87 0 0 25 0 1 0 775637710 188420096 42750 4294967295 134512640 134714508 3221224592 3221222868 1077414420 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.0018 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 43626 0 0 0 2907 88 0 0 25 0 1 0 775637710 191827968 43550 4294967295 134512640 134714508 3221224592 3221222868 1077414399 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.0016 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 46036 0 0 0 3903 93 0 0 25 0 1 0 775637710 191823872 45926 4294967295 134512640 134714508 3221224592 3221223096 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46832 45926 1111 63 0 46769 0
vsize: 187328
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 48931 0 0 0 4897 99 0 0 25 0 1 0 775637710 203722752 48821 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49737 48821 1111 63 0 49674 0
vsize: 198948
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 51881 0 0 0 5891 105 0 0 25 0 1 0 775637710 215756800 51771 4294967295 134512640 134714508 3221224592 3221223232 134594966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52675 51771 1111 63 0 52612 0
vsize: 210700
[startup+70.004 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 54737 0 0 0 6885 111 0 0 25 0 1 0 775637710 227520512 54627 4294967295 134512640 134714508 3221224592 3221223184 134664956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55547 54627 1111 63 0 55484 0
vsize: 222188
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 57671 0 0 0 7881 115 0 0 25 0 1 0 775637710 239558656 57561 4294967295 134512640 134714508 3221224592 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58486 57561 1111 63 0 58423 0
vsize: 233944
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 60498 0 0 0 8876 120 0 0 25 0 1 0 775637710 251052032 60388 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61292 60388 1111 63 0 61229 0
vsize: 245168
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 63342 0 0 0 9871 125 0 0 25 0 1 0 775637710 262815744 63232 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64164 63232 1111 63 0 64101 0
vsize: 256656
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 66183 0 0 0 10865 131 0 0 25 0 1 0 775637710 274444288 66073 4294967295 134512640 134714508 3221224592 3221223008 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67003 66073 1111 63 0 66940 0
vsize: 268012
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 69047 0 0 0 11860 137 0 0 25 0 1 0 775637710 286076928 68937 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69843 68937 1111 63 0 69780 0
vsize: 279372
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 72005 0 0 0 12853 143 0 0 25 0 1 0 775637710 298246144 71895 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72814 71896 1111 63 0 72751 0
vsize: 291256
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 74809 0 0 0 13848 149 0 0 25 0 1 0 775637710 309739520 74699 4294967295 134512640 134714508 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75620 74699 1111 63 0 75557 0
vsize: 302480
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 77683 0 0 0 14842 155 0 0 25 0 1 0 775637710 321503232 77573 4294967295 134512640 134714508 3221224592 3221223104 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78492 77573 1111 63 0 78429 0
vsize: 313968
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 80537 0 0 0 15838 159 0 0 25 0 1 0 775637710 333135872 80427 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81332 80427 1111 63 0 81269 0
vsize: 325328
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 83359 0 0 0 16833 164 0 0 25 0 1 0 775637710 344764416 83249 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84171 83249 1111 63 0 84108 0
vsize: 336684
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 86101 0 0 0 17828 169 0 0 25 0 1 0 775637710 355987456 85991 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86911 85991 1111 63 0 86848 0
vsize: 347644
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 88942 0 0 0 18822 176 0 0 25 0 1 0 775637710 367616000 88832 4294967295 134512640 134714508 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89750 88832 1111 63 0 89687 0
vsize: 359000
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 91692 0 0 0 19817 181 0 0 25 0 1 0 775637710 378839040 91582 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92490 91582 1111 63 0 92427 0
vsize: 369960
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 94451 0 0 0 20812 185 0 0 25 0 1 0 775637710 390201344 94341 4294967295 134512640 134714508 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95264 94341 1111 63 0 95201 0
vsize: 381056
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 97198 0 0 0 21807 192 0 0 25 0 1 0 775637710 401424384 97088 4294967295 134512640 134714508 3221224592 3221223072 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98004 97088 1111 63 0 97941 0
vsize: 392016
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 100025 0 0 0 22803 196 0 0 25 0 1 0 775637710 413052928 99915 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100843 99915 1111 63 0 100780 0
vsize: 403372
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 102798 0 0 0 23797 202 0 0 25 0 1 0 775637710 424411136 102688 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103616 102688 1111 63 0 103553 0
vsize: 414464
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 105563 0 0 0 24793 206 0 0 25 0 1 0 775637710 435638272 105453 4294967295 134512640 134714508 3221224592 3221223232 134595006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106357 105453 1111 63 0 106294 0
vsize: 425428
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 108310 0 0 0 25789 210 0 0 25 0 1 0 775637710 446996480 108200 4294967295 134512640 134714508 3221224592 3221223168 134535853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109130 108200 1111 63 0 109067 0
vsize: 436520
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 110957 0 0 0 26784 215 0 0 25 0 1 0 775637710 457814016 110847 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111771 110847 1111 63 0 111708 0
vsize: 447084
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 113606 0 0 0 27780 220 0 0 25 0 1 0 775637710 468631552 113496 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114412 113496 1111 63 0 114349 0
vsize: 457648
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 116283 0 0 0 28775 226 0 0 25 0 1 0 775637710 479584256 116173 4294967295 134512640 134714508 3221224592 3221223144 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117086 116173 1111 63 0 117023 0
vsize: 468344
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 118914 0 0 0 29770 230 0 0 25 0 1 0 775637710 490401792 118804 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119727 118804 1111 63 0 119664 0
vsize: 478908
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 121545 0 0 0 30765 236 0 0 25 0 1 0 775637710 501219328 121435 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122368 121435 1111 63 0 122305 0
vsize: 489472
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 124142 0 0 0 31760 241 0 0 25 0 1 0 775637710 511770624 124032 4294967295 134512640 134714508 3221224592 3221222956 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124944 124032 1111 63 0 124881 0
vsize: 499776
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 126732 0 0 0 32756 245 0 0 25 0 1 0 775637710 522452992 126622 4294967295 134512640 134714508 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127552 126622 1111 63 0 127489 0
vsize: 510208
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 129388 0 0 0 33752 249 0 0 25 0 1 0 775637710 533270528 129278 4294967295 134512640 134714508 3221224592 3221223080 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130193 129278 1111 63 0 130130 0
vsize: 520772
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 131875 0 0 0 34748 253 0 0 25 0 1 0 775637710 543412224 131765 4294967295 134512640 134714508 3221224592 3221223052 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132669 131765 1111 63 0 132606 0
vsize: 530676
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 134460 0 0 0 35743 258 0 0 25 0 1 0 775637710 554094592 134350 4294967295 134512640 134714508 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135277 134350 1111 63 0 135214 0
vsize: 541108
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 136936 0 0 0 36739 263 0 0 25 0 1 0 775637710 564236288 136826 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137753 136826 1111 63 0 137690 0
vsize: 551012
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 139363 0 0 0 37734 268 0 0 25 0 1 0 775637710 574107648 139253 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140163 139253 1111 63 0 140100 0
vsize: 560652
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 141826 0 0 0 38729 273 0 0 25 0 1 0 775637710 584249344 141716 4294967295 134512640 134714508 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142639 141716 1111 63 0 142576 0
vsize: 570556
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 144275 0 0 0 39725 277 0 0 25 0 1 0 775637710 594255872 144165 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145082 144165 1111 63 0 145019 0
vsize: 580328
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 146783 0 0 0 40721 281 0 0 25 0 1 0 775637710 604532736 146673 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147591 146673 1111 63 0 147528 0
vsize: 590364
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 149340 0 0 0 41717 286 0 0 25 0 1 0 775637710 614944768 149230 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150133 149230 1111 63 0 150070 0
vsize: 600532
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 151846 0 0 0 42711 292 0 0 25 0 1 0 775637710 625225728 151736 4294967295 134512640 134714508 3221224592 3221223072 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152643 151736 1111 63 0 152580 0
vsize: 610572
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 154328 0 0 0 43707 296 0 0 25 0 1 0 775637710 635502592 154218 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155152 154218 1111 63 0 155089 0
vsize: 620608
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 156819 0 0 0 44703 300 0 0 25 0 1 0 775637710 645644288 156709 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157628 156709 1111 63 0 157565 0
vsize: 630512
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 159272 0 0 0 45699 304 0 0 25 0 1 0 775637710 655650816 159162 4294967295 134512640 134714508 3221224592 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160071 159162 1111 63 0 160008 0
vsize: 640284
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 161670 0 0 0 46695 309 0 0 25 0 1 0 775637710 665522176 161560 4294967295 134512640 134714508 3221224592 3221223104 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162481 161560 1111 63 0 162418 0
vsize: 649924
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 164025 0 0 0 47692 312 0 0 25 0 1 0 775637710 675123200 163915 4294967295 134512640 134714508 3221224592 3221223208 134543777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164825 163915 1111 63 0 164762 0
vsize: 659300
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 166295 0 0 0 48687 317 0 0 25 0 1 0 775637710 684453888 166185 4294967295 134512640 134714508 3221224592 3221223132 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167103 166185 1111 63 0 167040 0
vsize: 668412
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 168587 0 0 0 49683 321 0 0 25 0 1 0 775637710 693784576 168477 4294967295 134512640 134714508 3221224592 3221223060 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169381 168477 1111 63 0 169318 0
vsize: 677524
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 170846 0 0 0 50679 325 0 0 25 0 1 0 775637710 703115264 170736 4294967295 134512640 134714508 3221224592 3221223080 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171659 170736 1111 63 0 171596 0
vsize: 686636
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 173083 0 0 0 51676 328 0 0 25 0 1 0 775637710 712310784 172973 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173904 172973 1111 63 0 173841 0
vsize: 695616
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 175420 0 0 0 52672 332 0 0 25 0 1 0 775637710 721776640 175310 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176215 175310 1111 63 0 176152 0
vsize: 704860
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 177761 0 0 0 53668 337 0 0 25 0 1 0 775637710 731377664 177651 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178559 177651 1111 63 0 178496 0
vsize: 714236
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 180122 0 0 0 54663 341 0 0 25 0 1 0 775637710 741113856 180012 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180936 180012 1111 63 0 180873 0
vsize: 723744
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 182440 0 0 0 55660 345 0 0 25 0 1 0 775637710 750579712 182330 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183247 182330 1111 63 0 183184 0
vsize: 732988
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 184765 0 0 0 56656 349 0 0 25 0 1 0 775637710 760045568 184655 4294967295 134512640 134714508 3221224592 3221223120 134543719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185558 184655 1111 63 0 185495 0
vsize: 742232
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 187050 0 0 0 57651 354 0 0 25 0 1 0 775637710 769511424 186940 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187869 186940 1111 63 0 187806 0
vsize: 751476
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 189364 0 0 0 58646 359 0 0 25 0 1 0 775637710 778977280 189254 4294967295 134512640 134714508 3221224592 3221222992 134542789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190180 189254 1111 63 0 190117 0
vsize: 760720
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 191633 0 0 0 59642 364 0 0 25 0 1 0 775637710 788172800 191523 4294967295 134512640 134714508 3221224592 3221223208 134536897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192425 191523 1111 63 0 192362 0
vsize: 769700
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 193879 0 0 0 60637 369 0 0 25 0 1 0 775637710 797368320 193769 4294967295 134512640 134714508 3221224592 3221222996 134542788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194670 193769 1111 63 0 194607 0
vsize: 778680
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 196135 0 0 0 61634 372 0 0 25 0 1 0 775637710 806699008 196025 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196948 196025 1111 63 0 196885 0
vsize: 787792
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 198381 0 0 0 62629 377 0 0 25 0 1 0 775637710 815894528 198271 4294967295 134512640 134714508 3221224592 3221223072 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199193 198271 1111 63 0 199130 0
vsize: 796772
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 200560 0 0 0 63627 380 0 0 25 0 1 0 775637710 824819712 200450 4294967295 134512640 134714508 3221224592 3221223000 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201372 200450 1111 63 0 201309 0
vsize: 805488
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 202739 0 0 0 64622 384 0 0 25 0 1 0 775637710 833744896 202629 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203551 202629 1111 63 0 203488 0
vsize: 814204
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 204941 0 0 0 65619 388 0 0 25 0 1 0 775637710 842805248 204831 4294967295 134512640 134714508 3221224592 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205763 204831 1111 63 0 205700 0
vsize: 823052
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 206998 0 0 0 66616 391 0 0 25 0 1 0 775637710 851189760 206888 4294967295 134512640 134714508 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207810 206888 1111 63 0 207747 0
vsize: 831240
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 209168 0 0 0 67612 395 0 0 25 0 1 0 775637710 860110848 209058 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209988 209058 1111 63 0 209925 0
vsize: 839952
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 211248 0 0 0 68608 399 0 0 25 0 1 0 775637710 868630528 211138 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212068 211138 1111 63 0 212005 0
vsize: 848272
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 213405 0 0 0 69603 405 0 0 25 0 1 0 775637710 877420544 213295 4294967295 134512640 134714508 3221224592 3221223208 134543825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214214 213295 1111 63 0 214151 0
vsize: 856856
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 215507 0 0 0 70600 408 0 0 25 0 1 0 775637710 886075392 215397 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216327 215397 1111 63 0 216264 0
vsize: 865308
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 217635 0 0 0 71597 411 0 0 25 0 1 0 775637710 894730240 217525 4294967295 134512640 134714508 3221224592 3221222976 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218440 217525 1111 63 0 218377 0
vsize: 873760
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 219756 0 0 0 72594 414 0 0 25 0 1 0 775637710 903385088 219646 4294967295 134512640 134714508 3221224592 3221223096 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220553 219646 1111 63 0 220490 0
vsize: 882212
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 221889 0 0 0 73588 420 0 0 25 0 1 0 775637710 912175104 221779 4294967295 134512640 134714508 3221224592 3221223216 134594994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222699 221779 1111 63 0 222636 0
vsize: 890796
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 224023 0 0 0 74582 426 0 0 25 0 1 0 775637710 920965120 223913 4294967295 134512640 134714508 3221224592 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224845 223913 1111 63 0 224782 0
vsize: 899380
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 226060 0 0 0 75578 431 0 0 25 0 1 0 775637710 929214464 225886 4294967295 134512640 134714508 3221224592 3221223120 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226859 225886 1111 63 0 226796 0
vsize: 907436
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 228119 0 0 0 76572 437 0 0 25 0 1 0 775637710 937734144 227757 4294967295 134512640 134714508 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228939 227757 1111 63 0 228876 0
vsize: 915756
[startup+777.934 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 31578
Raw data (stat): 31578 (bsolo_lpr_cuts) R 31577 25830 25829 0 -1 0 228119 0 0 0 76572 437 0 0 25 0 1 0 775637710 937734144 227757 4294967295 134512640 134714508 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228939 227757 1111 63 0 228876 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 777.931
CPU time (s): 777.934
CPU user time (s): 773.106
CPU system time (s): 4.82727
CPU usage (%): 100
Max. virtual memory (Kb): 915756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####