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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 27725

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-24 23:02:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16134 boxname=wulflinc17 idbench=1242 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 16134
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        418496 kB
Buffers:         23212 kB
Cached:         550976 kB
SwapCached:        480 kB
Active:          57280 kB
Inactive:       534036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        418244 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6040 kB
Slab:            19192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:16:18 (client local time) WITH STATUS 0 IN 815.455 SECONDS
stats: 16134 7 815.455 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4060 variables and 294 constraints.
c After prepocess the problem consists of 3659 variables and 383 constraints.
c preprocess terminated 2.071 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 1.176
c Not use computed LB before first solution.
#### 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.97 2/54 14040
Raw data (stat): 14040 (runsolver) R 14039 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834057529 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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.99942 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 4870 0 0 0 984 13 0 0 25 0 1 0 834057529 21819392 4588 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5327 4588 1111 63 0 5264 0
vsize: 21308
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 8234 0 0 0 1975 23 0 0 25 0 1 0 834057529 35618816 7951 4294967295 134512640 134714508 3221224592 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8696 7951 1111 63 0 8633 0
vsize: 34784
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 11434 0 0 0 2966 31 0 0 25 0 1 0 834057529 48787456 11145 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11911 11145 1111 63 0 11848 0
vsize: 47644
[startup+40.0002 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 14629 0 0 0 3958 40 0 0 25 0 1 0 834057529 61927424 14338 4294967295 134512640 134714508 3221224592 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15119 14338 1111 63 0 15056 0
vsize: 60476
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 17699 0 0 0 4947 51 0 0 25 0 1 0 834057529 74543104 17399 4294967295 134512640 134714508 3221224592 3221223392 134597728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18199 17399 1111 63 0 18136 0
vsize: 72796
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 20638 0 0 0 5938 60 0 0 25 0 1 0 834057529 86614016 20335 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21146 20335 1111 63 0 21083 0
vsize: 84584
[startup+70.001 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 22832 0 0 0 6932 67 0 0 25 0 1 0 834057529 95637504 22515 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23349 22515 1111 63 0 23286 0
vsize: 93396
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 24338 0 0 0 7928 71 0 0 25 0 1 0 834057529 101855232 24021 4294967295 134512640 134714508 3221224592 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24867 24022 1111 63 0 24804 0
vsize: 99468
[startup+90.0005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 26104 0 0 0 8923 76 0 0 25 0 1 0 834057529 109088768 25787 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26633 25787 1111 63 0 26570 0
vsize: 106532
[startup+99.9998 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 28904 0 0 0 9915 84 0 0 25 0 1 0 834057529 120442880 28585 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29405 28585 1111 63 0 29342 0
vsize: 117620
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 31974 0 0 0 10906 94 0 0 25 0 1 0 834057529 133038080 31651 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32480 31651 1111 63 0 32417 0
vsize: 129920
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 35051 0 0 0 11897 102 0 0 25 0 1 0 834057529 145625088 34728 4294967295 134512640 134714508 3221224592 3221223360 134597639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35553 34728 1111 63 0 35490 0
vsize: 142212
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 38007 0 0 0 12889 111 0 0 25 0 1 0 834057529 157990912 37657 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38572 37657 1111 63 0 38509 0
vsize: 154288
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 41104 0 0 0 13879 121 0 0 25 0 1 0 834057529 170901504 40731 4294967295 134512640 134714508 3221224592 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41724 40731 1111 63 0 41661 0
vsize: 166896
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 44217 0 0 0 14872 128 0 0 25 0 1 0 834057529 183607296 43844 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44826 43844 1111 63 0 44763 0
vsize: 179304
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 47138 0 0 0 15865 135 0 0 25 0 1 0 834057529 195686400 46753 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47775 46754 1111 63 0 47712 0
vsize: 191100
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 49919 0 0 0 16856 144 0 0 25 0 1 0 834057529 206938112 49529 4294967295 134512640 134714508 3221224592 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50522 49529 1111 63 0 50459 0
vsize: 202088
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 52854 0 0 0 17848 153 0 0 25 0 1 0 834057529 219033600 52455 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53475 52456 1111 63 0 53412 0
vsize: 213900
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 55940 0 0 0 18840 161 0 0 25 0 1 0 834057529 231526400 55459 4294967295 134512640 134714508 3221224592 3221223220 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56525 55459 1111 63 0 56462 0
vsize: 226100
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14040
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 58963 0 0 0 19832 168 0 0 25 0 1 0 834057529 243830784 58482 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59529 58482 1111 63 0 59466 0
vsize: 238116
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 62063 0 0 0 20824 177 0 0 25 0 1 0 834057529 256536576 61582 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62631 61582 1111 63 0 62568 0
vsize: 250524
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 65180 0 0 0 21812 189 0 0 25 0 1 0 834057529 269246464 64699 4294967295 134512640 134714508 3221224592 3221223304 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65734 64700 1111 63 0 65671 0
vsize: 262936
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 68140 0 0 0 22804 197 0 0 25 0 1 0 834057529 281288704 67534 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68674 67534 1111 63 0 68611 0
vsize: 274696
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 70879 0 0 0 23796 206 0 0 25 0 1 0 834057529 292372480 70273 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71380 70273 1111 63 0 71317 0
vsize: 285520
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 73795 0 0 0 24788 214 0 0 25 0 1 0 834057529 304320512 73185 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74297 73185 1111 63 0 74234 0
vsize: 297188
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 76999 0 0 0 25779 223 0 0 25 0 1 0 834057529 317341696 76216 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77476 76216 1111 63 0 77413 0
vsize: 309904
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 80028 0 0 0 26768 234 0 0 25 0 1 0 834057529 329641984 79245 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80479 79245 1111 63 0 80416 0
vsize: 321916
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 83116 0 0 0 27760 242 0 0 25 0 1 0 834057529 342347776 82333 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83581 82333 1111 63 0 83518 0
vsize: 334324
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 86242 0 0 0 28750 253 0 0 25 0 1 0 834057529 355053568 85459 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86683 85459 1111 63 0 86620 0
vsize: 346732
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 89641 0 0 0 29740 263 0 0 25 0 1 0 834057529 367841280 88323 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89805 88323 1111 63 0 89742 0
vsize: 359220
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 92136 0 0 0 30732 271 0 0 25 0 1 0 834057529 377995264 90816 4294967295 134512640 134714508 3221224592 3221223152 134549660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92284 90816 1111 63 0 92221 0
vsize: 369136
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 94774 0 0 0 31725 279 0 0 25 0 1 0 834057529 388849664 93450 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94934 93450 1111 63 0 94871 0
vsize: 379736
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 97574 0 0 0 32718 286 0 0 25 0 1 0 834057529 400203776 96250 4294967295 134512640 134714508 3221224592 3221223392 134597708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97706 96250 1111 63 0 97643 0
vsize: 390824
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 100093 0 0 0 33711 293 0 0 25 0 1 0 834057529 410476544 98769 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100214 98769 1111 63 0 100151 0
vsize: 400856
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 102674 0 0 0 34703 302 0 0 25 0 1 0 834057529 421085184 101341 4294967295 134512640 134714508 3221224592 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102804 101341 1111 63 0 102741 0
vsize: 411216
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 105459 0 0 0 35694 311 0 0 25 0 1 0 834057529 432439296 104126 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105576 104126 1111 63 0 105513 0
vsize: 422304
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 108247 0 0 0 36684 321 0 0 25 0 1 0 834057529 443928576 106914 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108381 106914 1111 63 0 108318 0
vsize: 433524
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 110816 0 0 0 37676 328 0 0 25 0 1 0 834057529 454336512 109483 4294967295 134512640 134714508 3221224592 3221223376 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110922 109483 1111 63 0 110859 0
vsize: 443688
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 113699 0 0 0 38667 338 0 0 25 0 1 0 834057529 466018304 112284 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113774 112284 1111 63 0 113711 0
vsize: 455096
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 116642 0 0 0 39658 347 0 0 25 0 1 0 834057529 478048256 115227 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116711 115227 1111 63 0 116648 0
vsize: 466844
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 119618 0 0 0 40647 358 0 0 25 0 1 0 834057529 490213376 118203 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119681 118203 1111 63 0 119618 0
vsize: 478724
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 122467 0 0 0 41637 369 0 0 25 0 1 0 834057529 501837824 121051 4294967295 134512640 134714508 3221224592 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122519 121051 1111 63 0 122456 0
vsize: 490076
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 125360 0 0 0 42629 377 0 0 25 0 1 0 834057529 513597440 123944 4294967295 134512640 134714508 3221224592 3221223348 134592078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125390 123945 1111 63 0 125327 0
vsize: 501560
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 128354 0 0 0 43619 387 0 0 25 0 1 0 834057529 525897728 126938 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128393 126938 1111 63 0 128330 0
vsize: 513572
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 131054 0 0 0 44611 395 0 0 25 0 1 0 834057529 536555520 129476 4294967295 134512640 134714508 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130995 129476 1111 63 0 130932 0
vsize: 523980
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 133489 0 0 0 45603 403 0 0 25 0 1 0 834057529 546557952 131911 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133437 131911 1111 63 0 133374 0
vsize: 533748
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 136313 0 0 0 46594 412 0 0 25 0 1 0 834057529 557891584 134573 4294967295 134512640 134714508 3221224592 3221223376 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136204 134573 1111 63 0 136141 0
vsize: 544816
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 139091 0 0 0 47584 422 0 0 25 0 1 0 834057529 569380864 137351 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139009 137351 1111 63 0 138946 0
vsize: 556036
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 141721 0 0 0 48576 431 0 0 25 0 1 0 834057529 580059136 139981 4294967295 134512640 134714508 3221224592 3221223392 134597654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141616 139981 1111 63 0 141553 0
vsize: 566464
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 144737 0 0 0 49566 441 0 0 25 0 1 0 834057529 592195584 142744 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144579 142744 1111 63 0 144516 0
vsize: 578316
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 147780 0 0 0 50557 451 0 0 25 0 1 0 834057529 604475392 145625 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147577 145625 1111 63 0 147514 0
vsize: 590308
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 150612 0 0 0 51548 460 0 0 25 0 1 0 834057529 615964672 148457 4294967295 134512640 134714508 3221224592 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150382 148457 1111 63 0 150319 0
vsize: 601528
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 153032 0 0 0 52541 467 0 0 25 0 1 0 834057529 625836032 150877 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152792 150877 1111 63 0 152729 0
vsize: 611168
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 155749 0 0 0 53532 476 0 0 25 0 1 0 834057529 636919808 153594 4294967295 134512640 134714508 3221224592 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155498 153594 1111 63 0 155435 0
vsize: 621992
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 158613 0 0 0 54524 484 0 0 25 0 1 0 834057529 648683520 156458 4294967295 134512640 134714508 3221224592 3221223372 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158370 156458 1111 63 0 158307 0
vsize: 633480
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 161527 0 0 0 55515 494 0 0 25 0 1 0 834057529 660578304 159372 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161274 159372 1111 63 0 161211 0
vsize: 645096
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 164512 0 0 0 56505 504 0 0 25 0 1 0 834057529 672747520 162357 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164245 162357 1111 63 0 164182 0
vsize: 656980
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 167515 0 0 0 57496 513 0 0 25 0 1 0 834057529 685047808 165360 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167248 165361 1111 63 0 167185 0
vsize: 668992
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 170581 0 0 0 58488 522 0 0 25 0 1 0 834057529 697483264 168426 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170284 168426 1111 63 0 170221 0
vsize: 681136
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 172925 0 0 0 59479 530 0 0 25 0 1 0 834057529 706826240 170770 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172565 170770 1111 63 0 172502 0
vsize: 690260
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 175504 0 0 0 60472 538 0 0 25 0 1 0 834057529 717213696 173186 4294967295 134512640 134714508 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175101 173186 1111 63 0 175038 0
vsize: 700404
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 178084 0 0 0 61463 547 0 0 25 0 1 0 834057529 727781376 175762 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177681 175762 1111 63 0 177618 0
vsize: 710724
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 180856 0 0 0 62454 556 0 0 25 0 1 0 834057529 739201024 178525 4294967295 134512640 134714508 3221224592 3221223248 134613585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180469 178525 1111 63 0 180406 0
vsize: 721876
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 183562 0 0 0 63446 564 0 0 25 0 1 0 834057529 750149632 181231 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183142 181231 1111 63 0 183079 0
vsize: 732568
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 186484 0 0 0 64437 574 0 0 25 0 1 0 834057529 762179584 184153 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186079 184153 1111 63 0 186016 0
vsize: 744316
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 189430 0 0 0 65428 583 0 0 25 0 1 0 834057529 774213632 187099 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189017 187099 1111 63 0 188954 0
vsize: 756068
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 192391 0 0 0 66419 592 0 0 25 0 1 0 834057529 786243584 190060 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191954 190060 1111 63 0 191891 0
vsize: 767816
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 194630 0 0 0 67411 601 0 0 25 0 1 0 834057529 795299840 192299 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194165 192299 1111 63 0 194102 0
vsize: 776660
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 197145 0 0 0 68404 607 0 0 25 0 1 0 834057529 805498880 194732 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196655 194732 1111 63 0 196592 0
vsize: 786620
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 199807 0 0 0 69395 616 0 0 25 0 1 0 834057529 816316416 197394 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199296 197394 1111 63 0 199233 0
vsize: 797184
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 202501 0 0 0 70386 626 0 0 25 0 1 0 834057529 827400192 200088 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202002 200088 1111 63 0 201939 0
vsize: 808008
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 205212 0 0 0 71377 635 0 0 25 0 1 0 834057529 838348800 202799 4294967295 134512640 134714508 3221224592 3221223088 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204675 202799 1111 63 0 204612 0
vsize: 818700
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 207976 0 0 0 72369 644 0 0 25 0 1 0 834057529 849702912 205563 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207447 205563 1111 63 0 207384 0
vsize: 829788
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 210823 0 0 0 73359 654 0 0 25 0 1 0 834057529 861327360 208410 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210285 208410 1111 63 0 210222 0
vsize: 841140
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 213677 0 0 0 74350 663 0 0 25 0 1 0 834057529 872951808 211260 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213123 211260 1111 63 0 213060 0
vsize: 852492
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 216518 0 0 0 75341 672 0 0 25 0 1 0 834057529 884580352 214071 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215962 214071 1111 63 0 215899 0
vsize: 863848
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 218750 0 8 0 76330 680 0 0 25 0 1 0 834057529 893501440 216297 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218140 216297 1111 63 0 218077 0
vsize: 872560
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 221575 0 8 0 77319 691 0 0 25 0 1 0 834057529 904839168 218932 4294967295 134512640 134714508 3221224592 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220908 218932 1111 63 0 220845 0
vsize: 883632
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 224410 0 8 0 78309 701 0 0 25 0 1 0 834057529 916463616 221703 4294967295 134512640 134714508 3221224592 3221223352 134613515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223746 221703 1111 63 0 223683 0
vsize: 894984
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 227399 0 8 0 79298 712 0 0 25 0 1 0 834057529 928632832 224550 4294967295 134512640 134714508 3221224592 3221223164 134535876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226717 224550 1111 63 0 226654 0
vsize: 906868
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 229816 0 8 0 80289 721 0 0 25 0 1 0 834057529 938500096 226725 4294967295 134512640 134714508 3221224592 3221223360 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229126 226725 1111 63 0 229063 0
vsize: 916504
[startup+815.366 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 14042
Raw data (stat): 14040 (bsolo_lpr) R 14039 7475 7474 0 -1 0 229816 0 8 0 80289 721 0 0 25 0 1 0 834057529 938500096 226725 4294967295 134512640 134714508 3221224592 3221223360 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229126 226725 1111 63 0 229063 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 815.366
CPU time (s): 815.455
CPU user time (s): 807.755
CPU system time (s): 7.69983
CPU usage (%): 100.011
Max. virtual memory (Kb): 916504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####