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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
MD5SUM	e21ba82f6fe94f7331ec17a5a9607763
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1031
Optimality of the best value was proved	NO
Number of terms in the objective function	2152
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	2152
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2152
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	20.8518
Number of variables	2152
Total number of constraints	17197
Number of constraints which are clauses	17197
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 23833

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905096 kB
Buffers:         32044 kB
Cached:          72344 kB
SwapCached:       3596 kB
Active:          69092 kB
Inactive:        40392 kB
HighTotal:      131008 kB
HighFree:        55356 kB
LowTotal:       903652 kB
LowFree:        849740 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            14216 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 09:41:16 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 1244 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2152 variables and 17197 constraints.
c After prepocess the problem consists of 2152 variables and 17485 constraints.
c preprocess terminated 114.164 s
c Initial Lower Bound: 648
c Lower Bound Elapsed time: 48.9444
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1076 @ 359.059
c NEW SOLUTION FOUND: 1075 @ 359.064
c NEW SOLUTION FOUND: 1074 @ 359.097
c NEW SOLUTION FOUND: 1073 @ 359.122
c NEW SOLUTION FOUND: 1072 @ 359.147
c NEW SOLUTION FOUND: 1071 @ 359.173
c NEW SOLUTION FOUND: 1070 @ 359.226
c NEW SOLUTION FOUND: 1069 @ 359.253
c NEW SOLUTION FOUND: 1068 @ 359.281
c NEW SOLUTION FOUND: 1067 @ 359.31
c NEW SOLUTION FOUND: 1066 @ 359.339
c NEW SOLUTION FOUND: 1065 @ 359.397
c NEW SOLUTION FOUND: 1064 @ 359.428
c NEW SOLUTION FOUND: 1063 @ 359.49
c NEW SOLUTION FOUND: 1062 @ 359.523
c NEW SOLUTION FOUND: 1061 @ 359.556
c NEW SOLUTION FOUND: 1060 @ 359.59
c NEW SOLUTION FOUND: 1059 @ 359.623
c NEW SOLUTION FOUND: 1058 @ 359.657
c NEW SOLUTION FOUND: 1057 @ 359.692
c NEW SOLUTION FOUND: 1056 @ 359.727
c NEW SOLUTION FOUND: 1055 @ 359.764
c NEW SOLUTION FOUND: 1054 @ 359.799
c NEW SOLUTION FOUND: 1053 @ 359.836
c NEW SOLUTION FOUND: 1052 @ 359.872
c NEW SOLUTION FOUND: 1051 @ 359.91
c NEW SOLUTION FOUND: 1050 @ 359.948
c NEW SOLUTION FOUND: 1049 @ 359.987
c NEW SOLUTION FOUND: 1048 @ 360.026
c NEW SOLUTION FOUND: 1047 @ 360.064
c NEW SOLUTION FOUND: 1046 @ 360.104
c NEW SOLUTION FOUND: 1045 @ 360.184
c NEW SOLUTION FOUND: 1044 @ 360.225
c NEW SOLUTION FOUND: 1043 @ 360.307
c NEW SOLUTION FOUND: 1042 @ 360.35
c NEW SOLUTION FOUND: 1041 @ 360.394
c NEW SOLUTION FOUND: 1040 @ 360.438
c NEW SOLUTION FOUND: 1039 @ 360.482
c NEW SOLUTION FOUND: 1038 @ 360.529
c NEW SOLUTION FOUND: 1037 @ 360.577
c NEW SOLUTION FOUND: 1036 @ 360.672
c NEW SOLUTION FOUND: 1035 @ 360.721
c NEW SOLUTION FOUND: 1034 @ 360.769
c NEW SOLUTION FOUND: 1033 @ 360.82
c NEW SOLUTION FOUND: 1032 @ 360.869
c NEW SOLUTION FOUND: 1031 @ 360.92
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/54 11089
Raw data (stat): 11089 (runsolver) R 11088 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 664917627 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 3975 0 0 0 981 13 0 0 25 0 1 0 664917627 19464192 3892 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4752 3892 1111 63 0 4689 0
vsize: 19008
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 1950 44 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+30.0029 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 2950 45 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+40.0035 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 3950 45 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220204 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+50.0034 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 4950 45 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220368 134535844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+60.0037 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 5950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 6950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 7950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+90.0054 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 8950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 9950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15480 0 0 0 10950 46 0 0 25 0 1 0 664917627 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 15931 0 0 0 11949 47 0 0 25 0 1 0 664917627 68243456 15813 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16661 15813 1111 63 0 16598 0
vsize: 66644
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 16044 0 0 0 12946 49 0 0 25 0 1 0 664917627 68628480 15919 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16755 15919 1111 63 0 16692 0
vsize: 67020
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 18508 0 0 0 13939 56 0 0 25 0 1 0 664917627 80900096 17705 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19751 17705 1111 63 0 19688 0
vsize: 79004
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 18632 0 0 0 14939 57 0 0 25 0 1 0 664917627 81076224 17807 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17807 1111 63 0 19731 0
vsize: 79176
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 18652 0 0 0 15939 57 0 0 25 0 1 0 664917627 81076224 17811 4294967295 134512640 134714508 3221221792 3221217932 1075116728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17811 1111 63 0 19731 0
vsize: 79176
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 18678 0 0 0 16939 57 0 0 25 0 1 0 664917627 81076224 17819 4294967295 134512640 134714508 3221221792 3221217932 1075116492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17819 1111 63 0 19731 0
vsize: 79176
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 18692 0 0 0 17939 57 0 0 25 0 1 0 664917627 81076224 17819 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17819 1111 63 0 19731 0
vsize: 79176
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 19131 0 0 0 18938 58 0 0 25 0 1 0 664917627 81076224 18244 4294967295 134512640 134714508 3221221792 3221217984 1074960850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 18244 1111 63 0 19731 0
vsize: 79176
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 19157 0 0 0 19938 59 0 0 25 0 1 0 664917627 78897152 17775 4294967295 134512640 134714508 3221221792 3221217724 1074788915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17775 1111 63 0 19199 0
vsize: 77048
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 19176 0 0 0 20938 59 0 0 25 0 1 0 664917627 78897152 17778 4294967295 134512640 134714508 3221221792 3221217984 1074960898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17778 1111 63 0 19199 0
vsize: 77048
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 19192 0 0 0 21938 59 0 0 25 0 1 0 664917627 78897152 17780 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17780 1111 63 0 19199 0
vsize: 77048
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 19281 0 0 0 22938 59 0 0 25 0 1 0 664917627 79601664 17853 4294967295 134512640 134714508 3221221792 3221218716 1074621110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19434 17853 1111 63 0 19371 0
vsize: 77736
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 25260 0 0 0 23924 73 0 0 25 0 1 0 664917627 82046976 18009 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20031 18009 1111 63 0 19968 0
vsize: 80124
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 25286 0 0 0 24925 73 0 0 25 0 1 0 664917627 82046976 18021 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20031 18021 1111 63 0 19968 0
vsize: 80124
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 25353 0 0 0 25924 73 0 0 25 0 1 0 664917627 82669568 18070 4294967295 134512640 134714508 3221221792 3221218480 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20183 18070 1111 63 0 20120 0
vsize: 80732
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 31753 0 0 0 26909 89 0 0 25 0 1 0 664917627 82358272 17965 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20107 17965 1111 63 0 20044 0
vsize: 80428
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 31950 0 0 0 27909 89 0 0 25 0 1 0 664917627 82534400 18142 4294967295 134512640 134714508 3221221792 3221217932 1075116553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18142 1111 63 0 20087 0
vsize: 80600
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 31970 0 0 0 28909 89 0 0 25 0 1 0 664917627 82534400 18144 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18144 1111 63 0 20087 0
vsize: 80600
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 31988 0 0 0 29909 89 0 0 25 0 1 0 664917627 82534400 18144 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18144 1111 63 0 20087 0
vsize: 80600
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 36467 0 0 0 30896 102 0 0 25 0 1 0 664917627 73039872 16988 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17832 16988 1111 63 0 17769 0
vsize: 71328
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 40332 0 0 0 31885 113 0 0 25 0 1 0 664917627 80248832 18117 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19592 18117 1111 63 0 19529 0
vsize: 78368
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 46715 0 0 0 32870 129 0 0 25 0 1 0 664917627 82718720 18059 4294967295 134512640 134714508 3221221792 3221217932 1075116569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20195 18059 1111 63 0 20132 0
vsize: 80780
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 47362 0 0 0 33870 130 0 0 25 0 1 0 664917627 82718720 18694 4294967295 134512640 134714508 3221221792 3221217840 1075112103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20195 18694 1111 63 0 20132 0
vsize: 80780
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 47404 0 0 0 34869 130 0 0 25 0 1 0 664917627 80658432 18198 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18198 1111 63 0 19629 0
vsize: 78768
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 50217 0 0 0 35861 138 0 0 25 0 1 0 664917627 70197248 16137 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17138 16137 1111 63 0 17075 0
vsize: 68552
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 51792 0 0 0 36857 143 0 0 25 0 1 0 664917627 78725120 16827 4294967295 134512640 134714508 3221221792 3221218012 1075116569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19220 16827 1111 63 0 19157 0
vsize: 76880
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 53740 0 0 0 37852 148 0 0 25 0 1 0 664917627 70217728 16437 4294967295 134512640 134714508 3221221792 3221219664 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17143 16437 1111 63 0 17080 0
vsize: 68572
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 54852 0 0 0 38850 150 0 0 25 0 1 0 664917627 74166272 17139 4294967295 134512640 134714508 3221221792 3221217628 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18107 17139 1111 63 0 18044 0
vsize: 72428
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 55453 0 0 0 39848 151 0 0 25 0 1 0 664917627 70709248 16561 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17263 16561 1111 63 0 17200 0
vsize: 69052
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 57589 0 0 0 40845 155 0 0 25 0 1 0 664917627 78966784 17700 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19279 17700 1111 63 0 19216 0
vsize: 77116
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 57785 0 0 0 41845 155 0 0 25 0 1 0 664917627 81707008 17896 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19948 17896 1111 63 0 19885 0
vsize: 79792
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 57790 0 0 0 42845 155 0 0 25 0 1 0 664917627 81707008 17901 4294967295 134512640 134714508 3221221792 3221218012 1075116760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19948 17901 1111 63 0 19885 0
vsize: 79792
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 58214 0 0 0 43844 156 0 0 25 0 1 0 664917627 79183872 17734 4294967295 134512640 134714508 3221221792 3221217952 1075095151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 17734 1111 63 0 19269 0
vsize: 77328
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 58215 0 0 0 44844 156 0 0 25 0 1 0 664917627 79183872 17735 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 17735 1111 63 0 19269 0
vsize: 77328
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 58216 0 0 0 45845 156 0 0 25 0 1 0 664917627 79183872 17736 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 17736 1111 63 0 19269 0
vsize: 77328
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 58220 0 0 0 46845 156 0 0 25 0 1 0 664917627 79183872 17740 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 17740 1111 63 0 19269 0
vsize: 77328
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 58249 0 0 0 47845 156 0 0 25 0 1 0 664917627 79372288 17769 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19378 17769 1111 63 0 19315 0
vsize: 77512
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 60154 0 0 0 48840 162 0 0 25 0 1 0 664917627 80351232 17246 4294967295 134512640 134714508 3221221792 3221218064 1074961288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19617 17246 1111 63 0 19554 0
vsize: 78468
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 60905 0 0 0 49838 163 0 0 25 0 1 0 664917627 77828096 17400 4294967295 134512640 134714508 3221221792 3221217760 1074872764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19001 17400 1111 63 0 18938 0
vsize: 76004
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 60905 0 0 0 50838 163 0 0 25 0 1 0 664917627 77828096 17400 4294967295 134512640 134714508 3221221792 3221218560 1076083919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19001 17400 1111 63 0 18938 0
vsize: 76004
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 61435 0 0 0 51837 165 0 0 25 0 1 0 664917627 70733824 16569 4294967295 134512640 134714508 3221221792 3221220288 134542995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17269 16569 1111 63 0 17206 0
vsize: 69076
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 63154 0 0 0 52833 169 0 0 25 0 1 0 664917627 77795328 17386 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18993 17386 1111 63 0 18930 0
vsize: 75972
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 63283 0 0 0 53833 169 0 0 25 0 1 0 664917627 80318464 17515 4294967295 134512640 134714508 3221221792 3221218012 1075116820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19609 17515 1111 63 0 19546 0
vsize: 78436
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 63756 0 0 0 54832 171 0 0 25 0 1 0 664917627 77795328 17396 4294967295 134512640 134714508 3221221792 3221218020 1075115115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18993 17396 1111 63 0 18930 0
vsize: 75972
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 63779 0 0 0 55832 171 0 0 25 0 1 0 664917627 77934592 17419 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19027 17419 1111 63 0 18964 0
vsize: 76108
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 64407 0 0 0 56830 172 0 0 25 0 1 0 664917627 70594560 16535 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17235 16535 1111 63 0 17172 0
vsize: 68940
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 65839 0 0 0 57828 175 0 0 25 0 1 0 664917627 81592320 17592 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19920 17592 1111 63 0 19857 0
vsize: 79680
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 66587 0 0 0 58826 177 0 0 25 0 1 0 664917627 79069184 17746 4294967295 134512640 134714508 3221221792 3221217752 1075964748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19304 17746 1111 63 0 19241 0
vsize: 77216
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 66611 0 0 0 59827 177 0 0 25 0 1 0 664917627 79241216 17770 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17770 1111 63 0 19283 0
vsize: 77384
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 66623 0 0 0 60827 177 0 0 25 0 1 0 664917627 79241216 17778 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17778 1111 63 0 19283 0
vsize: 77384
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 66625 0 0 0 61827 177 0 0 25 0 1 0 664917627 79241216 17780 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17780 1111 63 0 19283 0
vsize: 77384
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 66626 0 0 0 62827 177 0 0 25 0 1 0 664917627 79241216 17781 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19346 17781 1111 63 0 19283 0
vsize: 77384
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 70687 0 0 0 63818 186 0 0 25 0 1 0 664917627 81817600 18391 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19975 18391 1111 63 0 19912 0
vsize: 79900
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 70760 0 0 0 64818 186 0 0 25 0 1 0 664917627 79699968 17862 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19458 17862 1111 63 0 19395 0
vsize: 77832
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 70760 0 0 0 65818 186 0 0 25 0 1 0 664917627 79699968 17862 4294967295 134512640 134714508 3221221792 3221218032 1075115758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19458 17862 1111 63 0 19395 0
vsize: 77832
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 72559 0 0 0 66814 191 0 0 25 0 1 0 664917627 79749120 17075 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19470 17075 1111 63 0 19407 0
vsize: 77880
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 73380 0 0 0 67812 193 0 0 25 0 1 0 664917627 71090176 16634 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17356 16634 1111 63 0 17293 0
vsize: 69424
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 74332 0 0 0 68810 195 0 0 25 0 1 0 664917627 74280960 17173 4294967295 134512640 134714508 3221221792 3221218256 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18135 17173 1111 63 0 18072 0
vsize: 72540
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 74857 0 0 0 69809 196 0 0 25 0 1 0 664917627 71041024 16651 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17344 16651 1111 63 0 17281 0
vsize: 69376
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 76241 0 0 0 70806 200 0 0 25 0 1 0 664917627 81657856 17591 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19936 17591 1111 63 0 19873 0
vsize: 79744
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77203 0 0 0 71804 202 0 0 25 0 1 0 664917627 81874944 17944 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19989 17944 1111 63 0 19926 0
vsize: 79956
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77227 0 0 0 72804 202 0 0 25 0 1 0 664917627 81874944 17968 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19989 17968 1111 63 0 19926 0
vsize: 79956
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77229 0 0 0 73804 202 0 0 25 0 1 0 664917627 81874944 17970 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19989 17970 1111 63 0 19926 0
vsize: 79956
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77647 0 0 0 74803 203 0 0 25 0 1 0 664917627 79351808 17793 4294967295 134512640 134714508 3221221792 3221218064 1074961149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19373 17793 1111 63 0 19310 0
vsize: 77492
[startup+760.028 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77647 0 0 0 75804 203 0 0 25 0 1 0 664917627 79351808 17793 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19373 17793 1111 63 0 19310 0
vsize: 77492
[startup+770.028 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 77651 0 0 0 76804 203 0 0 25 0 1 0 664917627 79351808 17797 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19373 17797 1111 63 0 19310 0
vsize: 77492
[startup+780.029 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 79919 0 0 0 77799 208 0 0 25 0 1 0 664917627 72781824 17025 4294967295 134512640 134714508 3221221792 3221220272 1074031945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17769 17025 1111 63 0 17706 0
vsize: 71076
[startup+790.029 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 84137 0 0 0 78785 222 0 0 25 0 1 0 664917627 81813504 18392 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19974 18392 1111 63 0 19911 0
vsize: 79896
[startup+800.029 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 84182 0 0 0 79784 223 0 0 25 0 1 0 664917627 79458304 17832 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17832 1111 63 0 19336 0
vsize: 77596
[startup+810.03 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 84182 0 0 0 80785 223 0 0 25 0 1 0 664917627 79458304 17832 4294967295 134512640 134714508 3221221792 3221218064 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17832 1111 63 0 19336 0
vsize: 77596
[startup+820.03 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 84182 0 0 0 81785 223 0 0 25 0 1 0 664917627 79458304 17832 4294967295 134512640 134714508 3221221792 3221217728 1075965253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17832 1111 63 0 19336 0
vsize: 77596
[startup+830.031 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 84207 0 0 0 82785 223 0 0 25 0 1 0 664917627 79646720 17857 4294967295 134512640 134714508 3221221792 3221218064 1074960850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19445 17857 1111 63 0 19382 0
vsize: 77780
[startup+840.031 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 85361 0 0 0 83782 226 0 0 25 0 1 0 664917627 70512640 16522 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17215 16522 1111 63 0 17152 0
vsize: 68860
[startup+850.031 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 86900 0 0 0 84779 229 0 0 25 0 1 0 664917627 81977344 17648 4294967295 134512640 134714508 3221221792 3221217936 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17648 1111 63 0 19951 0
vsize: 80056
[startup+860.032 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 86962 0 0 0 85779 229 0 0 25 0 1 0 664917627 81977344 17710 4294967295 134512640 134714508 3221221792 3221218012 1075116504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17710 1111 63 0 19951 0
vsize: 80056
[startup+870.032 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 86978 0 0 0 86779 229 0 0 25 0 1 0 664917627 81977344 17726 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17726 1111 63 0 19951 0
vsize: 80056
[startup+880.032 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 86978 0 0 0 87779 229 0 0 25 0 1 0 664917627 81977344 17726 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17726 1111 63 0 19951 0
vsize: 80056
[startup+890.032 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 87689 0 0 0 88778 231 0 0 25 0 1 0 664917627 79454208 17817 4294967295 134512640 134714508 3221221792 3221218000 1075895707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19398 17817 1111 63 0 19335 0
vsize: 77592
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 87689 0 0 0 89778 231 0 0 25 0 1 0 664917627 79454208 17817 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19398 17817 1111 63 0 19335 0
vsize: 77592
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 87689 0 0 0 90778 231 0 0 25 0 1 0 664917627 79454208 17817 4294967295 134512640 134714508 3221221792 3221217760 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19398 17817 1111 63 0 19335 0
vsize: 77592
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 87691 0 0 0 91779 231 0 0 25 0 1 0 664917627 79454208 17819 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19398 17819 1111 63 0 19335 0
vsize: 77592
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 87717 0 0 0 92779 231 0 0 25 0 1 0 664917627 79642624 17845 4294967295 134512640 134714508 3221221792 3221217936 1074969663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19444 17845 1111 63 0 19381 0
vsize: 77776
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 88894 0 0 0 93776 234 0 0 25 0 1 0 664917627 70709248 16570 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17263 16570 1111 63 0 17200 0
vsize: 69052
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 90696 0 0 0 94772 237 0 0 25 0 1 0 664917627 82644992 17894 4294967295 134512640 134714508 3221221792 3221218012 1075116757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20177 17894 1111 63 0 20114 0
vsize: 80708
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 91406 0 0 0 95771 239 0 0 25 0 1 0 664917627 80269312 18023 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18023 1111 63 0 19534 0
vsize: 78388
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 91409 0 0 0 96771 239 0 0 25 0 1 0 664917627 80269312 18026 4294967295 134512640 134714508 3221221792 3221218160 1075894554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18026 1111 63 0 19534 0
vsize: 78388
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 91413 0 0 0 97772 239 0 0 25 0 1 0 664917627 80269312 18030 4294967295 134512640 134714508 3221221792 3221218912 1074834346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18030 1111 63 0 19534 0
vsize: 78388
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 91422 0 0 0 98772 239 0 0 25 0 1 0 664917627 80269312 18036 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18036 1111 63 0 19534 0
vsize: 78388
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 91422 0 0 0 99772 239 0 0 25 0 1 0 664917627 80269312 18036 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18036 1111 63 0 19534 0
vsize: 78388
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 92864 0 0 0 100769 242 0 0 25 0 1 0 664917627 70488064 16516 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17209 16516 1111 63 0 17146 0
vsize: 68836
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 93028 0 0 0 101767 244 0 0 25 0 1 0 664917627 71159808 16680 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17373 16680 1111 63 0 17310 0
vsize: 69492
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 94744 0 0 0 102763 248 0 0 25 0 1 0 664917627 82616320 17918 4294967295 134512640 134714508 3221221792 3221218012 1075116478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20170 17918 1111 63 0 20107 0
vsize: 80680
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 95423 0 0 0 103762 249 0 0 25 0 1 0 664917627 80240640 18015 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18015 1111 63 0 19527 0
vsize: 78360
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 95427 0 0 0 104762 249 0 0 25 0 1 0 664917627 80240640 18019 4294967295 134512640 134714508 3221221792 3221217996 1075564184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18019 1111 63 0 19527 0
vsize: 78360
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 95434 0 0 0 105762 249 0 0 25 0 1 0 664917627 80240640 18026 4294967295 134512640 134714508 3221221792 3221217864 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18026 1111 63 0 19527 0
vsize: 78360
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 95435 0 0 0 106763 249 0 0 25 0 1 0 664917627 80240640 18027 4294967295 134512640 134714508 3221221792 3221218336 1075088564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18027 1111 63 0 19527 0
vsize: 78360
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 95512 0 0 0 107763 250 0 0 25 0 1 0 664917627 80605184 18104 4294967295 134512640 134714508 3221221792 3221218340 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19679 18104 1111 63 0 19616 0
vsize: 78716
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 96920 0 0 0 108759 253 0 0 25 0 1 0 664917627 70455296 16508 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17201 16508 1111 63 0 17138 0
vsize: 68804
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 98444 0 0 0 109755 258 0 0 25 0 1 0 664917627 81907712 17550 4294967295 134512640 134714508 3221221792 3221218012 1075116560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19997 17550 1111 63 0 19934 0
vsize: 79988
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99348 0 0 0 110753 260 0 0 25 0 1 0 664917627 79556608 17853 4294967295 134512640 134714508 3221221792 3221217752 1075964775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17853 1111 63 0 19360 0
vsize: 77692
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99535 0 0 0 111752 261 0 0 25 0 1 0 664917627 82079744 18040 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20039 18040 1111 63 0 19976 0
vsize: 80156
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99941 0 0 0 112751 262 0 0 25 0 1 0 664917627 79556608 17862 4294967295 134512640 134714508 3221221792 3221217752 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17862 1111 63 0 19360 0
vsize: 77692
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99941 0 0 0 113751 262 0 0 25 0 1 0 664917627 79556608 17862 4294967295 134512640 134714508 3221221792 3221218448 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17862 1111 63 0 19360 0
vsize: 77692
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99941 0 0 0 114751 262 0 0 25 0 1 0 664917627 79556608 17862 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17862 1111 63 0 19360 0
vsize: 77692
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99941 0 0 0 115751 262 0 0 25 0 1 0 664917627 79556608 17862 4294967295 134512640 134714508 3221221792 3221217728 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17862 1111 63 0 19360 0
vsize: 77692
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 99941 0 0 0 116751 262 0 0 25 0 1 0 664917627 79556608 17862 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19423 17862 1111 63 0 19360 0
vsize: 77692
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 101606 0 0 0 117748 266 0 0 25 0 1 0 664917627 71733248 16765 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17513 16765 1111 63 0 17450 0
vsize: 70052
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 101705 0 0 0 118748 267 0 0 25 0 1 0 664917627 72044544 16864 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17589 16864 1111 63 0 17526 0
vsize: 70356
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) R 11088 7876 7672 0 -1 0 103776 0 0 0 119743 272 0 0 25 0 1 0 664917627 78856192 18042 4294967295 134512640 134714508 3221221792 3221217984 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19252 18042 1111 63 0 19189 0
vsize: 77008
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 11089
Raw data (stat): 11089 (bsolo_lpr_cuts) Z 11088 7876 7672 0 -1 1036 103776 0 0 0 119743 275 0 0 25 0 1 0 664917627 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.19
CPU user time (s): 1197.43
CPU system time (s): 2.75358
CPU usage (%): 100.009
Max. virtual memory (Kb): 80780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####