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-momentum3.opb
MD5SUM	bdf0df6b57384ca8a37c1ce2e87cfc07
Bench Category	optimization, big integers (OPTBIGINT)
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	67174
Biggest coefficient in the objective function	163840000
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	1696626095
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1280000000000000115964116992
Number of bits of the biggest number in a constraint	91
Biggest sum of numbers in a constraint	3721289892401349417752330240
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.675896
Number of variables	71194
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	814
Trace number 40347

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 07:41:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28411 boxname=wulflinc4 idbench=1367 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bdf0df6b57384ca8a37c1ce2e87cfc07  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-momentum3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-momentum3.opb
IDLAUNCH: 28411
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        376628 kB
Buffers:          1980 kB
Cached:         634404 kB
SwapCached:        776 kB
Active:         256976 kB
Inactive:       381240 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        376320 kB
SwapTotal:     2097136 kB
SwapFree:      2095100 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4584 kB
Slab:            14056 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:55:34 (client local time) WITH STATUS 0 IN 868.838 SECONDS
stats: 28411 7 868.838 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125000*x1269_bit_7 +156250000*x1269_bit_6 +312500000*x1269_bit_5 +625000000*x1269_bit_4 +1250000000*x1269_bit_3 +2500000000*x1269_bit_2 +5000000000*x1269_bit_1 +10000000000*x1269_bit0 +20000000000*x1269_bit1 -1374294217*x7733_bit0 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-momentum3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 868.597 s
#### 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): 1.05 0.98 0.92 1/54 29859
Raw data (stat): 29859 (runsolver) R 29858 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899901536 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.0011 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 1380 0 0 0 993 4 0 0 25 0 1 0 899901536 17772544 1300 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 1300 1111 63 0 4276 0
vsize: 17356
[startup+20.0019 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 2049 0 0 0 1992 6 0 0 25 0 1 0 899901536 20488192 1969 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5002 1969 1111 63 0 4939 0
vsize: 20008
[startup+30.0018 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 2713 0 0 0 2991 7 0 0 25 0 1 0 899901536 23179264 2633 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5659 2633 1111 63 0 5596 0
vsize: 22636
[startup+40.0037 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 3396 0 0 0 3989 9 0 0 25 0 1 0 899901536 25980928 3316 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 3316 1111 63 0 6280 0
vsize: 25372
[startup+50.0047 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 4375 0 0 0 4987 11 0 0 25 0 1 0 899901536 29962240 4295 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 4295 1111 63 0 7252 0
vsize: 29260
[startup+60.0061 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 5257 0 0 0 5985 13 0 0 25 0 1 0 899901536 33701888 5177 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8228 5177 1111 63 0 8165 0
vsize: 32912
[startup+70.0063 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 6156 0 0 0 6983 15 0 0 25 0 1 0 899901536 37277696 6076 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 6076 1111 63 0 9038 0
vsize: 36404
[startup+80.0072 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 7051 0 0 0 7982 17 0 0 25 0 1 0 899901536 40992768 6971 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10008 6971 1111 63 0 9945 0
vsize: 40032
[startup+90.008 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 7954 0 0 0 8981 18 0 0 25 0 1 0 899901536 44711936 7874 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10916 7874 1111 63 0 10853 0
vsize: 43664
[startup+100.009 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 8856 0 0 0 9979 20 0 0 25 0 1 0 899901536 48345088 8776 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11803 8776 1111 63 0 11740 0
vsize: 47212
[startup+110.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 9764 0 0 0 10977 22 0 0 25 0 1 0 899901536 52088832 9684 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12717 9684 1111 63 0 12654 0
vsize: 50868
[startup+120.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 10676 0 0 0 11976 24 0 0 25 0 1 0 899901536 55848960 10596 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13635 10596 1111 63 0 13572 0
vsize: 54540
[startup+130.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 11601 0 0 0 12974 25 0 0 25 0 1 0 899901536 59633664 11521 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14559 11521 1111 63 0 14496 0
vsize: 58236
[startup+140.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 12527 0 0 0 13973 27 0 0 25 0 1 0 899901536 63483904 12447 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15499 12447 1111 63 0 15436 0
vsize: 61996
[startup+150.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 13456 0 0 0 14971 28 0 0 25 0 1 0 899901536 67252224 13376 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16419 13376 1111 63 0 16356 0
vsize: 65676
[startup+160.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 14390 0 0 0 15970 30 0 0 25 0 1 0 899901536 71016448 14310 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17338 14310 1111 63 0 17275 0
vsize: 69352
[startup+170.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 15329 0 0 0 16968 32 0 0 25 0 1 0 899901536 74862592 15249 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18277 15249 1111 63 0 18214 0
vsize: 73108
[startup+180.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 16270 0 0 0 17966 34 0 0 25 0 1 0 899901536 78757888 16190 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19228 16190 1111 63 0 19165 0
vsize: 76912
[startup+190.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 17222 0 0 0 18964 37 0 0 25 0 1 0 899901536 82657280 17142 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20180 17142 1111 63 0 20117 0
vsize: 80720
[startup+200.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 18180 0 0 0 19961 39 0 0 25 0 1 0 899901536 86552576 18100 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21131 18100 1111 63 0 21068 0
vsize: 84524
[startup+210.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 19147 0 0 0 20960 41 0 0 25 0 1 0 899901536 90583040 19067 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22115 19067 1111 63 0 22052 0
vsize: 88460
[startup+220.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 20119 0 0 0 21957 44 0 0 25 0 1 0 899901536 94482432 20039 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23067 20039 1111 63 0 23004 0
vsize: 92268
[startup+230.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 21091 0 0 0 22955 46 0 0 25 0 1 0 899901536 98533376 21011 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24056 21011 1111 63 0 23993 0
vsize: 96224
[startup+240.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 22080 0 0 0 23953 48 0 0 25 0 1 0 899901536 102563840 22000 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25040 22000 1111 63 0 24977 0
vsize: 100160
[startup+250.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 23089 0 0 0 24951 50 0 0 25 0 1 0 899901536 106754048 23009 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26063 23009 1111 63 0 26000 0
vsize: 104252
[startup+260.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 24099 0 0 0 25949 52 0 0 25 0 1 0 899901536 110940160 24019 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27085 24019 1111 63 0 27022 0
vsize: 108340
[startup+270.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 25109 0 0 0 26947 55 0 0 25 0 1 0 899901536 114999296 25029 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28076 25029 1111 63 0 28013 0
vsize: 112304
[startup+280.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 26133 0 0 0 27945 57 0 0 25 0 1 0 899901536 119205888 26053 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29103 26053 1111 63 0 29040 0
vsize: 116412
[startup+290.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 27157 0 0 0 28943 59 0 0 25 0 1 0 899901536 123396096 27077 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30126 27077 1111 63 0 30063 0
vsize: 120504
[startup+300.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 28191 0 0 0 29942 60 0 0 25 0 1 0 899901536 127709184 28111 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31179 28111 1111 63 0 31116 0
vsize: 124716
[startup+310.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 29240 0 0 0 30940 62 0 0 25 0 1 0 899901536 131895296 29160 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32201 29160 1111 63 0 32138 0
vsize: 128804
[startup+320.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 30290 0 0 0 31938 64 0 0 25 0 1 0 899901536 136237056 30210 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33261 30210 1111 63 0 33198 0
vsize: 133044
[startup+330.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 31352 0 0 0 32935 67 0 0 25 0 1 0 899901536 140578816 31272 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34321 31272 1111 63 0 34258 0
vsize: 137284
[startup+340.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 32426 0 0 0 33934 68 0 0 25 0 1 0 899901536 145055744 32346 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35414 32346 1111 63 0 35351 0
vsize: 141656
[startup+350.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 33513 0 0 0 34932 70 0 0 25 0 1 0 899901536 149422080 33433 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36480 33433 1111 63 0 36417 0
vsize: 145920
[startup+360.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 34601 0 0 0 35930 72 0 0 25 0 1 0 899901536 153944064 34521 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37584 34521 1111 63 0 37521 0
vsize: 150336
[startup+370.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 35701 0 0 0 36928 75 0 0 25 0 1 0 899901536 158416896 35621 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38676 35621 1111 63 0 38613 0
vsize: 154704
[startup+380.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 36812 0 0 0 37926 77 0 0 25 0 1 0 899901536 162893824 36732 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39769 36732 1111 63 0 39706 0
vsize: 159076
[startup+390.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 37931 0 0 0 38923 80 0 0 25 0 1 0 899901536 167542784 37851 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40904 37851 1111 63 0 40841 0
vsize: 163616
[startup+400.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 39071 0 0 0 39921 82 0 0 25 0 1 0 899901536 172179456 38991 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42036 38991 1111 63 0 41973 0
vsize: 168144
[startup+410.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 40216 0 0 0 40918 85 0 0 25 0 1 0 899901536 176836608 40136 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43173 40136 1111 63 0 43110 0
vsize: 172692
[startup+420.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 41378 0 0 0 41917 87 0 0 25 0 1 0 899901536 181645312 41298 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44347 41298 1111 63 0 44284 0
vsize: 177388
[startup+430.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 42543 0 0 0 42915 89 0 0 25 0 1 0 899901536 186413056 42463 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45511 42463 1111 63 0 45448 0
vsize: 182044
[startup+440.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 43719 0 0 0 43913 91 0 0 25 0 1 0 899901536 191193088 43639 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46678 43639 1111 63 0 46615 0
vsize: 186712
[startup+450.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 44913 0 0 0 44910 94 0 0 25 0 1 0 899901536 196030464 44833 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47859 44833 1111 63 0 47796 0
vsize: 191436
[startup+460.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 46155 0 0 0 45908 96 0 0 25 0 1 0 899901536 201469952 46075 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49187 46075 1111 63 0 49124 0
vsize: 196748
[startup+470.04 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 47382 0 0 0 46905 99 0 0 25 0 1 0 899901536 206413824 47302 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50394 47302 1111 63 0 50331 0
vsize: 201576
[startup+480.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 48624 0 0 0 47903 101 0 0 25 0 1 0 899901536 211464192 48544 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51627 48544 1111 63 0 51564 0
vsize: 206508
[startup+490.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 49864 0 0 0 48902 103 0 0 25 0 1 0 899901536 216563712 49784 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52872 49784 1111 63 0 52809 0
vsize: 211488
[startup+500.041 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 51130 0 0 0 49899 106 0 0 25 0 1 0 899901536 221798400 51050 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54150 51050 1111 63 0 54087 0
vsize: 216600
[startup+510.042 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 52395 0 0 0 50896 109 0 0 25 0 1 0 899901536 226893824 52315 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55394 52315 1111 63 0 55331 0
vsize: 221576
[startup+520.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 53694 0 0 0 51894 111 0 0 25 0 1 0 899901536 232259584 53614 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56704 53614 1111 63 0 56641 0
vsize: 226816
[startup+530.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 55004 0 0 0 52890 115 0 0 25 0 1 0 899901536 237645824 54924 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58019 54924 1111 63 0 57956 0
vsize: 232076
[startup+540.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 56335 0 0 0 53887 118 0 0 25 0 1 0 899901536 243036160 56255 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59335 56255 1111 63 0 59272 0
vsize: 237340
[startup+550.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 57672 0 0 0 54883 122 0 0 25 0 1 0 899901536 248557568 57592 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60683 57592 1111 63 0 60620 0
vsize: 242732
[startup+560.046 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 59027 0 0 0 55880 125 0 0 25 0 1 0 899901536 254124032 58947 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62042 58947 1111 63 0 61979 0
vsize: 248168
[startup+570.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 60389 0 0 0 56878 128 0 0 25 0 1 0 899901536 259674112 60309 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63397 60309 1111 63 0 63334 0
vsize: 253588
[startup+580.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 61758 0 0 0 57875 131 0 0 25 0 1 0 899901536 265220096 61678 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64751 61678 1111 63 0 64688 0
vsize: 259004
[startup+590.048 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 63132 0 0 0 58871 134 0 0 25 0 1 0 899901536 270790656 63052 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66111 63052 1111 63 0 66048 0
vsize: 264444
[startup+600.049 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 64514 0 0 0 59868 137 0 0 25 0 1 0 899901536 276467712 64434 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67497 64434 1111 63 0 67434 0
vsize: 269988
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 65902 0 0 0 60867 139 0 0 25 0 1 0 899901536 282169344 65822 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68889 65822 1111 63 0 68826 0
vsize: 275556
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 67297 0 0 0 61864 142 0 0 25 0 1 0 899901536 287846400 67217 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70275 67217 1111 63 0 70212 0
vsize: 281100
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 68696 0 0 0 62861 145 0 0 25 0 1 0 899901536 293548032 68616 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71667 68616 1111 63 0 71604 0
vsize: 286668
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 70097 0 0 0 63859 148 0 0 25 0 1 0 899901536 299380736 70017 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73091 70017 1111 63 0 73028 0
vsize: 292364
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 71511 0 0 0 64856 151 0 0 25 0 1 0 899901536 305082368 71431 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74483 71431 1111 63 0 74420 0
vsize: 297932
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 72937 0 0 0 65853 153 0 0 25 0 1 0 899901536 310915072 72857 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75907 72857 1111 63 0 75844 0
vsize: 303628
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 74370 0 0 0 66851 155 0 0 25 0 1 0 899901536 316858368 74290 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77358 74290 1111 63 0 77295 0
vsize: 309432
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 75815 0 0 0 67849 158 0 0 25 0 1 0 899901536 322715648 75735 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78788 75735 1111 63 0 78725 0
vsize: 315152
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 77266 0 0 0 68846 161 0 0 25 0 1 0 899901536 328704000 77186 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80250 77186 1111 63 0 80187 0
vsize: 321000
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 78718 0 0 0 69842 165 0 0 25 0 1 0 899901536 334585856 78638 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81686 78638 1111 63 0 81623 0
vsize: 326744
[startup+710.058 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 80176 0 0 0 70839 169 0 0 25 0 1 0 899901536 340553728 80096 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83143 80096 1111 63 0 83080 0
vsize: 332572
[startup+720.059 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 81832 0 0 0 71836 172 0 0 25 0 1 0 899901536 347381760 81752 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84810 81752 1111 63 0 84747 0
vsize: 339240
[startup+730.06 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 83963 0 0 0 72833 175 0 0 25 0 1 0 899901536 356098048 83883 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86938 83883 1111 63 0 86875 0
vsize: 347752
[startup+740.061 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 86129 0 0 0 73828 180 0 0 25 0 1 0 899901536 364904448 86049 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89088 86049 1111 63 0 89025 0
vsize: 356352
[startup+750.062 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 89180 0 0 0 74824 184 0 0 25 0 1 0 899901536 377450496 89100 4294967295 134512640 134716908 3221224576 3221222928 134567417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92151 89100 1111 63 0 92088 0
vsize: 368604
[startup+760.062 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 92310 0 0 0 75818 190 0 0 25 0 1 0 899901536 390291456 92230 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95286 92230 1111 63 0 95223 0
vsize: 381144
[startup+770.063 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 95458 0 0 0 76812 196 0 0 25 0 1 0 899901536 403132416 95378 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98421 95378 1111 63 0 98358 0
vsize: 393684
[startup+780.064 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 98612 0 0 0 77805 201 0 0 25 0 1 0 899901536 415969280 98532 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101555 98532 1111 63 0 101492 0
vsize: 406220
[startup+790.065 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 101772 0 0 0 78798 207 0 0 25 0 1 0 899901536 428961792 101692 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104727 101692 1111 63 0 104664 0
vsize: 418908
[startup+800.065 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 104926 0 0 0 79792 212 0 0 25 0 1 0 899901536 441950208 104846 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107898 104846 1111 63 0 107835 0
vsize: 431592
[startup+810.066 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 108238 0 0 0 80786 217 0 0 25 0 1 0 899901536 455663616 108032 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111246 108032 1111 63 0 111183 0
vsize: 444984
[startup+820.067 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 111446 0 0 0 81779 222 0 0 25 0 1 0 899901536 468803584 111240 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114454 111240 1111 63 0 114391 0
vsize: 457816
[startup+830.066 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 114668 0 0 0 82773 227 0 0 25 0 1 0 899901536 482091008 114462 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117698 114462 1111 63 0 117635 0
vsize: 470792
[startup+840.067 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 117908 0 0 0 83766 234 0 0 25 0 1 0 899901536 495235072 117702 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120907 117702 1111 63 0 120844 0
vsize: 483628
[startup+850.068 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 121166 0 0 0 84758 240 0 0 25 0 1 0 899901536 508669952 120960 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124187 120960 1111 63 0 124124 0
vsize: 496748
[startup+860.069 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 124326 0 0 0 85752 246 0 0 25 0 1 0 899901536 521510912 124120 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127322 124120 1111 63 0 127259 0
vsize: 509288
[startup+868.937 s]
Raw data (loadavg): 1.01 1.02 0.93 1/53 29859
Raw data (stat): 29859 (bsolo_lpr-v2) R 29858 21152 21151 0 -1 0 124326 0 0 0 85752 246 0 0 25 0 1 0 899901536 521510912 124120 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127322 124120 1111 63 0 127259 0
vsize: 0

Child status: 0
Real time (s): 868.936
CPU time (s): 868.838
CPU user time (s): 866.079
CPU system time (s): 2.75858
CPU usage (%): 99.9887
Max. virtual memory (Kb): 509288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####