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/miplib3/normalized-mps-v2-13-7-mkc.opb
MD5SUM	b9e9aa470fdb3341d7e10860fcc70cec
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 41585

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907716 kB
Buffers:          1816 kB
Cached:         105116 kB
SwapCached:        916 kB
Active:          25612 kB
Inactive:        83328 kB
HighTotal:      131008 kB
HighFree:        23128 kB
LowTotal:       903652 kB
LowFree:        884588 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12420 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:37:43 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 29648 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5363 variables and 3281 constraints.
c After prepocess the problem consists of 5290 variables and 2935 constraints.
c preprocess terminated 70.531 s
c Initial Lower Bound: 2147483647
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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): 0.92 0.98 0.92 2/54 18425
Raw data (stat): 18425 (runsolver) R 18424 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911645294 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36413 0 0 0 921 76 0 0 25 0 1 0 911645294 151506944 36119 4294967295 134512640 134716908 3221224560 3221223176 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36989 36119 1111 63 0 36926 0
vsize: 147956
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36848 0 0 0 1918 77 0 0 25 0 1 0 911645294 153260032 36531 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36848 0 0 0 2919 77 0 0 25 0 1 0 911645294 153260032 36531 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36848 0 0 0 3919 78 0 0 25 0 1 0 911645294 153260032 36531 4294967295 134512640 134716908 3221224560 3221223232 134627288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36848 0 0 0 4919 78 0 0 25 0 1 0 911645294 153260032 36531 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36857 0 0 0 5919 78 0 0 25 0 1 0 911645294 153260032 36540 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 36857 0 0 0 6919 78 0 0 25 0 1 0 911645294 153260032 36540 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 38084 0 0 0 7917 80 0 0 25 0 1 0 911645294 157712384 37606 4294967295 134512640 134716908 3221224560 3221220800 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38504 37606 1111 63 0 38441 0
vsize: 154016
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 41328 0 0 0 8909 88 0 0 25 0 1 0 911645294 158527488 37851 4294967295 134512640 134716908 3221224560 3221220784 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38703 37851 1111 63 0 38640 0
vsize: 154812
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 41726 0 0 0 9909 89 0 0 25 0 1 0 911645294 158957568 38009 4294967295 134512640 134716908 3221224560 3221220380 1074788236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38808 38009 1111 63 0 38745 0
vsize: 155232
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 42785 0 0 0 10907 91 0 0 25 0 1 0 911645294 158613504 37970 4294967295 134512640 134716908 3221224560 3221220704 1074950928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38724 37970 1111 63 0 38661 0
vsize: 154896
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 43648 0 0 0 11905 93 0 0 25 0 1 0 911645294 158801920 37977 4294967295 134512640 134716908 3221224560 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37977 1111 63 0 38707 0
vsize: 155080
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 44508 0 0 0 12903 95 0 0 25 0 1 0 911645294 158801920 37965 4294967295 134512640 134716908 3221224560 3221220896 1075113496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37965 1111 63 0 38707 0
vsize: 155080
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 45511 0 0 0 13901 97 0 0 25 0 1 0 911645294 159703040 38086 4294967295 134512640 134716908 3221224560 3221220556 1074873369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38990 38086 1111 63 0 38927 0
vsize: 155960
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 45742 0 0 0 14900 98 0 0 25 0 1 0 911645294 159031296 37989 4294967295 134512640 134716908 3221224560 3221220740 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38826 37989 1111 63 0 38763 0
vsize: 155304
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 46845 0 0 0 15897 102 0 0 25 0 1 0 911645294 158842880 38003 4294967295 134512640 134716908 3221224560 3221221216 1075967705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38780 38003 1111 63 0 38717 0
vsize: 155120
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 48412 0 0 0 16894 105 0 0 25 0 1 0 911645294 158785536 37886 4294967295 134512640 134716908 3221224560 3221220800 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38766 37886 1111 63 0 38703 0
vsize: 155064
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 49549 0 0 0 17892 107 0 0 25 0 1 0 911645294 156815360 37574 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 50820 0 0 0 18890 110 0 0 25 0 1 0 911645294 158785536 37869 4294967295 134512640 134716908 3221224560 3221220720 1075091586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38766 37869 1111 63 0 38703 0
vsize: 155064
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 51198 0 0 0 19889 111 0 0 25 0 1 0 911645294 156815360 37574 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 52601 0 0 0 20886 114 0 0 25 0 1 0 911645294 158785536 37991 4294967295 134512640 134716908 3221224560 3221221736 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38766 37991 1111 63 0 38703 0
vsize: 155064
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 53761 0 0 0 21885 115 0 0 25 0 1 0 911645294 159055872 37978 4294967295 134512640 134716908 3221224560 3221220784 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38832 37978 1111 63 0 38769 0
vsize: 155328
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 54080 0 0 0 22885 116 0 0 25 0 1 0 911645294 156815360 37574 4294967295 134512640 134716908 3221224560 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 54646 0 0 0 23883 117 0 0 25 0 1 0 911645294 158834688 37988 4294967295 134512640 134716908 3221224560 3221221328 1076083606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38778 37988 1111 63 0 38715 0
vsize: 155112
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55160 0 0 0 24882 119 0 0 25 0 1 0 911645294 158695424 37784 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38744 37784 1111 63 0 38681 0
vsize: 154976
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55208 0 0 0 25882 119 0 0 25 0 1 0 911645294 158695424 37832 4294967295 134512640 134716908 3221224560 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38744 37832 1111 63 0 38681 0
vsize: 154976
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55262 0 0 0 26882 119 0 0 25 0 1 0 911645294 158695424 37886 4294967295 134512640 134716908 3221224560 3221220696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38744 37886 1111 63 0 38681 0
vsize: 154976
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55266 0 0 0 27883 119 0 0 25 0 1 0 911645294 158695424 37890 4294967295 134512640 134716908 3221224560 3221220776 1075560291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38744 37890 1111 63 0 38681 0
vsize: 154976
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55334 0 0 0 28883 119 0 0 25 0 1 0 911645294 158695424 37958 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38744 37958 1111 63 0 38681 0
vsize: 154976
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 55844 0 0 0 29881 121 0 0 25 0 1 0 911645294 159387648 37759 4294967295 134512640 134716908 3221224560 3221220656 1074969782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38913 37759 1111 63 0 38850 0
vsize: 155652
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 56355 0 0 0 30881 121 0 0 25 0 1 0 911645294 158892032 37947 4294967295 134512640 134716908 3221224560 3221221632 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38792 37947 1111 63 0 38729 0
vsize: 155168
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 57049 0 0 0 31879 123 0 0 25 0 1 0 911645294 158715904 37972 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38749 37972 1111 63 0 38686 0
vsize: 154996
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 58119 0 0 0 32876 127 0 0 25 0 1 0 911645294 158961664 37901 4294967295 134512640 134716908 3221224560 3221220784 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38809 37901 1111 63 0 38746 0
vsize: 155236
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 58245 0 0 0 33876 127 0 0 25 0 1 0 911645294 159789056 38027 4294967295 134512640 134716908 3221224560 3221221104 1074885417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39011 38027 1111 63 0 38948 0
vsize: 156044
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 59279 0 0 0 34873 129 0 0 25 0 1 0 911645294 156803072 37571 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38282 37571 1111 63 0 38219 0
vsize: 153128
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 60057 0 0 0 35872 131 0 0 25 0 1 0 911645294 156803072 37571 4294967295 134512640 134716908 3221224560 3221222864 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38282 37571 1111 63 0 38219 0
vsize: 153128
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 60835 0 0 0 36870 133 0 0 25 0 1 0 911645294 158928896 38009 4294967295 134512640 134716908 3221224560 3221220672 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 38009 1111 63 0 38738 0
vsize: 155204
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 61443 0 0 0 37869 135 0 0 25 0 1 0 911645294 159080448 37954 4294967295 134512640 134716908 3221224560 3221221104 1074885830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38838 37954 1111 63 0 38775 0
vsize: 155352
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 62609 0 0 0 38867 137 0 0 25 0 1 0 911645294 158830592 37795 4294967295 134512640 134716908 3221224560 3221220508 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38777 37795 1111 63 0 38714 0
vsize: 155108
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 62799 0 0 0 39866 137 0 0 25 0 1 0 911645294 158830592 37985 4294967295 134512640 134716908 3221224560 3221220532 1074786507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38777 37985 1111 63 0 38714 0
vsize: 155108
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 63399 0 0 0 40866 138 0 0 25 0 1 0 911645294 158830592 37797 4294967295 134512640 134716908 3221224560 3221221080 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38777 37797 1111 63 0 38714 0
vsize: 155108
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 63445 0 0 0 41866 139 0 0 25 0 1 0 911645294 158830592 37843 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38777 37843 1111 63 0 38714 0
vsize: 155108
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 64150 0 0 0 42865 140 0 0 25 0 1 0 911645294 158703616 37786 4294967295 134512640 134716908 3221224560 3221220696 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38746 37786 1111 63 0 38683 0
vsize: 154984
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 64321 0 0 0 43865 140 0 0 25 0 1 0 911645294 158703616 37957 4294967295 134512640 134716908 3221224560 3221220508 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38746 37957 1111 63 0 38683 0
vsize: 154984
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 65414 0 0 0 44862 143 0 0 25 0 1 0 911645294 156946432 37574 4294967295 134512640 134716908 3221224560 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38317 37574 1111 63 0 38254 0
vsize: 153268
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 66101 0 0 0 45861 144 0 0 25 0 1 0 911645294 159059968 37920 4294967295 134512640 134716908 3221224560 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38833 37920 1111 63 0 38770 0
vsize: 155332
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 67216 0 0 0 46859 146 0 0 25 0 1 0 911645294 158765056 37953 4294967295 134512640 134716908 3221224560 3221221600 1075971444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38761 37953 1111 63 0 38698 0
vsize: 155044
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 67804 0 0 0 47858 148 0 0 25 0 1 0 911645294 158826496 37795 4294967295 134512640 134716908 3221224560 3221220720 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38776 37795 1111 63 0 38713 0
vsize: 155104
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 68678 0 0 0 48856 150 0 0 25 0 1 0 911645294 158810112 37944 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38772 37944 1111 63 0 38709 0
vsize: 155088
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 70210 0 0 0 49853 153 0 0 25 0 1 0 911645294 159563776 37884 4294967295 134512640 134716908 3221224560 3221220556 1074873393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38956 37884 1111 63 0 38893 0
vsize: 155824
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 70775 0 0 0 50852 154 0 0 25 0 1 0 911645294 159092736 37948 4294967295 134512640 134716908 3221224560 3221220448 1075965308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38841 37948 1111 63 0 38778 0
vsize: 155364
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 70884 0 0 0 51852 154 0 0 25 0 1 0 911645294 159764480 38057 4294967295 134512640 134716908 3221224560 3221221044 1074260597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 38057 1111 63 0 38942 0
vsize: 156020
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 71570 0 0 0 52850 156 0 0 25 0 1 0 911645294 158830592 37802 4294967295 134512640 134716908 3221224560 3221220768 1076111669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38777 37802 1111 63 0 38714 0
vsize: 155108
[startup+540.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 72705 0 0 0 53850 158 0 0 25 0 1 0 911645294 159678464 37966 4294967295 134512640 134716908 3221224560 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38984 37966 1111 63 0 38921 0
vsize: 155936
[startup+550.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 72904 0 0 0 54849 159 0 0 25 0 1 0 911645294 159006720 37993 4294967295 134512640 134716908 3221224560 3221220784 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38820 37993 1111 63 0 38757 0
vsize: 155280
[startup+560.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 74309 0 0 0 55846 162 0 0 25 0 1 0 911645294 159551488 37824 4294967295 134512640 134716908 3221224560 3221220732 1075116856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38953 37824 1111 63 0 38890 0
vsize: 155812
[startup+570.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 74615 0 0 0 56845 163 0 0 25 0 1 0 911645294 159068160 37958 4294967295 134512640 134716908 3221224560 3221220672 1074794640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38835 37958 1111 63 0 38772 0
vsize: 155340
[startup+580.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 75411 0 0 0 57844 164 0 0 25 0 1 0 911645294 158842880 37935 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38780 37935 1111 63 0 38717 0
vsize: 155120
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 76620 0 0 0 58841 168 0 0 25 0 1 0 911645294 158801920 37782 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37782 1111 63 0 38707 0
vsize: 155080
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 76636 0 0 0 59841 168 0 0 25 0 1 0 911645294 158801920 37798 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37798 1111 63 0 38707 0
vsize: 155080
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 76808 0 0 0 60841 168 0 0 25 0 1 0 911645294 158801920 37970 4294967295 134512640 134716908 3221224560 3221220860 1075894868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37970 1111 63 0 38707 0
vsize: 155080
[startup+620.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 77804 0 0 0 61839 170 0 0 25 0 1 0 911645294 159768576 38006 4294967295 134512640 134716908 3221224560 3221220732 1075116728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39006 38006 1111 63 0 38943 0
vsize: 156024
[startup+630.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 77998 0 0 0 62839 170 0 0 25 0 1 0 911645294 159768576 38029 4294967295 134512640 134716908 3221224560 3221221104 1074885421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39006 38029 1111 63 0 38943 0
vsize: 156024
[startup+640.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 79108 0 0 0 63837 173 0 0 25 0 1 0 911645294 156860416 37585 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38296 37585 1111 63 0 38233 0
vsize: 153184
[startup+650.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 80384 0 0 0 64834 175 0 0 25 0 1 0 911645294 159551488 38026 4294967295 134512640 134716908 3221224560 3221220848 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38953 38026 1111 63 0 38890 0
vsize: 155812
[startup+660.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 81266 0 0 0 65833 177 0 0 25 0 1 0 911645294 159076352 37925 4294967295 134512640 134716908 3221224560 3221220740 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38837 37925 1111 63 0 38774 0
vsize: 155348
[startup+670.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 81833 0 0 0 66831 179 0 0 25 0 1 0 911645294 156897280 37594 4294967295 134512640 134716908 3221224560 3221222728 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38305 37594 1111 63 0 38242 0
vsize: 153220
[startup+680.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 82417 0 0 0 67830 180 0 0 25 0 1 0 911645294 156860416 37585 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38296 37585 1111 63 0 38233 0
vsize: 153184
[startup+690.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 84012 0 0 0 68827 183 0 0 25 0 1 0 911645294 158834688 37927 4294967295 134512640 134716908 3221224560 3221220524 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38778 37927 1111 63 0 38715 0
vsize: 155112
[startup+700.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 84550 0 0 0 69826 185 0 0 25 0 1 0 911645294 159035392 37874 4294967295 134512640 134716908 3221224560 3221221456 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38827 37874 1111 63 0 38764 0
vsize: 155308
[startup+710.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 85358 0 0 0 70825 187 0 0 25 0 1 0 911645294 158650368 37902 4294967295 134512640 134716908 3221224560 3221220696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38733 37902 1111 63 0 38670 0
vsize: 154932
[startup+720.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 86244 0 0 0 71822 189 0 0 25 0 1 0 911645294 158785536 37918 4294967295 134512640 134716908 3221224560 3221220740 1075115127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38766 37918 1111 63 0 38703 0
vsize: 155064
[startup+730.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 86708 0 0 0 72822 190 0 0 25 0 1 0 911645294 158650368 37825 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38733 37825 1111 63 0 38670 0
vsize: 154932
[startup+740.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 87572 0 0 0 73820 191 0 0 25 0 1 0 911645294 158457856 37734 4294967295 134512640 134716908 3221224560 3221221060 1074846152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38686 37734 1111 63 0 38623 0
vsize: 154744
[startup+750.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 88443 0 0 0 74819 193 0 0 25 0 1 0 911645294 159444992 37907 4294967295 134512640 134716908 3221224560 3221220784 1074961246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38927 37907 1111 63 0 38864 0
vsize: 155708
[startup+760.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 89171 0 0 0 75817 195 0 0 25 0 1 0 911645294 158638080 37753 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38730 37753 1111 63 0 38667 0
vsize: 154920
[startup+770.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 89506 0 0 0 76816 196 0 0 25 0 1 0 911645294 156852224 37583 4294967295 134512640 134716908 3221224560 3221222648 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+780.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 90243 0 0 0 77815 197 0 0 25 0 1 0 911645294 158846976 37873 4294967295 134512640 134716908 3221224560 3221220444 1074788054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38781 37873 1111 63 0 38718 0
vsize: 155124
[startup+790.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 91159 0 0 0 78813 200 0 0 25 0 1 0 911645294 158617600 37830 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38725 37830 1111 63 0 38662 0
vsize: 154900
[startup+800.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 92415 0 0 0 79811 202 0 0 25 0 1 0 911645294 159444992 37888 4294967295 134512640 134716908 3221224560 3221220640 1075561237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38927 37888 1111 63 0 38864 0
vsize: 155708
[startup+810.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 92564 0 0 0 80811 202 0 0 25 0 1 0 911645294 158920704 37873 4294967295 134512640 134716908 3221224560 3221221104 1074885836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38799 37873 1111 63 0 38736 0
vsize: 155196
[startup+820.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 93482 0 0 0 81809 204 0 0 25 0 1 0 911645294 158515200 37923 4294967295 134512640 134716908 3221224560 3221220508 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38700 37923 1111 63 0 38637 0
vsize: 154800
[startup+830.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 94265 0 0 0 82808 206 0 0 25 0 1 0 911645294 158781440 37864 4294967295 134512640 134716908 3221224560 3221220396 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38765 37864 1111 63 0 38702 0
vsize: 155060
[startup+840.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 95227 0 0 0 83806 208 0 0 25 0 1 0 911645294 158564352 37895 4294967295 134512640 134716908 3221224560 3221220704 1074969684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38712 37895 1111 63 0 38649 0
vsize: 154848
[startup+850.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 96193 0 0 0 84804 210 0 0 25 0 1 0 911645294 158683136 37854 4294967295 134512640 134716908 3221224560 3221220396 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38741 37854 1111 63 0 38678 0
vsize: 154964
[startup+860.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 96780 0 0 0 85803 211 0 0 25 0 1 0 911645294 156852224 37583 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+870.052 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 98231 0 0 0 86800 215 0 0 25 0 1 0 911645294 158613504 37819 4294967295 134512640 134716908 3221224560 3221220396 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38724 37819 1111 63 0 38661 0
vsize: 154896
[startup+880.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 98737 0 0 0 87800 216 0 0 25 0 1 0 911645294 158310400 37753 4294967295 134512640 134716908 3221224560 3221220592 1075965280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38650 37753 1111 63 0 38587 0
vsize: 154600
[startup+890.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 99513 0 0 0 88798 218 0 0 25 0 1 0 911645294 158547968 37810 4294967295 134512640 134716908 3221224560 3221220396 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38708 37810 1111 63 0 38645 0
vsize: 154832
[startup+900.061 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 100348 0 0 0 89796 220 0 0 25 0 1 0 911645294 158302208 37840 4294967295 134512640 134716908 3221224560 3221220612 1074879677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38648 37840 1111 63 0 38585 0
vsize: 154592
[startup+910.061 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 101401 0 0 0 90794 222 0 0 25 0 1 0 911645294 158302208 37890 4294967295 134512640 134716908 3221224560 3221220464 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38648 37890 1111 63 0 38585 0
vsize: 154592
[startup+920.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 102307 0 0 0 91792 224 0 0 25 0 1 0 911645294 158740480 37819 4294967295 134512640 134716908 3221224560 3221221104 1074885848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38755 37819 1111 63 0 38692 0
vsize: 155020
[startup+930.061 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 103509 0 0 0 92790 226 0 0 25 0 1 0 911645294 158343168 37662 4294967295 134512640 134716908 3221224560 3221220688 1075112100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38658 37662 1111 63 0 38595 0
vsize: 154632
[startup+940.061 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 104262 0 0 0 93789 228 0 0 25 0 1 0 911645294 159260672 37856 4294967295 134512640 134716908 3221224560 3221220732 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38882 37856 1111 63 0 38819 0
vsize: 155528
[startup+950.062 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 105747 0 0 0 94786 231 0 0 25 0 1 0 911645294 158326784 37868 4294967295 134512640 134716908 3221224560 3221220720 1075091857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38654 37868 1111 63 0 38591 0
vsize: 154616
[startup+960.062 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 106575 0 0 0 95783 234 0 0 25 0 1 0 911645294 158154752 37787 4294967295 134512640 134716908 3221224560 3221220508 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37787 1111 63 0 38549 0
vsize: 154448
[startup+970.062 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 108032 0 0 0 96779 238 0 0 25 0 1 0 911645294 156852224 37583 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+980.062 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 109706 0 0 0 97775 242 0 0 25 0 1 0 911645294 158154752 37643 4294967295 134512640 134716908 3221224560 3221220524 1074787578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37643 1111 63 0 38549 0
vsize: 154448
[startup+990.063 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 111180 0 0 0 98772 246 0 0 25 0 1 0 911645294 158388224 37766 4294967295 134512640 134716908 3221224560 3221220448 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38669 37766 1111 63 0 38606 0
vsize: 154676
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 112299 0 0 0 99770 248 0 0 25 0 1 0 911645294 156852224 37583 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 113458 0 0 0 100767 251 0 0 25 0 1 0 911645294 158154752 37689 4294967295 134512640 134716908 3221224560 3221220508 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37689 1111 63 0 38549 0
vsize: 154448
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 114165 0 0 0 101765 253 0 0 25 0 1 0 911645294 158154752 37843 4294967295 134512640 134716908 3221224560 3221220944 1074971950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37843 1111 63 0 38549 0
vsize: 154448
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 115317 0 0 0 102762 257 0 0 25 0 1 0 911645294 156852224 37583 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 116416 0 0 0 103759 259 0 0 25 0 1 0 911645294 158154752 37695 4294967295 134512640 134716908 3221224560 3221220720 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37695 1111 63 0 38549 0
vsize: 154448
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 117640 0 0 0 104756 263 0 0 25 0 1 0 911645294 157937664 37641 4294967295 134512640 134716908 3221224560 3221220592 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37641 1111 63 0 38496 0
vsize: 154236
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 118950 0 0 0 105753 266 0 0 25 0 1 0 911645294 156852224 37584 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 120179 0 0 0 106750 269 0 0 25 0 1 0 911645294 157937664 37613 4294967295 134512640 134716908 3221224560 3221220704 1074950918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37613 1111 63 0 38496 0
vsize: 154236
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 121424 0 0 0 107748 272 0 0 25 0 1 0 911645294 157937664 37637 4294967295 134512640 134716908 3221224560 3221220720 1075091857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37637 1111 63 0 38496 0
vsize: 154236
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 122694 0 0 0 108745 275 0 0 25 0 1 0 911645294 156852224 37584 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 123844 0 0 0 109742 278 0 0 25 0 1 0 911645294 157937664 37696 4294967295 134512640 134716908 3221224560 3221221504 1074620084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37696 1111 63 0 38496 0
vsize: 154236
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 125042 0 0 0 110740 280 0 0 25 0 1 0 911645294 157937664 37670 4294967295 134512640 134716908 3221224560 3221221060 1074846137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37670 1111 63 0 38496 0
vsize: 154236
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 126305 0 0 0 111737 283 0 0 25 0 1 0 911645294 158195712 37693 4294967295 134512640 134716908 3221224560 3221220480 1074872796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38622 37693 1111 63 0 38559 0
vsize: 154488
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 127357 0 0 0 112735 285 0 0 25 0 1 0 911645294 156852224 37584 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 128146 0 0 0 113733 288 0 0 25 0 1 0 911645294 156852224 37584 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 128800 0 0 0 114730 291 0 0 25 0 1 0 911645294 157720576 37597 4294967295 134512640 134716908 3221224560 3221220720 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38506 37597 1111 63 0 38443 0
vsize: 154024
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 130075 0 0 0 115727 294 0 0 25 0 1 0 911645294 156852224 37584 4294967295 134512640 134716908 3221224560 3221222288 1075828496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 133562 0 0 0 116717 305 0 0 25 0 1 0 911645294 156884992 37592 4294967295 134512640 134716908 3221224560 3221222396 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38302 37592 1111 63 0 38239 0
vsize: 153208
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 18425
Raw data (stat): 18425 (bsolo_lpr_cuts-) R 18424 21152 21151 0 -1 0 133562 0 0 0 116717 305 0 0 25 0 1 0 911645294 156884992 37592 4294967295 134512640 134716908 3221224560 3221222396 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38302 37592 1111 63 0 38239 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1171.84
CPU system time (s): 3.24251
CPU usage (%): 100.013
Max. virtual memory (Kb): 156044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####