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-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	199098
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.09
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 40256

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 05:15:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28324 boxname=wulflinc3 idbench=1280 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 28324
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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		: 451.190
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:        666376 kB
Buffers:         32132 kB
Cached:         313512 kB
SwapCached:        680 kB
Active:          40428 kB
Inactive:       307216 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        666124 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14940 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:26:12 (client local time) WITH STATUS 0 IN 639.003 SECONDS
stats: 28324 7 639.003 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.92 0.90 1/54 21941
Raw data (stat): 21941 (runsolver) R 21940 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899029168 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 31138 0 0 0 942 55 0 0 25 0 1 0 899029168 140472320 31058 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34295 31058 1111 63 0 34232 0
vsize: 137180
[startup+20.0013 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 60110 0 0 0 1892 105 0 0 25 0 1 0 899029168 259203072 60030 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63282 60034 1111 63 0 63219 0
vsize: 253128
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 66673 0 0 0 2880 117 0 0 25 0 1 0 899029168 286117888 66593 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69853 66593 1111 63 0 69790 0
vsize: 279412
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 67346 0 0 0 3878 118 0 0 25 0 1 0 899029168 288825344 67266 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70514 67266 1111 63 0 70451 0
vsize: 282056
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 67956 0 0 0 4876 120 0 0 25 0 1 0 899029168 291270656 67876 4294967295 134512640 134716908 3221224576 3221221196 1077253675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71111 67876 1111 63 0 71048 0
vsize: 284444
[startup+60.0026 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 68540 0 0 0 5875 121 0 0 25 0 1 0 899029168 293912576 68460 4294967295 134512640 134716908 3221224576 3221222852 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 68460 1111 63 0 71693 0
vsize: 287024
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 69116 0 0 0 6874 122 0 0 25 0 1 0 899029168 296386560 69036 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72360 69036 1111 63 0 72297 0
vsize: 289440
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 71993 0 0 0 7868 128 0 0 25 0 1 0 899029168 298356736 71856 4294967295 134512640 134716908 3221224576 3221222992 134542737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72841 71856 1111 63 0 72778 0
vsize: 291364
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 75136 0 0 0 8861 134 0 0 25 0 1 0 899029168 311201792 74999 4294967295 134512640 134716908 3221224576 3221222976 134542808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75977 74999 1111 63 0 75914 0
vsize: 303908
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 78246 0 0 0 9855 140 0 0 25 0 1 0 899029168 324050944 78109 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79114 78109 1111 63 0 79051 0
vsize: 316456
[startup+110.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 81281 0 0 0 10849 147 0 0 25 0 1 0 899029168 336490496 81144 4294967295 134512640 134716908 3221224576 3221223184 134667320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82151 81145 1111 63 0 82088 0
vsize: 328604
[startup+120.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 84232 0 0 0 11843 153 0 0 25 0 1 0 899029168 348524544 84095 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85089 84095 1111 63 0 85026 0
vsize: 340356
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 87350 0 0 0 12837 159 0 0 25 0 1 0 899029168 361238528 87213 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88193 87213 1111 63 0 88130 0
vsize: 352772
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 90434 0 0 0 13831 165 0 0 25 0 1 0 899029168 373948416 90297 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91296 90297 1111 63 0 91233 0
vsize: 365184
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 93501 0 0 0 14826 170 0 0 25 0 1 0 899029168 386523136 93364 4294967295 134512640 134716908 3221224576 3221223088 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94366 93364 1111 63 0 94303 0
vsize: 377464
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 96575 0 0 0 15821 175 0 0 25 0 1 0 899029168 399101952 96438 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97437 96438 1111 63 0 97374 0
vsize: 389748
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 99582 0 0 0 16816 180 0 0 25 0 1 0 899029168 411406336 99445 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100441 99445 1111 63 0 100378 0
vsize: 401764
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 102545 0 0 0 17812 185 0 0 25 0 1 0 899029168 423575552 102408 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103412 102408 1111 63 0 103349 0
vsize: 413648
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 105517 0 0 0 18807 190 0 0 25 0 1 0 899029168 435748864 105380 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106384 105380 1111 63 0 106321 0
vsize: 425536
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 108443 0 0 0 19803 194 0 0 25 0 1 0 899029168 447647744 108306 4294967295 134512640 134716908 3221224576 3221222940 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109289 108306 1111 63 0 109226 0
vsize: 437156
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 111400 0 0 0 20799 198 0 0 25 0 1 0 899029168 459816960 111263 4294967295 134512640 134716908 3221224576 3221223136 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112260 111263 1111 63 0 112197 0
vsize: 449040
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 114350 0 0 0 21794 203 0 0 25 0 1 0 899029168 471855104 114213 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115199 114213 1111 63 0 115136 0
vsize: 460796
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 117312 0 0 0 22788 209 0 0 25 0 1 0 899029168 484024320 117175 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118170 117175 1111 63 0 118107 0
vsize: 472680
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 120265 0 0 0 23781 216 0 0 25 0 1 0 899029168 496058368 120128 4294967295 134512640 134716908 3221224576 3221223024 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121108 120128 1111 63 0 121045 0
vsize: 484432
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 123223 0 0 0 24776 222 0 0 25 0 1 0 899029168 508227584 123086 4294967295 134512640 134716908 3221224576 3221222956 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124079 123086 1111 63 0 124016 0
vsize: 496316
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 126112 0 0 0 25771 227 0 0 25 0 1 0 899029168 519995392 125975 4294967295 134512640 134716908 3221224576 3221222956 134539326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126952 125975 1111 63 0 126889 0
vsize: 507808
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 128963 0 0 0 26765 233 0 0 25 0 1 0 899029168 531759104 128826 4294967295 134512640 134716908 3221224576 3221222964 134539212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129824 128826 1111 63 0 129761 0
vsize: 519296
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 131822 0 0 0 27759 239 0 0 25 0 1 0 899029168 543387648 131685 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132663 131685 1111 63 0 132600 0
vsize: 530652
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 134764 0 0 0 28755 243 0 0 25 0 1 0 899029168 555556864 134627 4294967295 134512640 134716908 3221224576 3221222992 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135634 134627 1111 63 0 135571 0
vsize: 542536
[startup+300.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 137706 0 0 0 29751 248 0 0 25 0 1 0 899029168 567595008 137569 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138573 137569 1111 63 0 138510 0
vsize: 554292
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 140561 0 0 0 30746 253 0 0 25 0 1 0 899029168 579223552 140424 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141412 140424 1111 63 0 141349 0
vsize: 565648
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 143369 0 0 0 31741 258 0 0 25 0 1 0 899029168 590716928 143232 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144218 143232 1111 63 0 144155 0
vsize: 576872
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 146269 0 0 0 32735 264 0 0 25 0 1 0 899029168 602615808 146132 4294967295 134512640 134716908 3221224576 3221223044 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147123 146132 1111 63 0 147060 0
vsize: 588492
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 149119 0 0 0 33730 270 0 0 25 0 1 0 899029168 614248448 148982 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149963 148982 1111 63 0 149900 0
vsize: 599852
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 151994 0 0 0 34727 273 0 0 25 0 1 0 899029168 626012160 151857 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152835 151857 1111 63 0 152772 0
vsize: 611340
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 154805 0 0 0 35721 279 0 0 25 0 1 0 899029168 637640704 154668 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155674 154668 1111 63 0 155611 0
vsize: 622696
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 157657 0 0 0 36718 282 0 0 25 0 1 0 899029168 649269248 157520 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158513 157520 1111 63 0 158450 0
vsize: 634052
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 160401 0 0 0 37714 286 0 0 25 0 1 0 899029168 660496384 160264 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161254 160264 1111 63 0 161191 0
vsize: 645016
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 163171 0 0 0 38709 292 0 0 25 0 1 0 899029168 671854592 163034 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164027 163034 1111 63 0 163964 0
vsize: 656108
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 165968 0 0 0 39703 298 0 0 25 0 1 0 899029168 683347968 165831 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166833 165831 1111 63 0 166770 0
vsize: 667332
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 168779 0 0 0 40697 304 0 0 25 0 1 0 899029168 694841344 168642 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169639 168642 1111 63 0 169576 0
vsize: 678556
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 171623 0 0 0 41691 310 0 0 25 0 1 0 899029168 706469888 171486 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172478 171486 1111 63 0 172415 0
vsize: 689912
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 174342 0 0 0 42685 316 0 0 25 0 1 0 899029168 717561856 174205 4294967295 134512640 134716908 3221224576 3221222992 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175186 174205 1111 63 0 175123 0
vsize: 700744
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 177132 0 0 0 43679 322 0 0 25 0 1 0 899029168 729055232 176995 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177992 176995 1111 63 0 177929 0
vsize: 711968
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 179831 0 0 0 44674 327 0 0 25 0 1 0 899029168 740143104 179694 4294967295 134512640 134716908 3221224576 3221223216 134588081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180699 179694 1111 63 0 180636 0
vsize: 722796
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 182621 0 0 0 45669 332 0 0 25 0 1 0 899029168 751501312 182484 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183472 182484 1111 63 0 183409 0
vsize: 733888
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 185322 0 0 0 46665 337 0 0 25 0 1 0 899029168 762589184 185185 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186179 185185 1111 63 0 186116 0
vsize: 744716
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 188009 0 0 0 47660 342 0 0 25 0 1 0 899029168 773545984 187872 4294967295 134512640 134716908 3221224576 3221223104 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188854 187872 1111 63 0 188791 0
vsize: 755416
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 190694 0 0 0 48655 348 0 0 25 0 1 0 899029168 784633856 190557 4294967295 134512640 134716908 3221224576 3221222996 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191561 190557 1111 63 0 191498 0
vsize: 766244
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 193390 0 0 0 49649 353 0 0 25 0 1 0 899029168 795586560 193253 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194235 193253 1111 63 0 194172 0
vsize: 776940
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 196100 0 0 0 50644 358 0 0 25 0 1 0 899029168 806674432 195963 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196942 195963 1111 63 0 196879 0
vsize: 787768
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 198765 0 0 0 51640 363 0 0 25 0 1 0 899029168 817627136 198628 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199616 198628 1111 63 0 199553 0
vsize: 798464
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 201423 0 0 0 52635 368 0 0 25 0 1 0 899029168 828579840 201286 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202290 201286 1111 63 0 202227 0
vsize: 809160
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 204043 0 0 0 53630 373 0 0 25 0 1 0 899029168 839266304 203906 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204899 203906 1111 63 0 204836 0
vsize: 819596
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 206657 0 0 0 54624 380 0 0 25 0 1 0 899029168 849948672 206488 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207507 206488 1111 63 0 207444 0
vsize: 830028
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 209269 0 0 0 55617 387 0 0 25 0 1 0 899029168 860631040 208973 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210115 208973 1111 63 0 210052 0
vsize: 840460
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 211908 0 1 0 56609 393 0 0 25 0 1 0 899029168 871448576 211423 4294967295 134512640 134716908 3221224576 3221223064 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212756 211423 1111 63 0 212693 0
vsize: 851024
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 214434 0 3 0 57602 398 0 0 25 0 1 0 899029168 881860608 213695 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215298 213695 1111 63 0 215235 0
vsize: 861192
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 217023 0 4 0 58593 404 0 0 24 0 1 0 899029168 892407808 215970 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217873 215970 1111 63 0 217810 0
vsize: 871492
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 219568 0 17 0 59574 410 0 0 25 0 1 0 899029168 902819840 217993 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220415 217993 1111 63 0 220352 0
vsize: 881660
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 222202 0 23 0 60562 414 0 0 25 0 1 0 899029168 913637376 220075 4294967295 134512640 134716908 3221224576 3221223200 134594994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223056 220075 1111 63 0 222993 0
vsize: 892224
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 224777 0 27 0 61552 419 0 0 25 0 1 0 899029168 924188672 222311 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225632 222311 1111 63 0 225569 0
vsize: 902528
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 227239 0 39 0 62529 426 0 0 25 0 1 0 899029168 934195200 224124 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228075 224124 1111 63 0 228012 0
vsize: 912300
[startup+639.596 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21941
Raw data (stat): 21941 (bsolo_lpr-v2) R 21940 20224 20223 0 -1 0 227239 0 39 0 62529 426 0 0 25 0 1 0 899029168 934195200 224124 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228075 224124 1111 63 0 228012 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 639.595
CPU time (s): 639.003
CPU user time (s): 634.266
CPU system time (s): 4.73728
CPU usage (%): 99.9074
Max. virtual memory (Kb): 912300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####