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/miplib2003/normalized-mps-v2-13-7-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.34
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 40370

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 08:24:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28434 boxname=wulflinc6 idbench=1390 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 28434
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        889164 kB
Buffers:         21124 kB
Cached:         100424 kB
SwapCached:       3028 kB
Active:          36480 kB
Inactive:        89196 kB
HighTotal:      131008 kB
HighFree:        38920 kB
LowTotal:       903652 kB
LowFree:        850244 kB
SwapTotal:     2097136 kB
SwapFree:      2093124 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14140 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:37:00 (client local time) WITH STATUS 0 IN 729.131 SECONDS
stats: 28434 7 729.131 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.97 0.98 0.91 2/54 27881
Raw data (stat): 27881 (runsolver) R 27880 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900172718 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.0001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 3734 0 0 0 988 9 0 0 25 0 1 0 900172718 27181056 3654 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 3654 1111 63 0 6573 0
vsize: 26544
[startup+19.9998 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 6722 0 0 0 1983 15 0 0 25 0 1 0 900172718 39415808 6642 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9623 6642 1111 63 0 9560 0
vsize: 38492
[startup+30.0004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 9726 0 0 0 2977 21 0 0 25 0 1 0 900172718 51646464 9646 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12609 9646 1111 63 0 12546 0
vsize: 50436
[startup+40.0005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 12745 0 0 0 3972 26 0 0 25 0 1 0 900172718 64040960 12665 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15635 12665 1111 63 0 15572 0
vsize: 62540
[startup+50.0003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 15771 0 0 0 4968 31 0 0 25 0 1 0 900172718 76406784 15691 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18654 15691 1111 63 0 18591 0
vsize: 74616
[startup+60.0009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 18796 0 0 0 5964 35 0 0 25 0 1 0 900172718 88801280 18716 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21680 18716 1111 63 0 21617 0
vsize: 86720
[startup+70.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 21828 0 0 0 6959 40 0 0 25 0 1 0 900172718 101343232 21748 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24742 21748 1111 63 0 24679 0
vsize: 98968
[startup+80.0007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 24853 0 0 0 7954 45 0 0 25 0 1 0 900172718 113733632 24773 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 24773 1111 63 0 27704 0
vsize: 111068
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 27886 0 0 0 8950 50 0 0 25 0 1 0 900172718 126103552 27806 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30787 27806 1111 63 0 30724 0
vsize: 123148
[startup+100.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 30918 0 0 0 9945 55 0 0 25 0 1 0 900172718 138493952 30838 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33812 30838 1111 63 0 33749 0
vsize: 135248
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 33945 0 0 0 10940 61 0 0 25 0 1 0 900172718 150888448 33865 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36838 33865 1111 63 0 36775 0
vsize: 147352
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 36978 0 0 0 11935 66 0 0 25 0 1 0 900172718 163278848 36898 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39863 36898 1111 63 0 39800 0
vsize: 159452
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 40004 0 0 0 12931 71 0 0 25 0 1 0 900172718 175665152 39924 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42887 39924 1111 63 0 42824 0
vsize: 171548
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 43023 0 0 0 13926 75 0 0 25 0 1 0 900172718 188059648 42943 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45913 42943 1111 63 0 45850 0
vsize: 183652
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 46043 0 0 0 14920 82 0 0 25 0 1 0 900172718 200450048 45963 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48938 45963 1111 63 0 48875 0
vsize: 195752
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 49068 0 0 0 15916 86 0 0 25 0 1 0 900172718 212844544 48988 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51964 48988 1111 63 0 51901 0
vsize: 207856
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 52105 0 0 0 16911 92 0 0 25 0 1 0 900172718 225382400 52025 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55025 52025 1111 63 0 54962 0
vsize: 220100
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 55131 0 0 0 17906 97 0 0 25 0 1 0 900172718 237776896 55051 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58051 55051 1111 63 0 57988 0
vsize: 232204
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 58146 0 0 0 18900 103 0 0 25 0 1 0 900172718 250019840 58066 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61040 58066 1111 63 0 60977 0
vsize: 244160
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 61178 0 0 0 19895 108 0 0 25 0 1 0 900172718 262561792 61098 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64102 61098 1111 63 0 64039 0
vsize: 256408
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 64199 0 0 0 20889 114 0 0 25 0 1 0 900172718 274804736 64119 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67091 64119 1111 63 0 67028 0
vsize: 268364
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 67249 0 0 0 21886 118 0 0 25 0 1 0 900172718 287346688 67169 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70153 67169 1111 63 0 70090 0
vsize: 280612
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 70289 0 0 0 22881 124 0 0 25 0 1 0 900172718 299741184 70209 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73179 70209 1111 63 0 73116 0
vsize: 292716
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 73333 0 0 0 23876 129 0 0 25 0 1 0 900172718 312283136 73253 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76241 73253 1111 63 0 76178 0
vsize: 304964
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 76379 0 0 0 24871 134 0 0 25 0 1 0 900172718 324673536 76299 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79266 76299 1111 63 0 79203 0
vsize: 317064
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 79410 0 0 0 25867 139 0 0 25 0 1 0 900172718 337215488 79330 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82328 79330 1111 63 0 82265 0
vsize: 329312
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 82473 0 0 0 26862 144 0 0 25 0 1 0 900172718 349753344 82393 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85389 82393 1111 63 0 85326 0
vsize: 341556
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 85510 0 0 0 27857 149 0 0 25 0 1 0 900172718 362143744 85430 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88414 85430 1111 63 0 88351 0
vsize: 353656
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 88568 0 0 0 28853 154 0 0 25 0 1 0 900172718 374685696 88488 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91476 88488 1111 63 0 91413 0
vsize: 365904
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 91606 0 0 0 29848 159 0 0 25 0 1 0 900172718 387080192 91526 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94502 91526 1111 63 0 94439 0
vsize: 378008
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 94656 0 0 0 30843 165 0 0 25 0 1 0 900172718 399622144 94576 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97564 94576 1111 63 0 97501 0
vsize: 390256
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 97718 0 0 0 31837 170 0 0 25 0 1 0 900172718 412164096 97638 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100626 97638 1111 63 0 100563 0
vsize: 402504
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 100761 0 0 0 32832 176 0 0 25 0 1 0 900172718 424771584 100681 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103704 100681 1111 63 0 103641 0
vsize: 414816
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 103818 0 0 0 33828 180 0 0 25 0 1 0 900172718 437166080 103738 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106730 103738 1111 63 0 106667 0
vsize: 426920
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 106845 0 0 0 34822 187 0 0 25 0 1 0 900172718 449556480 106765 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109755 106765 1111 63 0 109692 0
vsize: 439020
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 109926 0 0 0 35819 191 0 0 25 0 1 0 900172718 462249984 109846 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112854 109846 1111 63 0 112791 0
vsize: 451416
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 112995 0 0 0 36814 195 0 0 25 0 1 0 900172718 474791936 112915 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115916 112915 1111 63 0 115853 0
vsize: 463664
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 116040 0 0 0 37808 201 0 0 25 0 1 0 900172718 487333888 115960 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118978 115960 1111 63 0 118915 0
vsize: 475912
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 119103 0 0 0 38804 206 0 0 25 0 1 0 900172718 499875840 119023 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122040 119023 1111 63 0 121977 0
vsize: 488160
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 122166 0 0 0 39799 212 0 0 25 0 1 0 900172718 512417792 122086 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125102 122086 1111 63 0 125039 0
vsize: 500408
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 125253 0 0 0 40794 216 0 0 25 0 1 0 900172718 524959744 125173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128164 125173 1111 63 0 128101 0
vsize: 512656
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 128322 0 0 0 41789 222 0 0 25 0 1 0 900172718 537501696 128242 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131226 128242 1111 63 0 131163 0
vsize: 524904
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 131367 0 0 0 42783 228 0 0 25 0 1 0 900172718 550043648 131287 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134288 131287 1111 63 0 134225 0
vsize: 537152
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 134418 0 0 0 43778 234 0 0 25 0 1 0 900172718 562585600 134338 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137350 134338 1111 63 0 137287 0
vsize: 549400
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 137511 0 0 0 44772 240 0 0 25 0 1 0 900172718 575119360 137431 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140410 137431 1111 63 0 140347 0
vsize: 561640
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 140604 0 0 0 45768 244 0 0 25 0 1 0 900172718 587808768 140524 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143508 140524 1111 63 0 143445 0
vsize: 574032
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 143647 0 0 0 46763 249 0 0 25 0 1 0 900172718 600350720 143567 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146570 143567 1111 63 0 146507 0
vsize: 586280
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 146748 0 0 0 47758 255 0 0 25 0 1 0 900172718 613044224 146668 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149669 146668 1111 63 0 149606 0
vsize: 598676
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 149822 0 0 0 48753 260 0 0 25 0 1 0 900172718 625586176 149742 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152731 149742 1111 63 0 152668 0
vsize: 610924
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 152922 0 0 0 49749 264 0 0 25 0 1 0 900172718 638275584 152842 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155829 152842 1111 63 0 155766 0
vsize: 623316
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 156051 0 0 0 50743 271 0 0 25 0 1 0 900172718 651116544 155971 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158964 155971 1111 63 0 158901 0
vsize: 635856
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 159188 0 0 0 51738 276 0 0 25 0 1 0 900172718 663957504 159108 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162099 159108 1111 63 0 162036 0
vsize: 648396
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 162262 0 0 0 52733 281 0 0 25 0 1 0 900172718 676499456 162182 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165161 162182 1111 63 0 165098 0
vsize: 660644
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 165381 0 0 0 53727 287 0 0 25 0 1 0 900172718 689336320 165301 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168295 165301 1111 63 0 168232 0
vsize: 673180
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 168521 0 0 0 54722 293 0 0 25 0 1 0 900172718 702177280 168441 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171430 168441 1111 63 0 171367 0
vsize: 685720
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 171676 0 0 0 55718 297 0 0 25 0 1 0 900172718 715018240 171596 4294967295 134512640 134716908 3221224576 3221222804 1077414393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174565 171596 1111 63 0 174502 0
vsize: 698260
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 174829 0 0 0 56713 303 0 0 25 0 1 0 900172718 728006656 174749 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177736 174749 1111 63 0 177673 0
vsize: 710944
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 177961 0 0 0 57707 309 0 0 25 0 1 0 900172718 740851712 177881 4294967295 134512640 134716908 3221224576 3221222444 1077244838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180872 177881 1111 63 0 180809 0
vsize: 723488
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 181133 0 0 0 58701 315 0 0 25 0 1 0 900172718 753844224 181053 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184044 181053 1111 63 0 183981 0
vsize: 736176
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 184312 0 0 0 59694 322 0 0 25 0 1 0 900172718 766832640 184232 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187215 184232 1111 63 0 187152 0
vsize: 748860
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 187477 0 0 0 60689 328 0 0 25 0 1 0 900172718 779821056 187397 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190386 187397 1111 63 0 190323 0
vsize: 761544
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 190740 0 0 0 61683 334 0 0 25 0 1 0 900172718 793108480 190660 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193630 190660 1111 63 0 193567 0
vsize: 774520
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 193960 0 0 0 62677 340 0 0 25 0 1 0 900172718 806395904 193880 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196874 193880 1111 63 0 196811 0
vsize: 787496
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 197347 0 0 0 63670 347 0 0 25 0 1 0 900172718 820494336 197267 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200316 197267 1111 63 0 200253 0
vsize: 801264
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 200610 0 0 0 64664 354 0 0 25 0 1 0 900172718 833781760 200530 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203560 200530 1111 63 0 203497 0
vsize: 814240
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 203923 0 0 0 65658 360 0 0 25 0 1 0 900172718 847364096 203843 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 206876 203843 1111 63 0 206813 0
vsize: 827504
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 207308 0 0 0 66651 367 0 0 25 0 1 0 900172718 861253632 207228 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210267 207228 1111 63 0 210204 0
vsize: 841068
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 210747 0 0 0 67646 372 0 0 25 0 1 0 900172718 875286528 210667 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213693 210667 1111 63 0 213630 0
vsize: 854772
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 214279 0 0 0 68641 378 0 0 25 0 1 0 900172718 889769984 214199 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217229 214199 1111 63 0 217166 0
vsize: 868916
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 217693 0 0 0 69635 385 0 0 25 0 1 0 900172718 903806976 217613 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220656 217613 1111 63 0 220593 0
vsize: 882624
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 221170 0 0 0 70629 390 0 0 25 0 1 0 900172718 917987328 221090 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224118 221090 1111 63 0 224055 0
vsize: 896472
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 224590 0 0 0 71620 399 0 0 25 0 1 0 900172718 932020224 224510 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227544 224510 1111 63 0 227481 0
vsize: 910176
[startup+728.954 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 27881
Raw data (stat): 27881 (bsolo_lpr-v2) R 27880 25568 25567 0 -1 0 224590 0 0 0 71620 399 0 0 25 0 1 0 900172718 932020224 224510 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227544 224510 1111 63 0 227481 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 728.954
CPU time (s): 729.131
CPU user time (s): 724.638
CPU system time (s): 4.49332
CPU usage (%): 100.024
Max. virtual memory (Kb): 910176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####