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/miplib3/normalized-mps-v2-20-10-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	199890
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.44
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 28340

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 01:53:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13157 boxname=wulflinc10 idbench=1013 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 13157
/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:        804752 kB
Buffers:         30912 kB
Cached:         177964 kB
SwapCached:        224 kB
Active:          56352 kB
Inactive:       155308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        804500 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12564 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:04:14 (client local time) WITH STATUS 0 IN 635.058 SECONDS
stats: 13157 7 635.058 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.91 0.97 0.92 2/54 24540
Raw data (stat): 24540 (runsolver) R 24539 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776862876 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 31203 0 0 0 939 58 0 0 25 0 1 0 776862876 140771328 31127 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34368 31127 1111 63 0 34305 0
vsize: 137472
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 60817 0 0 0 1893 104 0 0 25 0 1 0 776862876 262193152 60741 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64012 60741 1111 63 0 63949 0
vsize: 256048
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 66681 0 0 0 2882 115 0 0 25 0 1 0 776862876 286117888 66605 4294967295 134512640 134714508 3221224592 3221223240 1076647541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69853 66605 1111 63 0 69790 0
vsize: 279412
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 67343 0 0 0 3880 117 0 0 25 0 1 0 776862876 288825344 67267 4294967295 134512640 134714508 3221224592 3221222876 1077049379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70514 67267 1111 63 0 70451 0
vsize: 282056
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 67937 0 0 0 4877 119 0 0 25 0 1 0 776862876 291270656 67861 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71111 67861 1111 63 0 71048 0
vsize: 284444
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 68521 0 0 0 5876 120 0 0 25 0 1 0 776862876 293769216 68445 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71721 68445 1111 63 0 71658 0
vsize: 286884
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 69057 0 0 0 6874 122 0 0 25 0 1 0 776862876 296116224 68981 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72294 68981 1111 63 0 72231 0
vsize: 289176
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 71824 0 0 0 7868 127 0 0 25 0 1 0 776862876 297680896 71691 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72676 71691 1111 63 0 72613 0
vsize: 290704
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 75013 0 0 0 8861 135 0 0 25 0 1 0 776862876 310796288 74880 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75878 74880 1111 63 0 75815 0
vsize: 303512
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 78123 0 0 0 9855 141 0 0 25 0 1 0 776862876 323510272 77990 4294967295 134512640 134714508 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78982 77990 1111 63 0 78919 0
vsize: 315928
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 81258 0 0 0 10850 146 0 0 25 0 1 0 776862876 336355328 81125 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82118 81125 1111 63 0 82055 0
vsize: 328472
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 84230 0 0 0 11845 151 0 0 25 0 1 0 776862876 348524544 84097 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85089 84097 1111 63 0 85026 0
vsize: 340356
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 87348 0 0 0 12839 158 0 0 25 0 1 0 776862876 361238528 87215 4294967295 134512640 134714508 3221224592 3221223212 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88193 87215 1111 63 0 88130 0
vsize: 352772
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 90432 0 0 0 13833 164 0 0 25 0 1 0 776862876 373948416 90299 4294967295 134512640 134714508 3221224592 3221223056 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91296 90299 1111 63 0 91233 0
vsize: 365184
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 93499 0 0 0 14827 170 0 0 25 0 1 0 776862876 386523136 93366 4294967295 134512640 134714508 3221224592 3221222972 134539214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94366 93366 1111 63 0 94303 0
vsize: 377464
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 96615 0 0 0 15822 175 0 0 25 0 1 0 776862876 399237120 96482 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97470 96482 1111 63 0 97407 0
vsize: 389880
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 99665 0 0 0 16816 181 0 0 25 0 1 0 776862876 411676672 99532 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100507 99532 1111 63 0 100444 0
vsize: 402028
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 102637 0 0 0 17810 187 0 0 25 0 1 0 776862876 423981056 102504 4294967295 134512640 134714508 3221224592 3221223480 134615849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103511 102504 1111 63 0 103448 0
vsize: 414044
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 105712 0 0 0 18804 194 0 0 25 0 1 0 776862876 436559872 105579 4294967295 134512640 134714508 3221224592 3221223104 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106582 105579 1111 63 0 106519 0
vsize: 426328
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 108663 0 0 0 19798 200 0 0 25 0 1 0 776862876 448593920 108530 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109520 108530 1111 63 0 109457 0
vsize: 438080
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 111665 0 0 0 20793 205 0 0 25 0 1 0 776862876 460898304 111532 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112524 111532 1111 63 0 112461 0
vsize: 450096
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 114650 0 0 0 21788 211 0 0 25 0 1 0 776862876 473071616 114517 4294967295 134512640 134714508 3221224592 3221223104 134542863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115496 114517 1111 63 0 115433 0
vsize: 461984
[startup+230.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 117598 0 0 0 22793 216 0 0 25 0 1 0 776862876 485240832 117465 4294967295 134512640 134714508 3221224592 3221223000 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118467 117465 1111 63 0 118404 0
vsize: 473868
[startup+240.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 120610 0 0 0 23787 222 0 0 25 0 1 0 776862876 497545216 120477 4294967295 134512640 134714508 3221224592 3221222964 134539339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121471 120477 1111 63 0 121408 0
vsize: 485884
[startup+250.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 123602 0 0 0 24781 229 0 0 25 0 1 0 776862876 509853696 123469 4294967295 134512640 134714508 3221224592 3221223168 134535853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124476 123469 1111 63 0 124413 0
vsize: 497904
[startup+260.137 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 126493 0 0 0 25778 235 0 0 25 0 1 0 776862876 521617408 126360 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127348 126360 1111 63 0 127285 0
vsize: 509392
[startup+270.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 129383 0 0 0 26772 240 0 0 25 0 1 0 776862876 533516288 129250 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130253 129250 1111 63 0 130190 0
vsize: 521012
[startup+280.135 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 132296 0 0 0 27766 247 0 0 25 0 1 0 776862876 545415168 132163 4294967295 134512640 134714508 3221224592 3221223072 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133158 132163 1111 63 0 133095 0
vsize: 532632
[startup+290.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 135295 0 0 0 28760 253 0 0 25 0 1 0 776862876 557723648 135162 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136163 135162 1111 63 0 136100 0
vsize: 544652
[startup+300.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 138194 0 0 0 29755 258 0 0 25 0 1 0 776862876 569622528 138061 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139068 138061 1111 63 0 139005 0
vsize: 556272
[startup+310.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 141079 0 0 0 30751 262 0 0 25 0 1 0 776862876 581386240 140946 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141940 140946 1111 63 0 141877 0
vsize: 567760
[startup+320.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 143948 0 0 0 31746 268 0 0 25 0 1 0 776862876 593149952 143815 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144812 143815 1111 63 0 144749 0
vsize: 579248
[startup+330.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 146868 0 0 0 32740 274 0 0 25 0 1 0 776862876 605052928 146735 4294967295 134512640 134714508 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147718 146735 1111 63 0 147655 0
vsize: 590872
[startup+340.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 149695 0 0 0 33735 279 0 0 25 0 1 0 776862876 616681472 149562 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150557 149562 1111 63 0 150494 0
vsize: 602228
[startup+350.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 152632 0 0 0 34731 284 0 0 25 0 1 0 776862876 628715520 152499 4294967295 134512640 134714508 3221224592 3221223072 134539448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153495 152499 1111 63 0 153432 0
vsize: 613980
[startup+360.136 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 155446 0 0 0 35726 288 0 0 25 0 1 0 776862876 640208896 155313 4294967295 134512640 134714508 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156301 155313 1111 63 0 156238 0
vsize: 625204
[startup+370.135 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 158273 0 0 0 36720 294 0 0 25 0 1 0 776862876 651841536 158140 4294967295 134512640 134714508 3221224592 3221222956 134539287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159141 158140 1111 63 0 159078 0
vsize: 636564
[startup+380.135 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24540
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 161114 0 0 0 37716 299 0 0 25 0 1 0 776862876 663470080 160981 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161980 160981 1111 63 0 161917 0
vsize: 647920
[startup+390.138 s]
Raw data (loadavg): 1.07 0.99 0.93 2/57 24577
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 163899 0 0 0 38711 304 0 0 25 0 1 0 776862876 674828288 163766 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164753 163766 1111 63 0 164690 0
vsize: 659012
[startup+400.138 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 166692 0 0 0 39705 310 0 0 25 0 1 0 776862876 686321664 166559 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167559 166559 1111 63 0 167496 0
vsize: 670236
[startup+410.139 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 169574 0 0 0 40701 314 0 0 25 0 1 0 776862876 698089472 169441 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170432 169441 1111 63 0 170369 0
vsize: 681728
[startup+420.138 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 172328 0 0 0 41696 320 0 0 25 0 1 0 776862876 709312512 172195 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173172 172195 1111 63 0 173109 0
vsize: 692688
[startup+430.14 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 175127 0 0 0 42690 326 0 0 25 0 1 0 776862876 720805888 174994 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175978 174994 1111 63 0 175915 0
vsize: 703912
[startup+440.14 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 177905 0 0 0 43685 331 0 0 25 0 1 0 776862876 732164096 177772 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178751 177772 1111 63 0 178688 0
vsize: 715004
[startup+450.139 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 180702 0 0 0 44679 337 0 0 25 0 1 0 776862876 743657472 180569 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181557 180569 1111 63 0 181494 0
vsize: 726228
[startup+460.14 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 24593
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 183438 0 0 0 45675 342 0 0 25 0 1 0 776862876 754884608 183305 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184298 183305 1111 63 0 184235 0
vsize: 737192
[startup+470.139 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 186225 0 0 0 46670 347 0 0 25 0 1 0 776862876 766242816 186092 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187071 186092 1111 63 0 187008 0
vsize: 748284
[startup+480.14 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 188917 0 0 0 47665 351 0 0 25 0 1 0 776862876 777330688 188784 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189778 188784 1111 63 0 189715 0
vsize: 759112
[startup+490.139 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 191623 0 0 0 48661 356 0 0 25 0 1 0 776862876 788418560 191490 4294967295 134512640 134714508 3221224592 3221223208 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192485 191490 1111 63 0 192422 0
vsize: 769940
[startup+500.139 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 194339 0 0 0 49657 360 0 0 25 0 1 0 776862876 799506432 194206 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195192 194206 1111 63 0 195129 0
vsize: 780768
[startup+510.14 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 197035 0 0 0 50653 365 0 0 25 0 1 0 776862876 810598400 196902 4294967295 134512640 134714508 3221224592 3221222972 134539270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197900 196902 1111 63 0 197837 0
vsize: 791600
[startup+520.157 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 199743 0 0 0 51650 369 0 0 25 0 1 0 776862876 821686272 199610 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200607 199610 1111 63 0 200544 0
vsize: 802428
[startup+530.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 202391 0 0 0 52646 374 0 0 25 0 1 0 776862876 832503808 202258 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203248 202258 1111 63 0 203185 0
vsize: 812992
[startup+540.179 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 205043 0 0 0 53639 379 0 0 25 0 1 0 776862876 843321344 204750 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205889 204750 1111 63 0 205826 0
vsize: 823556
[startup+550.187 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 207655 0 3 0 54629 385 0 0 25 0 1 0 776862876 854003712 206865 4294967295 134512640 134714508 3221224592 3221223056 134542312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208497 206865 1111 63 0 208434 0
vsize: 833988
[startup+560.201 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 210296 0 7 0 55621 390 0 0 24 0 1 0 776862876 864821248 208937 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211138 208937 1111 63 0 211075 0
vsize: 844552
[startup+570.216 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 212876 0 8 0 56613 395 0 0 25 0 1 0 776862876 875503616 211104 4294967295 134512640 134714508 3221224592 3221223136 134535810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213746 211104 1111 63 0 213683 0
vsize: 854984
[startup+580.217 s]
Raw data (loadavg): 1.32 1.05 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 215393 0 31 0 57580 402 0 0 25 0 1 0 776862876 885645312 213078 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216222 213078 1111 63 0 216159 0
vsize: 864888
[startup+590.241 s]
Raw data (loadavg): 1.27 1.05 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 217904 0 43 0 58560 407 0 0 25 0 1 0 776862876 895926272 215097 4294967295 134512640 134714508 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218732 215097 1111 63 0 218669 0
vsize: 874928
[startup+600.241 s]
Raw data (loadavg): 1.23 1.05 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 220453 0 104 0 59495 414 0 0 25 0 1 0 776862876 906203136 216856 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221241 216856 1111 63 0 221178 0
vsize: 884964
[startup+610.241 s]
Raw data (loadavg): 1.19 1.05 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 223011 0 129 0 60460 419 0 0 25 0 1 0 776862876 916480000 218577 4294967295 134512640 134714508 3221224592 3221223004 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223750 218577 1111 63 0 223687 0
vsize: 895000
[startup+620.244 s]
Raw data (loadavg): 1.16 1.05 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 225556 0 151 0 61427 425 0 0 25 0 1 0 776862876 926756864 220590 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226259 220590 1111 63 0 226196 0
vsize: 905036
[startup+630.244 s]
Raw data (loadavg): 1.14 1.04 0.95 2/54 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 228056 0 181 0 62387 430 0 0 25 0 1 0 776862876 936763392 221959 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228702 221959 1111 63 0 228639 0
vsize: 914808
[startup+637.621 s]
Raw data (loadavg): 1.13 1.04 0.95 1/53 24595
Raw data (stat): 24540 (bsolo_lpr) R 24539 15547 15546 0 -1 0 228056 0 181 0 62387 430 0 0 25 0 1 0 776862876 936763392 221959 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228702 221959 1111 63 0 228639 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 637.621
CPU time (s): 635.058
CPU user time (s): 630.296
CPU system time (s): 4.76228
CPU usage (%): 99.5982
Max. virtual memory (Kb): 914808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####