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-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
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	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	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.13683
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 41202

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 08:01:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29269 boxname=wulflinc3 idbench=1053 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 29269
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        881384 kB
Buffers:         16240 kB
Cached:         116256 kB
SwapCached:        716 kB
Active:          46988 kB
Inactive:        87508 kB
HighTotal:      131008 kB
HighFree:        20944 kB
LowTotal:       903652 kB
LowFree:        860440 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            13036 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:16:26 (client local time) WITH STATUS 0 IN 874.053 SECONDS
stats: 29269 7 874.053 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.87 0.95 0.90 2/54 5897
Raw data (stat): 5897 (runsolver) R 5896 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908668303 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.001 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 3326 0 0 0 988 9 0 0 25 0 1 0 908668303 25235456 3246 4294967295 134512640 134716908 3221224560 3221222788 1077414426 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.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 5867 0 0 0 1984 13 0 0 25 0 1 0 908668303 35688448 5787 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5787 1111 63 0 8650 0
vsize: 34852
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 8414 0 0 0 2980 17 0 0 25 0 1 0 908668303 46125056 8334 4294967295 134512640 134716908 3221224560 3221222788 1077414435 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.0033 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 10959 0 0 0 3976 22 0 0 25 0 1 0 908668303 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.0038 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 13529 0 0 0 4973 26 0 0 25 0 1 0 908668303 67002368 13449 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.0046 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 16105 0 0 0 5969 30 0 0 25 0 1 0 908668303 77598720 16025 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 16025 1111 63 0 18882 0
vsize: 75780
[startup+70.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 18681 0 0 0 6965 33 0 0 25 0 1 0 908668303 88203264 18601 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 18601 1111 63 0 21471 0
vsize: 86136
[startup+80.0057 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 21263 0 0 0 7960 39 0 0 25 0 1 0 908668303 98803712 21183 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 21183 1111 63 0 24059 0
vsize: 96488
[startup+90.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 23851 0 0 0 8957 43 0 0 25 0 1 0 908668303 109404160 23771 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26710 23771 1111 63 0 26647 0
vsize: 106840
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 26445 0 0 0 9952 48 0 0 25 0 1 0 908668303 119975936 26365 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29291 26365 1111 63 0 29228 0
vsize: 117164
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 29017 0 0 0 10948 52 0 0 25 0 1 0 908668303 130580480 28937 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31880 28937 1111 63 0 31817 0
vsize: 127520
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 31593 0 0 0 11943 56 0 0 25 0 1 0 908668303 141029376 31513 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34431 31513 1111 63 0 34368 0
vsize: 137724
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 34152 0 0 0 12940 60 0 0 25 0 1 0 908668303 151482368 34072 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34072 1111 63 0 36920 0
vsize: 147932
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 36704 0 0 0 13935 65 0 0 25 0 1 0 908668303 161931264 36624 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39534 36624 1111 63 0 39471 0
vsize: 158136
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 39245 0 0 0 14931 70 0 0 25 0 1 0 908668303 172388352 39165 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42087 39165 1111 63 0 42024 0
vsize: 168348
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 41821 0 0 0 15926 75 0 0 25 0 1 0 908668303 182984704 41741 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44674 41741 1111 63 0 44611 0
vsize: 178696
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 44410 0 0 0 16922 79 0 0 25 0 1 0 908668303 193589248 44330 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47263 44330 1111 63 0 47200 0
vsize: 189052
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 46991 0 0 0 17918 83 0 0 25 0 1 0 908668303 204185600 46911 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49850 46911 1111 63 0 49787 0
vsize: 199400
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 49663 0 0 0 18913 89 0 0 25 0 1 0 908668303 215085056 49583 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52511 49583 1111 63 0 52448 0
vsize: 210044
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 52300 0 0 0 19909 93 0 0 25 0 1 0 908668303 225980416 52220 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55171 52220 1111 63 0 55108 0
vsize: 220684
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5897
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 54895 0 0 0 20905 97 0 0 25 0 1 0 908668303 236584960 54815 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57760 54817 1111 63 0 57697 0
vsize: 231040
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 57454 0 0 0 21901 101 0 0 25 0 1 0 908668303 247029760 57374 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60310 57374 1111 63 0 60247 0
vsize: 241240
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 60036 0 0 0 22896 106 0 0 25 0 1 0 908668303 257634304 59956 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62899 59956 1111 63 0 62836 0
vsize: 251596
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 62582 0 0 0 23892 111 0 0 25 0 1 0 908668303 268083200 62502 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65450 62502 1111 63 0 65387 0
vsize: 261800
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 65214 0 0 0 24888 115 0 0 25 0 1 0 908668303 278835200 65134 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68075 65134 1111 63 0 68012 0
vsize: 272300
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 67833 0 0 0 25883 119 0 0 25 0 1 0 908668303 289583104 67753 4294967295 134512640 134716908 3221224560 3221221276 1077197764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70699 67753 1111 63 0 70636 0
vsize: 282796
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 70429 0 0 0 26879 124 0 0 25 0 1 0 908668303 300187648 70349 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 70349 1111 63 0 73225 0
vsize: 293152
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 72968 0 0 0 27876 127 0 0 25 0 1 0 908668303 310484992 72888 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75802 72888 1111 63 0 75739 0
vsize: 303208
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 75571 0 0 0 28871 132 0 0 25 0 1 0 908668303 321241088 75491 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78428 75491 1111 63 0 78365 0
vsize: 313712
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 78122 0 0 0 29867 137 0 0 25 0 1 0 908668303 331685888 78042 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80978 78042 1111 63 0 80915 0
vsize: 323912
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 80645 0 0 0 30862 142 0 0 25 0 1 0 908668303 341991424 80565 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83494 80565 1111 63 0 83431 0
vsize: 333976
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 83263 0 0 0 31856 148 0 0 25 0 1 0 908668303 352739328 83183 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86118 83183 1111 63 0 86055 0
vsize: 344472
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 85876 0 0 0 32852 152 0 0 25 0 1 0 908668303 363343872 85796 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88743 85801 1111 63 0 88680 0
vsize: 354828
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 88441 0 0 0 33847 157 0 0 25 0 1 0 908668303 373940224 88361 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91294 88361 1111 63 0 91231 0
vsize: 365176
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 90951 0 0 0 34843 161 0 0 25 0 1 0 908668303 384245760 90871 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93810 90871 1111 63 0 93747 0
vsize: 375240
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 93557 0 0 0 35840 165 0 0 25 0 1 0 908668303 394846208 93477 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96398 93477 1111 63 0 96335 0
vsize: 385592
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 96073 0 0 0 36835 170 0 0 25 0 1 0 908668303 405151744 95993 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98914 95993 1111 63 0 98851 0
vsize: 395656
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 98581 0 0 0 37832 173 0 0 25 0 1 0 908668303 415518720 98501 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101445 98501 1111 63 0 101382 0
vsize: 405780
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 101101 0 0 0 38828 178 0 0 25 0 1 0 908668303 425816064 101021 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103959 101021 1111 63 0 103896 0
vsize: 415836
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 103649 0 0 0 39825 181 0 0 25 0 1 0 908668303 436269056 103569 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106511 103569 1111 63 0 106448 0
vsize: 426044
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 106128 0 0 0 40821 185 0 0 25 0 1 0 908668303 446423040 106048 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108990 106048 1111 63 0 108927 0
vsize: 435960
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 108833 0 0 0 41816 190 0 0 25 0 1 0 908668303 457474048 108753 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111688 108753 1111 63 0 111625 0
vsize: 446752
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 111397 0 0 0 42812 194 0 0 25 0 1 0 908668303 468070400 111317 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114275 111317 1111 63 0 114212 0
vsize: 457100
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 114010 0 0 0 43808 198 0 0 25 0 1 0 908668303 478674944 113930 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116864 113930 1111 63 0 116801 0
vsize: 467456
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 116617 0 0 0 44804 203 0 0 25 0 1 0 908668303 489418752 116537 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119487 116537 1111 63 0 119424 0
vsize: 477948
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 119158 0 0 0 45798 209 0 0 25 0 1 0 908668303 499875840 119078 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122040 119078 1111 63 0 121977 0
vsize: 488160
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 121716 0 0 0 46794 213 0 0 25 0 1 0 908668303 510324736 121636 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124591 121636 1111 63 0 124528 0
vsize: 498364
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 124299 0 0 0 47790 217 0 0 25 0 1 0 908668303 520925184 124219 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127179 124219 1111 63 0 127116 0
vsize: 508716
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 126863 0 0 0 48786 222 0 0 25 0 1 0 908668303 531374080 126783 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129730 126783 1111 63 0 129667 0
vsize: 518920
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 129417 0 0 0 49782 226 0 0 25 0 1 0 908668303 541831168 129337 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132283 129337 1111 63 0 132220 0
vsize: 529132
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 132295 0 0 0 50777 231 0 0 25 0 1 0 908668303 553619456 132215 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135161 132215 1111 63 0 135098 0
vsize: 540644
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 135159 0 0 0 51772 236 0 0 25 0 1 0 908668303 565268480 135079 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138005 135079 1111 63 0 137942 0
vsize: 552020
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 138015 0 0 0 52769 240 0 0 25 0 1 0 908668303 577064960 137935 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140885 137935 1111 63 0 140822 0
vsize: 563540
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 141030 0 0 0 53763 246 0 0 25 0 1 0 908668303 589307904 140950 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143874 140950 1111 63 0 143811 0
vsize: 575496
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 143721 0 0 0 54758 250 0 0 25 0 1 0 908668303 600350720 143641 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146570 143641 1111 63 0 146507 0
vsize: 586280
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 146450 0 0 0 55754 254 0 0 25 0 1 0 908668303 611553280 146370 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149305 146370 1111 63 0 149242 0
vsize: 597220
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 148961 0 0 0 56751 258 0 0 25 0 1 0 908668303 621850624 148881 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151819 148881 1111 63 0 151756 0
vsize: 607276
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 151524 0 0 0 57747 263 0 0 25 0 1 0 908668303 632307712 151444 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154372 151444 1111 63 0 154309 0
vsize: 617488
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 154206 0 0 0 58743 266 0 0 25 0 1 0 908668303 643358720 154126 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157070 154126 1111 63 0 157007 0
vsize: 628280
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 156963 0 0 0 59738 272 0 0 25 0 1 0 908668303 654553088 156883 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159803 156883 1111 63 0 159740 0
vsize: 639212
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 159906 0 0 0 60733 277 0 0 25 0 1 0 908668303 666644480 159826 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162755 159826 1111 63 0 162692 0
vsize: 651020
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 162682 0 0 0 61729 281 0 0 25 0 1 0 908668303 677994496 162602 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165526 162602 1111 63 0 165463 0
vsize: 662104
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 165235 0 0 0 62724 286 0 0 25 0 1 0 908668303 688443392 165155 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168077 165155 1111 63 0 168014 0
vsize: 672308
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 167891 0 0 0 63718 292 0 0 25 0 1 0 908668303 699346944 167811 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170739 167811 1111 63 0 170676 0
vsize: 682956
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 170600 0 0 0 64715 296 0 0 25 0 1 0 908668303 710389760 170520 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173435 170520 1111 63 0 173372 0
vsize: 693740
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 173136 0 0 0 65711 300 0 0 25 0 1 0 908668303 720842752 173056 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175987 173056 1111 63 0 175924 0
vsize: 703948
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 175674 0 0 0 66707 304 0 0 25 0 1 0 908668303 731291648 175594 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178538 175594 1111 63 0 178475 0
vsize: 714152
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 178192 0 0 0 67703 308 0 0 25 0 1 0 908668303 741597184 178112 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181054 178112 1111 63 0 180991 0
vsize: 724216
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 180573 0 0 0 68699 312 0 0 25 0 1 0 908668303 751300608 180493 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183423 180493 1111 63 0 183360 0
vsize: 733692
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 182962 0 0 0 69694 318 0 0 25 0 1 0 908668303 761004032 182882 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185792 182882 1111 63 0 185729 0
vsize: 743168
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 185388 0 0 0 70690 321 0 0 25 0 1 0 908668303 771010560 185308 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188235 185308 1111 63 0 188172 0
vsize: 752940
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 187750 0 0 0 71687 325 0 0 25 0 1 0 908668303 780713984 187670 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190604 187670 1111 63 0 190541 0
vsize: 762416
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 190163 0 0 0 72684 328 0 0 25 0 1 0 908668303 790568960 190083 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193010 190083 1111 63 0 192947 0
vsize: 772040
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 192915 0 0 0 73679 333 0 0 25 0 1 0 908668303 801767424 192835 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195744 192835 1111 63 0 195681 0
vsize: 782976
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 195439 0 0 0 74675 338 0 0 25 0 1 0 908668303 812433408 195359 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198348 195359 1111 63 0 198285 0
vsize: 793392
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 198058 0 0 0 75670 343 0 0 25 0 1 0 908668303 823181312 197978 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200972 197978 1111 63 0 200909 0
vsize: 803888
[startup+770.033 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 200665 0 0 0 76666 347 0 0 25 0 1 0 908668303 833781760 200585 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203560 200585 1111 63 0 203497 0
vsize: 814240
[startup+780.033 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 203200 0 0 0 77662 351 0 0 25 0 1 0 908668303 844234752 203120 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 206112 203120 1111 63 0 206049 0
vsize: 824448
[startup+790.033 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 205715 0 0 0 78658 355 0 0 25 0 1 0 908668303 854536192 205635 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208627 205635 1111 63 0 208564 0
vsize: 834508
[startup+800.033 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 208481 0 0 0 79654 360 0 0 25 0 1 0 908668303 865882112 208401 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211397 208401 1111 63 0 211334 0
vsize: 845588
[startup+810.033 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 211214 0 0 0 80649 364 0 0 25 0 1 0 908668303 877076480 211134 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214130 211134 1111 63 0 214067 0
vsize: 856520
[startup+820.034 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 213823 0 0 0 81645 369 0 0 25 0 1 0 908668303 887681024 213743 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216719 213743 1111 63 0 216656 0
vsize: 866876
[startup+830.034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 216503 0 0 0 82641 373 0 0 25 0 1 0 908668303 898732032 216423 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219417 216423 1111 63 0 219354 0
vsize: 877668
[startup+840.034 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 219273 0 0 0 83636 379 0 0 25 0 1 0 908668303 910073856 219193 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222186 219193 1111 63 0 222123 0
vsize: 888744
[startup+850.035 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 222003 0 0 0 84628 386 0 0 25 0 1 0 908668303 921124864 221315 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224884 221315 1111 63 0 224821 0
vsize: 899536
[startup+860.036 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 224444 0 0 0 85620 392 0 0 25 0 1 0 908668303 931127296 223117 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227326 223117 1111 63 0 227263 0
vsize: 909304
[startup+870.036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 226706 0 0 0 86613 398 0 0 25 0 1 0 908668303 940384256 224836 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229586 224836 1111 63 0 229523 0
vsize: 918344
[startup+873.968 s]
Raw data (loadavg): 1.03 1.00 0.92 1/53 5899
Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 226706 0 0 0 86613 398 0 0 25 0 1 0 908668303 940384256 224836 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229586 224836 1111 63 0 229523 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 873.968
CPU time (s): 874.053
CPU user time (s): 869.63
CPU system time (s): 4.42333
CPU usage (%): 100.01
Max. virtual memory (Kb): 918344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####