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-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
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	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
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	32
Trace number 40707

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        872304 kB
Buffers:         24112 kB
Cached:         116224 kB
SwapCached:       1376 kB
Active:          28536 kB
Inactive:       113844 kB
HighTotal:      131008 kB
HighFree:        29092 kB
LowTotal:       903652 kB
LowFree:        843212 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14284 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:43:35 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28771 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1648 variables and 20302 constraints.
c After prepocess the problem consists of 1648 variables and 20302 constraints.
c preprocess terminated 106.532 s
c Initial Lower Bound: 416
c Lower Bound Elapsed time: 114.777
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.97 0.91 2/54 15177
Raw data (stat): 15177 (runsolver) R 15176 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904132729 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4329 0 0 0 984 12 0 0 25 0 1 0 904132729 20910080 4244 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5105 4244 1111 63 0 5042 0
vsize: 20420
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4897 0 0 0 1983 14 0 0 25 0 1 0 904132729 23207936 4812 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4812 1111 63 0 5603 0
vsize: 22664
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4899 0 0 0 2983 14 0 0 25 0 1 0 904132729 23207936 4814 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4814 1111 63 0 5603 0
vsize: 22664
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4902 0 0 0 3983 14 0 0 25 0 1 0 904132729 23207936 4817 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4817 1111 63 0 5603 0
vsize: 22664
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4905 0 0 0 4983 14 0 0 25 0 1 0 904132729 23207936 4820 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4820 1111 63 0 5603 0
vsize: 22664
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4909 0 0 0 5983 14 0 0 25 0 1 0 904132729 23207936 4824 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4909 0 0 0 6984 14 0 0 25 0 1 0 904132729 23207936 4824 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+80.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4909 0 0 0 7984 14 0 0 25 0 1 0 904132729 23207936 4824 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4909 0 0 0 8984 14 0 0 25 0 1 0 904132729 23207936 4824 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 4909 0 0 0 9984 14 0 0 25 0 1 0 904132729 23207936 4824 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 5442 0 0 0 10983 15 0 0 25 0 1 0 904132729 25538560 5357 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6235 5357 1111 63 0 6172 0
vsize: 24940
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 5712 0 0 0 11980 18 0 0 25 0 1 0 904132729 26329088 5589 4294967295 134512640 134716908 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6428 5589 1111 63 0 6365 0
vsize: 25712
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 8762 0 0 0 12972 26 0 0 25 0 1 0 904132729 41320448 7747 4294967295 134512640 134716908 3221224576 3221220700 1075116787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7747 1111 63 0 10025 0
vsize: 40352
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 9037 0 0 0 13972 27 0 0 25 0 1 0 904132729 41320448 7992 4294967295 134512640 134716908 3221224576 3221220700 1075116584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7992 1111 63 0 10025 0
vsize: 40352
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 9125 0 0 0 14972 27 0 0 25 0 1 0 904132729 41320448 8054 4294967295 134512640 134716908 3221224576 3221220700 1075116774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 8054 1111 63 0 10025 0
vsize: 40352
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 9203 0 0 0 15972 27 0 0 25 0 1 0 904132729 42827776 8110 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10456 8110 1111 63 0 10393 0
vsize: 41824
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 9281 0 0 0 16972 27 0 0 25 0 1 0 904132729 43393024 8164 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10594 8164 1111 63 0 10531 0
vsize: 42376
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 9303 0 0 0 17972 27 0 0 25 0 1 0 904132729 43393024 8164 4294967295 134512640 134716908 3221224576 3221220700 1075116848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10594 8164 1111 63 0 10531 0
vsize: 42376
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 14270 0 0 0 18961 39 0 0 25 0 1 0 904132729 31002624 6687 4294967295 134512640 134716908 3221224576 3221222692 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7569 6687 1111 63 0 7506 0
vsize: 30276
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 16766 0 0 0 19950 50 0 0 25 0 1 0 904132729 30457856 6681 4294967295 134512640 134716908 3221224576 3221222896 1073989416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6681 1111 63 0 7373 0
vsize: 29744
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 19076 0 0 0 20941 59 0 0 25 0 1 0 904132729 30457856 6681 4294967295 134512640 134716908 3221224576 3221222732 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6681 1111 63 0 7373 0
vsize: 29744
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21408 0 0 0 21932 68 0 0 25 0 1 0 904132729 31002624 6685 4294967295 134512640 134716908 3221224576 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7569 6687 1111 63 0 7506 0
vsize: 30276
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21711 0 0 0 22930 70 0 0 25 0 1 0 904132729 30457856 6682 4294967295 134512640 134716908 3221224576 3221223116 134539217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6682 1111 63 0 7373 0
vsize: 29744
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21786 0 0 0 23930 70 0 0 25 0 1 0 904132729 30728192 6757 4294967295 134512640 134716908 3221224576 3221223184 134536849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7502 6757 1111 63 0 7439 0
vsize: 30008
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21847 0 0 0 24930 71 0 0 25 0 1 0 904132729 30998528 6818 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6818 1111 63 0 7505 0
vsize: 30272
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21942 0 0 0 25930 71 0 0 25 0 1 0 904132729 31404032 6913 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7667 6913 1111 63 0 7604 0
vsize: 30668
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 21988 0 0 0 26930 71 0 0 25 0 1 0 904132729 31670272 6959 4294967295 134512640 134716908 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7732 6959 1111 63 0 7669 0
vsize: 30928
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22046 0 0 0 27930 72 0 0 25 0 1 0 904132729 31805440 7017 4294967295 134512640 134716908 3221224576 3221223312 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7765 7017 1111 63 0 7702 0
vsize: 31060
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22145 0 0 0 28929 72 0 0 25 0 1 0 904132729 32210944 7116 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 7116 1111 63 0 7801 0
vsize: 31456
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22255 0 0 0 29929 73 0 0 25 0 1 0 904132729 32751616 7226 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7996 7226 1111 63 0 7933 0
vsize: 31984
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22308 0 0 0 30929 73 0 0 25 0 1 0 904132729 32886784 7279 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8029 7279 1111 63 0 7966 0
vsize: 32116
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22381 0 0 0 31929 73 0 0 25 0 1 0 904132729 33292288 7352 4294967295 134512640 134716908 3221224576 3221223168 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8128 7352 1111 63 0 8065 0
vsize: 32512
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22445 0 0 0 32929 73 0 0 25 0 1 0 904132729 33427456 7416 4294967295 134512640 134716908 3221224576 3221223376 134597728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8161 7416 1111 63 0 8098 0
vsize: 32644
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22527 0 0 0 33929 74 0 0 25 0 1 0 904132729 33832960 7498 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8260 7498 1111 63 0 8197 0
vsize: 33040
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22592 0 0 0 34928 74 0 0 25 0 1 0 904132729 34103296 7563 4294967295 134512640 134716908 3221224576 3221223224 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8326 7563 1111 63 0 8263 0
vsize: 33304
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22643 0 0 0 35929 74 0 0 25 0 1 0 904132729 34238464 7614 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 7614 1111 63 0 8296 0
vsize: 33436
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22708 0 0 0 36928 75 0 0 25 0 1 0 904132729 34508800 7679 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8425 7679 1111 63 0 8362 0
vsize: 33700
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22765 0 0 0 37928 75 0 0 25 0 1 0 904132729 34779136 7736 4294967295 134512640 134716908 3221224576 3221223312 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8491 7736 1111 63 0 8428 0
vsize: 33964
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22817 0 0 0 38928 75 0 0 25 0 1 0 904132729 35049472 7788 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8557 7788 1111 63 0 8494 0
vsize: 34228
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22863 0 0 0 39929 75 0 0 25 0 1 0 904132729 35184640 7834 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8590 7834 1111 63 0 8527 0
vsize: 34360
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22918 0 0 0 40928 75 0 0 25 0 1 0 904132729 35454976 7889 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8656 7889 1111 63 0 8593 0
vsize: 34624
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 22987 0 0 0 41928 76 0 0 25 0 1 0 904132729 35725312 7958 4294967295 134512640 134716908 3221224576 3221223308 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7958 1111 63 0 8659 0
vsize: 34888
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23066 0 0 0 42928 76 0 0 25 0 1 0 904132729 35991552 8037 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 8037 1111 63 0 8724 0
vsize: 35148
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23121 0 0 0 43928 77 0 0 25 0 1 0 904132729 36261888 8092 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 8092 1111 63 0 8790 0
vsize: 35412
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23145 0 0 0 44928 77 0 0 25 0 1 0 904132729 36397056 8116 4294967295 134512640 134716908 3221224576 3221223164 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8116 1111 63 0 8823 0
vsize: 35544
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23172 0 0 0 45928 77 0 0 25 0 1 0 904132729 36524032 8143 4294967295 134512640 134716908 3221224576 3221223292 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8917 8143 1111 63 0 8854 0
vsize: 35668
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23225 0 0 0 46927 78 0 0 25 0 1 0 904132729 36659200 8196 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8950 8196 1111 63 0 8887 0
vsize: 35800
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23283 0 0 0 47927 78 0 0 25 0 1 0 904132729 36929536 8254 4294967295 134512640 134716908 3221224576 3221223300 134591841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9016 8254 1111 63 0 8953 0
vsize: 36064
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23317 0 0 0 48927 78 0 0 25 0 1 0 904132729 37064704 8288 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 8288 1111 63 0 8986 0
vsize: 36196
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23364 0 0 0 49927 79 0 0 25 0 1 0 904132729 37199872 8335 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8335 1111 63 0 9019 0
vsize: 36328
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23409 0 0 0 50926 79 0 0 25 0 1 0 904132729 37470208 8380 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9148 8380 1111 63 0 9085 0
vsize: 36592
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23442 0 0 0 51926 80 0 0 25 0 1 0 904132729 37605376 8413 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9181 8413 1111 63 0 9118 0
vsize: 36724
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23485 0 0 0 52926 80 0 0 25 0 1 0 904132729 37740544 8456 4294967295 134512640 134716908 3221224576 3221223128 134698810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8456 1111 63 0 9151 0
vsize: 36856
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23529 0 0 0 53926 80 0 0 25 0 1 0 904132729 37875712 8500 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8500 1111 63 0 9184 0
vsize: 36988
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23564 0 0 0 54926 81 0 0 25 0 1 0 904132729 38010880 8535 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9280 8535 1111 63 0 9217 0
vsize: 37120
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23582 0 0 0 55926 81 0 0 25 0 1 0 904132729 38146048 8553 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 8553 1111 63 0 9250 0
vsize: 37252
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23635 0 0 0 56926 81 0 0 25 0 1 0 904132729 38416384 8606 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9379 8606 1111 63 0 9316 0
vsize: 37516
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23668 0 0 0 57926 81 0 0 25 0 1 0 904132729 38551552 8639 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9412 8639 1111 63 0 9349 0
vsize: 37648
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23748 0 0 0 58926 82 0 0 25 0 1 0 904132729 38821888 8719 4294967295 134512640 134716908 3221224576 3221223116 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9478 8719 1111 63 0 9415 0
vsize: 37912
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23835 0 0 0 59925 82 0 0 25 0 1 0 904132729 39227392 8806 4294967295 134512640 134716908 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9577 8806 1111 63 0 9514 0
vsize: 38308
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23878 0 0 0 60925 82 0 0 25 0 1 0 904132729 39362560 8849 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9610 8849 1111 63 0 9547 0
vsize: 38440
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23938 0 0 0 61925 83 0 0 25 0 1 0 904132729 39632896 8909 4294967295 134512640 134716908 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9676 8909 1111 63 0 9613 0
vsize: 38704
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 23991 0 0 0 62925 83 0 0 25 0 1 0 904132729 39768064 8962 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 8962 1111 63 0 9646 0
vsize: 38836
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24040 0 0 0 63925 83 0 0 25 0 1 0 904132729 40038400 9011 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9775 9011 1111 63 0 9712 0
vsize: 39100
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24078 0 0 0 64925 84 0 0 25 0 1 0 904132729 40173568 9049 4294967295 134512640 134716908 3221224576 3221223132 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9808 9049 1111 63 0 9745 0
vsize: 39232
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24109 0 0 0 65925 84 0 0 25 0 1 0 904132729 40308736 9080 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 9080 1111 63 0 9778 0
vsize: 39364
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24168 0 0 0 66925 84 0 0 25 0 1 0 904132729 40579072 9139 4294967295 134512640 134716908 3221224576 3221223084 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9907 9139 1111 63 0 9844 0
vsize: 39628
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24242 0 0 0 67925 84 0 0 25 0 1 0 904132729 40849408 9213 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9973 9213 1111 63 0 9910 0
vsize: 39892
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24288 0 0 0 68924 85 0 0 25 0 1 0 904132729 40984576 9259 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10006 9259 1111 63 0 9943 0
vsize: 40024
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24326 0 0 0 69924 85 0 0 25 0 1 0 904132729 41254912 9297 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10072 9297 1111 63 0 10009 0
vsize: 40288
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24369 0 0 0 70924 85 0 0 25 0 1 0 904132729 41390080 9340 4294967295 134512640 134716908 3221224576 3221223232 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10105 9340 1111 63 0 10042 0
vsize: 40420
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24406 0 0 0 71924 85 0 0 25 0 1 0 904132729 41525248 9377 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10138 9377 1111 63 0 10075 0
vsize: 40552
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24448 0 0 0 72924 86 0 0 25 0 1 0 904132729 41660416 9419 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10171 9419 1111 63 0 10108 0
vsize: 40684
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24541 0 0 0 73924 86 0 0 25 0 1 0 904132729 42065920 9512 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10270 9512 1111 63 0 10207 0
vsize: 41080
[startup+750.018 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24621 0 0 0 74924 87 0 0 25 0 1 0 904132729 42471424 9592 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 9592 1111 63 0 10306 0
vsize: 41476
[startup+760.018 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24701 0 0 0 75924 87 0 0 25 0 1 0 904132729 42741760 9672 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10435 9672 1111 63 0 10372 0
vsize: 41740
[startup+770.018 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24759 0 0 0 76924 87 0 0 25 0 1 0 904132729 43012096 9730 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10501 9730 1111 63 0 10438 0
vsize: 42004
[startup+780.018 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24783 0 0 0 77923 87 0 0 25 0 1 0 904132729 43012096 9754 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10501 9754 1111 63 0 10438 0
vsize: 42004
[startup+790.018 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24807 0 0 0 78923 88 0 0 25 0 1 0 904132729 43143168 9778 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 9778 1111 63 0 10470 0
vsize: 42132
[startup+800.018 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24833 0 0 0 79923 88 0 0 25 0 1 0 904132729 43278336 9804 4294967295 134512640 134716908 3221224576 3221223200 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10566 9804 1111 63 0 10503 0
vsize: 42264
[startup+810.019 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24854 0 0 0 80923 88 0 0 25 0 1 0 904132729 43413504 9825 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10599 9825 1111 63 0 10536 0
vsize: 42396
[startup+820.019 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24867 0 0 0 81924 88 0 0 25 0 1 0 904132729 43413504 9838 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10599 9838 1111 63 0 10536 0
vsize: 42396
[startup+830.02 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24884 0 0 0 82924 88 0 0 25 0 1 0 904132729 43548672 9855 4294967295 134512640 134716908 3221224576 3221223224 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10632 9855 1111 63 0 10569 0
vsize: 42528
[startup+840.021 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24903 0 0 0 83924 88 0 0 25 0 1 0 904132729 43544576 9874 4294967295 134512640 134716908 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10631 9874 1111 63 0 10568 0
vsize: 42524
[startup+850.021 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24957 0 0 0 84924 88 0 0 25 0 1 0 904132729 43814912 9928 4294967295 134512640 134716908 3221224576 3221223224 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10697 9928 1111 63 0 10634 0
vsize: 42788
[startup+860.021 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 24995 0 0 0 85924 88 0 0 25 0 1 0 904132729 43950080 9966 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10730 9966 1111 63 0 10667 0
vsize: 42920
[startup+870.022 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25022 0 0 0 86924 88 0 0 25 0 1 0 904132729 44085248 9993 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10763 9993 1111 63 0 10700 0
vsize: 43052
[startup+880.022 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25031 0 0 0 87925 88 0 0 25 0 1 0 904132729 44085248 10002 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10763 10002 1111 63 0 10700 0
vsize: 43052
[startup+890.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25061 0 0 0 88925 88 0 0 25 0 1 0 904132729 44220416 10032 4294967295 134512640 134716908 3221224576 3221223360 134529401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10796 10032 1111 63 0 10733 0
vsize: 43184
[startup+900.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25094 0 0 0 89925 89 0 0 25 0 1 0 904132729 44355584 10065 4294967295 134512640 134716908 3221224576 3221223180 134536814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10829 10065 1111 63 0 10766 0
vsize: 43316
[startup+910.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25100 0 0 0 90925 89 0 0 25 0 1 0 904132729 44355584 10071 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10829 10071 1111 63 0 10766 0
vsize: 43316
[startup+920.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25118 0 0 0 91925 89 0 0 25 0 1 0 904132729 44490752 10089 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10862 10089 1111 63 0 10799 0
vsize: 43448
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25136 0 0 0 92925 89 0 0 25 0 1 0 904132729 44490752 10107 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10862 10107 1111 63 0 10799 0
vsize: 43448
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25152 0 0 0 93925 89 0 0 25 0 1 0 904132729 44625920 10123 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10895 10123 1111 63 0 10832 0
vsize: 43580
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25195 0 0 0 94925 89 0 0 25 0 1 0 904132729 44761088 10166 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10928 10166 1111 63 0 10865 0
vsize: 43712
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25212 0 0 0 95925 89 0 0 25 0 1 0 904132729 44761088 10183 4294967295 134512640 134716908 3221224576 3221223348 134529151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10928 10183 1111 63 0 10865 0
vsize: 43712
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25236 0 0 0 96926 89 0 0 25 0 1 0 904132729 44896256 10207 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10961 10207 1111 63 0 10898 0
vsize: 43844
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25257 0 0 0 97926 90 0 0 25 0 1 0 904132729 45031424 10228 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10994 10228 1111 63 0 10931 0
vsize: 43976
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25286 0 0 0 98925 90 0 0 25 0 1 0 904132729 45166592 10257 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11027 10257 1111 63 0 10964 0
vsize: 44108
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25311 0 0 0 99925 91 0 0 25 0 1 0 904132729 45166592 10282 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11027 10282 1111 63 0 10964 0
vsize: 44108
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25356 0 0 0 100925 91 0 0 25 0 1 0 904132729 45436928 10327 4294967295 134512640 134716908 3221224576 3221223136 134542334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11093 10327 1111 63 0 11030 0
vsize: 44372
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25410 0 0 0 101925 91 0 0 25 0 1 0 904132729 45572096 10381 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11126 10381 1111 63 0 11063 0
vsize: 44504
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25435 0 0 0 102925 92 0 0 25 0 1 0 904132729 45707264 10406 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11159 10406 1111 63 0 11096 0
vsize: 44636
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25504 0 0 0 103924 92 0 0 25 0 1 0 904132729 45977600 10475 4294967295 134512640 134716908 3221224576 3221223296 134535793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11225 10475 1111 63 0 11162 0
vsize: 44900
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25558 0 0 0 104924 93 0 0 25 0 1 0 904132729 46247936 10529 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 10529 1111 63 0 11228 0
vsize: 45164
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25573 0 0 0 105924 93 0 0 25 0 1 0 904132729 46247936 10544 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 10544 1111 63 0 11228 0
vsize: 45164
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25606 0 0 0 106924 93 0 0 25 0 1 0 904132729 46383104 10577 4294967295 134512640 134716908 3221224576 3221223132 134539282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11324 10577 1111 63 0 11261 0
vsize: 45296
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25620 0 0 0 107924 93 0 0 25 0 1 0 904132729 46518272 10591 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11357 10591 1111 63 0 11294 0
vsize: 45428
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25630 0 0 0 108924 93 0 0 25 0 1 0 904132729 46518272 10601 4294967295 134512640 134716908 3221224576 3221223124 134699080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11357 10601 1111 63 0 11294 0
vsize: 45428
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25649 0 0 0 109924 94 0 0 25 0 1 0 904132729 46653440 10620 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11390 10620 1111 63 0 11327 0
vsize: 45560
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25660 0 0 0 110924 94 0 0 25 0 1 0 904132729 46653440 10631 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11390 10631 1111 63 0 11327 0
vsize: 45560
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25689 0 0 0 111924 94 0 0 25 0 1 0 904132729 46788608 10660 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11423 10660 1111 63 0 11360 0
vsize: 45692
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25707 0 0 0 112925 94 0 0 25 0 1 0 904132729 46788608 10678 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11423 10678 1111 63 0 11360 0
vsize: 45692
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25724 0 0 0 113925 94 0 0 25 0 1 0 904132729 46919680 10695 4294967295 134512640 134716908 3221224576 3221223084 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11455 10695 1111 63 0 11392 0
vsize: 45820
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25739 0 0 0 114925 94 0 0 25 0 1 0 904132729 46919680 10710 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11455 10710 1111 63 0 11392 0
vsize: 45820
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25748 0 0 0 115925 94 0 0 25 0 1 0 904132729 47054848 10719 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 10719 1111 63 0 11425 0
vsize: 45952
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25762 0 0 0 116925 94 0 0 25 0 1 0 904132729 47054848 10733 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 10733 1111 63 0 11425 0
vsize: 45952
[startup+1174.96 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 15177
Raw data (stat): 15177 (bsolo_lpr_cuts-) R 15176 31399 31398 0 -1 0 25762 0 0 0 116925 94 0 0 25 0 1 0 904132729 47054848 10733 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 10733 1111 63 0 11425 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.13
CPU user time (s): 1174.15
CPU system time (s): 0.970852
CPU usage (%): 100.014
Max. virtual memory (Kb): 45952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####