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 28715

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 03:52:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11637 boxname=wulflinc18 idbench=896 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 11637
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        924828 kB
Buffers:         19336 kB
Cached:          62084 kB
SwapCached:        588 kB
Active:          31024 kB
Inactive:        55732 kB
HighTotal:      131008 kB
HighFree:        80024 kB
LowTotal:       903652 kB
LowFree:        844804 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17408 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:03:17 (client local time) WITH STATUS 0 IN 635.636 SECONDS
stats: 11637 7 635.636 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): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (runsolver) R 29347 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835771482 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.001 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 28577 0 0 0 937 60 0 0 25 0 1 0 835771482 130019328 28501 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31743 28501 1111 63 0 31680 0
vsize: 126972
[startup+20.0022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 57011 0 0 0 1885 112 0 0 25 0 1 0 835771482 246509568 56935 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60183 56935 1111 63 0 60120 0
vsize: 240732
[startup+30.0019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 66600 0 0 0 2868 129 0 0 25 0 1 0 835771482 285847552 66524 4294967295 134512640 134714508 3221224576 3221222880 134566754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69787 66524 1111 63 0 69724 0
vsize: 279148
[startup+40.0018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 67256 0 0 0 3865 131 0 0 25 0 1 0 835771482 288415744 67180 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70414 67180 1111 63 0 70351 0
vsize: 281656
[startup+50.0032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 67871 0 0 0 4863 133 0 0 25 0 1 0 835771482 290992128 67795 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71043 67795 1111 63 0 70980 0
vsize: 284172
[startup+60.0035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 68447 0 0 0 5863 134 0 0 25 0 1 0 835771482 293490688 68371 4294967295 134512640 134714508 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71653 68371 1111 63 0 71590 0
vsize: 286612
[startup+70.0036 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 69012 0 0 0 6861 135 0 0 25 0 1 0 835771482 295981056 68936 4294967295 134512640 134714508 3221224576 3221222852 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72261 68936 1111 63 0 72198 0
vsize: 289044
[startup+80.0037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 71526 0 0 0 7856 140 0 0 25 0 1 0 835771482 296464384 71393 4294967295 134512640 134714508 3221224576 3221223232 134594880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72379 71393 1111 63 0 72316 0
vsize: 289516
[startup+90.0043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 74687 0 0 0 8851 146 0 0 25 0 1 0 835771482 309444608 74554 4294967295 134512640 134714508 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75548 74554 1111 63 0 75485 0
vsize: 302192
[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 77776 0 0 0 9845 151 0 0 25 0 1 0 835771482 322023424 77643 4294967295 134512640 134714508 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78619 77643 1111 63 0 78556 0
vsize: 314476
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 80907 0 0 0 10839 157 0 0 25 0 1 0 835771482 334868480 80774 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81755 80774 1111 63 0 81692 0
vsize: 327020
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 83914 0 0 0 11834 163 0 0 25 0 1 0 835771482 347172864 83781 4294967295 134512640 134714508 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84759 83781 1111 63 0 84696 0
vsize: 339036
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 87007 0 0 0 12828 169 0 0 25 0 1 0 835771482 359886848 86874 4294967295 134512640 134714508 3221224576 3221223128 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87863 86874 1111 63 0 87800 0
vsize: 351452
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 90051 0 0 0 13823 175 0 0 25 0 1 0 835771482 372326400 89918 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90900 89918 1111 63 0 90837 0
vsize: 363600
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 93196 0 0 0 14816 181 0 0 25 0 1 0 835771482 385306624 93063 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94069 93063 1111 63 0 94006 0
vsize: 376276
[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 96298 0 0 0 15809 188 0 0 25 0 1 0 835771482 397885440 96165 4294967295 134512640 134714508 3221224576 3221223056 134539511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97140 96165 1111 63 0 97077 0
vsize: 388560
[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 99314 0 0 0 16805 193 0 0 25 0 1 0 835771482 410324992 99181 4294967295 134512640 134714508 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100177 99181 1111 63 0 100114 0
vsize: 400708
[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 102325 0 0 0 17800 198 0 0 25 0 1 0 835771482 422629376 102192 4294967295 134512640 134714508 3221224576 3221223200 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103181 102192 1111 63 0 103118 0
vsize: 412724
[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 105325 0 0 0 18794 205 0 0 25 0 1 0 835771482 434937856 105192 4294967295 134512640 134714508 3221224576 3221222956 134539329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106186 105192 1111 63 0 106123 0
vsize: 424744
[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 108293 0 0 0 19787 211 0 0 25 0 1 0 835771482 447107072 108160 4294967295 134512640 134714508 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109157 108160 1111 63 0 109094 0
vsize: 436628
[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 111287 0 0 0 20782 217 0 0 25 0 1 0 835771482 459411456 111154 4294967295 134512640 134714508 3221224576 3221223104 134528533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112161 111154 1111 63 0 112098 0
vsize: 448644
[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 114251 0 0 0 21775 224 0 0 25 0 1 0 835771482 471449600 114118 4294967295 134512640 134714508 3221224576 3221223008 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115100 114118 1111 63 0 115037 0
vsize: 460400
[startup+230.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 117310 0 0 0 22771 230 0 0 25 0 1 0 835771482 484024320 117177 4294967295 134512640 134714508 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118170 117177 1111 63 0 118107 0
vsize: 472680
[startup+240.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 120263 0 0 0 23764 236 0 0 25 0 1 0 835771482 496058368 120130 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121108 120130 1111 63 0 121045 0
vsize: 484432
[startup+250.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 123221 0 0 0 24759 243 0 0 25 0 1 0 835771482 508227584 123088 4294967295 134512640 134714508 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124079 123088 1111 63 0 124016 0
vsize: 496316
[startup+260.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 126136 0 0 0 25754 248 0 0 25 0 1 0 835771482 520130560 126003 4294967295 134512640 134714508 3221224576 3221222952 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126985 126005 1111 63 0 126922 0
vsize: 507940
[startup+270.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 129024 0 0 0 26750 252 0 0 25 0 1 0 835771482 532029440 128891 4294967295 134512640 134714508 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129890 128891 1111 63 0 129827 0
vsize: 519560
[startup+280.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 131892 0 0 0 27744 258 0 0 25 0 1 0 835771482 543793152 131759 4294967295 134512640 134714508 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132762 131759 1111 63 0 132699 0
vsize: 531048
[startup+290.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 134965 0 0 0 28740 263 0 0 25 0 1 0 835771482 556367872 134832 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135832 134832 1111 63 0 135769 0
vsize: 543328
[startup+300.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 137878 0 0 0 29735 269 0 0 25 0 1 0 835771482 568270848 137745 4294967295 134512640 134714508 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138738 137745 1111 63 0 138675 0
vsize: 554952
[startup+310.048 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 140766 0 0 0 30729 275 0 0 25 0 1 0 835771482 580034560 140633 4294967295 134512640 134714508 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141610 140633 1111 63 0 141547 0
vsize: 566440
[startup+320.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 143624 0 0 0 31724 280 0 0 25 0 1 0 835771482 591798272 143491 4294967295 134512640 134714508 3221224576 3221223192 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144482 143491 1111 63 0 144419 0
vsize: 577928
[startup+330.049 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 146508 0 0 0 32719 285 0 0 25 0 1 0 835771482 603566080 146375 4294967295 134512640 134714508 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147355 146375 1111 63 0 147292 0
vsize: 589420
[startup+340.049 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 149342 0 0 0 33715 290 0 0 25 0 1 0 835771482 615194624 149209 4294967295 134512640 134714508 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150194 149209 1111 63 0 150131 0
vsize: 600776
[startup+350.049 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 152299 0 0 0 34710 295 0 0 25 0 1 0 835771482 627363840 152166 4294967295 134512640 134714508 3221224576 3221223072 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153165 152166 1111 63 0 153102 0
vsize: 612660
[startup+360.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 155152 0 0 0 35704 301 0 0 25 0 1 0 835771482 638992384 155019 4294967295 134512640 134714508 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156004 155019 1111 63 0 155941 0
vsize: 624016
[startup+370.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 157943 0 0 0 36700 306 0 0 25 0 1 0 835771482 650485760 157810 4294967295 134512640 134714508 3221224576 3221222956 134539315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158810 157810 1111 63 0 158747 0
vsize: 635240
[startup+380.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 160738 0 0 0 37695 310 0 0 25 0 1 0 835771482 661848064 160605 4294967295 134512640 134714508 3221224576 3221222960 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161584 160605 1111 63 0 161521 0
vsize: 646336
[startup+390.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 163576 0 0 0 38690 315 0 0 25 0 1 0 835771482 673476608 163443 4294967295 134512640 134714508 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164423 163443 1111 63 0 164360 0
vsize: 657692
[startup+400.051 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 166421 0 0 0 39686 320 0 0 25 0 1 0 835771482 685240320 166288 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167295 166288 1111 63 0 167232 0
vsize: 669180
[startup+410.051 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 169222 0 0 0 40682 324 0 0 25 0 1 0 835771482 696598528 169089 4294967295 134512640 134714508 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170068 169089 1111 63 0 170005 0
vsize: 680272
[startup+420.051 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 172067 0 0 0 41677 329 0 0 25 0 1 0 835771482 708366336 171934 4294967295 134512640 134714508 3221224576 3221223200 134528896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172941 171934 1111 63 0 172878 0
vsize: 691764
[startup+430.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 174780 0 0 0 42673 334 0 0 25 0 1 0 835771482 719454208 174647 4294967295 134512640 134714508 3221224576 3221223300 134625453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175648 174648 1111 63 0 175585 0
vsize: 702592
[startup+440.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/54 29348
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 177600 0 0 0 43668 338 0 0 25 0 1 0 835771482 730947584 177467 4294967295 134512640 134714508 3221224576 3221222940 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178454 177467 1111 63 0 178391 0
vsize: 713816
[startup+450.051 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 180349 0 0 0 44662 344 0 0 25 0 1 0 835771482 742170624 180216 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181194 180216 1111 63 0 181131 0
vsize: 724776
[startup+460.05 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 183107 0 0 0 45657 349 0 0 25 0 1 0 835771482 753528832 182974 4294967295 134512640 134714508 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183967 182976 1111 63 0 183904 0
vsize: 735868
[startup+470.052 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 185910 0 0 0 46653 353 0 0 25 0 1 0 835771482 765026304 185777 4294967295 134512640 134714508 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186774 185777 1111 63 0 186711 0
vsize: 747096
[startup+480.051 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 188607 0 0 0 47647 359 0 0 25 0 1 0 835771482 776114176 188474 4294967295 134512640 134714508 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189481 188474 1111 63 0 189418 0
vsize: 757924
[startup+490.052 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 191237 0 0 0 48642 364 0 0 25 0 1 0 835771482 786796544 191104 4294967295 134512640 134714508 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192089 191104 1111 63 0 192026 0
vsize: 768356
[startup+500.053 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 194057 0 0 0 49637 370 0 0 25 0 1 0 835771482 798425088 193924 4294967295 134512640 134714508 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194928 193924 1111 63 0 194865 0
vsize: 779712
[startup+510.053 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 29401
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 196729 0 0 0 50631 376 0 0 25 0 1 0 835771482 809377792 196596 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197602 196596 1111 63 0 197539 0
vsize: 790408
[startup+520.054 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 199434 0 0 0 51625 382 0 0 25 0 1 0 835771482 820334592 199301 4294967295 134512640 134714508 3221224576 3221223064 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200277 199301 1111 63 0 200214 0
vsize: 801108
[startup+530.054 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 202103 0 0 0 52621 386 0 0 25 0 1 0 835771482 831287296 201970 4294967295 134512640 134714508 3221224576 3221223064 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202951 201970 1111 63 0 202888 0
vsize: 811804
[startup+540.055 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 204744 0 0 0 53615 392 0 0 25 0 1 0 835771482 842104832 204611 4294967295 134512640 134714508 3221224576 3221223216 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205592 204611 1111 63 0 205529 0
vsize: 822368
[startup+550.055 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 207354 0 0 0 54611 397 0 0 25 0 1 0 835771482 852787200 207221 4294967295 134512640 134714508 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208200 207221 1111 63 0 208137 0
vsize: 832800
[startup+560.054 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 209984 0 0 0 55605 402 0 0 25 0 1 0 835771482 863604736 209851 4294967295 134512640 134714508 3221224576 3221223020 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210841 209851 1111 63 0 210778 0
vsize: 843364
[startup+570.057 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 212581 0 0 0 56600 408 0 0 25 0 1 0 835771482 874287104 212448 4294967295 134512640 134714508 3221224576 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213449 212449 1111 63 0 213386 0
vsize: 853796
[startup+580.056 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 215187 0 0 0 57595 412 0 0 25 0 1 0 835771482 884969472 215054 4294967295 134512640 134714508 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216057 215054 1111 63 0 215994 0
vsize: 864228
[startup+590.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 217802 0 0 0 58591 417 0 0 25 0 1 0 835771482 895655936 217669 4294967295 134512640 134714508 3221224576 3221223088 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218666 217669 1111 63 0 218603 0
vsize: 874664
[startup+600.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 220436 0 0 0 59587 422 0 0 25 0 1 0 835771482 906473472 220303 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221307 220303 1111 63 0 221244 0
vsize: 885228
[startup+610.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 223056 0 0 0 60581 427 0 0 25 0 1 0 835771482 917155840 222923 4294967295 134512640 134714508 3221224576 3221222956 134539208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223915 222923 1111 63 0 223852 0
vsize: 895660
[startup+620.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 225642 0 0 0 61576 432 0 0 25 0 1 0 835771482 927703040 225509 4294967295 134512640 134714508 3221224576 3221223024 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226490 225509 1111 63 0 226427 0
vsize: 905960
[startup+630.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 228216 0 0 0 62571 438 0 0 25 0 1 0 835771482 938250240 228083 4294967295 134512640 134714508 3221224576 3221223056 134543113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229065 228083 1111 63 0 229002 0
vsize: 916260
[startup+635.599 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 29403
Raw data (stat): 29348 (bsolo_lpr_cuts) R 29347 24172 24171 0 -1 0 228216 0 0 0 62571 438 0 0 25 0 1 0 835771482 938250240 228083 4294967295 134512640 134714508 3221224576 3221223056 134543113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229065 228083 1111 63 0 229002 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 635.599
CPU time (s): 635.636
CPU user time (s): 630.814
CPU system time (s): 4.82227
CPU usage (%): 100.006
Max. virtual memory (Kb): 916260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####