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-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.86
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 41535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 15:02:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29596 boxname=wulflinc1 idbench=1380 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 29596
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        923676 kB
Buffers:         11684 kB
Cached:          75572 kB
SwapCached:       1144 kB
Active:          25500 kB
Inactive:        63932 kB
HighTotal:      131008 kB
HighFree:        62776 kB
LowTotal:       903652 kB
LowFree:        860900 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            15864 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:22:14 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 29596 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 88.929 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 21.581
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.01 0.99 0.91 2/55 7169
Raw data (stat): 7169 (runsolver) R 7168 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854344930 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 14002 0 0 0 961 35 0 0 25 0 1 0 854344930 60534784 13915 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14779 13915 1111 63 0 14716 0
vsize: 59116
[startup+19.9999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 16444 0 0 0 1954 41 0 0 25 0 1 0 854344930 70541312 16357 4294967295 134512640 134716908 3221224560 3221223084 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17222 16357 1111 63 0 17159 0
vsize: 68888
[startup+30.0007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17743 0 0 0 2951 44 0 0 25 0 1 0 854344930 75816960 17656 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17656 1111 63 0 18447 0
vsize: 74040
[startup+40.0004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17756 0 0 0 3951 44 0 0 25 0 1 0 854344930 75816960 17669 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17669 1111 63 0 18447 0
vsize: 74040
[startup+50.0012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17766 0 0 0 4951 44 0 0 25 0 1 0 854344930 75952128 17679 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17679 1111 63 0 18480 0
vsize: 74172
[startup+60.0013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17779 0 0 0 5951 44 0 0 25 0 1 0 854344930 75952128 17692 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17692 1111 63 0 18480 0
vsize: 74172
[startup+70.0007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17793 0 0 0 6951 44 0 0 25 0 1 0 854344930 76087296 17706 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17706 1111 63 0 18513 0
vsize: 74304
[startup+80.0015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 17804 0 0 0 7951 44 0 0 25 0 1 0 854344930 76087296 17717 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17717 1111 63 0 18513 0
vsize: 74304
[startup+90.0015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 18058 0 0 0 8951 45 0 0 25 0 1 0 854344930 77062144 17971 4294967295 134512640 134716908 3221224560 3221222672 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18814 17971 1111 63 0 18751 0
vsize: 75256
[startup+100.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 18994 0 0 0 9949 46 0 0 25 0 1 0 854344930 79646720 18639 4294967295 134512640 134716908 3221224560 3221220692 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19445 18639 1111 63 0 19382 0
vsize: 77780
[startup+110.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 19608 0 0 0 10947 48 0 0 25 0 1 0 854344930 78045184 18329 4294967295 134512640 134716908 3221224560 3221222952 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19054 18329 1111 63 0 18991 0
vsize: 76216
[startup+120.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 19725 0 0 0 11946 49 0 0 25 0 1 0 854344930 78446592 18446 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 18446 1111 63 0 19089 0
vsize: 76608
[startup+130.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 19858 0 0 0 12945 50 0 0 25 0 1 0 854344930 78987264 18579 4294967295 134512640 134716908 3221224560 3221223200 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19284 18579 1111 63 0 19221 0
vsize: 77136
[startup+140.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20034 0 0 0 13944 51 0 0 25 0 1 0 854344930 79663104 18755 4294967295 134512640 134716908 3221224560 3221223184 134543102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18755 1111 63 0 19386 0
vsize: 77796
[startup+150.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20251 0 0 0 14942 53 0 0 25 0 1 0 854344930 80609280 18972 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19680 18972 1111 63 0 19617 0
vsize: 78720
[startup+160.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7169
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20377 0 0 0 15941 55 0 0 25 0 1 0 854344930 81149952 19098 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19812 19098 1111 63 0 19749 0
vsize: 79248
[startup+170.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20607 0 0 0 16940 56 0 0 25 0 1 0 854344930 82092032 19328 4294967295 134512640 134716908 3221224560 3221223232 134542934 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20042 19328 1111 63 0 19979 0
vsize: 80168
[startup+180.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20778 0 0 0 17938 58 0 0 25 0 1 0 854344930 82767872 19499 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19499 1111 63 0 20144 0
vsize: 80828
[startup+190.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 20945 0 0 0 18938 59 0 0 25 0 1 0 854344930 83443712 19666 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20372 19666 1111 63 0 20309 0
vsize: 81488
[startup+200.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21142 0 0 0 19936 61 0 0 25 0 1 0 854344930 84254720 19863 4294967295 134512640 134716908 3221224560 3221223320 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20570 19863 1111 63 0 20507 0
vsize: 82280
[startup+210.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21323 0 0 0 20934 62 0 0 25 0 1 0 854344930 84930560 20044 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20735 20044 1111 63 0 20672 0
vsize: 82940
[startup+220.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21468 0 0 0 21933 64 0 0 25 0 1 0 854344930 85606400 20189 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20900 20189 1111 63 0 20837 0
vsize: 83600
[startup+230.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21607 0 0 0 22932 65 0 0 25 0 1 0 854344930 86147072 20328 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 20328 1111 63 0 20969 0
vsize: 84128
[startup+240.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21715 0 0 0 23932 66 0 0 25 0 1 0 854344930 86552576 20436 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21131 20436 1111 63 0 21068 0
vsize: 84524
[startup+250.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 21882 0 0 0 24930 68 0 0 25 0 1 0 854344930 87228416 20603 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20603 1111 63 0 21233 0
vsize: 85184
[startup+260.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22064 0 0 0 25929 69 0 0 25 0 1 0 854344930 88039424 20785 4294967295 134512640 134716908 3221224560 3221223152 134542731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21494 20785 1111 63 0 21431 0
vsize: 85976
[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22242 0 0 0 26928 70 0 0 25 0 1 0 854344930 88715264 20963 4294967295 134512640 134716908 3221224560 3221223108 134698766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21659 20963 1111 63 0 21596 0
vsize: 86636
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22448 0 0 0 27926 72 0 0 25 0 1 0 854344930 89661440 21169 4294967295 134512640 134716908 3221224560 3221223116 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21890 21169 1111 63 0 21827 0
vsize: 87560
[startup+290.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22613 0 0 0 28925 73 0 0 25 0 1 0 854344930 90337280 21334 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22055 21334 1111 63 0 21992 0
vsize: 88220
[startup+300.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22814 0 0 0 29925 74 0 0 25 0 1 0 854344930 91148288 21535 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22253 21535 1111 63 0 22190 0
vsize: 89012
[startup+310.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 22987 0 0 0 30924 75 0 0 25 0 1 0 854344930 91824128 21708 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22418 21708 1111 63 0 22355 0
vsize: 89672
[startup+320.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23207 0 0 0 31923 76 0 0 25 0 1 0 854344930 92766208 21928 4294967295 134512640 134716908 3221224560 3221223144 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22648 21928 1111 63 0 22585 0
vsize: 90592
[startup+330.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23327 0 0 0 32923 77 0 0 25 0 1 0 854344930 93241344 22048 4294967295 134512640 134716908 3221224560 3221223296 134613731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22764 22048 1111 63 0 22701 0
vsize: 91056
[startup+340.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23466 0 0 0 33922 78 0 0 25 0 1 0 854344930 93782016 22187 4294967295 134512640 134716908 3221224560 3221223180 134613780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22896 22187 1111 63 0 22833 0
vsize: 91584
[startup+350.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23628 0 0 0 34920 79 0 0 25 0 1 0 854344930 94457856 22349 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23061 22349 1111 63 0 22998 0
vsize: 92244
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23783 0 0 0 35919 81 0 0 25 0 1 0 854344930 94998528 22504 4294967295 134512640 134716908 3221224560 3221223184 134542340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23193 22504 1111 63 0 23130 0
vsize: 92772
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 23927 0 0 0 36918 82 0 0 25 0 1 0 854344930 95674368 22648 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23358 22648 1111 63 0 23295 0
vsize: 93432
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24110 0 0 0 37917 83 0 0 25 0 1 0 854344930 96350208 22831 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23523 22831 1111 63 0 23460 0
vsize: 94092
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24254 0 0 0 38916 85 0 0 25 0 1 0 854344930 97021952 22975 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23687 22975 1111 63 0 23624 0
vsize: 94748
[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24427 0 0 0 39915 86 0 0 25 0 1 0 854344930 97693696 23148 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23851 23148 1111 63 0 23788 0
vsize: 95404
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24605 0 0 0 40914 87 0 0 25 0 1 0 854344930 98369536 23326 4294967295 134512640 134716908 3221224560 3221223152 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24016 23326 1111 63 0 23953 0
vsize: 96064
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24764 0 0 0 41913 88 0 0 25 0 1 0 854344930 99045376 23485 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24181 23485 1111 63 0 24118 0
vsize: 96724
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 24929 0 0 0 42912 89 0 0 25 0 1 0 854344930 99721216 23650 4294967295 134512640 134716908 3221224560 3221223088 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 23650 1111 63 0 24283 0
vsize: 97384
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25079 0 0 0 43912 90 0 0 25 0 1 0 854344930 100397056 23800 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24511 23800 1111 63 0 24448 0
vsize: 98044
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25224 0 0 0 44911 91 0 0 25 0 1 0 854344930 100937728 23945 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24643 23945 1111 63 0 24580 0
vsize: 98572
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25398 0 0 0 45910 92 0 0 25 0 1 0 854344930 101613568 24119 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24808 24119 1111 63 0 24745 0
vsize: 99232
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25559 0 0 0 46908 94 0 0 25 0 1 0 854344930 102289408 24280 4294967295 134512640 134716908 3221224560 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24973 24280 1111 63 0 24910 0
vsize: 99892
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25643 0 0 0 47907 96 0 0 25 0 1 0 854344930 102694912 24364 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25072 24364 1111 63 0 25009 0
vsize: 100288
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25790 0 0 0 48907 96 0 0 25 0 1 0 854344930 103235584 24511 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25204 24511 1111 63 0 25141 0
vsize: 100816
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25892 0 0 0 49906 97 0 0 25 0 1 0 854344930 103641088 24613 4294967295 134512640 134716908 3221224560 3221223116 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25303 24613 1111 63 0 25240 0
vsize: 101212
[startup+510.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25966 0 0 0 50906 98 0 0 25 0 1 0 854344930 104013824 24687 4294967295 134512640 134716908 3221224560 3221223328 134528831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24687 1111 63 0 25331 0
vsize: 101576
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 25982 0 0 0 51906 98 0 0 25 0 1 0 854344930 104013824 24703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24703 1111 63 0 25331 0
vsize: 101576
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26045 0 0 0 52905 99 0 0 25 0 1 0 854344930 104284160 24766 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24766 1111 63 0 25397 0
vsize: 101840
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26056 0 0 0 53905 99 0 0 25 0 1 0 854344930 104419328 24777 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25493 24777 1111 63 0 25430 0
vsize: 101972
[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26078 0 0 0 54904 100 0 0 25 0 1 0 854344930 104411136 24799 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25491 24799 1111 63 0 25428 0
vsize: 101964
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26159 0 0 0 55904 100 0 0 25 0 1 0 854344930 104812544 24880 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24880 1111 63 0 25526 0
vsize: 102356
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26170 0 0 0 56904 101 0 0 25 0 1 0 854344930 104812544 24891 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24891 1111 63 0 25526 0
vsize: 102356
[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26191 0 0 0 57903 102 0 0 25 0 1 0 854344930 104947712 24912 4294967295 134512640 134716908 3221224560 3221223120 134698898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25622 24912 1111 63 0 25559 0
vsize: 102488
[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26219 0 0 0 58903 102 0 0 25 0 1 0 854344930 105062400 24940 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24940 1111 63 0 25587 0
vsize: 102600
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26299 0 0 0 59903 102 0 0 25 0 1 0 854344930 105332736 25020 4294967295 134512640 134716908 3221224560 3221223276 134552684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25716 25020 1111 63 0 25653 0
vsize: 102864
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26475 0 0 0 60902 103 0 0 25 0 1 0 854344930 106143744 25196 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25914 25196 1111 63 0 25851 0
vsize: 103656
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26609 0 0 0 61901 105 0 0 25 0 1 0 854344930 106684416 25330 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26046 25330 1111 63 0 25983 0
vsize: 104184
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26701 0 0 0 62900 105 0 0 25 0 1 0 854344930 106954752 25422 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26112 25422 1111 63 0 26049 0
vsize: 104448
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26833 0 0 0 63899 106 0 0 25 0 1 0 854344930 107495424 25554 4294967295 134512640 134716908 3221224560 3221223272 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26244 25554 1111 63 0 26181 0
vsize: 104976
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 26941 0 0 0 64899 107 0 0 25 0 1 0 854344930 108036096 25662 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26376 25662 1111 63 0 26313 0
vsize: 105504
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27092 0 0 0 65898 109 0 0 25 0 1 0 854344930 108576768 25813 4294967295 134512640 134716908 3221224560 3221223272 134542829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26508 25813 1111 63 0 26445 0
vsize: 106032
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27219 0 0 0 66897 109 0 0 25 0 1 0 854344930 109117440 25940 4294967295 134512640 134716908 3221224560 3221223176 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26640 25940 1111 63 0 26577 0
vsize: 106560
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27313 0 0 0 67897 110 0 0 25 0 1 0 854344930 109522944 26034 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26739 26034 1111 63 0 26676 0
vsize: 106956
[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27358 0 0 0 68896 110 0 0 25 0 1 0 854344930 109658112 26079 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26772 26079 1111 63 0 26709 0
vsize: 107088
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27494 0 0 0 69895 111 0 0 25 0 1 0 854344930 110198784 26215 4294967295 134512640 134716908 3221224560 3221223164 134536823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26904 26215 1111 63 0 26841 0
vsize: 107616
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27567 0 0 0 70894 113 0 0 25 0 1 0 854344930 110604288 26288 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27003 26288 1111 63 0 26940 0
vsize: 108012
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27635 0 0 0 71894 114 0 0 25 0 1 0 854344930 110874624 26356 4294967295 134512640 134716908 3221224560 3221223296 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27069 26356 1111 63 0 27006 0
vsize: 108276
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27771 0 0 0 72893 114 0 0 25 0 1 0 854344930 111411200 26492 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27200 26492 1111 63 0 27137 0
vsize: 108800
[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 27921 0 0 0 73892 116 0 0 25 0 1 0 854344930 111951872 26642 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27332 26642 1111 63 0 27269 0
vsize: 109328
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28010 0 0 0 74891 117 0 0 25 0 1 0 854344930 112353280 26731 4294967295 134512640 134716908 3221224560 3221223360 134597759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27430 26731 1111 63 0 27367 0
vsize: 109720
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28114 0 0 0 75890 118 0 0 25 0 1 0 854344930 112758784 26835 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27529 26835 1111 63 0 27466 0
vsize: 110116
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28253 0 0 0 76889 120 0 0 25 0 1 0 854344930 113434624 26974 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27694 26974 1111 63 0 27631 0
vsize: 110776
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28354 0 0 0 77887 121 0 0 25 0 1 0 854344930 113840128 27075 4294967295 134512640 134716908 3221224560 3221223136 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27793 27075 1111 63 0 27730 0
vsize: 111172
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28440 0 0 0 78886 122 0 0 25 0 1 0 854344930 114110464 27161 4294967295 134512640 134716908 3221224560 3221223200 134698740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27859 27161 1111 63 0 27796 0
vsize: 111436
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28476 0 0 0 79886 123 0 0 25 0 1 0 854344930 114245632 27197 4294967295 134512640 134716908 3221224560 3221223152 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27892 27197 1111 63 0 27829 0
vsize: 111568
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28588 0 0 0 80885 124 0 0 25 0 1 0 854344930 114782208 27309 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28023 27309 1111 63 0 27960 0
vsize: 112092
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28707 0 0 0 81884 125 0 0 25 0 1 0 854344930 115187712 27428 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28122 27428 1111 63 0 28059 0
vsize: 112488
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28793 0 0 0 82884 126 0 0 25 0 1 0 854344930 115593216 27514 4294967295 134512640 134716908 3221224560 3221223120 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28221 27514 1111 63 0 28158 0
vsize: 112884
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28852 0 0 0 83883 126 0 0 25 0 1 0 854344930 115859456 27573 4294967295 134512640 134716908 3221224560 3221223176 134536851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28286 27573 1111 63 0 28223 0
vsize: 113144
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 28924 0 0 0 84882 127 0 0 25 0 1 0 854344930 116129792 27645 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28352 27645 1111 63 0 28289 0
vsize: 113408
[startup+860.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29002 0 0 0 85882 128 0 0 25 0 1 0 854344930 116400128 27723 4294967295 134512640 134716908 3221224560 3221223184 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27723 1111 63 0 28355 0
vsize: 113672
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29069 0 0 0 86882 129 0 0 25 0 1 0 854344930 116670464 27790 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28484 27790 1111 63 0 28421 0
vsize: 113936
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29177 0 0 0 87881 130 0 0 25 0 1 0 854344930 117211136 27898 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28616 27898 1111 63 0 28553 0
vsize: 114464
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29294 0 0 0 88880 130 0 0 25 0 1 0 854344930 117616640 28015 4294967295 134512640 134716908 3221224560 3221223152 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28715 28015 1111 63 0 28652 0
vsize: 114860
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29434 0 0 0 89879 132 0 0 25 0 1 0 854344930 118157312 28155 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28847 28156 1111 63 0 28784 0
vsize: 115388
[startup+910.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29523 0 0 0 90878 133 0 0 25 0 1 0 854344930 118558720 28244 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28945 28244 1111 63 0 28882 0
vsize: 115780
[startup+920.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29600 0 0 0 91878 133 0 0 25 0 1 0 854344930 118829056 28321 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29011 28321 1111 63 0 28948 0
vsize: 116044
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29759 0 0 0 92877 134 0 0 25 0 1 0 854344930 119504896 28480 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29176 28480 1111 63 0 29113 0
vsize: 116704
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 29872 0 0 0 93877 135 0 0 25 0 1 0 854344930 120045568 28593 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29308 28593 1111 63 0 29245 0
vsize: 117232
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30028 0 0 0 94876 136 0 0 25 0 1 0 854344930 120582144 28749 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29439 28749 1111 63 0 29376 0
vsize: 117756
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30100 0 0 0 95875 137 0 0 25 0 1 0 854344930 120987648 28821 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29538 28821 1111 63 0 29475 0
vsize: 118152
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30181 0 0 0 96875 137 0 0 25 0 1 0 854344930 121257984 28902 4294967295 134512640 134716908 3221224560 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29604 28902 1111 63 0 29541 0
vsize: 118416
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30270 0 0 0 97874 139 0 0 25 0 1 0 854344930 121663488 28991 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29703 28991 1111 63 0 29640 0
vsize: 118812
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30334 0 0 0 98873 139 0 0 25 0 1 0 854344930 121933824 29055 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29769 29055 1111 63 0 29706 0
vsize: 119076
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30418 0 0 0 99873 140 0 0 25 0 1 0 854344930 122204160 29139 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29835 29139 1111 63 0 29772 0
vsize: 119340
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30489 0 0 0 100873 140 0 0 25 0 1 0 854344930 122474496 29210 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29901 29210 1111 63 0 29838 0
vsize: 119604
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30558 0 0 0 101872 141 0 0 25 0 1 0 854344930 122880000 29279 4294967295 134512640 134716908 3221224560 3221223232 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30000 29279 1111 63 0 29937 0
vsize: 120000
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30615 0 0 0 102871 142 0 0 25 0 1 0 854344930 123015168 29336 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30033 29336 1111 63 0 29970 0
vsize: 120132
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30647 0 0 0 103871 142 0 0 25 0 1 0 854344930 123150336 29368 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30066 29368 1111 63 0 30003 0
vsize: 120264
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30697 0 0 0 104871 142 0 0 25 0 1 0 854344930 123420672 29418 4294967295 134512640 134716908 3221224560 3221223100 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30132 29418 1111 63 0 30069 0
vsize: 120528
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30731 0 0 0 105871 143 0 0 25 0 1 0 854344930 123555840 29452 4294967295 134512640 134716908 3221224560 3221223196 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30165 29452 1111 63 0 30102 0
vsize: 120660
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30787 0 0 0 106870 144 0 0 25 0 1 0 854344930 123691008 29508 4294967295 134512640 134716908 3221224560 3221223176 134542657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30198 29508 1111 63 0 30135 0
vsize: 120792
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30807 0 0 0 107870 144 0 0 25 0 1 0 854344930 123822080 29528 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30230 29528 1111 63 0 30167 0
vsize: 120920
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30827 0 0 0 108870 144 0 0 25 0 1 0 854344930 123936768 29548 4294967295 134512640 134716908 3221224560 3221223236 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29548 1111 63 0 30195 0
vsize: 121032
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30841 0 0 0 109870 145 0 0 25 0 1 0 854344930 123936768 29562 4294967295 134512640 134716908 3221224560 3221223236 1077374455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29562 1111 63 0 30195 0
vsize: 121032
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30860 0 0 0 110870 145 0 0 25 0 1 0 854344930 124063744 29581 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29581 1111 63 0 30226 0
vsize: 121156
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30863 0 0 0 111869 146 0 0 25 0 1 0 854344930 124063744 29584 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29584 1111 63 0 30226 0
vsize: 121156
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30911 0 0 0 112869 146 0 0 25 0 1 0 854344930 124198912 29632 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30322 29632 1111 63 0 30259 0
vsize: 121288
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30925 0 0 0 113869 146 0 0 25 0 1 0 854344930 124334080 29646 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29646 1111 63 0 30292 0
vsize: 121420
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30929 0 0 0 114869 146 0 0 25 0 1 0 854344930 124334080 29650 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29650 1111 63 0 30292 0
vsize: 121420
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30948 0 0 0 115869 147 0 0 25 0 1 0 854344930 124444672 29669 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29669 1111 63 0 30319 0
vsize: 121528
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30948 0 0 0 116869 147 0 0 25 0 1 0 854344930 124444672 29669 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29669 1111 63 0 30319 0
vsize: 121528
[startup+1174.98 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 7171
Raw data (stat): 7169 (bsolo_lpr_cuts-) R 7168 8378 8377 0 -1 0 30948 0 0 0 116869 147 0 0 25 0 1 0 854344930 124444672 29669 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29669 1111 63 0 30319 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.11
CPU user time (s): 1173.58
CPU system time (s): 1.53077
CPU usage (%): 100.011
Max. virtual memory (Kb): 121528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####