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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb
MD5SUM	53ae35dd3424f79abe62dc18aab624bf
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	35.0387
Number of variables	270144
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	96
Number of constraints which are nor clauses,nor cardinality constraints	3682
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 25525

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 05:25:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19450 boxname=wulflinc31 idbench=1497 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  53ae35dd3424f79abe62dc18aab624bf  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_4.opb
IDLAUNCH: 19450
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        801232 kB
Buffers:         19080 kB
Cached:         193460 kB
SwapCached:        912 kB
Active:         141708 kB
Inactive:        72932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800980 kB
SwapTotal:     2097892 kB
SwapFree:      2095952 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13124 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 05:34:09 (client local time) WITH STATUS 0 IN 505.126 SECONDS
stats: 19450 7 505.126 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.98 0.96 2/55 28991
Raw data (stat): 28991 (runsolver) R 28990 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 793119213 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 33114 0 0 0 923 73 0 0 25 0 1 0 793119213 148979712 33037 4294967295 134512640 134714508 3221221776 3221220272 134539134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36372 33037 1111 63 0 36309 0
vsize: 145488
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 54159 0 0 0 1886 110 0 0 25 0 1 0 793119213 234532864 53792 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57259 53792 1111 63 0 57196 0
vsize: 229036
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 71210 0 0 0 2853 143 0 0 25 0 1 0 793119213 302747648 70511 4294967295 134512640 134714508 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73913 70511 1111 63 0 73850 0
vsize: 295652
[startup+40.0042 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 86910 0 0 0 3822 174 0 0 25 0 1 0 793119213 366858240 86211 4294967295 134512640 134714508 3221221776 3221218340 1077358240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89565 86211 1111 63 0 89502 0
vsize: 358260
[startup+50.0051 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 102089 0 0 0 4793 203 0 0 25 0 1 0 793119213 428748800 101012 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104675 101012 1111 63 0 104612 0
vsize: 418700
[startup+60.0056 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 115468 0 0 0 5767 230 0 0 25 0 1 0 793119213 483332096 114391 4294967295 134512640 134714508 3221221776 3221218252 1077196290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118001 114391 1111 63 0 117938 0
vsize: 472004
[startup+70.006 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 126821 0 0 0 6745 251 0 0 25 0 1 0 793119213 529620992 125744 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129302 125744 1111 63 0 129239 0
vsize: 517208
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 141284 0 0 0 7715 282 0 0 25 0 1 0 793119213 585986048 139547 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143063 139547 1111 63 0 143000 0
vsize: 572252
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 151800 0 0 0 8696 301 0 0 25 0 1 0 793119213 628912128 150063 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 153543 150063 1111 63 0 153480 0
vsize: 614172
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 163912 0 0 0 9674 323 0 0 25 0 1 0 793119213 678354944 162175 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 165614 162175 1111 63 0 165551 0
vsize: 662456
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 174664 0 0 0 10655 343 0 0 25 0 1 0 793119213 722153472 172927 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 176307 172927 1111 63 0 176244 0
vsize: 705228
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 185259 0 0 0 11634 363 0 0 25 0 1 0 793119213 765394944 183522 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 186864 183522 1111 63 0 186801 0
vsize: 747456
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 196131 0 0 0 12615 383 0 0 25 0 1 0 793119213 809775104 194394 4294967295 134512640 134714508 3221221776 3221219788 1077360259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 197699 194394 1111 63 0 197636 0
vsize: 790796
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 209802 0 37 0 13551 413 0 0 25 0 1 0 793119213 865120256 206257 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 211211 206257 1111 63 0 211148 0
vsize: 844844
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 211318 0 37 0 14547 417 0 0 25 0 1 0 793119213 871337984 207597 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 212729 207597 1111 63 0 212666 0
vsize: 850916
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 212832 0 37 0 15543 420 0 0 25 0 1 0 793119213 877555712 208911 4294967295 134512640 134714508 3221221776 3221218240 1077359372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 214247 208911 1111 63 0 214184 0
vsize: 856988
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 214362 0 37 0 16539 424 0 0 25 0 1 0 793119213 883773440 210274 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 215765 210274 1111 63 0 215702 0
vsize: 863060
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 216037 0 37 0 17534 430 0 0 25 0 1 0 793119213 890667008 211648 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 217448 211648 1111 63 0 217385 0
vsize: 869792
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 217956 0 37 0 18527 437 0 0 25 0 1 0 793119213 898506752 213339 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 219362 213339 1111 63 0 219299 0
vsize: 877448
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 220413 0 75 0 19472 443 0 0 25 0 1 0 793119213 907833344 215294 4294967295 134512640 134714508 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 221639 215294 1111 63 0 221576 0
vsize: 886556
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 221074 0 76 0 20466 444 0 0 25 0 1 0 793119213 910622720 215864 4294967295 134512640 134714508 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 222320 215864 1111 63 0 222257 0
vsize: 889280
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 221295 0 76 0 21465 445 0 0 25 0 1 0 793119213 911683584 215963 4294967295 134512640 134714508 3221221776 3221218396 1077253650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 222579 215963 1111 63 0 222516 0
vsize: 890316
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 221514 0 76 0 22464 446 0 0 25 0 1 0 793119213 912539648 216058 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 222788 216058 1111 63 0 222725 0
vsize: 891152
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 221790 0 76 0 23463 446 0 0 25 0 1 0 793119213 913874944 216319 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223114 216319 1111 63 0 223051 0
vsize: 892456
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 222118 0 76 0 24462 447 0 0 25 0 1 0 793119213 915345408 216492 4294967295 134512640 134714508 3221221776 3221220100 1077314298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223473 216492 1111 63 0 223410 0
vsize: 893892
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 222445 0 76 0 25461 447 0 0 25 0 1 0 793119213 916819968 216805 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223833 216805 1111 63 0 223770 0
vsize: 895332
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 222761 0 76 0 26460 448 0 0 25 0 1 0 793119213 918155264 216749 4294967295 134512640 134714508 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224159 216749 1111 63 0 224096 0
vsize: 896636
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 222934 0 76 0 27459 448 0 0 25 0 1 0 793119213 919044096 216916 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 224376 216916 1111 63 0 224313 0
vsize: 897504
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 223101 0 76 0 28458 449 0 0 25 0 1 0 793119213 919764992 217076 4294967295 134512640 134714508 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224552 217076 1111 63 0 224489 0
vsize: 898208
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 223432 0 76 0 29457 450 0 0 25 0 1 0 793119213 921235456 217393 4294967295 134512640 134714508 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 224911 217393 1111 63 0 224848 0
vsize: 899644
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 223757 0 76 0 30455 451 0 0 25 0 1 0 793119213 922710016 217581 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 225271 217581 1111 63 0 225208 0
vsize: 901084
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 224026 0 76 0 31454 452 0 0 25 0 1 0 793119213 923873280 217739 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 225555 217739 1111 63 0 225492 0
vsize: 902220
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 224243 0 76 0 32453 453 0 0 25 0 1 0 793119213 924934144 217942 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 225814 217942 1111 63 0 225751 0
vsize: 903256
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 224413 0 76 0 33452 453 0 0 25 0 1 0 793119213 925655040 218104 4294967295 134512640 134714508 3221221776 3221220052 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 225990 218104 1111 63 0 225927 0
vsize: 903960
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 224740 0 76 0 34451 454 0 0 25 0 1 0 793119213 927125504 218182 4294967295 134512640 134714508 3221221776 3221220052 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226349 218182 1111 63 0 226286 0
vsize: 905396
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 225066 0 76 0 35449 455 0 0 25 0 1 0 793119213 928595968 218494 4294967295 134512640 134714508 3221221776 3221219420 1076880035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226708 218494 1111 63 0 226645 0
vsize: 906832
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 225235 0 76 0 36448 455 0 0 25 0 1 0 793119213 929349632 218657 4294967295 134512640 134714508 3221221776 3221220272 134539126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 226892 218657 1111 63 0 226829 0
vsize: 907568
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 225396 0 76 0 37448 456 0 0 25 0 1 0 793119213 930070528 218811 4294967295 134512640 134714508 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 227068 218811 1111 63 0 227005 0
vsize: 908272
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 225727 0 76 0 38448 456 0 0 25 0 1 0 793119213 931540992 219128 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 227427 219128 1111 63 0 227364 0
vsize: 909708
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 226040 0 76 0 39446 457 0 0 25 0 1 0 793119213 932880384 219208 4294967295 134512640 134714508 3221221776 3221220272 134539126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 227754 219208 1111 63 0 227691 0
vsize: 911016
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 226213 0 76 0 40445 458 0 0 25 0 1 0 793119213 933765120 219374 4294967295 134512640 134714508 3221221776 3221218388 1077090785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 227970 219374 1111 63 0 227907 0
vsize: 911880
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 226385 0 76 0 41444 459 0 0 25 0 1 0 793119213 934486016 219538 4294967295 134512640 134714508 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 228146 219538 1111 63 0 228083 0
vsize: 912584
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 226710 0 76 0 42443 460 0 0 25 0 1 0 793119213 935960576 219847 4294967295 134512640 134714508 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 228506 219847 1111 63 0 228443 0
vsize: 914024
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 226968 0 76 0 43442 460 0 0 25 0 1 0 793119213 936988672 219875 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228757 219875 1111 63 0 228694 0
vsize: 915028
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 227126 0 76 0 44441 461 0 0 25 0 1 0 793119213 937844736 220026 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 228966 220026 1111 63 0 228903 0
vsize: 915864
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 227365 0 76 0 45441 461 0 0 25 0 1 0 793119213 938901504 220252 4294967295 134512640 134714508 3221221776 3221220052 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 229224 220252 1111 63 0 229161 0
vsize: 916896
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 227698 0 76 0 46439 462 0 0 25 0 1 0 793119213 940380160 220477 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 229585 220477 1111 63 0 229522 0
vsize: 918340
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 227866 0 76 0 47439 462 0 0 25 0 1 0 793119213 941133824 220544 4294967295 134512640 134714508 3221221776 3221220320 134538760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 229769 220544 1111 63 0 229706 0
vsize: 919076
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 228023 0 76 0 48438 463 0 0 25 0 1 0 793119213 941854720 220694 4294967295 134512640 134714508 3221221776 3221220052 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 229945 220694 1111 63 0 229882 0
vsize: 919780
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 228354 0 76 0 49436 463 0 0 25 0 1 0 793119213 943325184 220659 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 230304 220659 1111 63 0 230241 0
vsize: 921216
[startup+506.291 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 28991
Raw data (stat): 28991 (bsolo_lpr_cuts) R 28990 7876 7672 0 -1 0 228354 0 76 0 49436 463 0 0 25 0 1 0 793119213 943325184 220659 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 230304 220659 1111 63 0 230241 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 506.29
CPU time (s): 505.126
CPU user time (s): 500.064
CPU system time (s): 5.06223
CPU usage (%): 99.7701
Max. virtual memory (Kb): 921216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####