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-air03.opb
MD5SUM	45da6faf70c895e4acc43dda6a83b925
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199098
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.09
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 27534

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 22:29:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16629 boxname=wulflinc1 idbench=1280 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 16629
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        913192 kB
Buffers:         33688 kB
Cached:          60692 kB
SwapCached:          4 kB
Active:          32476 kB
Inactive:        64948 kB
HighTotal:      131008 kB
HighFree:        70896 kB
LowTotal:       903652 kB
LowFree:        842296 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7152 kB
Slab:            18156 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:40:25 (client local time) WITH STATUS 0 IN 637.695 SECONDS
stats: 16629 7 637.695 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.87 0.95 0.91 2/55 12868
Raw data (stat): 12868 (runsolver) R 12867 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 718770106 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.99952 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 28334 0 0 0 941 57 0 0 25 0 1 0 718770106 129126400 28258 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31525 28258 1111 63 0 31462 0
vsize: 126100
[startup+20.0003 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 56993 0 0 0 1891 107 0 0 25 0 1 0 718770106 246509568 56917 4294967295 134512640 134714508 3221224592 3221223236 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60183 56917 1111 63 0 60120 0
vsize: 240732
[startup+30.0001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 66605 0 0 0 2876 122 0 0 25 0 1 0 718770106 285847552 66529 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69787 66529 1111 63 0 69724 0
vsize: 279148
[startup+40.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 67275 0 0 0 3874 124 0 0 25 0 1 0 718770106 288555008 67199 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70448 67199 1111 63 0 70385 0
vsize: 281792
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 67880 0 0 0 4873 126 0 0 25 0 1 0 718770106 290992128 67804 4294967295 134512640 134714508 3221224592 3221221068 1077196257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71043 67804 1111 63 0 70980 0
vsize: 284172
[startup+60.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 68455 0 0 0 5872 127 0 0 25 0 1 0 718770106 293490688 68379 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71653 68379 1111 63 0 71590 0
vsize: 286612
[startup+70.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 69012 0 0 0 6870 128 0 0 25 0 1 0 718770106 295981056 68936 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72261 68936 1111 63 0 72198 0
vsize: 289044
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 71526 0 0 0 7864 135 0 0 25 0 1 0 718770106 296464384 71393 4294967295 134512640 134714508 3221224592 3221222976 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72379 71393 1111 63 0 72316 0
vsize: 289516
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 74687 0 0 0 8858 141 0 0 25 0 1 0 718770106 309444608 74554 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75548 74554 1111 63 0 75485 0
vsize: 302192
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 77776 0 0 0 9853 147 0 0 25 0 1 0 718770106 322023424 77643 4294967295 134512640 134714508 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78619 77643 1111 63 0 78556 0
vsize: 314476
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 80820 0 0 0 10848 151 0 0 25 0 1 0 718770106 334598144 80687 4294967295 134512640 134714508 3221224592 3221223140 1077374114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81689 80687 1111 63 0 81626 0
vsize: 326756
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 83775 0 0 0 11842 157 0 0 25 0 1 0 718770106 346632192 83642 4294967295 134512640 134714508 3221224592 3221223152 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84627 83642 1111 63 0 84564 0
vsize: 338508
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 86803 0 0 0 12836 164 0 0 25 0 1 0 718770106 359075840 86670 4294967295 134512640 134714508 3221224592 3221223008 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87665 86670 1111 63 0 87602 0
vsize: 350660
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 89882 0 0 0 13829 171 0 0 25 0 1 0 718770106 371650560 89749 4294967295 134512640 134714508 3221224592 3221222972 134539276 0 0 7 0 0 0 0 17 1 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 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 93003 0 0 0 14823 177 0 0 25 0 1 0 718770106 384495616 92870 4294967295 134512640 134714508 3221224592 3221223096 134539345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93871 92870 1111 63 0 93808 0
vsize: 375484
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 96041 0 0 0 15817 183 0 0 25 0 1 0 718770106 396939264 95908 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96909 95908 1111 63 0 96846 0
vsize: 387636
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 99085 0 0 0 16811 189 0 0 25 0 1 0 718770106 409378816 98952 4294967295 134512640 134714508 3221224592 3221223212 134652836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99946 98952 1111 63 0 99883 0
vsize: 399784
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 102003 0 0 0 17805 195 0 0 25 0 1 0 718770106 421277696 101870 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102851 101870 1111 63 0 102788 0
vsize: 411404
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 104983 0 0 0 18799 201 0 0 25 0 1 0 718770106 433586176 104850 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105856 104850 1111 63 0 105793 0
vsize: 423424
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 107964 0 0 0 19793 207 0 0 25 0 1 0 718770106 445755392 107831 4294967295 134512640 134714508 3221224592 3221223072 134539511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108827 107831 1111 63 0 108764 0
vsize: 435308
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 110934 0 0 0 20789 212 0 0 25 0 1 0 718770106 457924608 110801 4294967295 134512640 134714508 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111798 110801 1111 63 0 111735 0
vsize: 447192
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 113867 0 0 0 21783 218 0 0 25 0 1 0 718770106 469958656 113734 4294967295 134512640 134714508 3221224592 3221222968 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114736 113734 1111 63 0 114673 0
vsize: 458944
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 116833 0 0 0 22777 224 0 0 25 0 1 0 718770106 482131968 116700 4294967295 134512640 134714508 3221224592 3221223068 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117708 116700 1111 63 0 117645 0
vsize: 470832
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 119785 0 0 0 23772 230 0 0 25 0 1 0 718770106 494166016 119652 4294967295 134512640 134714508 3221224592 3221223100 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120646 119652 1111 63 0 120583 0
vsize: 482584
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 122650 0 0 0 24766 236 0 0 25 0 1 0 718770106 505929728 122517 4294967295 134512640 134714508 3221224592 3221223152 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123518 122517 1111 63 0 123455 0
vsize: 494072
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 125601 0 0 0 25761 241 0 0 25 0 1 0 718770106 517963776 125468 4294967295 134512640 134714508 3221224592 3221223072 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126456 125468 1111 63 0 126393 0
vsize: 505824
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 128476 0 0 0 26755 247 0 0 25 0 1 0 718770106 529731584 128343 4294967295 134512640 134714508 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129329 128343 1111 63 0 129266 0
vsize: 517316
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 131341 0 0 0 27749 253 0 0 25 0 1 0 718770106 541495296 131208 4294967295 134512640 134714508 3221224592 3221223256 134594875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132201 131208 1111 63 0 132138 0
vsize: 528804
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 134264 0 0 0 28745 257 0 0 25 0 1 0 718770106 553394176 134131 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135106 134131 1111 63 0 135043 0
vsize: 540424
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 137247 0 0 0 29740 263 0 0 25 0 1 0 718770106 565698560 137114 4294967295 134512640 134714508 3221224592 3221223036 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138110 137114 1111 63 0 138047 0
vsize: 552440
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 140120 0 0 0 30734 268 0 0 25 0 1 0 718770106 577466368 139987 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140983 139987 1111 63 0 140920 0
vsize: 563932
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 142992 0 0 0 31729 274 0 0 25 0 1 0 718770106 589230080 142859 4294967295 134512640 134714508 3221224592 3221223000 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143855 142859 1111 63 0 143792 0
vsize: 575420
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 145898 0 0 0 32724 279 0 0 25 0 1 0 718770106 601128960 145765 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146760 145765 1111 63 0 146697 0
vsize: 587040
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 148778 0 0 0 33719 284 0 0 25 0 1 0 718770106 612896768 148645 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149633 148646 1111 63 0 149570 0
vsize: 598532
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 151637 0 0 0 34714 290 0 0 25 0 1 0 718770106 624660480 151504 4294967295 134512640 134714508 3221224592 3221223000 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152505 151504 1111 63 0 152442 0
vsize: 610020
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 154530 0 0 0 35710 294 0 0 25 0 1 0 718770106 636424192 154397 4294967295 134512640 134714508 3221224592 3221223096 134539345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155377 154397 1111 63 0 155314 0
vsize: 621508
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 157422 0 0 0 36705 299 0 0 25 0 1 0 718770106 648323072 157289 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158282 157289 1111 63 0 158219 0
vsize: 633128
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 160155 0 0 0 37700 304 0 0 25 0 1 0 718770106 659546112 160022 4294967295 134512640 134714508 3221224592 3221223464 134558785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161022 160022 1111 63 0 160959 0
vsize: 644088
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 162941 0 0 0 38695 309 0 0 25 0 1 0 718770106 670908416 162808 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163796 162808 1111 63 0 163733 0
vsize: 655184
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 165796 0 0 0 39689 315 0 0 25 0 1 0 718770106 682672128 165663 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166668 165663 1111 63 0 166605 0
vsize: 666672
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 168563 0 0 0 40685 320 0 0 25 0 1 0 718770106 693895168 168430 4294967295 134512640 134714508 3221224592 3221223000 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169408 168430 1111 63 0 169345 0
vsize: 677632
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 171430 0 0 0 41681 324 0 0 25 0 1 0 718770106 705658880 171297 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172280 171297 1111 63 0 172217 0
vsize: 689120
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 174224 0 0 0 42677 328 0 0 25 0 1 0 718770106 717156352 174091 4294967295 134512640 134714508 3221224592 3221223012 134542664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175087 174091 1111 63 0 175024 0
vsize: 700348
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 177032 0 0 0 43671 334 0 0 25 0 1 0 718770106 728649728 176899 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177893 176899 1111 63 0 177830 0
vsize: 711572
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 179829 0 0 0 44666 339 0 0 25 0 1 0 718770106 740143104 179696 4294967295 134512640 134714508 3221224592 3221223080 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180699 179696 1111 63 0 180636 0
vsize: 722796
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 182578 0 0 0 45661 345 0 0 25 0 1 0 718770106 751366144 182445 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183439 182445 1111 63 0 183376 0
vsize: 733756
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 185320 0 0 0 46656 349 0 0 25 0 1 0 718770106 762589184 185187 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186179 185187 1111 63 0 186116 0
vsize: 744716
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 188007 0 0 0 47650 355 0 0 25 0 1 0 718770106 773545984 187874 4294967295 134512640 134714508 3221224592 3221223036 134542824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188854 187874 1111 63 0 188791 0
vsize: 755416
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 190692 0 0 0 48646 360 0 0 25 0 1 0 718770106 784633856 190559 4294967295 134512640 134714508 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191561 190559 1111 63 0 191498 0
vsize: 766244
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 193492 0 0 0 49640 366 0 0 25 0 1 0 718770106 795992064 193359 4294967295 134512640 134714508 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194334 193359 1111 63 0 194271 0
vsize: 777336
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 196210 0 0 0 50635 371 0 0 25 0 1 0 718770106 807215104 196077 4294967295 134512640 134714508 3221224592 3221223072 134539576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197074 196077 1111 63 0 197011 0
vsize: 788296
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 198880 0 0 0 51630 376 0 0 25 0 1 0 718770106 818167808 198747 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199748 198747 1111 63 0 199685 0
vsize: 798992
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 201537 0 0 0 52625 382 0 0 25 0 1 0 718770106 828985344 201404 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202389 201404 1111 63 0 202326 0
vsize: 809556
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 204162 0 0 0 53621 386 0 0 25 0 1 0 718770106 839806976 204029 4294967295 134512640 134714508 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205031 204029 1111 63 0 204968 0
vsize: 820124
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 206827 0 0 0 54615 392 0 0 25 0 1 0 718770106 850624512 206694 4294967295 134512640 134714508 3221224592 3221223120 134542980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207672 206694 1111 63 0 207609 0
vsize: 830688
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 209480 0 0 0 55611 397 0 0 25 0 1 0 718770106 861577216 209347 4294967295 134512640 134714508 3221224592 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210346 209347 1111 63 0 210283 0
vsize: 841384
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 212113 0 0 0 56606 401 0 0 25 0 1 0 718770106 872259584 211980 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212954 211980 1111 63 0 212891 0
vsize: 851816
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 214705 0 0 0 57601 407 0 0 25 0 1 0 718770106 882941952 214572 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215562 214572 1111 63 0 215499 0
vsize: 862248
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 217272 0 0 0 58596 412 0 0 25 0 1 0 718770106 893489152 217139 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218137 217139 1111 63 0 218074 0
vsize: 872548
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 219920 0 0 0 59591 417 0 0 25 0 1 0 718770106 904306688 219787 4294967295 134512640 134714508 3221224592 3221223212 134536856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220778 219787 1111 63 0 220715 0
vsize: 883112
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 222531 0 0 0 60586 422 0 0 25 0 1 0 718770106 914993152 222398 4294967295 134512640 134714508 3221224592 3221223000 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223387 222398 1111 63 0 223324 0
vsize: 893548
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 225132 0 0 0 61582 427 0 0 25 0 1 0 718770106 925675520 224999 4294967295 134512640 134714508 3221224592 3221223192 134587939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225995 224999 1111 63 0 225932 0
vsize: 903980
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 227755 0 0 0 62577 431 0 0 25 0 1 0 718770106 936357888 227622 4294967295 134512640 134714508 3221224592 3221222984 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228603 227623 1111 63 0 228540 0
vsize: 914412
[startup+637.629 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12868
Raw data (stat): 12868 (bsolo_lpr_cuts) R 12867 8378 8377 0 -1 0 227755 0 0 0 62577 431 0 0 25 0 1 0 718770106 936357888 227622 4294967295 134512640 134714508 3221224592 3221222984 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228603 227623 1111 63 0 228540 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 637.629
CPU time (s): 637.695
CPU user time (s): 632.911
CPU system time (s): 4.78427
CPU usage (%): 100.01
Max. virtual memory (Kb): 914412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####