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-air03.opb
MD5SUM	69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199224
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.13
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861

Trace number 27145

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 19:42:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18150 boxname=wulflinc31 idbench=1397 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 18150
/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:        389688 kB
Buffers:         35536 kB
Cached:         587864 kB
SwapCached:       1248 kB
Active:         198800 kB
Inactive:       427064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        389436 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5436 kB
Slab:            13320 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:53:45 (client local time) WITH STATUS 0 IN 647.721 SECONDS
stats: 18150 7 647.721 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 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.91 0.95 0.91 2/55 1729
Raw data (stat): 1729 (runsolver) R 1728 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832827141 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9996 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 1729
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 31082 0 0 0 938 59 0 0 25 0 1 0 832827141 140324864 31006 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34259 31006 1111 63 0 34196 0
vsize: 137036
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 1729
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 59523 0 0 0 1890 108 0 0 25 0 1 0 832827141 256819200 59447 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62700 59447 1111 63 0 62637 0
vsize: 250800
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 1729
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 66651 0 0 0 2879 118 0 0 25 0 1 0 832827141 285982720 66575 4294967295 134512640 134714508 3221224592 3221221068 1077196847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69820 66575 1111 63 0 69757 0
vsize: 279280
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 1729
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 67332 0 0 0 3877 120 0 0 25 0 1 0 832827141 288825344 67256 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70514 67256 1111 63 0 70451 0
vsize: 282056
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 1729
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 67929 0 0 0 4875 122 0 0 25 0 1 0 832827141 291270656 67853 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71111 67853 1111 63 0 71048 0
vsize: 284444
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 68507 0 0 0 5873 123 0 0 25 0 1 0 832827141 293769216 68431 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71721 68431 1111 63 0 71658 0
vsize: 286884
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 69044 0 0 0 6870 125 0 0 25 0 1 0 832827141 296116224 68968 4294967295 134512640 134714508 3221224592 3221222876 134517284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72294 68968 1111 63 0 72231 0
vsize: 289176
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 71775 0 0 0 7862 132 0 0 25 0 1 0 832827141 297545728 71642 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72643 71642 1111 63 0 72580 0
vsize: 290572
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 74842 0 0 0 8856 139 0 0 25 0 1 0 832827141 310120448 74709 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75713 74709 1111 63 0 75650 0
vsize: 302852
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 77834 0 0 0 9851 143 0 0 25 0 1 0 832827141 322293760 77701 4294967295 134512640 134714508 3221224592 3221223020 134542823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78685 77701 1111 63 0 78622 0
vsize: 314740
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1731
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 80907 0 0 0 10846 149 0 0 25 0 1 0 832827141 334868480 80774 4294967295 134512640 134714508 3221224592 3221222984 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81755 80774 1111 63 0 81692 0
vsize: 327020
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 83824 0 0 0 11842 153 0 0 25 0 1 0 832827141 346902528 83691 4294967295 134512640 134714508 3221224592 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84693 83691 1111 63 0 84630 0
vsize: 338772
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 86803 0 0 0 12837 158 0 0 25 0 1 0 832827141 359075840 86670 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87665 86670 1111 63 0 87602 0
vsize: 350660
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 89882 0 0 0 13832 163 0 0 25 0 1 0 832827141 371650560 89749 4294967295 134512640 134714508 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90735 89749 1111 63 0 90672 0
vsize: 362940
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 92969 0 0 0 14827 169 0 0 25 0 1 0 832827141 384360448 92836 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93838 92836 1111 63 0 93775 0
vsize: 375352
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 95951 0 0 0 15821 174 0 0 25 0 1 0 832827141 396529664 95818 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96809 95818 1111 63 0 96746 0
vsize: 387236
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1733
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 98936 0 0 0 16817 179 0 0 25 0 1 0 832827141 408702976 98803 4294967295 134512640 134714508 3221224592 3221222976 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99781 98803 1111 63 0 99718 0
vsize: 399124
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 101866 0 0 0 17811 185 0 0 25 0 1 0 832827141 420737024 101733 4294967295 134512640 134714508 3221224592 3221223136 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102719 101733 1111 63 0 102656 0
vsize: 410876
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 104816 0 0 0 18805 191 0 0 25 0 1 0 832827141 432906240 104683 4294967295 134512640 134714508 3221224592 3221223152 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105690 104683 1111 63 0 105627 0
vsize: 422760
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 107747 0 0 0 19800 196 0 0 25 0 1 0 832827141 444809216 107614 4294967295 134512640 134714508 3221224592 3221223088 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108596 107614 1111 63 0 108533 0
vsize: 434384
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 110638 0 0 0 20794 202 0 0 25 0 1 0 832827141 456708096 110505 4294967295 134512640 134714508 3221224592 3221223216 134664910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111501 110505 1111 63 0 111438 0
vsize: 446004
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 113540 0 0 0 21786 208 0 0 25 0 1 0 832827141 468606976 113407 4294967295 134512640 134714508 3221224592 3221223152 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114406 113407 1111 63 0 114343 0
vsize: 457624
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1735
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 116458 0 0 0 22780 214 0 0 25 0 1 0 832827141 480505856 116325 4294967295 134512640 134714508 3221224592 3221223072 134539419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117311 116325 1111 63 0 117248 0
vsize: 469244
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 119381 0 0 0 23773 219 0 0 25 0 1 0 832827141 492544000 119248 4294967295 134512640 134714508 3221224592 3221223056 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120250 119248 1111 63 0 120187 0
vsize: 481000
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 122248 0 0 0 24766 225 0 0 25 0 1 0 832827141 504307712 122115 4294967295 134512640 134714508 3221224592 3221223072 134536594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123122 122115 1111 63 0 123059 0
vsize: 492488
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 125152 0 0 0 25760 231 0 0 25 0 1 0 832827141 516071424 125019 4294967295 134512640 134714508 3221224592 3221223072 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125994 125019 1111 63 0 125931 0
vsize: 503976
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 127940 0 0 0 26754 236 0 0 25 0 1 0 832827141 527564800 127807 4294967295 134512640 134714508 3221224592 3221222972 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128800 127807 1111 63 0 128737 0
vsize: 515200
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 130729 0 0 0 27745 244 0 0 25 0 1 0 832827141 538927104 130596 4294967295 134512640 134714508 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131574 130596 1111 63 0 131511 0
vsize: 526296
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1737
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 133611 0 0 0 28738 249 0 0 25 0 1 0 832827141 550825984 133478 4294967295 134512640 134714508 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134479 133478 1111 63 0 134416 0
vsize: 537916
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 136510 0 0 0 29732 254 0 0 25 0 1 0 832827141 562724864 136377 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137384 136377 1111 63 0 137321 0
vsize: 549536
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 139431 0 0 0 30727 259 0 0 25 0 1 0 832827141 574623744 139298 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140289 139298 1111 63 0 140226 0
vsize: 561156
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 142178 0 0 0 31720 265 0 0 25 0 1 0 832827141 585850880 142045 4294967295 134512640 134714508 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143030 142045 1111 63 0 142967 0
vsize: 572120
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 144959 0 0 0 32713 271 0 0 25 0 1 0 832827141 597209088 144826 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145803 144826 1111 63 0 145740 0
vsize: 583212
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 147775 0 0 0 33707 276 0 0 25 0 1 0 832827141 608837632 147642 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148642 147642 1111 63 0 148579 0
vsize: 594568
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1739
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 150579 0 0 0 34701 281 0 0 25 0 1 0 832827141 620331008 150446 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151448 150446 1111 63 0 151385 0
vsize: 605792
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 153433 0 0 0 35694 286 0 0 25 0 1 0 832827141 631963648 153300 4294967295 134512640 134714508 3221224592 3221223136 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154288 153300 1111 63 0 154225 0
vsize: 617152
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 156296 0 0 0 36689 291 0 0 25 0 1 0 832827141 643727360 156163 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157160 156163 1111 63 0 157097 0
vsize: 628640
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 158957 0 0 0 37682 296 0 0 25 0 1 0 832827141 654544896 158824 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159801 158825 1111 63 0 159738 0
vsize: 639204
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 161752 0 0 0 38678 300 0 0 25 0 1 0 832827141 666038272 161619 4294967295 134512640 134714508 3221224592 3221223072 134539353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162607 161619 1111 63 0 162544 0
vsize: 650428
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 164477 0 0 0 39672 304 0 0 25 0 1 0 832827141 677261312 164344 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165347 164344 1111 63 0 165284 0
vsize: 661388
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1741
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 167177 0 0 0 40668 309 0 0 25 0 1 0 832827141 688214016 167044 4294967295 134512640 134714508 3221224592 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168021 167044 1111 63 0 167958 0
vsize: 672084
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 169945 0 0 0 41663 314 0 0 25 0 1 0 832827141 699576320 169812 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170795 169812 1111 63 0 170732 0
vsize: 683180
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 172697 0 0 0 42656 321 0 0 25 0 1 0 832827141 710934528 172564 4294967295 134512640 134714508 3221224592 3221223008 134542820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173568 172564 1111 63 0 173505 0
vsize: 694272
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 175443 0 0 0 43651 327 0 0 25 0 1 0 832827141 722157568 175310 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176308 175310 1111 63 0 176245 0
vsize: 705232
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 178204 0 0 0 44645 332 0 0 25 0 1 0 832827141 733380608 178071 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179048 178071 1111 63 0 178985 0
vsize: 716192
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 180903 0 0 0 45640 337 0 0 25 0 1 0 832827141 744468480 180770 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181755 180772 1111 63 0 181692 0
vsize: 727020
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1743
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 183546 0 0 0 46635 343 0 0 25 0 1 0 832827141 755290112 183413 4294967295 134512640 134714508 3221224592 3221222976 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184397 183413 1111 63 0 184334 0
vsize: 737588
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 186315 0 0 0 47628 350 0 0 25 0 1 0 832827141 766648320 186182 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187170 186182 1111 63 0 187107 0
vsize: 748680
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 188917 0 0 0 48622 356 0 0 25 0 1 0 832827141 777330688 188784 4294967295 134512640 134714508 3221224592 3221222972 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189778 188784 1111 63 0 189715 0
vsize: 759112
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 191541 0 0 0 49617 362 0 0 25 0 1 0 832827141 788013056 191408 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192386 191408 1111 63 0 192323 0
vsize: 769544
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 194252 0 0 0 50612 366 0 0 25 0 1 0 832827141 799236096 194119 4294967295 134512640 134714508 3221224592 3221223120 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195126 194119 1111 63 0 195063 0
vsize: 780504
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 196926 0 0 0 51607 372 0 0 25 0 1 0 832827141 810188800 196793 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197800 196793 1111 63 0 197737 0
vsize: 791200
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1745
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 199533 0 0 0 52603 376 0 0 25 0 1 0 832827141 820740096 199400 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200376 199400 1111 63 0 200313 0
vsize: 801504
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 202103 0 0 0 53597 382 0 0 25 0 1 0 832827141 831287296 201970 4294967295 134512640 134714508 3221224592 3221223056 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202951 201970 1111 63 0 202888 0
vsize: 811804
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 204744 0 0 0 54591 389 0 0 25 0 1 0 832827141 842104832 204611 4294967295 134512640 134714508 3221224592 3221223232 134594966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205592 204611 1111 63 0 205529 0
vsize: 822368
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 207255 0 0 0 55587 393 0 0 25 0 1 0 832827141 852381696 207122 4294967295 134512640 134714508 3221224592 3221222980 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208101 207122 1111 63 0 208038 0
vsize: 832404
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 209875 0 0 0 56580 400 0 0 25 0 1 0 832827141 863199232 209742 4294967295 134512640 134714508 3221224592 3221223208 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210742 209742 1111 63 0 210679 0
vsize: 842968
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 212396 0 0 0 57573 406 0 0 25 0 1 0 832827141 873476096 212167 4294967295 134512640 134714508 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213251 212167 1111 63 0 213188 0
vsize: 853004
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1747
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 214992 0 0 0 58566 413 0 0 25 0 1 0 832827141 884158464 214638 4294967295 134512640 134714508 3221224592 3221223072 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215859 214638 1111 63 0 215796 0
vsize: 863436
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 217459 0 1 0 59560 419 0 0 25 0 1 0 832827141 894164992 216884 4294967295 134512640 134714508 3221224592 3221223004 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218302 216884 1111 63 0 218239 0
vsize: 873208
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 220030 0 9 0 60547 425 0 0 25 0 1 0 832827141 904712192 219338 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220877 219338 1111 63 0 220814 0
vsize: 883508
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 222590 0 16 0 61535 432 0 0 25 0 1 0 832827141 915263488 221674 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223453 221674 1111 63 0 223390 0
vsize: 893812
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 225146 0 26 0 62516 439 0 0 25 0 1 0 832827141 925675520 224010 4294967295 134512640 134714508 3221224592 3221223056 134542340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225995 224010 1111 63 0 225932 0
vsize: 903980
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 227590 0 32 0 63504 445 0 0 25 0 1 0 832827141 935682048 226212 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228438 226212 1111 63 0 228375 0
vsize: 913752
[startup+648.264 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1749
Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 227590 0 32 0 63504 445 0 0 25 0 1 0 832827141 935682048 226212 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228438 226212 1111 63 0 228375 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 648.263
CPU time (s): 647.721
CPU user time (s): 642.783
CPU system time (s): 4.93725
CPU usage (%): 99.9163
Max. virtual memory (Kb): 913752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####