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/miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1197.16
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 41147

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 06:46:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29206 boxname=wulflinc2 idbench=990 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 29206
/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:        875192 kB
Buffers:           124 kB
Cached:         133616 kB
SwapCached:       5252 kB
Active:          40744 kB
Inactive:        98864 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        874884 kB
SwapTotal:     2097136 kB
SwapFree:      2090836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14084 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:00:38 (client local time) WITH STATUS 0 IN 866.455 SECONDS
stats: 29206 7 866.455 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.91 0.95 0.90 2/54 22396
Raw data (stat): 22396 (runsolver) R 22395 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908226507 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 3326 0 0 0 990 8 0 0 25 0 1 0 908226507 25235456 3246 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3246 1111 63 0 6098 0
vsize: 24644
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 5873 0 0 0 1983 14 0 0 25 0 1 0 908226507 35688448 5793 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5793 1111 63 0 8650 0
vsize: 34852
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 8414 0 0 0 2977 20 0 0 25 0 1 0 908226507 46125056 8334 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8334 1111 63 0 11198 0
vsize: 45044
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 10959 0 0 0 3973 24 0 0 25 0 1 0 908226507 56573952 10879 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13812 10879 1111 63 0 13749 0
vsize: 55248
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 13529 0 0 0 4969 29 0 0 25 0 1 0 908226507 67002368 13449 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16358 13449 1111 63 0 16295 0
vsize: 65432
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 16099 0 0 0 5964 34 0 0 25 0 1 0 908226507 77598720 16019 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 16019 1111 63 0 18882 0
vsize: 75780
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 18669 0 0 0 6959 39 0 0 25 0 1 0 908226507 88055808 18589 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21498 18589 1111 63 0 21435 0
vsize: 85992
[startup+80.0019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 21250 0 0 0 7955 43 0 0 25 0 1 0 908226507 98652160 21170 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24085 21170 1111 63 0 24022 0
vsize: 96340
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 23833 0 0 0 8951 48 0 0 25 0 1 0 908226507 109256704 23753 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26674 23753 1111 63 0 26611 0
vsize: 106696
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 26421 0 0 0 9944 54 0 0 25 0 1 0 908226507 119828480 26341 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29255 26341 1111 63 0 29192 0
vsize: 117020
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 28993 0 0 0 10939 60 0 0 25 0 1 0 908226507 130433024 28913 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31844 28913 1111 63 0 31781 0
vsize: 127376
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 31563 0 0 0 11935 65 0 0 25 0 1 0 908226507 140877824 31483 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34394 31483 1111 63 0 34331 0
vsize: 137576
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 34121 0 0 0 12930 69 0 0 25 0 1 0 908226507 151482368 34041 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34041 1111 63 0 36920 0
vsize: 147932
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 36673 0 0 0 13925 74 0 0 25 0 1 0 908226507 161931264 36593 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39534 36593 1111 63 0 39471 0
vsize: 158136
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 39208 0 0 0 14921 79 0 0 25 0 1 0 908226507 172236800 39128 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42050 39128 1111 63 0 41987 0
vsize: 168200
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 41778 0 0 0 15916 84 0 0 25 0 1 0 908226507 182833152 41698 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44637 41698 1111 63 0 44574 0
vsize: 178548
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 44367 0 0 0 16910 90 0 0 25 0 1 0 908226507 193437696 44287 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47226 44287 1111 63 0 47163 0
vsize: 188904
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 46942 0 0 0 17905 96 0 0 25 0 1 0 908226507 203886592 46862 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49777 46862 1111 63 0 49714 0
vsize: 199108
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 49608 0 0 0 18898 103 0 0 25 0 1 0 908226507 214933504 49528 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52474 49528 1111 63 0 52411 0
vsize: 209896
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 52251 0 0 0 19893 108 0 0 25 0 1 0 908226507 225681408 52171 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55098 52171 1111 63 0 55035 0
vsize: 220392
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 54840 0 0 0 20889 112 0 0 25 0 1 0 908226507 236285952 54760 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57687 54760 1111 63 0 57624 0
vsize: 230748
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 57393 0 0 0 21884 117 0 0 25 0 1 0 908226507 246734848 57313 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60238 57313 1111 63 0 60175 0
vsize: 240952
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 59976 0 0 0 22879 122 0 0 25 0 1 0 908226507 257335296 59896 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62826 59896 1111 63 0 62763 0
vsize: 251304
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 62515 0 0 0 23873 128 0 0 25 0 1 0 908226507 267784192 62435 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65377 62435 1111 63 0 65314 0
vsize: 261508
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 65142 0 0 0 24869 133 0 0 25 0 1 0 908226507 278540288 65062 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68003 65062 1111 63 0 67940 0
vsize: 272012
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 67760 0 0 0 25865 137 0 0 25 0 1 0 908226507 289284096 67680 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70626 67680 1111 63 0 70563 0
vsize: 282504
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 70356 0 0 0 26860 142 0 0 25 0 1 0 908226507 299888640 70276 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73215 70276 1111 63 0 73152 0
vsize: 292860
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 72883 0 0 0 27855 147 0 0 25 0 1 0 908226507 310190080 72803 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75730 72803 1111 63 0 75667 0
vsize: 302920
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 75485 0 0 0 28848 153 0 0 25 0 1 0 908226507 320790528 75405 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78318 75405 1111 63 0 78255 0
vsize: 313272
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 78043 0 0 0 29844 158 0 0 25 0 1 0 908226507 331390976 77963 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80906 77963 1111 63 0 80843 0
vsize: 323624
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 80554 0 0 0 30840 162 0 0 25 0 1 0 908226507 341544960 80474 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83385 80474 1111 63 0 83322 0
vsize: 333540
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 83172 0 0 0 31835 167 0 0 25 0 1 0 908226507 352292864 83092 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86009 83092 1111 63 0 85946 0
vsize: 344036
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 85785 0 0 0 32830 172 0 0 25 0 1 0 908226507 363044864 85705 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88634 85705 1111 63 0 88571 0
vsize: 354536
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 88356 0 0 0 33825 178 0 0 25 0 1 0 908226507 373493760 88276 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91185 88276 1111 63 0 91122 0
vsize: 364740
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 90859 0 0 0 34821 182 0 0 25 0 1 0 908226507 383795200 90779 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93700 90779 1111 63 0 93637 0
vsize: 374800
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 93466 0 0 0 35815 188 0 0 25 0 1 0 908226507 394547200 93386 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96325 93386 1111 63 0 96262 0
vsize: 385300
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 95986 0 0 0 36812 191 0 0 25 0 1 0 908226507 404844544 95906 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98839 95906 1111 63 0 98776 0
vsize: 395356
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 98508 0 0 0 37809 195 0 0 25 0 1 0 908226507 415219712 98428 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101372 98428 1111 63 0 101309 0
vsize: 405488
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 101035 0 0 0 38803 200 0 0 25 0 1 0 908226507 425668608 100955 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103923 100955 1111 63 0 103860 0
vsize: 415692
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 103588 0 0 0 39798 205 0 0 25 0 1 0 908226507 436121600 103508 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106475 103508 1111 63 0 106412 0
vsize: 425900
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 106067 0 0 0 40793 211 0 0 25 0 1 0 908226507 446271488 105987 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108953 105987 1111 63 0 108890 0
vsize: 435812
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 108772 0 0 0 41789 216 0 0 25 0 1 0 908226507 457322496 108692 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111651 108692 1111 63 0 111588 0
vsize: 446604
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 111348 0 0 0 42784 220 0 0 25 0 1 0 908226507 467771392 111268 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114202 111268 1111 63 0 114139 0
vsize: 456808
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 114016 0 0 0 43780 224 0 0 25 0 1 0 908226507 478822400 113936 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116900 113936 1111 63 0 116837 0
vsize: 467600
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 116660 0 0 0 44776 229 0 0 25 0 1 0 908226507 489570304 116580 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119524 116580 1111 63 0 119461 0
vsize: 478096
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 119249 0 0 0 45772 233 0 0 25 0 1 0 908226507 500174848 119169 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122113 119169 1111 63 0 122050 0
vsize: 488452
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 121873 0 0 0 46768 237 0 0 25 0 1 0 908226507 510918656 121793 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124736 121793 1111 63 0 124673 0
vsize: 498944
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 124500 0 0 0 47764 242 0 0 25 0 1 0 908226507 521670656 124420 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127361 124420 1111 63 0 127298 0
vsize: 509444
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 127094 0 0 0 48759 247 0 0 25 0 1 0 908226507 532271104 127014 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129949 127014 1111 63 0 129886 0
vsize: 519796
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 129732 0 0 0 49756 250 0 0 25 0 1 0 908226507 543170560 129652 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132610 129652 1111 63 0 132547 0
vsize: 530440
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 132679 0 0 0 50751 255 0 0 25 0 1 0 908226507 555118592 132599 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135527 132599 1111 63 0 135464 0
vsize: 542108
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 135561 0 0 0 51747 259 0 0 25 0 1 0 908226507 566915072 135481 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138407 135481 1111 63 0 138344 0
vsize: 553628
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 138537 0 0 0 52741 265 0 0 25 0 1 0 908226507 579149824 138457 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141394 138457 1111 63 0 141331 0
vsize: 565576
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 141576 0 0 0 53735 271 0 0 25 0 1 0 908226507 591544320 141496 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144420 141496 1111 63 0 144357 0
vsize: 577680
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 144268 0 0 0 54731 276 0 0 25 0 1 0 908226507 602595328 144188 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147118 144188 1111 63 0 147055 0
vsize: 588472
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 147065 0 0 0 55726 281 0 0 25 0 1 0 908226507 614092800 146985 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149925 146985 1111 63 0 149862 0
vsize: 599700
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 149531 0 0 0 56722 285 0 0 25 0 1 0 908226507 624242688 149451 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152403 149451 1111 63 0 152340 0
vsize: 609612
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 152273 0 0 0 57718 289 0 0 25 0 1 0 908226507 635445248 152193 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155138 152193 1111 63 0 155075 0
vsize: 620552
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 154891 0 0 0 58714 294 0 0 25 0 1 0 908226507 646189056 154811 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157761 154811 1111 63 0 157698 0
vsize: 631044
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 157863 0 0 0 59709 299 0 0 25 0 1 0 908226507 658284544 157783 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 160714 157783 1111 63 0 160651 0
vsize: 642856
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 160829 0 0 0 60704 303 0 0 25 0 1 0 908226507 670380032 160749 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163667 160749 1111 63 0 163604 0
vsize: 654668
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 163630 0 0 0 61700 308 0 0 25 0 1 0 908226507 681877504 163550 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166474 163550 1111 63 0 166411 0
vsize: 665896
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 166110 0 0 0 62696 312 0 0 25 0 1 0 908226507 692027392 166030 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168952 166030 1111 63 0 168889 0
vsize: 675808
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 168954 0 0 0 63692 316 0 0 25 0 1 0 908226507 703676416 168874 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171796 168874 1111 63 0 171733 0
vsize: 687184
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 171665 0 0 0 64686 322 0 0 25 0 1 0 908226507 714870784 171585 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174529 171585 1111 63 0 174466 0
vsize: 698116
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 174193 0 0 0 65682 327 0 0 25 0 1 0 908226507 725176320 174113 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177045 174113 1111 63 0 176982 0
vsize: 708180
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 176842 0 0 0 66676 332 0 0 25 0 1 0 908226507 736071680 176762 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179705 176762 1111 63 0 179642 0
vsize: 718820
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 179298 0 0 0 67672 336 0 0 25 0 1 0 908226507 746078208 179218 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182148 179218 1111 63 0 182085 0
vsize: 728592
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 181728 0 0 0 68667 342 0 0 25 0 1 0 908226507 756080640 181648 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184590 181648 1111 63 0 184527 0
vsize: 738360
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 184227 0 0 0 69662 347 0 0 25 0 1 0 908226507 766230528 184147 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187068 184147 1111 63 0 187005 0
vsize: 748272
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 186693 0 0 0 70658 352 0 0 25 0 1 0 908226507 776384512 186613 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189547 186613 1111 63 0 189484 0
vsize: 758188
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 189069 0 0 0 71654 356 0 0 25 0 1 0 908226507 786087936 188989 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191916 188989 1111 63 0 191853 0
vsize: 767664
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 191743 0 0 0 72649 361 0 0 25 0 1 0 908226507 796991488 191663 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194578 191663 1111 63 0 194515 0
vsize: 778312
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 194330 0 0 0 73645 364 0 0 25 0 1 0 908226507 807587840 194250 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197165 194250 1111 63 0 197102 0
vsize: 788660
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 197062 0 0 0 74642 368 0 0 25 0 1 0 908226507 819003392 196982 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199952 196982 1111 63 0 199889 0
vsize: 799808
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 199570 0 0 0 75637 373 0 0 25 0 1 0 908226507 829300736 199490 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202466 199490 1111 63 0 202403 0
vsize: 809864
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 202331 0 0 0 76633 378 0 0 25 0 1 0 908226507 840650752 202251 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205237 202251 1111 63 0 205174 0
vsize: 820948
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 204906 0 0 0 77628 382 0 0 25 0 1 0 908226507 851247104 204826 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207824 204826 1111 63 0 207761 0
vsize: 831296
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 207661 0 0 0 78624 386 0 0 25 0 1 0 908226507 862449664 207581 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210559 207581 1111 63 0 210496 0
vsize: 842236
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 210365 0 0 0 79621 390 0 0 25 0 1 0 908226507 873500672 210285 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213257 210285 1111 63 0 213194 0
vsize: 853028
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 213062 0 0 0 80617 394 0 0 25 0 1 0 908226507 884543488 212982 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215953 212982 1111 63 0 215890 0
vsize: 863812
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 215822 0 0 0 81612 399 0 0 25 0 1 0 908226507 895893504 215742 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218724 215742 1111 63 0 218661 0
vsize: 874896
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22396
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 218575 0 0 0 82606 405 0 0 25 0 1 0 908226507 907091968 218495 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221458 218495 1111 63 0 221395 0
vsize: 885832
[startup+840.186 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 22432
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 221332 0 0 0 83613 414 0 0 25 0 1 0 908226507 918437888 218918 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224228 218918 1111 63 0 224165 0
vsize: 896912
[startup+850.189 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 22449
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 223866 0 0 0 84602 424 0 0 25 0 1 0 908226507 928743424 219166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226744 219166 1111 63 0 226681 0
vsize: 906976
[startup+860.19 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 22449
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 226172 0 6 0 85586 432 0 0 25 0 1 0 908226507 938295296 218783 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229076 218783 1111 63 0 229013 0
vsize: 916304
[startup+866.719 s]
Raw data (loadavg): 1.18 1.02 0.93 1/53 22449
Raw data (stat): 22396 (bsolo_lpr_cuts-) R 22395 31399 31398 0 -1 0 226172 0 6 0 85586 432 0 0 25 0 1 0 908226507 938295296 218783 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229076 218783 1111 63 0 229013 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 866.718
CPU time (s): 866.455
CPU user time (s): 861.683
CPU system time (s): 4.77227
CPU usage (%): 99.9697
Max. virtual memory (Kb): 916304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####