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/miplib/normalized-mps-v2-20-10-air03.opb
MD5SUM	45da6faf70c895e4acc43dda6a83b925
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	205255
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.14
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 28716

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 03:52:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11636 boxname=wulflinc15 idbench=896 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 11636
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        926340 kB
Buffers:         11024 kB
Cached:          75208 kB
SwapCached:        672 kB
Active:          28064 kB
Inactive:        60316 kB
HighTotal:      131008 kB
HighFree:        73920 kB
LowTotal:       903652 kB
LowFree:        852420 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14324 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:03:17 (client local time) WITH STATUS 0 IN 633.603 SECONDS
stats: 11636 7 633.603 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.95 0.96 2/54 3498
Raw data (stat): 3498 (runsolver) R 3497 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777558329 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9998 s]
Raw data (loadavg): 0.93 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 29130 0 0 0 941 56 0 0 25 0 1 0 777558329 132259840 29054 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32326 29059 1111 63 0 32263 0
vsize: 129160
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 58293 0 0 0 1891 106 0 0 25 0 1 0 777558329 251736064 58217 4294967295 134512640 134714508 3221224592 3221222944 134567802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61459 58217 1111 63 0 61396 0
vsize: 245836
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 66633 0 0 0 2877 120 0 0 25 0 1 0 777558329 285982720 66557 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69820 66557 1111 63 0 69757 0
vsize: 279280
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 67312 0 0 0 3874 122 0 0 25 0 1 0 777558329 288690176 67236 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70481 67236 1111 63 0 70418 0
vsize: 281924
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 67931 0 0 0 4872 124 0 0 25 0 1 0 777558329 291270656 67855 4294967295 134512640 134714508 3221224592 3221222864 134566627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71111 67855 1111 63 0 71048 0
vsize: 284444
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 68538 0 0 0 5871 126 0 0 25 0 1 0 777558329 293912576 68462 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71756 68462 1111 63 0 71693 0
vsize: 287024
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 69114 0 0 0 6869 127 0 0 25 0 1 0 777558329 296386560 69038 4294967295 134512640 134714508 3221224592 3221222896 134568123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72360 69038 1111 63 0 72297 0
vsize: 289440
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 72063 0 0 0 7863 133 0 0 25 0 1 0 777558329 298627072 71930 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72907 71930 1111 63 0 72844 0
vsize: 291628
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 75228 0 0 0 8859 138 0 0 25 0 1 0 777558329 311611392 75095 4294967295 134512640 134714508 3221224592 3221223208 134543804 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.004 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 78338 0 0 0 9853 144 0 0 25 0 1 0 777558329 324456448 78205 4294967295 134512640 134714508 3221224592 3221222972 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79213 78205 1111 63 0 79150 0
vsize: 316852
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 81468 0 0 0 10847 150 0 0 25 0 1 0 777558329 337166336 81335 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82316 81335 1111 63 0 82253 0
vsize: 329264
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 84374 0 0 0 11842 155 0 0 25 0 1 0 777558329 349065216 84241 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85221 84241 1111 63 0 85158 0
vsize: 340884
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 87461 0 0 0 12836 161 0 0 25 0 1 0 777558329 361779200 87328 4294967295 134512640 134714508 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88325 87328 1111 63 0 88262 0
vsize: 353300
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 90617 0 0 0 13830 167 0 0 25 0 1 0 777558329 374624256 90484 4294967295 134512640 134714508 3221224592 3221223160 134535787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91461 90484 1111 63 0 91398 0
vsize: 365844
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 93657 0 0 0 14824 173 0 0 25 0 1 0 777558329 387198976 93524 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94531 93524 1111 63 0 94468 0
vsize: 378124
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 96838 0 0 0 15818 179 0 0 25 0 1 0 777558329 400183296 96705 4294967295 134512640 134714508 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97701 96705 1111 63 0 97638 0
vsize: 390804
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 99809 0 0 0 16813 185 0 0 25 0 1 0 777558329 412352512 99676 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100672 99676 1111 63 0 100609 0
vsize: 402688
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 102832 0 0 0 17808 190 0 0 25 0 1 0 777558329 424660992 102699 4294967295 134512640 134714508 3221224592 3221223232 134594944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103677 102699 1111 63 0 103614 0
vsize: 414708
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 105882 0 0 0 18802 197 0 0 25 0 1 0 777558329 437235712 105749 4294967295 134512640 134714508 3221224592 3221223216 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105749 1111 63 0 106684 0
vsize: 426988
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 108819 0 0 0 19797 202 0 0 25 0 1 0 777558329 449269760 108686 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109685 108686 1111 63 0 109622 0
vsize: 438740
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 111781 0 0 0 20792 207 0 0 25 0 1 0 777558329 461303808 111648 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112623 111648 1111 63 0 112560 0
vsize: 450492
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 114857 0 0 0 21787 213 0 0 25 0 1 0 777558329 474017792 114724 4294967295 134512640 134714508 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115727 114724 1111 63 0 115664 0
vsize: 462908
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 117800 0 0 0 22781 218 0 0 25 0 1 0 777558329 486051840 117667 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118665 117667 1111 63 0 118602 0
vsize: 474660
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 120804 0 0 0 23776 223 0 0 25 0 1 0 777558329 498356224 120671 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121669 120671 1111 63 0 121606 0
vsize: 486676
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 123747 0 0 0 24771 229 0 0 25 0 1 0 777558329 510394368 123614 4294967295 134512640 134714508 3221224592 3221223072 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124608 123614 1111 63 0 124545 0
vsize: 498432
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 126659 0 0 0 25766 234 0 0 25 0 1 0 777558329 522293248 126526 4294967295 134512640 134714508 3221224592 3221223448 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127513 126526 1111 63 0 127450 0
vsize: 510052
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 129486 0 0 0 26761 239 0 0 25 0 1 0 777558329 533921792 129353 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130352 129353 1111 63 0 130289 0
vsize: 521408
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 132395 0 0 0 27755 245 0 0 25 0 1 0 777558329 545820672 132262 4294967295 134512640 134714508 3221224592 3221223072 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133257 132262 1111 63 0 133194 0
vsize: 533028
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 135434 0 0 0 28749 252 0 0 25 0 1 0 777558329 558264320 135301 4294967295 134512640 134714508 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136295 135301 1111 63 0 136232 0
vsize: 545180
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 138341 0 0 0 29746 255 0 0 25 0 1 0 777558329 570163200 138208 4294967295 134512640 134714508 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139200 138208 1111 63 0 139137 0
vsize: 556800
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 141222 0 0 0 30740 260 0 0 25 0 1 0 777558329 581926912 141089 4294967295 134512640 134714508 3221224592 3221223072 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142072 141089 1111 63 0 142009 0
vsize: 568288
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 144144 0 0 0 31735 267 0 0 25 0 1 0 777558329 593960960 144011 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145010 144011 1111 63 0 144947 0
vsize: 580040
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 147040 0 0 0 32730 272 0 0 25 0 1 0 777558329 605728768 146907 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147883 146907 1111 63 0 147820 0
vsize: 591532
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 149926 0 0 0 33727 275 0 0 25 0 1 0 777558329 617627648 149793 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150788 149793 1111 63 0 150725 0
vsize: 603152
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 152803 0 0 0 34722 280 0 0 25 0 1 0 777558329 629391360 152670 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153660 152670 1111 63 0 153597 0
vsize: 614640
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 155612 0 0 0 35718 285 0 0 25 0 1 0 777558329 640884736 155479 4294967295 134512640 134714508 3221224592 3221223000 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156466 155479 1111 63 0 156403 0
vsize: 625864
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 158422 0 0 0 36713 290 0 0 25 0 1 0 777558329 652382208 158289 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159273 158289 1111 63 0 159210 0
vsize: 637092
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 161267 0 0 0 37708 295 0 0 25 0 1 0 777558329 664010752 161134 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162112 161134 1111 63 0 162049 0
vsize: 648448
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 164041 0 0 0 38703 300 0 0 25 0 1 0 777558329 675368960 163908 4294967295 134512640 134714508 3221224592 3221223096 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164918 163910 1111 63 0 164855 0
vsize: 659540
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 166843 0 0 0 39698 305 0 0 25 0 1 0 777558329 686862336 166710 4294967295 134512640 134714508 3221224592 3221223184 134664952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167691 166711 1111 63 0 167628 0
vsize: 670764
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 169745 0 0 0 40693 310 0 0 25 0 1 0 777558329 698765312 169612 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170597 169612 1111 63 0 170534 0
vsize: 682388
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 172534 0 0 0 41687 316 0 0 25 0 1 0 777558329 710258688 172401 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173403 172401 1111 63 0 173340 0
vsize: 693612
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3498
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 175354 0 0 0 42683 321 0 0 25 0 1 0 777558329 721752064 175221 4294967295 134512640 134714508 3221224592 3221223328 134630813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176209 175221 1111 63 0 176146 0
vsize: 704836
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 3501
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 178104 0 0 0 43678 326 0 0 25 0 1 0 777558329 732975104 177971 4294967295 134512640 134714508 3221224592 3221223024 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178949 177971 1111 63 0 178886 0
vsize: 715796
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 180819 0 0 0 44673 331 0 0 25 0 1 0 777558329 744198144 180686 4294967295 134512640 134714508 3221224592 3221222972 134539326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181689 180686 1111 63 0 181626 0
vsize: 726756
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 183619 0 0 0 45668 335 0 0 25 0 1 0 777558329 755560448 183486 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184463 183486 1111 63 0 184400 0
vsize: 737852
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 186405 0 0 0 46664 340 0 0 25 0 1 0 777558329 767053824 186272 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187269 186272 1111 63 0 187206 0
vsize: 749076
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 189139 0 0 0 47659 345 0 0 25 0 1 0 777558329 778276864 189006 4294967295 134512640 134714508 3221224592 3221223096 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190009 189008 1111 63 0 189946 0
vsize: 760036
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 191802 0 0 0 48654 351 0 0 25 0 1 0 777558329 789094400 191669 4294967295 134512640 134714508 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192650 191669 1111 63 0 192587 0
vsize: 770600
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 194522 0 0 0 49648 356 0 0 25 0 1 0 777558329 800317440 194389 4294967295 134512640 134714508 3221224592 3221222992 134542692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195390 194389 1111 63 0 195327 0
vsize: 781560
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3551
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 197252 0 0 0 50643 361 0 0 25 0 1 0 777558329 811409408 197119 4294967295 134512640 134714508 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198098 197119 1111 63 0 198035 0
vsize: 792392
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 199952 0 0 0 51639 366 0 0 25 0 1 0 777558329 822497280 199819 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200805 199819 1111 63 0 200742 0
vsize: 803220
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 202626 0 0 0 52634 371 0 0 25 0 1 0 777558329 833449984 202493 4294967295 134512640 134714508 3221224592 3221223104 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203479 202493 1111 63 0 203416 0
vsize: 813916
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 205238 0 0 0 53630 375 0 0 25 0 1 0 777558329 844132352 205105 4294967295 134512640 134714508 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206087 205105 1111 63 0 206024 0
vsize: 824348
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 207864 0 0 0 54625 381 0 0 25 0 1 0 777558329 854949888 207731 4294967295 134512640 134714508 3221224592 3221223456 134615634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208728 207731 1111 63 0 208665 0
vsize: 834912
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 210506 0 0 0 55623 385 0 0 25 0 1 0 777558329 865767424 210373 4294967295 134512640 134714508 3221224592 3221223036 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211369 210373 1111 63 0 211306 0
vsize: 845476
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 213154 0 0 0 56617 391 0 0 25 0 1 0 777558329 876589056 213021 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214011 213021 1111 63 0 213948 0
vsize: 856044
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 215760 0 0 0 57612 396 0 0 25 0 1 0 777558329 887271424 215627 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216619 215627 1111 63 0 216556 0
vsize: 866476
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 218362 0 0 0 58609 399 0 0 25 0 1 0 777558329 897953792 218229 4294967295 134512640 134714508 3221224592 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219227 218229 1111 63 0 219164 0
vsize: 876908
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 220960 0 0 0 59605 404 0 0 25 0 1 0 777558329 908500992 220827 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221802 220827 1111 63 0 221739 0
vsize: 887208
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 223578 0 0 0 60600 408 0 0 25 0 1 0 777558329 919318528 223445 4294967295 134512640 134714508 3221224592 3221223004 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224443 223445 1111 63 0 224380 0
vsize: 897772
[startup+620.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 226168 0 0 0 61596 412 0 0 25 0 1 0 777558329 929865728 226035 4294967295 134512640 134714508 3221224592 3221223032 134542657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227018 226035 1111 63 0 226955 0
vsize: 908072
[startup+630.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 228751 0 0 0 62591 418 0 0 25 0 1 0 777558329 940412928 228618 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229593 228618 1111 63 0 229530 0
vsize: 918372
[startup+633.554 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 3553
Raw data (stat): 3498 (bsolo_lpr) R 3497 23514 23513 0 -1 0 228751 0 0 0 62591 418 0 0 25 0 1 0 777558329 940412928 228618 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229593 228618 1111 63 0 229530 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 633.553
CPU time (s): 633.603
CPU user time (s): 628.991
CPU system time (s): 4.6113
CPU usage (%): 100.008
Max. virtual memory (Kb): 918372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####