PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb
MD5SUM	75acdcffdd43b3d3a30d0459a6bffe45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6106
Optimality of the best value was proved	NO
Number of terms in the objective function	6774
Biggest coefficient in the objective function	4804
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	6613094
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	4804
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	6613094
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.21
Number of variables	6774
Total number of constraints	6824
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6824
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3729
Trace number 40261

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 05:15:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28323 boxname=wulflinc6 idbench=1279 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air02.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air02.opb
IDLAUNCH: 28323
/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:        558096 kB
Buffers:         26676 kB
Cached:         428040 kB
SwapCached:       1020 kB
Active:          35696 kB
Inactive:       421100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        557844 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14104 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:28:29 (client local time) WITH STATUS 0 IN 782.727 SECONDS
stats: 28323 7 782.727 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6774 variables and 100 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.82 0.91 0.90 2/54 26036
Raw data (stat): 26036 (runsolver) R 26035 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899036040 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.85 0.91 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 41979 0 0 0 913 84 0 0 25 0 1 0 899036040 185024512 41899 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45172 41899 1111 63 0 45109 0
vsize: 180688
[startup+20.0023 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 42862 0 0 0 1911 86 0 0 25 0 1 0 899036040 188555264 42782 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46034 42782 1111 63 0 45971 0
vsize: 184136
[startup+30.0035 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 43680 0 0 0 2909 88 0 0 25 0 1 0 899036040 192098304 43600 4294967295 134512640 134716908 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46899 43600 1111 63 0 46836 0
vsize: 187596
[startup+40.0036 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 46290 0 0 0 3904 94 0 0 25 0 1 0 899036040 192905216 46176 4294967295 134512640 134716908 3221224576 3221223056 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47096 46176 1111 63 0 47033 0
vsize: 188384
[startup+50.0042 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 49261 0 0 0 4897 101 0 0 25 0 1 0 899036040 205074432 49147 4294967295 134512640 134716908 3221224576 3221223136 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50067 49147 1111 63 0 50004 0
vsize: 200268
[startup+60.0047 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 52116 0 0 0 5891 107 0 0 25 0 1 0 899036040 216838144 52002 4294967295 134512640 134716908 3221224576 3221222976 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52939 52002 1111 63 0 52876 0
vsize: 211756
[startup+70.006 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 55062 0 0 0 6886 112 0 0 25 0 1 0 899036040 228876288 54948 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55878 54948 1111 63 0 55815 0
vsize: 223512
[startup+80.007 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 57966 0 0 0 7880 118 0 0 25 0 1 0 899036040 240775168 57852 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58783 57852 1111 63 0 58720 0
vsize: 235132
[startup+90.0072 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 60813 0 0 0 8877 122 0 0 25 0 1 0 899036040 252403712 60699 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61622 60699 1111 63 0 61559 0
vsize: 246488
[startup+100.007 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 63656 0 0 0 9871 129 0 0 25 0 1 0 899036040 264032256 63542 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64461 63542 1111 63 0 64398 0
vsize: 257844
[startup+110.008 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 66512 0 0 0 10866 133 0 0 25 0 1 0 899036040 275800064 66398 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67334 66398 1111 63 0 67271 0
vsize: 269336
[startup+120.009 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 69370 0 0 0 11862 138 0 0 25 0 1 0 899036040 287428608 69256 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70173 69256 1111 63 0 70110 0
vsize: 280692
[startup+130.008 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 72274 0 0 0 12857 143 0 0 25 0 1 0 899036040 299327488 72160 4294967295 134512640 134716908 3221224576 3221223200 134529003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73078 72160 1111 63 0 73015 0
vsize: 292312
[startup+140.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 75083 0 0 0 13853 148 0 0 25 0 1 0 899036040 310820864 74969 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75884 74969 1111 63 0 75821 0
vsize: 303536
[startup+150.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 77865 0 0 0 14848 153 0 0 25 0 1 0 899036040 322183168 77751 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78658 77751 1111 63 0 78595 0
vsize: 314632
[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 80717 0 0 0 15841 160 0 0 25 0 1 0 899036040 333946880 80603 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81530 80603 1111 63 0 81467 0
vsize: 326120
[startup+170.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 83545 0 0 0 16837 165 0 0 25 0 1 0 899036040 345440256 83431 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84336 83431 1111 63 0 84273 0
vsize: 337344
[startup+180.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 86264 0 0 0 17832 170 0 0 25 0 1 0 899036040 356663296 86150 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87076 86150 1111 63 0 87013 0
vsize: 348304
[startup+190.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 89003 0 0 0 18827 176 0 0 25 0 1 0 899036040 367886336 88889 4294967295 134512640 134716908 3221224576 3221222976 134542753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89816 88889 1111 63 0 89753 0
vsize: 359264
[startup+200.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 91780 0 0 0 19822 181 0 0 25 0 1 0 899036040 379248640 91666 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92590 91666 1111 63 0 92527 0
vsize: 370360
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 94548 0 0 0 20818 186 0 0 25 0 1 0 899036040 390606848 94434 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95363 94434 1111 63 0 95300 0
vsize: 381452
[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 97291 0 0 0 21812 192 0 0 25 0 1 0 899036040 401829888 97177 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98103 97177 1111 63 0 98040 0
vsize: 392412
[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 100027 0 0 0 22808 196 0 0 25 0 1 0 899036040 413052928 99913 4294967295 134512640 134716908 3221224576 3221222976 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100843 99913 1111 63 0 100780 0
vsize: 403372
[startup+240.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 102800 0 0 0 23803 201 0 0 25 0 1 0 899036040 424411136 102686 4294967295 134512640 134716908 3221224576 3221222960 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103616 102686 1111 63 0 103553 0
vsize: 414464
[startup+250.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 105565 0 0 0 24798 207 0 0 25 0 1 0 899036040 435638272 105451 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106357 105451 1111 63 0 106294 0
vsize: 425428
[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 108224 0 0 0 25794 212 0 0 25 0 1 0 899036040 446590976 108110 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109031 108110 1111 63 0 108968 0
vsize: 436124
[startup+270.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 110950 0 0 0 26788 218 0 0 25 0 1 0 899036040 457814016 110836 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111771 110839 1111 63 0 111708 0
vsize: 447084
[startup+280.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 113538 0 0 0 27782 224 0 0 25 0 1 0 899036040 468361216 113424 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114346 113424 1111 63 0 114283 0
vsize: 457384
[startup+290.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 116108 0 0 0 28778 228 0 0 25 0 1 0 899036040 478908416 115994 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116921 115994 1111 63 0 116858 0
vsize: 467684
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 118759 0 0 0 29774 233 0 0 25 0 1 0 899036040 489725952 118645 4294967295 134512640 134716908 3221224576 3221222956 134539256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119562 118645 1111 63 0 119499 0
vsize: 478248
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 121379 0 0 0 30771 237 0 0 25 0 1 0 899036040 500408320 121265 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122170 121265 1111 63 0 122107 0
vsize: 488680
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 123922 0 0 0 31767 241 0 0 25 0 1 0 899036040 510820352 123808 4294967295 134512640 134716908 3221224576 3221222952 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124745 123810 1111 63 0 124682 0
vsize: 498848
[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 126552 0 0 0 32762 246 0 0 25 0 1 0 899036040 521641984 126438 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127354 126438 1111 63 0 127291 0
vsize: 509416
[startup+340.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 129106 0 0 0 33757 252 0 0 25 0 1 0 899036040 532054016 128992 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129896 128992 1111 63 0 129833 0
vsize: 519584
[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 131650 0 0 0 34752 257 0 0 25 0 1 0 899036040 542601216 131536 4294967295 134512640 134716908 3221224576 3221223056 134539385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132471 131536 1111 63 0 132408 0
vsize: 529884
[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 134189 0 0 0 35747 262 0 0 25 0 1 0 899036040 552878080 134075 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134980 134075 1111 63 0 134917 0
vsize: 539920
[startup+370.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 136664 0 0 0 36743 266 0 0 25 0 1 0 899036040 563019776 136550 4294967295 134512640 134716908 3221224576 3221223064 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137456 136550 1111 63 0 137393 0
vsize: 549824
[startup+380.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 139033 0 0 0 37739 270 0 0 25 0 1 0 899036040 572755968 138919 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139833 138919 1111 63 0 139770 0
vsize: 559332
[startup+390.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 141417 0 0 0 38735 274 0 0 25 0 1 0 899036040 582492160 141303 4294967295 134512640 134716908 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142210 141303 1111 63 0 142147 0
vsize: 568840
[startup+400.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 143916 0 0 0 39730 278 0 0 25 0 1 0 899036040 592769024 143802 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144719 143802 1111 63 0 144656 0
vsize: 578876
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 146446 0 0 0 40724 283 0 0 25 0 1 0 899036040 603181056 146332 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147261 146332 1111 63 0 147198 0
vsize: 589044
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 148864 0 0 0 41719 287 0 0 25 0 1 0 899036040 613052416 148750 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149671 148750 1111 63 0 149608 0
vsize: 598684
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 151370 0 0 0 42714 292 0 0 25 0 1 0 899036040 623329280 151256 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152180 151256 1111 63 0 152117 0
vsize: 608720
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 153889 0 0 0 43708 297 0 0 25 0 1 0 899036040 633606144 153775 4294967295 134512640 134716908 3221224576 3221223064 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154689 153775 1111 63 0 154626 0
vsize: 618756
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 156352 0 0 0 44703 301 0 0 25 0 1 0 899036040 643751936 156238 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157166 156240 1111 63 0 157103 0
vsize: 628664
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 158793 0 0 0 45698 306 0 0 25 0 1 0 899036040 653758464 158679 4294967295 134512640 134716908 3221224576 3221223436 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159609 158679 1111 63 0 159546 0
vsize: 638436
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 161179 0 0 0 46693 310 0 0 25 0 1 0 899036040 663494656 161065 4294967295 134512640 134716908 3221224576 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161986 161068 1111 63 0 161923 0
vsize: 647944
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 163498 0 0 0 47688 315 0 0 25 0 1 0 899036040 672960512 163384 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164297 163384 1111 63 0 164234 0
vsize: 657188
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 165810 0 0 0 48683 319 0 0 25 0 1 0 899036040 682426368 165696 4294967295 134512640 134716908 3221224576 3221223088 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166608 165696 1111 63 0 166545 0
vsize: 666432
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 168075 0 0 0 49680 324 0 0 25 0 1 0 899036040 691757056 167961 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168886 167961 1111 63 0 168823 0
vsize: 675544
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 170284 0 0 0 50675 329 0 0 25 0 1 0 899036040 700817408 170170 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171098 170170 1111 63 0 171035 0
vsize: 684392
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 172558 0 0 0 51669 335 0 0 25 0 1 0 899036040 710148096 172444 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173376 172444 1111 63 0 173313 0
vsize: 693504
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 174752 0 0 0 52666 338 0 0 25 0 1 0 899036040 719073280 174638 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175555 174638 1111 63 0 175492 0
vsize: 702220
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 177114 0 0 0 53663 342 0 0 25 0 1 0 899036040 728809472 177000 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177932 177000 1111 63 0 177869 0
vsize: 711728
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 179507 0 0 0 54659 346 0 0 25 0 1 0 899036040 738545664 179393 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180309 179395 1111 63 0 180246 0
vsize: 721236
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 181800 0 0 0 55655 351 0 0 25 0 1 0 899036040 748011520 181686 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182620 181686 1111 63 0 182557 0
vsize: 730480
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 184081 0 0 0 56651 355 0 0 25 0 1 0 899036040 757342208 183967 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184898 183967 1111 63 0 184835 0
vsize: 739592
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 186417 0 0 0 57647 359 0 0 25 0 1 0 899036040 766808064 186303 4294967295 134512640 134716908 3221224576 3221223112 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187209 186303 1111 63 0 187146 0
vsize: 748836
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 188685 0 0 0 58643 364 0 0 25 0 1 0 899036040 776138752 188571 4294967295 134512640 134716908 3221224576 3221223196 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189487 188571 1111 63 0 189424 0
vsize: 757948
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 190918 0 0 0 59639 368 0 0 25 0 1 0 899036040 785334272 190804 4294967295 134512640 134716908 3221224576 3221222956 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191732 190804 1111 63 0 191669 0
vsize: 766928
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 193141 0 0 0 60636 372 0 0 25 0 1 0 899036040 794394624 193027 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193944 193027 1111 63 0 193881 0
vsize: 775776
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 195425 0 0 0 61631 376 0 0 25 0 1 0 899036040 803725312 195311 4294967295 134512640 134716908 3221224576 3221223192 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196222 195311 1111 63 0 196159 0
vsize: 784888
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 197612 0 0 0 62628 381 0 0 25 0 1 0 899036040 812781568 197498 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198433 197498 1111 63 0 198370 0
vsize: 793732
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 199804 0 0 0 63625 384 0 0 25 0 1 0 899036040 821706752 199690 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200612 199690 1111 63 0 200549 0
vsize: 802448
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 202020 0 0 0 64620 389 0 0 25 0 1 0 899036040 830767104 201906 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202824 201906 1111 63 0 202761 0
vsize: 811296
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 204166 0 0 0 65615 395 0 0 25 0 1 0 899036040 839557120 204052 4294967295 134512640 134716908 3221224576 3221223084 134539344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204970 204052 1111 63 0 204907 0
vsize: 819880
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 206262 0 0 0 66610 399 0 0 25 0 1 0 899036040 848211968 206116 4294967295 134512640 134716908 3221224576 3221223092 134543731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207083 206116 1111 63 0 207020 0
vsize: 828332
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 208400 0 0 0 67606 405 0 0 25 0 1 0 899036040 856866816 208193 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209196 208193 1111 63 0 209133 0
vsize: 836784
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 210434 0 1 0 68600 409 0 0 25 0 1 0 899036040 865251328 210197 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211243 210197 1111 63 0 211180 0
vsize: 844972
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 212538 0 4 0 69594 414 0 0 25 0 1 0 899036040 873906176 212178 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213356 212178 1111 63 0 213293 0
vsize: 853424
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 214645 0 5 0 70587 421 0 0 25 0 1 0 899036040 882425856 214126 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215436 214126 1111 63 0 215373 0
vsize: 861744
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 216720 0 7 0 71581 425 0 0 25 0 1 0 899036040 890945536 216013 4294967295 134512640 134716908 3221224576 3221222976 134542794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217516 216013 1111 63 0 217453 0
vsize: 870064
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 218851 0 10 0 72573 430 0 0 25 0 1 0 899036040 899735552 217925 4294967295 134512640 134716908 3221224576 3221223092 134542962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219662 217925 1111 63 0 219599 0
vsize: 878648
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 220914 0 22 0 73558 434 0 0 25 0 1 0 899036040 908120064 219650 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221709 219650 1111 63 0 221646 0
vsize: 886836
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 223005 0 26 0 74548 439 0 0 25 0 1 0 899036040 916635648 221492 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223788 221492 1111 63 0 223725 0
vsize: 895152
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 225104 0 35 0 75534 445 0 0 25 0 1 0 899036040 925155328 223371 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225868 223371 1111 63 0 225805 0
vsize: 903472
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 227090 0 60 0 76502 452 0 0 25 0 1 0 899036040 933269504 225010 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227849 225010 1111 63 0 227786 0
vsize: 911396
[startup+780.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 229059 0 71 0 77482 459 0 0 25 0 1 0 899036040 941248512 226769 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229797 226769 1111 63 0 229734 0
vsize: 919188
[startup+783.432 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 26036
Raw data (stat): 26036 (bsolo_lpr-v2) R 26035 25568 25567 0 -1 0 229059 0 71 0 77482 459 0 0 25 0 1 0 899036040 941248512 226769 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229797 226769 1111 63 0 229734 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 783.432
CPU time (s): 782.727
CPU user time (s): 777.69
CPU system time (s): 5.03723
CPU usage (%): 99.9101
Max. virtual memory (Kb): 919188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####