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 27294

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 20:41:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17759 boxname=wulflinc15 idbench=1367 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bdf0df6b57384ca8a37c1ce2e87cfc07  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-momentum3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-momentum3.opb
IDLAUNCH: 17759
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:          7080 kB
Buffers:         22276 kB
Cached:         983692 kB
SwapCached:        568 kB
Active:         317880 kB
Inactive:       690544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:          6828 kB
SwapTotal:     2097136 kB
SwapFree:      2096108 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            13364 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:56:23 (client local time) WITH STATUS 0 IN 877.483 SECONDS
stats: 17759 7 877.483 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/wulflinc15/normalized-mps-v2-13-7-momentum3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 877.237 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
Raw data (loadavg): 1.19 1.01 0.93 2/54 27561
Raw data (stat): 27561 (runsolver) R 27560 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774972166 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.16 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 1378 0 0 0 985 4 0 0 25 0 1 0 774972166 17772544 1302 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 1302 1111 63 0 4276 0
vsize: 17356
[startup+20.0005 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 2040 0 0 0 1984 6 0 0 25 0 1 0 774972166 20488192 1964 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5002 1964 1111 63 0 4939 0
vsize: 20008
[startup+30.001 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 2705 0 0 0 2983 7 0 0 25 0 1 0 774972166 23179264 2629 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5659 2629 1111 63 0 5596 0
vsize: 22636
[startup+40.0012 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 3381 0 0 0 3982 7 0 0 25 0 1 0 774972166 25980928 3305 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 3305 1111 63 0 6280 0
vsize: 25372
[startup+50.002 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 4354 0 0 0 4981 9 0 0 25 0 1 0 774972166 29962240 4278 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 4278 1111 63 0 7252 0
vsize: 29260
[startup+60.0015 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 5229 0 0 0 5979 11 0 0 25 0 1 0 774972166 33546240 5153 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8190 5153 1111 63 0 8127 0
vsize: 32760
[startup+70.0019 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 6128 0 0 0 6977 13 0 0 25 0 1 0 774972166 37277696 6052 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 6052 1111 63 0 9038 0
vsize: 36404
[startup+80.0025 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 7018 0 0 0 7976 15 0 0 25 0 1 0 774972166 40837120 6942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9970 6942 1111 63 0 9907 0
vsize: 39880
[startup+90.0024 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 7920 0 0 0 8975 16 0 0 25 0 1 0 774972166 44576768 7844 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10883 7844 1111 63 0 10820 0
vsize: 43532
[startup+100.003 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 8822 0 0 0 9973 18 0 0 25 0 1 0 774972166 48189440 8746 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11765 8746 1111 63 0 11702 0
vsize: 47060
[startup+110.004 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 9730 0 0 0 10972 19 0 0 25 0 1 0 774972166 51949568 9654 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12683 9654 1111 63 0 12620 0
vsize: 50732
[startup+120.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 10642 0 0 0 11970 21 0 0 25 0 1 0 774972166 55693312 10566 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13597 10566 1111 63 0 13534 0
vsize: 54388
[startup+130.005 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 11561 0 0 0 12968 23 0 0 25 0 1 0 774972166 59478016 11485 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14521 11485 1111 63 0 14458 0
vsize: 58084
[startup+140.004 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 12481 0 0 0 13967 24 0 0 25 0 1 0 774972166 63348736 12405 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 12405 1111 63 0 15403 0
vsize: 61864
[startup+150.005 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 13415 0 0 0 14966 26 0 0 25 0 1 0 774972166 67117056 13339 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16386 13339 1111 63 0 16323 0
vsize: 65544
[startup+160.005 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 14344 0 0 0 15964 28 0 0 25 0 1 0 774972166 70860800 14268 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17300 14268 1111 63 0 17237 0
vsize: 69200
[startup+170.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 15282 0 0 0 16963 29 0 0 25 0 1 0 774972166 74760192 15206 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18252 15206 1111 63 0 18189 0
vsize: 73008
[startup+180.006 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 16229 0 0 0 17961 31 0 0 25 0 1 0 774972166 78675968 16153 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19208 16153 1111 63 0 19145 0
vsize: 76832
[startup+190.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 17189 0 0 0 18959 33 0 0 25 0 1 0 774972166 82575360 17113 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20160 17113 1111 63 0 20097 0
vsize: 80640
[startup+200.008 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 18147 0 0 0 19958 35 0 0 25 0 1 0 774972166 86499328 18071 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21118 18071 1111 63 0 21055 0
vsize: 84472
[startup+210.008 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 19120 0 0 0 20956 37 0 0 25 0 1 0 774972166 90374144 19044 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22064 19044 1111 63 0 22001 0
vsize: 88256
[startup+220.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 20105 0 0 0 21955 38 0 0 25 0 1 0 774972166 94425088 20029 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23053 20029 1111 63 0 22990 0
vsize: 92212
[startup+230.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 21089 0 0 0 22953 41 0 0 25 0 1 0 774972166 98480128 21013 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24043 21013 1111 63 0 23980 0
vsize: 96172
[startup+240.009 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 22085 0 0 0 23951 43 0 0 25 0 1 0 774972166 102510592 22009 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25027 22009 1111 63 0 24964 0
vsize: 100108
[startup+250.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 23100 0 0 0 24949 45 0 0 25 0 1 0 774972166 106889216 23024 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26096 23024 1111 63 0 26033 0
vsize: 104384
[startup+260.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 24110 0 0 0 25948 47 0 0 25 0 1 0 774972166 110940160 24034 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27085 24034 1111 63 0 27022 0
vsize: 108340
[startup+270.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 25132 0 0 0 26946 49 0 0 25 0 1 0 774972166 115154944 25056 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28114 25056 1111 63 0 28051 0
vsize: 112456
[startup+280.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 26150 0 0 0 27944 51 0 0 25 0 1 0 774972166 119361536 26074 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29141 26074 1111 63 0 29078 0
vsize: 116564
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 27180 0 0 0 28942 53 0 0 25 0 1 0 774972166 123547648 27104 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30163 27104 1111 63 0 30100 0
vsize: 120652
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 28214 0 0 0 29940 55 0 0 25 0 1 0 774972166 127709184 28138 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31179 28138 1111 63 0 31116 0
vsize: 124716
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 29251 0 0 0 30938 57 0 0 25 0 1 0 774972166 132050944 29175 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32239 29175 1111 63 0 32176 0
vsize: 128956
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 30300 0 0 0 31937 59 0 0 25 0 1 0 774972166 136237056 30224 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33261 30224 1111 63 0 33198 0
vsize: 133044
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 31350 0 0 0 32935 60 0 0 25 0 1 0 774972166 140578816 31274 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34321 31274 1111 63 0 34258 0
vsize: 137284
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 32405 0 0 0 33934 62 0 0 25 0 1 0 774972166 144916480 32329 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35380 32329 1111 63 0 35317 0
vsize: 141520
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 33467 0 0 0 34933 63 0 0 25 0 1 0 774972166 149266432 33391 4294967295 134512640 134714508 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36442 33391 1111 63 0 36379 0
vsize: 145768
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 34535 0 0 0 35931 65 0 0 25 0 1 0 774972166 153632768 34459 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37508 34459 1111 63 0 37445 0
vsize: 150032
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 35615 0 0 0 36929 67 0 0 25 0 1 0 774972166 158105600 35539 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38600 35539 1111 63 0 38537 0
vsize: 154400
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 36701 0 0 0 37928 69 0 0 25 0 1 0 774972166 162447360 36625 4294967295 134512640 134714508 3221224592 3221222944 134567408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39660 36625 1111 63 0 39597 0
vsize: 158640
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 37795 0 0 0 38927 70 0 0 25 0 1 0 774972166 166944768 37719 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40758 37719 1111 63 0 40695 0
vsize: 163032
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 38915 0 0 0 39924 73 0 0 25 0 1 0 774972166 171577344 38839 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41889 38839 1111 63 0 41826 0
vsize: 167556
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 40042 0 0 0 40922 75 0 0 25 0 1 0 774972166 176103424 39966 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42994 39966 1111 63 0 42931 0
vsize: 171976
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 41172 0 0 0 41920 77 0 0 25 0 1 0 774972166 180736000 41096 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44125 41096 1111 63 0 44062 0
vsize: 176500
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 42316 0 0 0 42918 79 0 0 25 0 1 0 774972166 185384960 42240 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45260 42240 1111 63 0 45197 0
vsize: 181040
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 43468 0 0 0 43917 81 0 0 25 0 1 0 774972166 190173184 43392 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46429 43392 1111 63 0 46366 0
vsize: 185716
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 44637 0 0 0 44915 83 0 0 25 0 1 0 774972166 194961408 44561 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47598 44561 1111 63 0 47535 0
vsize: 190392
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 45845 0 0 0 45914 85 0 0 25 0 1 0 774972166 200134656 45769 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48861 45769 1111 63 0 48798 0
vsize: 195444
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 47028 0 0 0 46912 87 0 0 25 0 1 0 774972166 204918784 46952 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50029 46952 1111 63 0 49966 0
vsize: 200116
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 48231 0 0 0 47910 89 0 0 25 0 1 0 774972166 209866752 48155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51237 48155 1111 63 0 51174 0
vsize: 204948
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 49445 0 0 0 48908 91 0 0 25 0 1 0 774972166 214913024 49369 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52469 49369 1111 63 0 52406 0
vsize: 209876
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 50668 0 0 0 49907 93 0 0 25 0 1 0 774972166 219860992 50592 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53677 50592 1111 63 0 53614 0
vsize: 214708
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 51908 0 0 0 50906 94 0 0 25 0 1 0 774972166 224935936 51832 4294967295 134512640 134714508 3221224592 3221223312 134563586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54916 51832 1111 63 0 54853 0
vsize: 219664
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 53149 0 0 0 51904 96 0 0 25 0 1 0 774972166 230010880 53073 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56155 53073 1111 63 0 56092 0
vsize: 224620
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 54390 0 0 0 52902 98 0 0 25 0 1 0 774972166 235085824 54314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57394 54314 1111 63 0 57331 0
vsize: 229576
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 55644 0 0 0 53899 101 0 0 25 0 1 0 774972166 240185344 55568 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58639 55568 1111 63 0 58576 0
vsize: 234556
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 56909 0 0 0 54897 104 0 0 25 0 1 0 774972166 245440512 56833 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59922 56833 1111 63 0 59859 0
vsize: 239688
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 58175 0 0 0 55895 105 0 0 25 0 1 0 774972166 250650624 58099 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61194 58099 1111 63 0 61131 0
vsize: 244776
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 59460 0 0 0 56893 108 0 0 25 0 1 0 774972166 255905792 59384 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62477 59384 1111 63 0 62414 0
vsize: 249908
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 60751 0 0 0 57891 110 0 0 25 0 1 0 774972166 261189632 60675 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63767 60675 1111 63 0 63704 0
vsize: 255068
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 62062 0 0 0 58889 113 0 0 25 0 1 0 774972166 266420224 61986 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65044 61986 1111 63 0 64981 0
vsize: 260176
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 63380 0 0 0 59886 115 0 0 25 0 1 0 774972166 271835136 63304 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66366 63304 1111 63 0 66303 0
vsize: 265464
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 64711 0 0 0 60884 118 0 0 25 0 1 0 774972166 277381120 64635 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67720 64635 1111 63 0 67657 0
vsize: 270880
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 66040 0 0 0 61882 120 0 0 25 0 1 0 774972166 282742784 65964 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69029 65964 1111 63 0 68966 0
vsize: 276116
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 67384 0 0 0 62879 123 0 0 25 0 1 0 774972166 288292864 67308 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70384 67308 1111 63 0 70321 0
vsize: 281536
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 68747 0 0 0 63877 125 0 0 25 0 1 0 774972166 293838848 68671 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71738 68671 1111 63 0 71675 0
vsize: 286952
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 70120 0 0 0 64875 127 0 0 25 0 1 0 774972166 299380736 70044 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73091 70044 1111 63 0 73028 0
vsize: 292364
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 71515 0 0 0 65873 130 0 0 25 0 1 0 774972166 305082368 71439 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74483 71439 1111 63 0 74420 0
vsize: 297932
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 72916 0 0 0 66871 132 0 0 25 0 1 0 774972166 310915072 72840 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75907 72840 1111 63 0 75844 0
vsize: 303628
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 74330 0 0 0 67869 135 0 0 25 0 1 0 774972166 316723200 74254 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77325 74254 1111 63 0 77262 0
vsize: 309300
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 75754 0 0 0 68866 137 0 0 25 0 1 0 774972166 322420736 75678 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78716 75678 1111 63 0 78653 0
vsize: 314864
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 77200 0 0 0 69863 141 0 0 25 0 1 0 774972166 328413184 77124 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80179 77124 1111 63 0 80116 0
vsize: 320716
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 78652 0 0 0 70860 144 0 0 25 0 1 0 774972166 334274560 78576 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81610 78576 1111 63 0 81547 0
vsize: 326440
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 80110 0 0 0 71858 146 0 0 25 0 1 0 774972166 340262912 80034 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83072 80034 1111 63 0 83009 0
vsize: 332288
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 81759 0 0 0 72855 150 0 0 25 0 1 0 774972166 347111424 81683 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84744 81683 1111 63 0 84681 0
vsize: 338976
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 83917 0 0 0 73850 155 0 0 25 0 1 0 774972166 355942400 83841 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86900 83841 1111 63 0 86837 0
vsize: 347600
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 86095 0 0 0 74846 159 0 0 25 0 1 0 774972166 364748800 86019 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89050 86019 1111 63 0 88987 0
vsize: 356200
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 89148 0 0 0 75842 164 0 0 25 0 1 0 774972166 377303040 89072 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92115 89072 1111 63 0 92052 0
vsize: 368460
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 92290 0 0 0 76835 171 0 0 25 0 1 0 774972166 390144000 92214 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95250 92214 1111 63 0 95187 0
vsize: 381000
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 95456 0 0 0 77829 177 0 0 25 0 1 0 774972166 403132416 95380 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98421 95380 1111 63 0 98358 0
vsize: 393684
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 98634 0 0 0 78823 183 0 0 25 0 1 0 774972166 416120832 98558 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101592 98558 1111 63 0 101529 0
vsize: 406368
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 101824 0 0 0 79817 189 0 0 25 0 1 0 774972166 429256704 101748 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104799 101748 1111 63 0 104736 0
vsize: 419196
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 105033 0 0 0 80812 195 0 0 25 0 1 0 774972166 442396672 104957 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108007 104957 1111 63 0 107944 0
vsize: 432028
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 108399 0 0 0 81805 202 0 0 25 0 1 0 774972166 456409088 108197 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111428 108197 1111 63 0 111365 0
vsize: 445712
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 111664 0 0 0 82799 208 0 0 25 0 1 0 774972166 469704704 111462 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114674 111462 1111 63 0 114611 0
vsize: 458696
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 114946 0 0 0 83793 214 0 0 25 0 1 0 774972166 483139584 114744 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117954 114744 1111 63 0 117891 0
vsize: 471816
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 118246 0 0 0 84787 220 0 0 25 0 1 0 774972166 496726016 118044 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121271 118044 1111 63 0 121208 0
vsize: 485084
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 121559 0 0 0 85780 227 0 0 25 0 1 0 774972166 510312448 121357 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124588 121357 1111 63 0 124525 0
vsize: 498352
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 124743 0 0 0 86775 233 0 0 25 0 1 0 774972166 523300864 124541 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127759 124541 1111 63 0 127696 0
vsize: 511036
[startup+877.444 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 27561
Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 124743 0 0 0 86775 233 0 0 25 0 1 0 774972166 523300864 124541 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127759 124541 1111 63 0 127696 0
vsize: 0

Child status: 0
Real time (s): 877.444
CPU time (s): 877.483
CPU user time (s): 874.86
CPU system time (s): 2.6226
CPU usage (%): 100.004
Max. virtual memory (Kb): 511036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####