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 25760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 08:21:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17760 boxname=wulflinc31 idbench=1367 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bdf0df6b57384ca8a37c1ce2e87cfc07  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-momentum3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-momentum3.opb
IDLAUNCH: 17760
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        441924 kB
Buffers:          7496 kB
Cached:         561452 kB
SwapCached:       3952 kB
Active:         535224 kB
Inactive:        38848 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        441672 kB
SwapTotal:     2097892 kB
SwapFree:      2092908 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12896 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 08:36:37 (client local time) WITH STATUS 0 IN 905.106 SECONDS
stats: 17760 7 905.106 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/wulflinc31/normalized-mps-v2-13-7-momentum3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 904.857 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.06 1.00 0.96 2/55 21892
Raw data (stat): 21892 (runsolver) R 21891 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 811456183 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 1368 0 0 0 991 4 0 0 25 0 1 0 811456183 17776640 1291 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4340 1291 1111 63 0 4277 0
vsize: 17360
[startup+20.0013 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 2029 0 0 0 1990 5 0 0 25 0 1 0 811456183 20357120 1952 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4970 1952 1111 63 0 4907 0
vsize: 19880
[startup+30.0009 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 2681 0 0 0 2988 7 0 0 25 0 1 0 811456183 23048192 2604 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5627 2604 1111 63 0 5564 0
vsize: 22508
[startup+40.0018 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 3345 0 0 0 3988 8 0 0 25 0 1 0 811456183 25829376 3268 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6306 3268 1111 63 0 6243 0
vsize: 25224
[startup+50.0021 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 4298 0 0 0 4986 9 0 0 25 0 1 0 811456183 29655040 4221 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7240 4221 1111 63 0 7177 0
vsize: 28960
[startup+60.0017 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 5166 0 0 0 5985 10 0 0 25 0 1 0 811456183 33255424 5089 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8119 5089 1111 63 0 8056 0
vsize: 32476
[startup+70.0017 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 6041 0 0 0 6983 12 0 0 25 0 1 0 811456183 36814848 5964 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8988 5964 1111 63 0 8925 0
vsize: 35952
[startup+80.0019 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 6918 0 0 0 7983 13 0 0 25 0 1 0 811456183 40529920 6841 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9895 6841 1111 63 0 9832 0
vsize: 39580
[startup+90.0025 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 7795 0 0 0 8982 14 0 0 25 0 1 0 811456183 43982848 7718 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10738 7718 1111 63 0 10675 0
vsize: 42952
[startup+100.002 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 8676 0 0 0 9980 16 0 0 25 0 1 0 811456183 47587328 8599 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11618 8599 1111 63 0 11555 0
vsize: 46472
[startup+110.003 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 9571 0 0 0 10979 18 0 0 25 0 1 0 811456183 51355648 9494 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12538 9494 1111 63 0 12475 0
vsize: 50152
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 10466 0 0 0 11977 20 0 0 25 0 1 0 811456183 54939648 10389 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13413 10389 1111 63 0 13350 0
vsize: 53652
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 11360 0 0 0 12975 22 0 0 25 0 1 0 811456183 58683392 11283 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14327 11283 1111 63 0 14264 0
vsize: 57308
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 12279 0 0 0 13972 25 0 0 25 0 1 0 811456183 62443520 12202 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15245 12202 1111 63 0 15182 0
vsize: 60980
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 13186 0 0 0 14971 26 0 0 25 0 1 0 811456183 66203648 13109 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16163 13109 1111 63 0 16100 0
vsize: 64652
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 14094 0 0 0 15970 28 0 0 25 0 1 0 811456183 69816320 14017 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17045 14017 1111 63 0 16982 0
vsize: 68180
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 15022 0 0 0 16968 29 0 0 25 0 1 0 811456183 73711616 14945 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17996 14945 1111 63 0 17933 0
vsize: 71984
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 15950 0 0 0 17967 31 0 0 25 0 1 0 811456183 77479936 15873 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18916 15873 1111 63 0 18853 0
vsize: 75664
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 16883 0 0 0 18965 33 0 0 25 0 1 0 811456183 81223680 16806 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19830 16806 1111 63 0 19767 0
vsize: 79320
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 17824 0 0 0 19963 35 0 0 25 0 1 0 811456183 85123072 17747 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20782 17747 1111 63 0 20719 0
vsize: 83128
[startup+210.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 18770 0 0 0 20961 37 0 0 25 0 1 0 811456183 89042944 18693 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21739 18693 1111 63 0 21676 0
vsize: 86956
[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 19721 0 0 0 21960 39 0 0 25 0 1 0 811456183 92938240 19644 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22690 19644 1111 63 0 22627 0
vsize: 90760
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 20681 0 0 0 22958 41 0 0 25 0 1 0 811456183 96833536 20604 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23641 20604 1111 63 0 23578 0
vsize: 94564
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 21640 0 0 0 23956 43 0 0 25 0 1 0 811456183 100732928 21563 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24593 21563 1111 63 0 24530 0
vsize: 98372
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 22610 0 0 0 24955 44 0 0 25 0 1 0 811456183 104763392 22533 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25577 22533 1111 63 0 25514 0
vsize: 102308
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 23600 0 0 0 25954 46 0 0 25 0 1 0 811456183 108851200 23523 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26575 23523 1111 63 0 26512 0
vsize: 106300
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 24579 0 0 0 26952 47 0 0 25 0 1 0 811456183 112910336 24502 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27566 24502 1111 63 0 27503 0
vsize: 110264
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 25570 0 0 0 27950 49 0 0 25 0 1 0 811456183 116961280 25493 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28555 25493 1111 63 0 28492 0
vsize: 114220
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 26561 0 0 0 28948 52 0 0 25 0 1 0 811456183 121016320 26484 4294967295 134512640 134714508 3221221776 3221220432 134527972 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29545 26484 1111 63 0 29482 0
vsize: 118180
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 27553 0 0 0 29946 54 0 0 25 0 1 0 811456183 125046784 27476 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30529 27476 1111 63 0 30466 0
vsize: 122116
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 28558 0 0 0 30945 55 0 0 25 0 1 0 811456183 129208320 28481 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31545 28481 1111 63 0 31482 0
vsize: 126180
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 29560 0 0 0 31943 57 0 0 25 0 1 0 811456183 133259264 29483 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32534 29483 1111 63 0 32471 0
vsize: 130136
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 30571 0 0 0 32942 59 0 0 25 0 1 0 811456183 137445376 30494 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33556 30494 1111 63 0 33493 0
vsize: 134224
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 31589 0 0 0 33940 60 0 0 25 0 1 0 811456183 141631488 31512 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34578 31512 1111 63 0 34515 0
vsize: 138312
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 32604 0 0 0 34939 62 0 0 25 0 1 0 811456183 145682432 32527 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35567 32527 1111 63 0 35504 0
vsize: 142268
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 33628 0 0 0 35937 64 0 0 25 0 1 0 811456183 149868544 33551 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36589 33551 1111 63 0 36526 0
vsize: 146356
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 34664 0 0 0 36936 66 0 0 25 0 1 0 811456183 154083328 34587 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37618 34587 1111 63 0 37555 0
vsize: 150472
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 35707 0 0 0 37934 67 0 0 25 0 1 0 811456183 158420992 35630 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38677 35630 1111 63 0 38614 0
vsize: 154708
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 36761 0 0 0 38932 69 0 0 25 0 1 0 811456183 162762752 36684 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39737 36684 1111 63 0 39674 0
vsize: 158948
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 37829 0 0 0 39932 70 0 0 25 0 1 0 811456183 167104512 37752 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40797 37752 1111 63 0 40734 0
vsize: 163188
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 38910 0 0 0 40930 72 0 0 25 0 1 0 811456183 171446272 38833 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41857 38833 1111 63 0 41794 0
vsize: 167428
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 40012 0 0 0 41928 74 0 0 25 0 1 0 811456183 175951872 39935 4294967295 134512640 134714508 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42957 39935 1111 63 0 42894 0
vsize: 171828
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 41110 0 0 0 42926 76 0 0 25 0 1 0 811456183 180449280 41033 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44055 41033 1111 63 0 43992 0
vsize: 176220
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 42223 0 0 0 43924 78 0 0 25 0 1 0 811456183 185102336 42146 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45191 42146 1111 63 0 45128 0
vsize: 180764
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 43348 0 0 0 44923 80 0 0 25 0 1 0 811456183 189730816 43271 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46321 43271 1111 63 0 46258 0
vsize: 185284
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 44485 0 0 0 45921 82 0 0 25 0 1 0 811456183 194363392 44408 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47452 44408 1111 63 0 47389 0
vsize: 189808
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 45669 0 0 0 46918 84 0 0 25 0 1 0 811456183 199364608 45592 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48673 45592 1111 63 0 48610 0
vsize: 194692
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 46832 0 0 0 47917 86 0 0 25 0 1 0 811456183 204169216 46755 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49846 46755 1111 63 0 49783 0
vsize: 199384
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 48020 0 0 0 48915 88 0 0 25 0 1 0 811456183 208977920 47943 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51020 47943 1111 63 0 50957 0
vsize: 204080
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 49230 0 0 0 49913 91 0 0 25 0 1 0 811456183 214007808 49153 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52248 49153 1111 63 0 52185 0
vsize: 208992
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 50458 0 0 0 50911 93 0 0 25 0 1 0 811456183 218972160 50381 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53460 50381 1111 63 0 53397 0
vsize: 213840
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 51687 0 0 0 51908 96 0 0 25 0 1 0 811456183 224051200 51610 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54700 51610 1111 63 0 54637 0
vsize: 218800
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 52933 0 0 0 52907 97 0 0 25 0 1 0 811456183 229122048 52856 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55938 52856 1111 63 0 55875 0
vsize: 223752
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 54188 0 0 0 53905 99 0 0 25 0 1 0 811456183 234201088 54111 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57178 54111 1111 63 0 57115 0
vsize: 228712
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 55452 0 0 0 54904 101 0 0 25 0 1 0 811456183 239431680 55375 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58455 55375 1111 63 0 58392 0
vsize: 233820
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 56725 0 0 0 55902 103 0 0 25 0 1 0 811456183 244666368 56648 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59733 56648 1111 63 0 59670 0
vsize: 238932
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 58016 0 0 0 56899 105 0 0 25 0 1 0 811456183 249921536 57939 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61016 57939 1111 63 0 60953 0
vsize: 244064
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 59315 0 0 0 57897 108 0 0 25 0 1 0 811456183 255176704 59238 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62299 59238 1111 63 0 62236 0
vsize: 249196
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 60606 0 0 0 58894 111 0 0 25 0 1 0 811456183 260587520 60529 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63620 60529 1111 63 0 63557 0
vsize: 254480
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 61924 0 0 0 59892 113 0 0 25 0 1 0 811456183 265977856 61847 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64936 61847 1111 63 0 64873 0
vsize: 259744
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 63242 0 0 0 60890 116 0 0 25 0 1 0 811456183 271241216 63165 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66221 63165 1111 63 0 66158 0
vsize: 264884
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 64565 0 0 0 61887 118 0 0 25 0 1 0 811456183 276783104 64488 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67574 64488 1111 63 0 67511 0
vsize: 270296
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 65896 0 0 0 62885 121 0 0 25 0 1 0 811456183 282144768 65819 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68883 65819 1111 63 0 68820 0
vsize: 275532
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 67233 0 0 0 63882 124 0 0 25 0 1 0 811456183 287694848 67156 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70238 67156 1111 63 0 70175 0
vsize: 280952
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 68575 0 0 0 64880 126 0 0 25 0 1 0 811456183 293105664 68498 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71559 68498 1111 63 0 71496 0
vsize: 286236
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 69919 0 0 0 65878 128 0 0 25 0 1 0 811456183 298651648 69842 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72913 69842 1111 63 0 72850 0
vsize: 291652
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 71268 0 0 0 66876 131 0 0 25 0 1 0 811456183 304173056 71191 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74261 71191 1111 63 0 74198 0
vsize: 297044
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 72622 0 0 0 67874 133 0 0 25 0 1 0 811456183 309739520 72545 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75620 72545 1111 63 0 75557 0
vsize: 302480
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 73979 0 0 0 68871 136 0 0 25 0 1 0 811456183 315236352 73902 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76962 73902 1111 63 0 76899 0
vsize: 307848
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 75341 0 0 0 69869 138 0 0 25 0 1 0 811456183 320757760 75264 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78310 75264 1111 63 0 78247 0
vsize: 313240
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 76714 0 0 0 70866 141 0 0 25 0 1 0 811456183 326459392 76637 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79702 76637 1111 63 0 79639 0
vsize: 318808
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 78090 0 0 0 71864 144 0 0 25 0 1 0 811456183 332029952 78013 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81062 78013 1111 63 0 80999 0
vsize: 324248
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 79459 0 0 0 72862 146 0 0 25 0 1 0 811456183 337575936 79382 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82416 79382 1111 63 0 82353 0
vsize: 329664
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 80834 0 0 0 73860 148 0 0 25 0 1 0 811456183 343228416 80757 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83796 80758 1111 63 0 83733 0
vsize: 335184
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 82686 0 0 0 74857 151 0 0 25 0 1 0 811456183 350851072 82609 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85657 82609 1111 63 0 85594 0
vsize: 342628
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 84722 0 0 0 75853 155 0 0 25 0 1 0 811456183 359124992 84645 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87677 84645 1111 63 0 87614 0
vsize: 350708
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 86938 0 0 0 76849 160 0 0 25 0 1 0 811456183 368197632 86861 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89892 86861 1111 63 0 89829 0
vsize: 359568
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 89825 0 0 0 77844 165 0 0 25 0 1 0 811456183 379994112 89748 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92772 89748 1111 63 0 92709 0
vsize: 371088
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 92729 0 0 0 78839 171 0 0 25 0 1 0 811456183 391933952 92652 4294967295 134512640 134714508 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95687 92652 1111 63 0 95624 0
vsize: 382748
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 95640 0 0 0 79834 175 0 0 25 0 1 0 811456183 403881984 95563 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98604 95563 1111 63 0 98541 0
vsize: 394416
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 98569 0 0 0 80829 181 0 0 25 0 1 0 811456183 415825920 98492 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101520 98492 1111 63 0 101457 0
vsize: 406080
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 101505 0 0 0 81823 186 0 0 25 0 1 0 811456183 427921408 101428 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104473 101428 1111 63 0 104410 0
vsize: 417892
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 104453 0 0 0 82819 191 0 0 25 0 1 0 811456183 440016896 104376 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107426 104376 1111 63 0 107363 0
vsize: 429704
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 107558 0 0 0 83814 196 0 0 25 0 1 0 811456183 452984832 107355 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110592 107355 1111 63 0 110529 0
vsize: 442368
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 110561 0 0 0 84809 201 0 0 25 0 1 0 811456183 465227776 110358 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113581 110358 1111 63 0 113518 0
vsize: 454324
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 113550 0 0 0 85794 207 0 0 25 0 1 0 811456183 477466624 113347 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116569 113347 1111 63 0 116506 0
vsize: 466276
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 116583 0 0 0 86788 212 0 0 25 0 1 0 811456183 489861120 116380 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119595 116380 1111 63 0 119532 0
vsize: 478380
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 119629 0 0 0 87783 218 0 0 25 0 1 0 811456183 502403072 119426 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122657 119426 1111 63 0 122594 0
vsize: 490628
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 122685 0 0 0 88777 224 0 0 25 0 1 0 811456183 514793472 122482 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125682 122482 1111 63 0 125619 0
vsize: 502728
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 125543 0 0 0 89771 230 0 0 25 0 1 0 811456183 526589952 125340 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128562 125340 1111 63 0 128499 0
vsize: 514248
[startup+905.119 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 21892
Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 125543 0 0 0 89771 230 0 0 25 0 1 0 811456183 526589952 125340 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128562 125340 1111 63 0 128499 0
vsize: 0

Child status: 0
Real time (s): 905.119
CPU time (s): 905.106
CPU user time (s): 902.52
CPU system time (s): 2.58661
CPU usage (%): 99.9986
Max. virtual memory (Kb): 514248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####