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/miplib3/normalized-mps-v2-13-7-air03.opb
MD5SUM	69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199224
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.13
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861

Trace number 27154

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 19:45:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18149 boxname=wulflinc28 idbench=1397 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 18149
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        912676 kB
Buffers:          4964 kB
Cached:          94964 kB
SwapCached:       1052 kB
Active:          20844 kB
Inactive:        81656 kB
HighTotal:      131008 kB
HighFree:        34132 kB
LowTotal:       903652 kB
LowFree:        878544 kB
SwapTotal:     2097640 kB
SwapFree:      2096188 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13708 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:55:54 (client local time) WITH STATUS 0 IN 634.248 SECONDS
stats: 18149 7 634.248 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 28364
Raw data (stat): 28364 (runsolver) R 28363 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832867273 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 30438 0 0 0 936 61 0 0 25 0 1 0 832867273 137637888 30362 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33603 30362 1111 63 0 33540 0
vsize: 134412
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 59908 0 0 0 1888 109 0 0 25 0 1 0 832867273 258457600 59832 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63100 59835 1111 63 0 63037 0
vsize: 252400
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 66681 0 0 0 2875 122 0 0 25 0 1 0 832867273 286117888 66605 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69853 66605 1111 63 0 69790 0
vsize: 279412
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 67364 0 0 0 3873 124 0 0 25 0 1 0 832867273 288960512 67288 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70547 67288 1111 63 0 70484 0
vsize: 282188
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 67958 0 0 0 4871 126 0 0 25 0 1 0 832867273 291405824 67882 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71144 67882 1111 63 0 71081 0
vsize: 284576
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 68550 0 0 0 5870 127 0 0 25 0 1 0 832867273 293912576 68474 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71756 68474 1111 63 0 71693 0
vsize: 287024
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 69119 0 0 0 6868 129 0 0 25 0 1 0 832867273 296386560 69043 4294967295 134512640 134714508 3221224592 3221221212 1077254284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72360 69043 1111 63 0 72297 0
vsize: 289440
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 72104 0 0 0 7863 135 0 0 25 0 1 0 832867273 298897408 71971 4294967295 134512640 134714508 3221224592 3221223072 134536600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72973 71971 1111 63 0 72910 0
vsize: 291892
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 75228 0 0 0 8857 140 0 0 25 0 1 0 832867273 311611392 75095 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76077 75095 1111 63 0 76014 0
vsize: 304308
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 78339 0 0 0 9851 146 0 0 25 0 1 0 832867273 324456448 78206 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79213 78206 1111 63 0 79150 0
vsize: 316852
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 81374 0 0 0 10846 152 0 0 25 0 1 0 832867273 336760832 81241 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82217 81241 1111 63 0 82154 0
vsize: 328868
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 84374 0 0 0 11841 157 0 0 25 0 1 0 832867273 349065216 84241 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85221 84241 1111 63 0 85158 0
vsize: 340884
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 87461 0 0 0 12835 163 0 0 25 0 1 0 832867273 361779200 87328 4294967295 134512640 134714508 3221224592 3221223104 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88325 87328 1111 63 0 88262 0
vsize: 353300
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 90617 0 0 0 13829 169 0 0 25 0 1 0 832867273 374624256 90484 4294967295 134512640 134714508 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91461 90484 1111 63 0 91398 0
vsize: 365844
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 93657 0 0 0 14824 175 0 0 25 0 1 0 832867273 387198976 93524 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94531 93524 1111 63 0 94468 0
vsize: 378124
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 96749 0 0 0 15818 181 0 0 25 0 1 0 832867273 399777792 96616 4294967295 134512640 134714508 3221224592 3221222992 134542794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97602 96616 1111 63 0 97539 0
vsize: 390408
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 99752 0 0 0 16813 186 0 0 25 0 1 0 832867273 412082176 99619 4294967295 134512640 134714508 3221224592 3221222992 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100606 99619 1111 63 0 100543 0
vsize: 402424
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 102769 0 0 0 17808 191 0 0 25 0 1 0 832867273 424390656 102636 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103644 102639 1111 63 0 103581 0
vsize: 414444
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 105831 0 0 0 18804 195 0 0 25 0 1 0 832867273 436965376 105698 4294967295 134512640 134714508 3221224592 3221223036 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106681 105698 1111 63 0 106618 0
vsize: 426724
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 108791 0 0 0 19799 200 0 0 25 0 1 0 832867273 449134592 108658 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109652 108658 1111 63 0 109589 0
vsize: 438608
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 111781 0 0 0 20793 206 0 0 25 0 1 0 832867273 461303808 111648 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112623 111648 1111 63 0 112560 0
vsize: 450492
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 114744 0 0 0 21788 212 0 0 25 0 1 0 832867273 473477120 114611 4294967295 134512640 134714508 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115595 114611 1111 63 0 115532 0
vsize: 462380
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 117731 0 0 0 22782 218 0 0 25 0 1 0 832867273 485781504 117598 4294967295 134512640 134714508 3221224592 3221222968 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118599 117599 1111 63 0 118536 0
vsize: 474396
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 120730 0 0 0 23776 224 0 0 25 0 1 0 832867273 498085888 120597 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121603 120597 1111 63 0 121540 0
vsize: 486412
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 123701 0 0 0 24772 229 0 0 25 0 1 0 832867273 510259200 123568 4294967295 134512640 134714508 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124575 123568 1111 63 0 124512 0
vsize: 498300
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 126570 0 0 0 25767 234 0 0 25 0 1 0 832867273 521887744 126437 4294967295 134512640 134714508 3221224592 3221222976 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127414 126437 1111 63 0 127351 0
vsize: 509656
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 129486 0 0 0 26762 239 0 0 25 0 1 0 832867273 533921792 129353 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130352 129353 1111 63 0 130289 0
vsize: 521408
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 132395 0 0 0 27756 244 0 0 25 0 1 0 832867273 545820672 132262 4294967295 134512640 134714508 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133257 132262 1111 63 0 133194 0
vsize: 533028
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 135364 0 0 0 28752 250 0 0 25 0 1 0 832867273 557993984 135231 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136229 135231 1111 63 0 136166 0
vsize: 544916
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 138308 0 0 0 29747 254 0 0 25 0 1 0 832867273 570028032 138175 4294967295 134512640 134714508 3221224592 3221223036 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139167 138175 1111 63 0 139104 0
vsize: 556668
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 141187 0 0 0 30742 259 0 0 25 0 1 0 832867273 581791744 141054 4294967295 134512640 134714508 3221224592 3221223088 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142039 141054 1111 63 0 141976 0
vsize: 568156
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 144049 0 0 0 31738 264 0 0 25 0 1 0 832867273 593555456 143916 4294967295 134512640 134714508 3221224592 3221223056 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144911 143916 1111 63 0 144848 0
vsize: 579644
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 146958 0 0 0 32733 269 0 0 25 0 1 0 832867273 605458432 146825 4294967295 134512640 134714508 3221224592 3221223084 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147817 146825 1111 63 0 147754 0
vsize: 591268
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 149814 0 0 0 33726 276 0 0 25 0 1 0 832867273 617086976 149681 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150656 149681 1111 63 0 150593 0
vsize: 602624
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 152681 0 0 0 34721 281 0 0 25 0 1 0 832867273 628850688 152548 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153528 152548 1111 63 0 153465 0
vsize: 614112
[startup+360.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 155530 0 0 0 35715 287 0 0 25 0 1 0 832867273 640614400 155397 4294967295 134512640 134714508 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156400 155397 1111 63 0 156337 0
vsize: 625600
[startup+370.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 158381 0 0 0 36709 293 0 0 25 0 1 0 832867273 652247040 158248 4294967295 134512640 134714508 3221224592 3221223008 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159240 158248 1111 63 0 159177 0
vsize: 636960
[startup+380.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 161195 0 0 0 37704 298 0 0 25 0 1 0 832867273 663740416 161062 4294967295 134512640 134714508 3221224592 3221223064 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162046 161062 1111 63 0 161983 0
vsize: 648184
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 164011 0 0 0 38699 304 0 0 25 0 1 0 832867273 675368960 163878 4294967295 134512640 134714508 3221224592 3221223176 134535691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164885 163878 1111 63 0 164822 0
vsize: 659540
[startup+400.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 166809 0 0 0 39693 310 0 0 25 0 1 0 832867273 686727168 166676 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167658 166676 1111 63 0 167595 0
vsize: 670632
[startup+410.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 169643 0 0 0 40688 315 0 0 25 0 1 0 832867273 698359808 169510 4294967295 134512640 134714508 3221224592 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170498 169510 1111 63 0 170435 0
vsize: 681992
[startup+420.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 172435 0 0 0 41683 320 0 0 25 0 1 0 832867273 709853184 172302 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173304 172302 1111 63 0 173241 0
vsize: 693216
[startup+430.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 175218 0 0 0 42678 325 0 0 25 0 1 0 832867273 721211392 175085 4294967295 134512640 134714508 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176077 175085 1111 63 0 176014 0
vsize: 704308
[startup+440.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 178000 0 0 0 43673 331 0 0 25 0 1 0 832867273 732569600 177867 4294967295 134512640 134714508 3221224592 3221222956 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178850 177867 1111 63 0 178787 0
vsize: 715400
[startup+450.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 180819 0 0 0 44669 335 0 0 25 0 1 0 832867273 744198144 180686 4294967295 134512640 134714508 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181689 180686 1111 63 0 181626 0
vsize: 726756
[startup+460.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 183546 0 0 0 45664 341 0 0 25 0 1 0 832867273 755290112 183413 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184397 183413 1111 63 0 184334 0
vsize: 737588
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 186315 0 0 0 46659 345 0 0 25 0 1 0 832867273 766648320 186182 4294967295 134512640 134714508 3221224592 3221223216 134594954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187170 186182 1111 63 0 187107 0
vsize: 748680
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 189035 0 0 0 47654 350 0 0 25 0 1 0 832867273 777736192 188902 4294967295 134512640 134714508 3221224592 3221223088 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189877 188902 1111 63 0 189814 0
vsize: 759508
[startup+490.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 191733 0 0 0 48649 356 0 0 25 0 1 0 832867273 788824064 191600 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192584 191600 1111 63 0 192521 0
vsize: 770336
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 194429 0 0 0 49644 361 0 0 25 0 1 0 832867273 799911936 194296 4294967295 134512640 134714508 3221224592 3221223072 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195291 194296 1111 63 0 195228 0
vsize: 781164
[startup+510.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 197143 0 0 0 50640 365 0 0 25 0 1 0 832867273 811003904 197010 4294967295 134512640 134714508 3221224592 3221222956 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197999 197010 1111 63 0 197936 0
vsize: 791996
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 199852 0 0 0 51635 370 0 0 25 0 1 0 832867273 822091776 199719 4294967295 134512640 134714508 3221224592 3221223072 134539385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200706 199719 1111 63 0 200643 0
vsize: 802824
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 202512 0 0 0 52630 375 0 0 25 0 1 0 832867273 833044480 202379 4294967295 134512640 134714508 3221224592 3221223208 134536913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203380 202379 1111 63 0 203317 0
vsize: 813520
[startup+540.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 205144 0 0 0 53625 380 0 0 25 0 1 0 832867273 843726848 205011 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205988 205011 1111 63 0 205925 0
vsize: 823952
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 207759 0 0 0 54621 385 0 0 25 0 1 0 832867273 854544384 207626 4294967295 134512640 134714508 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208629 207626 1111 63 0 208566 0
vsize: 834516
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 210397 0 0 0 55617 389 0 0 25 0 1 0 832867273 865361920 210264 4294967295 134512640 134714508 3221224592 3221223136 134584805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211270 210264 1111 63 0 211207 0
vsize: 845080
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 213058 0 0 0 56612 394 0 0 25 0 1 0 832867273 876179456 212925 4294967295 134512640 134714508 3221224592 3221223100 134539583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213911 212925 1111 63 0 213848 0
vsize: 855644
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 215669 0 0 0 57608 398 0 0 25 0 1 0 832867273 886865920 215536 4294967295 134512640 134714508 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216520 215536 1111 63 0 216457 0
vsize: 866080
[startup+590.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 218252 0 0 0 58605 402 0 0 25 0 1 0 832867273 897413120 218119 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219095 218119 1111 63 0 219032 0
vsize: 876380
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 220896 0 0 0 59600 407 0 0 25 0 1 0 832867273 908365824 220763 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221769 220763 1111 63 0 221706 0
vsize: 887076
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 223481 0 0 0 60596 411 0 0 25 0 1 0 832867273 918913024 223348 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224344 223348 1111 63 0 224281 0
vsize: 897376
[startup+620.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 226092 0 0 0 61592 416 0 0 25 0 1 0 832867273 929595392 225959 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226952 225959 1111 63 0 226889 0
vsize: 907808
[startup+630.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 228633 0 2 0 62583 423 0 0 25 0 1 0 832867273 940007424 227674 4294967295 134512640 134714508 3221224592 3221223148 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229494 227674 1111 63 0 229431 0
vsize: 917976
[startup+634.237 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 28364
Raw data (stat): 28364 (bsolo_lpr) R 28363 24821 24820 0 -1 0 228633 0 2 0 62583 423 0 0 25 0 1 0 832867273 940007424 227674 4294967295 134512640 134714508 3221224592 3221223148 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229494 227674 1111 63 0 229431 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 634.236
CPU time (s): 634.248
CPU user time (s): 629.556
CPU system time (s): 4.69129
CPU usage (%): 100.002
Max. virtual memory (Kb): 917976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####