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/miplib2003/normalized-mps-v2-20-10-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.18
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 39984

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 00:02:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28050 boxname=wulflinc1 idbench=1006 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 28050
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        703688 kB
Buffers:         33264 kB
Cached:         271952 kB
SwapCached:       1192 kB
Active:          46592 kB
Inactive:       260936 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703436 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            17732 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:14:23 (client local time) WITH STATUS 0 IN 723.533 SECONDS
stats: 28050 7 723.533 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.86 0.95 0.90 1/55 14006
Raw data (stat): 14006 (runsolver) R 14005 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 840301194 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.88 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 3746 0 0 0 988 9 0 0 25 0 1 0 840301194 27181056 3666 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 3666 1111 63 0 6573 0
vsize: 26544
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 6740 0 0 0 1983 15 0 0 25 0 1 0 840301194 39415808 6660 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9623 6660 1111 63 0 9560 0
vsize: 38492
[startup+30.0007 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 9756 0 0 0 2978 20 0 0 25 0 1 0 840301194 51798016 9676 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 9676 1111 63 0 12583 0
vsize: 50584
[startup+40.0014 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 12776 0 0 0 3972 26 0 0 25 0 1 0 840301194 64188416 12696 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 12696 1111 63 0 15608 0
vsize: 62684
[startup+50.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 15801 0 0 0 4967 31 0 0 25 0 1 0 840301194 76558336 15721 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18691 15721 1111 63 0 18628 0
vsize: 74764
[startup+60.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 18827 0 0 0 5961 37 0 0 25 0 1 0 840301194 88948736 18747 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21716 18747 1111 63 0 21653 0
vsize: 86864
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 21852 0 0 0 6957 41 0 0 25 0 1 0 840301194 101343232 21772 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24742 21772 1111 63 0 24679 0
vsize: 98968
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 24878 0 0 0 7952 47 0 0 25 0 1 0 840301194 113733632 24798 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27767 24798 1111 63 0 27704 0
vsize: 111068
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 27910 0 0 0 8947 52 0 0 25 0 1 0 840301194 126251008 27830 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30823 27830 1111 63 0 30760 0
vsize: 123292
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 30937 0 0 0 9943 57 0 0 25 0 1 0 840301194 138645504 30857 4294967295 134512640 134716908 3221224576 3221222428 1076880029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33849 30857 1111 63 0 33786 0
vsize: 135396
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 33969 0 0 0 10938 62 0 0 25 0 1 0 840301194 151035904 33889 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36874 33889 1111 63 0 36811 0
vsize: 147496
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 37002 0 0 0 11934 66 0 0 25 0 1 0 840301194 163430400 36922 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39900 36922 1111 63 0 39837 0
vsize: 159600
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 40022 0 0 0 12930 70 0 0 25 0 1 0 840301194 175820800 39942 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42925 39942 1111 63 0 42862 0
vsize: 171700
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 43047 0 0 0 13923 77 0 0 25 0 1 0 840301194 188207104 42967 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45949 42967 1111 63 0 45886 0
vsize: 183796
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 46061 0 0 0 14919 81 0 0 25 0 1 0 840301194 200601600 45981 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48975 45981 1111 63 0 48912 0
vsize: 195900
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 49080 0 0 0 15914 86 0 0 25 0 1 0 840301194 212844544 49000 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51964 49000 1111 63 0 51901 0
vsize: 207856
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 52124 0 0 0 16909 92 0 0 25 0 1 0 840301194 225382400 52044 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55025 52044 1111 63 0 54962 0
vsize: 220100
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 55143 0 0 0 17904 97 0 0 25 0 1 0 840301194 237776896 55063 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58051 55063 1111 63 0 57988 0
vsize: 232204
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 58158 0 0 0 18899 102 0 0 25 0 1 0 840301194 250167296 58078 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61076 58078 1111 63 0 61013 0
vsize: 244304
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14006
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 61190 0 0 0 19895 106 0 0 25 0 1 0 840301194 262561792 61110 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64102 61110 1111 63 0 64039 0
vsize: 256408
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 64212 0 0 0 20890 112 0 0 25 0 1 0 840301194 274956288 64132 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67128 64132 1111 63 0 67065 0
vsize: 268512
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 67261 0 0 0 21885 117 0 0 25 0 1 0 840301194 287346688 67181 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70153 67181 1111 63 0 70090 0
vsize: 280612
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 70295 0 0 0 22878 123 0 0 25 0 1 0 840301194 299888640 70215 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73215 70215 1111 63 0 73152 0
vsize: 292860
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 73333 0 0 0 23873 129 0 0 25 0 1 0 840301194 312283136 73253 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76241 73253 1111 63 0 76178 0
vsize: 304964
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 76379 0 0 0 24867 134 0 0 25 0 1 0 840301194 324673536 76299 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79266 76299 1111 63 0 79203 0
vsize: 317064
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 79410 0 0 0 25861 140 0 0 25 0 1 0 840301194 337215488 79330 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82328 79330 1111 63 0 82265 0
vsize: 329312
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 82473 0 0 0 26857 145 0 0 25 0 1 0 840301194 349753344 82393 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85389 82393 1111 63 0 85326 0
vsize: 341556
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 85510 0 0 0 27851 151 0 0 25 0 1 0 840301194 362143744 85430 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88414 85430 1111 63 0 88351 0
vsize: 353656
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 88568 0 0 0 28845 157 0 0 25 0 1 0 840301194 374685696 88488 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91476 88488 1111 63 0 91413 0
vsize: 365904
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 91600 0 0 0 29839 163 0 0 25 0 1 0 840301194 387080192 91520 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94502 91520 1111 63 0 94439 0
vsize: 378008
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 94626 0 0 0 30834 169 0 0 25 0 1 0 840301194 399470592 94546 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97527 94546 1111 63 0 97464 0
vsize: 390108
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 97657 0 0 0 31827 176 0 0 25 0 1 0 840301194 411865088 97577 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100553 97577 1111 63 0 100490 0
vsize: 402212
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 100707 0 0 0 32823 180 0 0 25 0 1 0 840301194 424472576 100627 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103631 100627 1111 63 0 103568 0
vsize: 414524
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 103764 0 0 0 33819 184 0 0 25 0 1 0 840301194 437014528 103684 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106693 103684 1111 63 0 106630 0
vsize: 426772
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 106814 0 0 0 34814 190 0 0 25 0 1 0 840301194 449556480 106734 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109755 106734 1111 63 0 109692 0
vsize: 439020
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 109926 0 0 0 35809 195 0 0 25 0 1 0 840301194 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 113019 0 0 0 36804 199 0 0 25 0 1 0 840301194 474939392 112939 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115952 112939 1111 63 0 115889 0
vsize: 463808
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 116088 0 0 0 37799 205 0 0 25 0 1 0 840301194 487481344 116008 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119014 116008 1111 63 0 118951 0
vsize: 476056
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 119188 0 0 0 38794 210 0 0 25 0 1 0 840301194 500174848 119108 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122113 119108 1111 63 0 122050 0
vsize: 488452
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 122281 0 0 0 39788 216 0 0 25 0 1 0 840301194 512864256 122201 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125211 122201 1111 63 0 125148 0
vsize: 500844
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 125386 0 0 0 40784 221 0 0 25 0 1 0 840301194 525553664 125306 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128309 125306 1111 63 0 128246 0
vsize: 513236
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 128499 0 0 0 41779 226 0 0 25 0 1 0 840301194 538247168 128419 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131408 128419 1111 63 0 131345 0
vsize: 525632
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 131561 0 0 0 42774 231 0 0 25 0 1 0 840301194 550789120 131481 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134470 131481 1111 63 0 134407 0
vsize: 537880
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 134655 0 0 0 43768 237 0 0 25 0 1 0 840301194 563478528 134575 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137568 134575 1111 63 0 137505 0
vsize: 550272
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 137748 0 0 0 44763 243 0 0 25 0 1 0 840301194 576167936 137668 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140666 137668 1111 63 0 140603 0
vsize: 562664
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 140866 0 0 0 45758 247 0 0 25 0 1 0 840301194 588861440 140786 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143765 140786 1111 63 0 143702 0
vsize: 575060
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 143989 0 0 0 46753 253 0 0 25 0 1 0 840301194 601698304 143909 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146899 143909 1111 63 0 146836 0
vsize: 587596
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 147095 0 0 0 47747 259 0 0 25 0 1 0 840301194 614391808 147015 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149998 147015 1111 63 0 149935 0
vsize: 599992
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 150218 0 0 0 48742 264 0 0 25 0 1 0 840301194 627232768 150138 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153133 150138 1111 63 0 153070 0
vsize: 612532
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 153318 0 0 0 49736 270 0 0 25 0 1 0 840301194 639922176 153238 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156231 153238 1111 63 0 156168 0
vsize: 624924
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 156453 0 0 0 50731 275 0 0 25 0 1 0 840301194 652763136 156373 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159366 156373 1111 63 0 159303 0
vsize: 637464
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 159608 0 0 0 51726 280 0 0 25 0 1 0 840301194 665604096 159528 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162501 159528 1111 63 0 162438 0
vsize: 650004
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 162755 0 0 0 52721 285 0 0 25 0 1 0 840301194 678592512 162675 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165672 162675 1111 63 0 165609 0
vsize: 662688
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 165922 0 0 0 53715 291 0 0 25 0 1 0 840301194 691580928 165842 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168843 165842 1111 63 0 168780 0
vsize: 675372
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 169093 0 0 0 54710 297 0 0 25 0 1 0 840301194 704569344 169013 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172014 169013 1111 63 0 171951 0
vsize: 688056
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 172278 0 0 0 55704 303 0 0 25 0 1 0 840301194 717557760 172198 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175185 172198 1111 63 0 175122 0
vsize: 700740
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 175456 0 0 0 56699 308 0 0 25 0 1 0 840301194 730546176 175376 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178356 175376 1111 63 0 178293 0
vsize: 713424
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 178617 0 0 0 57693 315 0 0 25 0 1 0 840301194 743538688 178537 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181528 178537 1111 63 0 181465 0
vsize: 726112
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 181824 0 0 0 58687 321 0 0 25 0 1 0 840301194 756674560 181744 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184735 181744 1111 63 0 184672 0
vsize: 738940
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 185040 0 0 0 59681 326 0 0 25 0 1 0 840301194 769814528 184960 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187943 184960 1111 63 0 187880 0
vsize: 751772
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 188217 0 0 0 60675 333 0 0 25 0 1 0 840301194 782802944 188137 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191114 188137 1111 63 0 191051 0
vsize: 764456
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 191488 0 0 0 61669 339 0 0 25 0 1 0 840301194 796246016 191408 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194396 191408 1111 63 0 194333 0
vsize: 777584
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 194811 0 0 0 62660 348 0 0 25 0 1 0 840301194 809832448 194731 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197713 194731 1111 63 0 197650 0
vsize: 790852
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 198204 0 0 0 63653 356 0 0 25 0 1 0 840301194 823926784 198124 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201154 198124 1111 63 0 201091 0
vsize: 804616
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 201535 0 0 0 64646 362 0 0 25 0 1 0 840301194 837664768 201442 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204508 201442 1111 63 0 204445 0
vsize: 818032
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 205023 0 0 0 65638 371 0 0 25 0 1 0 840301194 851849216 204834 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207971 204834 1111 63 0 207908 0
vsize: 831884
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 208542 0 0 0 66629 380 0 0 25 0 1 0 840301194 866332672 208161 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211507 208161 1111 63 0 211444 0
vsize: 846028
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 212071 0 0 0 67622 388 0 0 25 0 1 0 840301194 880812032 211434 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215042 211434 1111 63 0 214979 0
vsize: 860168
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 215676 0 0 0 68616 395 0 0 25 0 1 0 840301194 895447040 214527 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218615 214527 1111 63 0 218552 0
vsize: 874460
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 219261 0 0 0 69609 404 0 0 25 0 1 0 840301194 910225408 217568 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222223 217568 1111 63 0 222160 0
vsize: 888892
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 222841 0 0 0 70601 412 0 0 25 0 1 0 840301194 924860416 220572 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225796 220572 1111 63 0 225733 0
vsize: 903184
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 226457 0 0 0 71591 421 0 0 25 0 1 0 840301194 939638784 223548 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229404 223548 1111 63 0 229341 0
vsize: 917616
[startup+723.432 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14008
Raw data (stat): 14006 (bsolo_lpr-v2) R 14005 8378 8377 0 -1 0 226457 0 0 0 71591 421 0 0 25 0 1 0 840301194 939638784 223548 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229404 223548 1111 63 0 229341 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 723.432
CPU time (s): 723.533
CPU user time (s): 718.868
CPU system time (s): 4.66529
CPU usage (%): 100.014
Max. virtual memory (Kb): 917616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####