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/miplib3/normalized-mps-v2-20-10-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	199890
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.44
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 39988

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 00:14:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28057 boxname=wulflinc3 idbench=1013 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 28057
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        761100 kB
Buffers:         29520 kB
Cached:         221216 kB
SwapCached:        728 kB
Active:          29528 kB
Inactive:       223220 kB
HighTotal:      131008 kB
HighFree:        26432 kB
LowTotal:       903652 kB
LowFree:        734668 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15052 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:25:13 (client local time) WITH STATUS 0 IN 638.228 SECONDS
stats: 28057 7 638.228 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (runsolver) R 18126 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897222960 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 30640 0 0 0 936 60 0 0 25 0 1 0 897222960 138534912 30560 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33822 30560 1111 63 0 33759 0
vsize: 135288
[startup+20.0014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 59501 0 0 0 1885 112 0 0 25 0 1 0 897222960 256667648 59421 4294967295 134512640 134716908 3221224576 3221222444 1077244511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62700 59427 1111 63 0 62637 0
vsize: 250652
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 66672 0 0 0 2872 125 0 0 25 0 1 0 897222960 286117888 66592 4294967295 134512640 134716908 3221224576 3221222860 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69853 66592 1111 63 0 69790 0
vsize: 279412
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 67355 0 0 0 3870 126 0 0 25 0 1 0 897222960 288825344 67275 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70514 67275 1111 63 0 70451 0
vsize: 282056
[startup+50.0031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 67961 0 0 0 4869 127 0 0 25 0 1 0 897222960 291405824 67881 4294967295 134512640 134716908 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71144 67881 1111 63 0 71081 0
vsize: 284576
[startup+60.0024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 68540 0 0 0 5867 129 0 0 25 0 1 0 897222960 293912576 68460 4294967295 134512640 134716908 3221224576 3221222236 1077244240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 68460 1111 63 0 71693 0
vsize: 287024
[startup+70.0032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 69116 0 0 0 6866 130 0 0 25 0 1 0 897222960 296386560 69036 4294967295 134512640 134716908 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72360 69036 1111 63 0 72297 0
vsize: 289440
[startup+80.0046 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 72065 0 0 0 7858 136 0 0 25 0 1 0 897222960 298627072 71928 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72907 71928 1111 63 0 72844 0
vsize: 291628
[startup+90.0039 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 75230 0 0 0 8852 142 0 0 25 0 1 0 897222960 311611392 75093 4294967295 134512640 134716908 3221224576 3221223104 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76077 75093 1111 63 0 76014 0
vsize: 304308
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 78340 0 0 0 9845 149 0 0 25 0 1 0 897222960 324456448 78203 4294967295 134512640 134716908 3221224576 3221223112 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79213 78203 1111 63 0 79150 0
vsize: 316852
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 81376 0 0 0 10841 154 0 0 25 0 1 0 897222960 336760832 81239 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82217 81239 1111 63 0 82154 0
vsize: 328868
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 84318 0 0 0 11836 159 0 0 25 0 1 0 897222960 348930048 84181 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85188 84181 1111 63 0 85125 0
vsize: 340752
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 87350 0 0 0 12831 164 0 0 25 0 1 0 897222960 361238528 87213 4294967295 134512640 134716908 3221224576 3221223192 134531235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88193 87213 1111 63 0 88130 0
vsize: 352772
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 90526 0 0 0 13824 172 0 0 25 0 1 0 897222960 374353920 90389 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91395 90389 1111 63 0 91332 0
vsize: 365580
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 93591 0 0 0 14819 177 0 0 25 0 1 0 897222960 386793472 93454 4294967295 134512640 134716908 3221224576 3221223368 134617134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94432 93454 1111 63 0 94369 0
vsize: 377728
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 96617 0 0 0 15814 182 0 0 25 0 1 0 897222960 399237120 96480 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97470 96480 1111 63 0 97407 0
vsize: 389880
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 99582 0 0 0 16808 188 0 0 25 0 1 0 897222960 411406336 99445 4294967295 134512640 134716908 3221224576 3221222972 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100441 99445 1111 63 0 100378 0
vsize: 401764
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 102545 0 0 0 17803 193 0 0 25 0 1 0 897222960 423575552 102408 4294967295 134512640 134716908 3221224576 3221222956 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103412 102408 1111 63 0 103349 0
vsize: 413648
[startup+190.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 105596 0 0 0 18797 199 0 0 25 0 1 0 897222960 436019200 105459 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106450 105459 1111 63 0 106387 0
vsize: 425800
[startup+200.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 108519 0 0 0 19792 204 0 0 25 0 1 0 897222960 448053248 108382 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109388 108382 1111 63 0 109325 0
vsize: 437552
[startup+210.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 111499 0 0 0 20787 209 0 0 25 0 1 0 897222960 460222464 111362 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112359 111362 1111 63 0 112296 0
vsize: 449436
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 114447 0 0 0 21782 215 0 0 25 0 1 0 897222960 472260608 114310 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115298 114310 1111 63 0 115235 0
vsize: 461192
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 117416 0 0 0 22775 222 0 0 25 0 1 0 897222960 484429824 117279 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118269 117279 1111 63 0 118206 0
vsize: 473076
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 120376 0 0 0 23768 229 0 0 25 0 1 0 897222960 496599040 120239 4294967295 134512640 134716908 3221224576 3221223020 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121240 120239 1111 63 0 121177 0
vsize: 484960
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 123293 0 0 0 24762 235 0 0 25 0 1 0 897222960 508497920 123156 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124145 123156 1111 63 0 124082 0
vsize: 496580
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 126203 0 0 0 25757 241 0 0 25 0 1 0 897222960 520400896 126066 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127051 126066 1111 63 0 126988 0
vsize: 508204
[startup+270.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 129026 0 0 0 26752 246 0 0 25 0 1 0 897222960 532029440 128889 4294967295 134512640 134716908 3221224576 3221222992 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129890 128889 1111 63 0 129827 0
vsize: 519560
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 131894 0 0 0 27748 250 0 0 25 0 1 0 897222960 543793152 131757 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132762 131757 1111 63 0 132699 0
vsize: 531048
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 134865 0 0 0 28743 256 0 0 25 0 1 0 897222960 555962368 134728 4294967295 134512640 134716908 3221224576 3221222956 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135733 134728 1111 63 0 135670 0
vsize: 542932
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 137786 0 0 0 29738 261 0 0 25 0 1 0 897222960 567865344 137649 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138639 137649 1111 63 0 138576 0
vsize: 554556
[startup+310.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 140671 0 0 0 30733 265 0 0 25 0 1 0 897222960 579629056 140534 4294967295 134512640 134716908 3221224576 3221223084 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141511 140534 1111 63 0 141448 0
vsize: 566044
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 143472 0 0 0 31729 270 0 0 25 0 1 0 897222960 591122432 143335 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144317 143335 1111 63 0 144254 0
vsize: 577268
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 146383 0 0 0 32722 277 0 0 25 0 1 0 897222960 603156480 146246 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147255 146246 1111 63 0 147192 0
vsize: 589020
[startup+340.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 149240 0 0 0 33717 283 0 0 25 0 1 0 897222960 614789120 149103 4294967295 134512640 134716908 3221224576 3221223080 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150095 149103 1111 63 0 150032 0
vsize: 600380
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 152054 0 0 0 34712 288 0 0 25 0 1 0 897222960 626282496 151917 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152901 151917 1111 63 0 152838 0
vsize: 611604
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 154881 0 0 0 35706 294 0 0 25 0 1 0 897222960 637911040 154744 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155740 154744 1111 63 0 155677 0
vsize: 622960
[startup+370.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 157765 0 0 0 36700 300 0 0 25 0 1 0 897222960 649674752 157628 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158612 157628 1111 63 0 158549 0
vsize: 634448
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 160481 0 0 0 37695 305 0 0 25 0 1 0 897222960 660901888 160344 4294967295 134512640 134716908 3221224576 3221223104 134542836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161353 160344 1111 63 0 161290 0
vsize: 645412
[startup+390.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 163275 0 0 0 38689 311 0 0 25 0 1 0 897222960 672260096 163138 4294967295 134512640 134716908 3221224576 3221223064 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164126 163138 1111 63 0 164063 0
vsize: 656504
[startup+400.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 166094 0 0 0 39684 316 0 0 25 0 1 0 897222960 683888640 165957 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166965 165957 1111 63 0 166902 0
vsize: 667860
[startup+410.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 168864 0 0 0 40679 322 0 0 25 0 1 0 897222960 695111680 168727 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169705 168727 1111 63 0 169642 0
vsize: 678820
[startup+420.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 171623 0 0 0 41674 327 0 0 25 0 1 0 897222960 706469888 171486 4294967295 134512640 134716908 3221224576 3221223192 134531231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172478 171486 1111 63 0 172415 0
vsize: 689912
[startup+430.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 174437 0 0 0 42669 332 0 0 25 0 1 0 897222960 717967360 174300 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175285 174300 1111 63 0 175222 0
vsize: 701140
[startup+440.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 177222 0 0 0 43664 338 0 0 25 0 1 0 897222960 729460736 177085 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178091 177085 1111 63 0 178028 0
vsize: 712364
[startup+450.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 179933 0 0 0 44658 343 0 0 25 0 1 0 897222960 740548608 179796 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180798 179796 1111 63 0 180735 0
vsize: 723192
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 182706 0 0 0 45654 348 0 0 25 0 1 0 897222960 751906816 182569 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183571 182569 1111 63 0 183508 0
vsize: 734284
[startup+470.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 185435 0 0 0 46648 354 0 0 25 0 1 0 897222960 762994688 185298 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186278 185298 1111 63 0 186215 0
vsize: 745112
[startup+480.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 188105 0 0 0 47644 358 0 0 25 0 1 0 897222960 773951488 187968 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188953 187968 1111 63 0 188890 0
vsize: 755812
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 190791 0 0 0 48639 363 0 0 25 0 1 0 897222960 785039360 190654 4294967295 134512640 134716908 3221224576 3221223072 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191660 190654 1111 63 0 191597 0
vsize: 766640
[startup+500.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 193494 0 0 0 49634 368 0 0 25 0 1 0 897222960 795992064 193357 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194334 193357 1111 63 0 194271 0
vsize: 777336
[startup+510.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 196212 0 0 0 50630 373 0 0 25 0 1 0 897222960 807215104 196075 4294967295 134512640 134716908 3221224576 3221223060 134539352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197074 196075 1111 63 0 197011 0
vsize: 788296
[startup+520.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 198882 0 0 0 51625 378 0 0 25 0 1 0 897222960 818167808 198745 4294967295 134512640 134716908 3221224576 3221223056 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199748 198745 1111 63 0 199685 0
vsize: 798992
[startup+530.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 201539 0 0 0 52619 384 0 0 25 0 1 0 897222960 828985344 201402 4294967295 134512640 134716908 3221224576 3221223160 134535691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202389 201402 1111 63 0 202326 0
vsize: 809556
[startup+540.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 204164 0 0 0 53611 392 0 0 25 0 1 0 897222960 839806976 203985 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205031 203985 1111 63 0 204968 0
vsize: 820124
[startup+550.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 206749 0 2 0 54602 398 0 0 25 0 1 0 897222960 850354176 206365 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207606 206365 1111 63 0 207543 0
vsize: 830424
[startup+560.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 209377 0 5 0 55590 404 0 0 25 0 1 0 897222960 861171712 208823 4294967295 134512640 134716908 3221224576 3221223200 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210247 208823 1111 63 0 210184 0
vsize: 840988
[startup+570.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 211915 0 10 0 56577 410 0 0 25 0 1 0 897222960 871448576 211011 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212756 211012 1111 63 0 212693 0
vsize: 851024
[startup+580.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 214531 0 17 0 57563 415 0 0 25 0 1 0 897222960 882130944 213290 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215364 213290 1111 63 0 215301 0
vsize: 861456
[startup+590.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 217037 0 22 0 58551 420 0 0 25 0 1 0 897222960 892407808 215430 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217873 215430 1111 63 0 217810 0
vsize: 871492
[startup+600.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 219668 0 45 0 59522 425 0 0 22 0 1 0 897222960 903090176 217603 4294967295 134512640 134716908 3221224576 3221223132 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220481 217603 1111 63 0 220418 0
vsize: 881924
[startup+610.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 222254 0 63 0 60491 431 0 0 25 0 1 0 897222960 913637376 219566 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223056 219566 1111 63 0 222993 0
vsize: 892224
[startup+620.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 224773 0 82 0 61463 437 0 0 25 0 1 0 897222960 923918336 221550 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225566 221550 1111 63 0 225503 0
vsize: 902264
[startup+630.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 227291 0 96 0 62436 442 0 0 25 0 1 0 897222960 934195200 223754 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228075 223754 1111 63 0 228012 0
vsize: 912300
[startup+639.842 s]
Raw data (loadavg): 0.99 0.99 0.93 1/53 18127
Raw data (stat): 18127 (bsolo_lpr-v2) R 18126 20224 20223 0 -1 0 227291 0 96 0 62436 442 0 0 25 0 1 0 897222960 934195200 223754 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228075 223754 1111 63 0 228012 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 639.842
CPU time (s): 638.228
CPU user time (s): 633.323
CPU system time (s): 4.90525
CPU usage (%): 99.7477
Max. virtual memory (Kb): 912300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####