PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 19:56:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18058 boxname=wulflinc28 idbench=1390 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 18058
/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:        899068 kB
Buffers:           940 kB
Cached:         112656 kB
SwapCached:       1052 kB
Active:          25900 kB
Inactive:        90216 kB
HighTotal:      131008 kB
HighFree:        16408 kB
LowTotal:       903652 kB
LowFree:        882660 kB
SwapTotal:     2097640 kB
SwapFree:      2096188 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13688 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:08:08 (client local time) WITH STATUS 0 IN 723.3 SECONDS
stats: 18058 7 723.3 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
Raw data (loadavg): 0.92 0.97 0.92 2/54 28457
Raw data (stat): 28457 (runsolver) R 28456 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832931841 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+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 3744 0 0 0 989 9 0 0 25 0 1 0 832931841 27181056 3668 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 3668 1111 63 0 6573 0
vsize: 26544
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 6756 0 0 0 1984 14 0 0 25 0 1 0 832931841 39567360 6680 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9660 6680 1111 63 0 9597 0
vsize: 38640
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 9784 0 0 0 2980 18 0 0 25 0 1 0 832931841 51945472 9708 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12682 9708 1111 63 0 12619 0
vsize: 50728
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 12816 0 0 0 3975 24 0 0 25 0 1 0 832931841 64339968 12740 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15708 12740 1111 63 0 15645 0
vsize: 62832
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 15854 0 0 0 4969 29 0 0 25 0 1 0 832931841 76853248 15778 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18763 15778 1111 63 0 18700 0
vsize: 75052
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 18885 0 0 0 5966 33 0 0 25 0 1 0 832931841 89247744 18809 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 18809 1111 63 0 21726 0
vsize: 87156
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 21923 0 0 0 6960 38 0 0 25 0 1 0 832931841 101642240 21847 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24815 21847 1111 63 0 24752 0
vsize: 99260
[startup+80.0092 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 24967 0 0 0 7956 43 0 0 25 0 1 0 832931841 114184192 24891 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27877 24891 1111 63 0 27814 0
vsize: 111508
[startup+90.0092 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 28011 0 0 0 8951 48 0 0 25 0 1 0 832931841 126697472 27935 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30932 27935 1111 63 0 30869 0
vsize: 123728
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 31050 0 0 0 9946 53 0 0 25 0 1 0 832931841 139091968 30974 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33958 30974 1111 63 0 33895 0
vsize: 135832
[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 34083 0 0 0 10940 60 0 0 25 0 1 0 832931841 151482368 34007 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34007 1111 63 0 36920 0
vsize: 147932
[startup+120.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 37121 0 0 0 11934 67 0 0 25 0 1 0 832931841 163876864 37045 4294967295 134512640 134714508 3221224592 3221223120 134564804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40009 37045 1111 63 0 39946 0
vsize: 160036
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 40154 0 0 0 12930 71 0 0 25 0 1 0 832931841 176418816 40078 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43071 40078 1111 63 0 43008 0
vsize: 172284
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 43199 0 0 0 13925 76 0 0 25 0 1 0 832931841 188809216 43123 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46096 43123 1111 63 0 46033 0
vsize: 184384
[startup+150.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 46218 0 0 0 14919 82 0 0 25 0 1 0 832931841 201203712 46142 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49122 46142 1111 63 0 49059 0
vsize: 196488
[startup+160.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 49218 0 0 0 15915 87 0 0 25 0 1 0 832931841 213442560 49142 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52110 49142 1111 63 0 52047 0
vsize: 208440
[startup+170.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 52225 0 0 0 16909 93 0 0 25 0 1 0 832931841 225828864 52149 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55134 52149 1111 63 0 55071 0
vsize: 220536
[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 55232 0 0 0 17904 98 0 0 25 0 1 0 832931841 238223360 55156 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58160 55156 1111 63 0 58097 0
vsize: 232640
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 58217 0 0 0 18900 102 0 0 25 0 1 0 832931841 250318848 58141 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61113 58141 1111 63 0 61050 0
vsize: 244452
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 61224 0 0 0 19896 106 0 0 25 0 1 0 832931841 262709248 61148 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64138 61148 1111 63 0 64075 0
vsize: 256552
[startup+210.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 64228 0 0 0 20893 111 0 0 25 0 1 0 832931841 274956288 64152 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67128 64152 1111 63 0 67065 0
vsize: 268512
[startup+220.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 67253 0 0 0 21887 117 0 0 25 0 1 0 832931841 287346688 67177 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70153 67177 1111 63 0 70090 0
vsize: 280612
[startup+230.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28457
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 70275 0 0 0 22884 122 0 0 25 0 1 0 832931841 299741184 70199 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73179 70199 1111 63 0 73116 0
vsize: 292716
[startup+240.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/58 28461
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 73294 0 0 0 23879 127 0 0 25 0 1 0 832931841 312131584 73218 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76204 73218 1111 63 0 76141 0
vsize: 304816
[startup+250.054 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 76322 0 0 0 24867 139 0 0 25 0 1 0 832931841 324526080 76246 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79230 76246 1111 63 0 79167 0
vsize: 316920
[startup+260.054 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 79370 0 0 0 25861 144 0 0 25 0 1 0 832931841 337059840 79294 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82290 79294 1111 63 0 82227 0
vsize: 329160
[startup+270.055 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 82446 0 0 0 26856 150 0 0 25 0 1 0 832931841 349601792 82370 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85352 82370 1111 63 0 85289 0
vsize: 341408
[startup+280.055 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 85496 0 0 0 27851 155 0 0 25 0 1 0 832931841 362143744 85420 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88414 85420 1111 63 0 88351 0
vsize: 353656
[startup+290.056 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 88566 0 0 0 28847 160 0 0 25 0 1 0 832931841 374685696 88490 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91476 88495 1111 63 0 91413 0
vsize: 365904
[startup+300.056 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 91646 0 0 0 29841 165 0 0 25 0 1 0 832931841 387227648 91570 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94538 91570 1111 63 0 94475 0
vsize: 378152
[startup+310.057 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 28510
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 94745 0 0 0 30837 170 0 0 25 0 1 0 832931841 399921152 94669 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97637 94669 1111 63 0 97574 0
vsize: 390548
[startup+320.056 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 97886 0 0 0 31831 176 0 0 25 0 1 0 832931841 412758016 97810 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100771 97810 1111 63 0 100708 0
vsize: 403084
[startup+330.057 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 101020 0 0 0 32827 180 0 0 25 0 1 0 832931841 425816064 100944 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103959 100944 1111 63 0 103896 0
vsize: 415836
[startup+340.057 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 104139 0 0 0 33822 186 0 0 25 0 1 0 832931841 438505472 104063 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107057 104063 1111 63 0 106994 0
vsize: 428228
[startup+350.056 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 107255 0 0 0 34817 191 0 0 25 0 1 0 832931841 451346432 107179 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110192 107179 1111 63 0 110129 0
vsize: 440768
[startup+360.057 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 110386 0 0 0 35811 196 0 0 25 0 1 0 832931841 464187392 110310 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113327 110310 1111 63 0 113264 0
vsize: 453308
[startup+370.057 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 113509 0 0 0 36807 201 0 0 25 0 1 0 832931841 476876800 113433 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116425 113433 1111 63 0 116362 0
vsize: 465700
[startup+380.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 116664 0 0 0 37801 207 0 0 25 0 1 0 832931841 489869312 116588 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119597 116588 1111 63 0 119534 0
vsize: 478388
[startup+390.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 119798 0 0 0 38796 212 0 0 25 0 1 0 832931841 502706176 119722 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122731 119722 1111 63 0 122668 0
vsize: 490924
[startup+400.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 122905 0 0 0 39791 217 0 0 25 0 1 0 832931841 515399680 122829 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125830 122829 1111 63 0 125767 0
vsize: 503320
[startup+410.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 126046 0 0 0 40785 224 0 0 25 0 1 0 832931841 528236544 125970 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128964 125970 1111 63 0 128901 0
vsize: 515856
[startup+420.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 129158 0 0 0 41779 230 0 0 25 0 1 0 832931841 540930048 129082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132063 129082 1111 63 0 132000 0
vsize: 528252
[startup+430.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 132293 0 0 0 42775 234 0 0 25 0 1 0 832931841 553771008 132217 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135198 132217 1111 63 0 135135 0
vsize: 540792
[startup+440.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 135449 0 0 0 43770 240 0 0 25 0 1 0 832931841 566763520 135373 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138370 135373 1111 63 0 138307 0
vsize: 553480
[startup+450.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 138542 0 0 0 44765 244 0 0 25 0 1 0 832931841 579457024 138466 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141469 138466 1111 63 0 141406 0
vsize: 565876
[startup+460.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 141660 0 0 0 45761 249 0 0 25 0 1 0 832931841 592138240 141584 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144565 141584 1111 63 0 144502 0
vsize: 578260
[startup+470.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 144759 0 0 0 46755 255 0 0 25 0 1 0 832931841 604831744 144683 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147664 144683 1111 63 0 147601 0
vsize: 590656
[startup+480.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 147914 0 0 0 47750 260 0 0 25 0 1 0 832931841 617828352 147838 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150837 147838 1111 63 0 150774 0
vsize: 603348
[startup+490.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 151067 0 0 0 48746 265 0 0 25 0 1 0 832931841 630665216 150991 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153971 150991 1111 63 0 153908 0
vsize: 615884
[startup+500.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 154240 0 0 0 49741 270 0 0 25 0 1 0 832931841 643653632 154164 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157142 154164 1111 63 0 157079 0
vsize: 628568
[startup+510.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 157356 0 0 0 50734 276 0 0 25 0 1 0 832931841 656494592 157280 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160277 157280 1111 63 0 160214 0
vsize: 641108
[startup+520.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 160505 0 0 0 51729 282 0 0 25 0 1 0 832931841 669335552 160429 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163412 160429 1111 63 0 163349 0
vsize: 653648
[startup+530.061 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 163646 0 0 0 52723 288 0 0 25 0 1 0 832931841 682176512 163570 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166547 163570 1111 63 0 166484 0
vsize: 666188
[startup+540.061 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 166795 0 0 0 53717 294 0 0 25 0 1 0 832931841 695164928 166719 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169718 166719 1111 63 0 169655 0
vsize: 678872
[startup+550.061 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 169972 0 0 0 54712 300 0 0 25 0 1 0 832931841 708153344 169896 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172889 169896 1111 63 0 172826 0
vsize: 691556
[startup+560.062 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 173158 0 0 0 55706 306 0 0 25 0 1 0 832931841 721141760 173082 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176060 173082 1111 63 0 175997 0
vsize: 704240
[startup+570.062 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 176347 0 0 0 56701 311 0 0 25 0 1 0 832931841 734281728 176271 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179268 176271 1111 63 0 179205 0
vsize: 717072
[startup+580.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28512
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 179472 0 0 0 57696 317 0 0 25 0 1 0 832931841 746971136 179396 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182366 179396 1111 63 0 182303 0
vsize: 729464
[startup+590.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 182704 0 0 0 58689 323 0 0 25 0 1 0 832931841 760258560 182628 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185610 182628 1111 63 0 185547 0
vsize: 742440
[startup+600.062 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 185955 0 0 0 59685 328 0 0 25 0 1 0 832931841 773545984 185879 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188854 185879 1111 63 0 188791 0
vsize: 755416
[startup+610.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 189128 0 0 0 60679 333 0 0 25 0 1 0 832931841 786534400 189052 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192025 189052 1111 63 0 191962 0
vsize: 768100
[startup+620.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 192414 0 0 0 61674 339 0 0 25 0 1 0 832931841 799973376 192338 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195306 192338 1111 63 0 195243 0
vsize: 781224
[startup+630.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 195717 0 0 0 62669 344 0 0 25 0 1 0 832931841 813776896 195641 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198676 195641 1111 63 0 198613 0
vsize: 794704
[startup+640.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 199101 0 0 0 63663 350 0 0 25 0 1 0 832931841 827662336 199025 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202066 199025 1111 63 0 202003 0
vsize: 808264
[startup+650.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 202383 0 0 0 64658 355 0 0 25 0 1 0 832931841 841097216 202307 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205346 202307 1111 63 0 205283 0
vsize: 821384
[startup+660.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 205834 0 0 0 65654 360 0 0 25 0 1 0 832931841 855281664 205758 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208809 205758 1111 63 0 208746 0
vsize: 835236
[startup+670.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 209269 0 0 0 66648 366 0 0 25 0 1 0 832931841 869318656 209193 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212236 209193 1111 63 0 212173 0
vsize: 848944
[startup+680.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 212751 0 0 0 67642 372 0 0 25 0 1 0 832931841 883499008 212675 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215698 212675 1111 63 0 215635 0
vsize: 862792
[startup+690.067 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 216232 0 0 0 68635 380 0 0 25 0 1 0 832931841 897830912 216156 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219197 216156 1111 63 0 219134 0
vsize: 876788
[startup+700.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 219747 0 0 0 69629 386 0 0 25 0 1 0 832931841 912166912 219671 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222697 219671 1111 63 0 222634 0
vsize: 890788
[startup+710.067 s]
Raw data (loadavg): 1.00 0.99 0.93 3/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 223221 0 0 0 70622 393 0 0 25 0 1 0 832931841 926351360 223145 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226160 223145 1111 63 0 226097 0
vsize: 904640
[startup+720.067 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 226552 0 1 0 71608 404 0 0 25 0 1 0 832931841 940085248 221350 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229513 221350 1111 63 0 229450 0
vsize: 918052
[startup+723.305 s]
Raw data (loadavg): 1.07 1.00 0.94 1/53 28514
Raw data (stat): 28457 (bsolo_lpr) R 28456 24821 24820 0 -1 0 226552 0 1 0 71608 404 0 0 25 0 1 0 832931841 940085248 221350 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229513 221350 1111 63 0 229450 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 723.304
CPU time (s): 723.3
CPU user time (s): 718.811
CPU system time (s): 4.48932
CPU usage (%): 99.9994
Max. virtual memory (Kb): 918052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####