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-fast0507.opb
MD5SUM	2854384016ebafb26c8bfb47f81aee87
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.16
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 40010

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 00:33:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28070 boxname=wulflinc2 idbench=1026 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2854384016ebafb26c8bfb47f81aee87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fast0507.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fast0507.opb
IDLAUNCH: 28070
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        577000 kB
Buffers:         20156 kB
Cached:         413872 kB
SwapCached:       1376 kB
Active:          36168 kB
Inactive:       399920 kB
HighTotal:      131008 kB
HighFree:         3024 kB
LowTotal:       903652 kB
LowFree:        573976 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15812 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:40:23 (client local time) WITH STATUS 0 IN 386.592 SECONDS
stats: 28070 7 386.592 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.92 2/54 504
Raw data (stat): 504 (runsolver) R 503 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897351505 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 4803 0 0 0 987 11 0 0 25 0 1 0 897351505 31956992 4723 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 4723 1111 63 0 7739 0
vsize: 31208
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 9016 0 0 0 1981 17 0 0 25 0 1 0 897351505 49115136 8936 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11991 8936 1111 63 0 11928 0
vsize: 47964
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 13267 0 0 0 2974 24 0 0 25 0 1 0 897351505 66555904 13187 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16249 13187 1111 63 0 16186 0
vsize: 64996
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 17551 0 0 0 3968 30 0 0 25 0 1 0 897351505 84172800 17471 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20550 17471 1111 63 0 20487 0
vsize: 82200
[startup+50.003 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 21876 0 0 0 4961 38 0 0 25 0 1 0 897351505 101789696 21796 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24851 21796 1111 63 0 24788 0
vsize: 99404
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 26251 0 0 0 5955 44 0 0 25 0 1 0 897351505 119828480 26171 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29255 26171 1111 63 0 29192 0
vsize: 117020
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 30664 0 0 0 6948 51 0 0 25 0 1 0 897351505 137900032 30584 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33667 30584 1111 63 0 33604 0
vsize: 134668
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 35118 0 0 0 7940 59 0 0 25 0 1 0 897351505 156110848 35038 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38113 35038 1111 63 0 38050 0
vsize: 152452
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 39627 0 0 0 8934 65 0 0 25 0 1 0 897351505 174624768 39547 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42633 39547 1111 63 0 42570 0
vsize: 170532
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 44185 0 0 0 9926 74 0 0 25 0 1 0 897351505 193290240 44105 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47190 44105 1111 63 0 47127 0
vsize: 188760
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 48789 0 0 0 10918 82 0 0 25 0 1 0 897351505 212099072 48709 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51782 48709 1111 63 0 51719 0
vsize: 207128
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 53455 0 0 0 11912 88 0 0 25 0 1 0 897351505 231211008 53375 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56448 53375 1111 63 0 56385 0
vsize: 225792
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 58165 0 0 0 12904 96 0 0 25 0 1 0 897351505 250466304 58085 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61149 58085 1111 63 0 61086 0
vsize: 244596
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 62966 0 0 0 13896 105 0 0 25 0 1 0 897351505 270176256 62886 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65961 62886 1111 63 0 65898 0
vsize: 263844
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 67814 0 0 0 14888 113 0 0 25 0 1 0 897351505 290029568 67734 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70808 67734 1111 63 0 70745 0
vsize: 283232
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 72719 0 0 0 15881 120 0 0 25 0 1 0 897351505 310190080 72639 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75730 72639 1111 63 0 75667 0
vsize: 302920
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 77678 0 0 0 16874 127 0 0 25 0 1 0 897351505 330493952 77598 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80687 77598 1111 63 0 80624 0
vsize: 322748
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 82699 0 0 0 17864 137 0 0 25 0 1 0 897351505 350949376 82619 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85681 82619 1111 63 0 85618 0
vsize: 342724
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 87785 0 0 0 18857 145 0 0 25 0 1 0 897351505 371855360 87705 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90785 87705 1111 63 0 90722 0
vsize: 363140
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 92938 0 0 0 19849 152 0 0 25 0 1 0 897351505 392904704 92858 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95924 92858 1111 63 0 95861 0
vsize: 383696
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 98186 0 0 0 20840 162 0 0 25 0 1 0 897351505 414474240 98106 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101190 98106 1111 63 0 101127 0
vsize: 404760
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 103491 0 0 0 21830 172 0 0 25 0 1 0 897351505 436269056 103411 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106511 103411 1111 63 0 106448 0
vsize: 426044
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 108881 0 0 0 22822 180 0 0 25 0 1 0 897351505 458366976 108801 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111906 108801 1111 63 0 111843 0
vsize: 447624
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 114362 0 0 0 23811 191 0 0 25 0 1 0 897351505 480759808 114282 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117373 114282 1111 63 0 117310 0
vsize: 469492
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 119947 0 0 0 24801 201 0 0 25 0 1 0 897351505 503607296 119867 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122951 119874 1111 63 0 122888 0
vsize: 491804
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 125787 0 0 0 25790 212 0 0 25 0 1 0 897351505 527491072 125707 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128782 125707 1111 63 0 128719 0
vsize: 515128
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 131816 0 0 0 26782 221 0 0 25 0 1 0 897351505 552280064 131736 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134834 131736 1111 63 0 134771 0
vsize: 539336
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 138099 0 0 0 27772 231 0 0 25 0 1 0 897351505 577957888 138019 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141103 138019 1111 63 0 141040 0
vsize: 564412
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 144682 0 0 0 28762 241 0 0 25 0 1 0 897351505 604987392 144602 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147702 144602 1111 63 0 147639 0
vsize: 590808
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 151609 0 0 0 29750 253 0 0 25 0 1 0 897351505 633348096 151529 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154626 151529 1111 63 0 154563 0
vsize: 618504
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 158921 0 0 0 30736 267 0 0 25 0 1 0 897351505 663212032 158841 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161917 158841 1111 63 0 161854 0
vsize: 647668
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 166706 0 0 0 31721 283 0 0 25 0 1 0 897351505 695164928 166626 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169718 166626 1111 63 0 169655 0
vsize: 678872
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 175043 0 0 0 32706 298 0 0 25 0 1 0 897351505 729206784 174963 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178029 174963 1111 63 0 177966 0
vsize: 712116
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 183819 0 0 0 33690 314 0 0 25 0 1 0 897351505 765186048 183739 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186813 183739 1111 63 0 186750 0
vsize: 747252
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 192727 0 0 0 34674 331 0 0 25 0 1 0 897351505 801619968 192647 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195708 192647 1111 63 0 195645 0
vsize: 782832
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 201890 0 0 0 35657 347 0 0 25 0 1 0 897351505 839458816 201810 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204946 201814 1111 63 0 204883 0
vsize: 819784
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 211385 0 0 0 36637 367 0 0 25 0 1 0 897351505 878276608 211050 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214423 211050 1111 63 0 214360 0
vsize: 857692
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 221206 0 0 0 37614 391 0 0 25 0 1 0 897351505 918585344 219879 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224264 219879 1111 63 0 224201 0
vsize: 897056
[startup+386.543 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 504
Raw data (stat): 504 (bsolo_lpr-v2) R 503 31399 31398 0 -1 0 221206 0 0 0 37614 391 0 0 25 0 1 0 897351505 918585344 219879 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224264 219879 1111 63 0 224201 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 386.543
CPU time (s): 386.592
CPU user time (s): 382.12
CPU system time (s): 4.47232
CPU usage (%): 100.013
Max. virtual memory (Kb): 897056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####