PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:

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

General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb
MD5SUM	38504d32a17a57a658eee171614b901e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	324
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63009
Total number of constraints	63516
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63009
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	7753

Trace number 25789

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 12:55:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17513 boxname=wulflinc31 idbench=1348 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  38504d32a17a57a658eee171614b901e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fast0507.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fast0507.opb
IDLAUNCH: 17513
/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:        613756 kB
Buffers:         21824 kB
Cached:         378308 kB
SwapCached:        932 kB
Active:         201464 kB
Inactive:       200808 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        613476 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12960 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 13:01:28 (client local time) WITH STATUS 0 IN 379.846 SECONDS
stats: 17513 7 379.846 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.93 0.98 0.93 2/55 24866
Raw data (stat): 24866 (runsolver) R 24865 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 813098038 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 4765 0 0 0 984 11 0 0 25 0 1 0 813098038 31813632 4688 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7767 4688 1111 63 0 7704 0
vsize: 31068
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 8959 0 0 0 1977 18 0 0 25 0 1 0 813098038 48967680 8882 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11955 8882 1111 63 0 11892 0
vsize: 47820
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 13205 0 0 0 2969 27 0 0 25 0 1 0 813098038 66412544 13128 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16214 13128 1111 63 0 16151 0
vsize: 64856
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 17549 0 0 0 3960 36 0 0 25 0 1 0 813098038 84176896 17472 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20551 17472 1111 63 0 20488 0
vsize: 82204
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 21959 0 0 0 4953 43 0 0 25 0 1 0 813098038 102240256 21882 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24961 21882 1111 63 0 24898 0
vsize: 99844
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 26420 0 0 0 5944 52 0 0 25 0 1 0 813098038 120426496 26343 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29401 26343 1111 63 0 29338 0
vsize: 117604
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 30916 0 0 0 6937 59 0 0 25 0 1 0 813098038 138944512 30839 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33922 30839 1111 63 0 33859 0
vsize: 135688
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 35462 0 0 0 7930 66 0 0 25 0 1 0 813098038 157458432 35385 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38442 35385 1111 63 0 38379 0
vsize: 153768
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 40063 0 0 0 8922 75 0 0 25 0 1 0 813098038 176422912 39986 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43072 39986 1111 63 0 43009 0
vsize: 172288
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 44771 0 0 0 9913 84 0 0 25 0 1 0 813098038 195678208 44694 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47773 44694 1111 63 0 47710 0
vsize: 191092
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 49594 0 0 0 10904 93 0 0 25 0 1 0 813098038 215388160 49517 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52585 49517 1111 63 0 52522 0
vsize: 210340
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 54431 0 0 0 11896 101 0 0 25 0 1 0 813098038 235241472 54354 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57432 54354 1111 63 0 57369 0
vsize: 229728
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 59335 0 0 0 12886 111 0 0 25 0 1 0 813098038 255397888 59258 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62353 59258 1111 63 0 62290 0
vsize: 249412
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 64361 0 0 0 13877 120 0 0 25 0 1 0 813098038 275853312 64284 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67347 64284 1111 63 0 67284 0
vsize: 269388
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 69503 0 0 0 14867 130 0 0 25 0 1 0 813098038 296906752 69426 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72487 69426 1111 63 0 72424 0
vsize: 289948
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 74710 0 0 0 15859 139 0 0 25 0 1 0 813098038 318255104 74633 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77699 74633 1111 63 0 77636 0
vsize: 310796
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 79986 0 0 0 16849 149 0 0 25 0 1 0 813098038 339902464 79909 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82984 79909 1111 63 0 82921 0
vsize: 331936
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 85332 0 0 0 17840 158 0 0 25 0 1 0 813098038 361848832 85255 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88342 85255 1111 63 0 88279 0
vsize: 353368
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 90767 0 0 0 18830 168 0 0 25 0 1 0 813098038 384102400 90690 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93775 90690 1111 63 0 93712 0
vsize: 375100
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 96295 0 0 0 19818 180 0 0 25 0 1 0 813098038 406642688 96218 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99278 96218 1111 63 0 99215 0
vsize: 397112
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 102036 0 0 0 20808 190 0 0 25 0 1 0 813098038 430297088 101959 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105053 101959 1111 63 0 104990 0
vsize: 420212
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 107882 0 0 0 21798 200 0 0 25 0 1 0 813098038 454189056 107805 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110886 107805 1111 63 0 110823 0
vsize: 443544
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 113850 0 0 0 22787 212 0 0 25 0 1 0 813098038 478679040 113773 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116865 113773 1111 63 0 116802 0
vsize: 467460
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 119915 0 0 0 23777 222 0 0 25 0 1 0 813098038 503463936 119838 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122916 119838 1111 63 0 122853 0
vsize: 491664
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 126156 0 0 0 24765 235 0 0 25 0 1 0 813098038 529141760 126079 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129185 126079 1111 63 0 129122 0
vsize: 516740
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.93 3/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 132458 0 0 0 25754 246 0 0 25 0 1 0 813098038 554823680 132381 4294967295 134512640 134714508 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135491 132387 1111 63 0 135428 0
vsize: 541820
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 138948 0 0 0 26741 258 0 0 25 0 1 0 813098038 581398528 138871 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141943 138871 1111 63 0 141880 0
vsize: 567772
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 145639 0 0 0 27729 271 0 0 25 0 1 0 813098038 608866304 145562 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148649 145562 1111 63 0 148586 0
vsize: 594596
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24866
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 152410 0 0 0 28719 281 0 0 25 0 1 0 813098038 636641280 152333 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 155430 152333 1111 63 0 155367 0
vsize: 621720
[startup+300.012 s]
Raw data (loadavg): 1.15 1.02 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 159290 0 0 0 29702 297 0 0 25 0 1 0 813098038 664711168 159213 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162283 159213 1111 63 0 162220 0
vsize: 649132
[startup+310.013 s]
Raw data (loadavg): 1.13 1.02 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 166504 0 0 0 30685 312 0 0 25 0 1 0 813098038 694276096 166427 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 169501 166427 1111 63 0 169438 0
vsize: 678004
[startup+320.013 s]
Raw data (loadavg): 1.11 1.01 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 174118 0 0 0 31672 325 0 0 25 0 1 0 813098038 725475328 174041 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 177118 174041 1111 63 0 177055 0
vsize: 708472
[startup+330.014 s]
Raw data (loadavg): 1.09 1.01 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 182103 0 0 0 32658 340 0 0 25 0 1 0 813098038 758177792 182026 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 185102 182026 1111 63 0 185039 0
vsize: 740408
[startup+340.015 s]
Raw data (loadavg): 1.08 1.01 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 190556 0 0 0 33641 357 0 0 25 0 1 0 813098038 792813568 190479 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 193558 190479 1111 63 0 193495 0
vsize: 774232
[startup+350.016 s]
Raw data (loadavg): 1.07 1.01 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 199386 0 0 0 34625 373 0 0 25 0 1 0 813098038 829157376 199309 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 202431 199309 1111 63 0 202368 0
vsize: 809724
[startup+360.017 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 24919
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 208655 0 0 0 35607 391 0 0 25 0 1 0 813098038 867082240 208514 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 211690 208514 1111 63 0 211627 0
vsize: 846760
[startup+370.018 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 24921
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 217964 0 0 0 36582 416 0 0 25 0 1 0 813098038 905302016 217023 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 221021 217023 1111 63 0 220958 0
vsize: 884084
[startup+379.902 s]
Raw data (loadavg): 1.04 1.01 0.94 1/54 24921
Raw data (stat): 24866 (bsolo_lpr_cuts) R 24865 7876 7672 0 -1 0 217964 0 0 0 36582 416 0 0 25 0 1 0 813098038 905302016 217023 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 221021 217023 1111 63 0 220958 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 379.901
CPU time (s): 379.846
CPU user time (s): 375.053
CPU system time (s): 4.79327
CPU usage (%): 99.9856
Max. virtual memory (Kb): 884084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####