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-par32-3-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2650
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	2650
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	2650
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
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	3
Trace number 40755

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 21:35:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28821 boxname=wulflinc6 idbench=207 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc6/normalized-par32-3-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par32-3-c.opb
IDLAUNCH: 28821
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        918972 kB
Buffers:         29316 kB
Cached:          65068 kB
SwapCached:       1292 kB
Active:          29520 kB
Inactive:        67236 kB
HighTotal:      131008 kB
HighFree:        81816 kB
LowTotal:       903652 kB
LowFree:        837156 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13140 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:55:20 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28821 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2650 variables and 6619 constraints.
c After prepocess the problem consists of 2585 variables and 8468 constraints.
c preprocess terminated 57.124 s
c Initial Lower Bound: 842
c Lower Bound Elapsed time: 18.4487
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.98 0.91 1/54 2307
Raw data (stat): 2307 (runsolver) R 2306 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904918760 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99967 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 6225 0 0 0 954 16 0 0 25 0 1 0 904918760 18157568 3589 4294967295 134512640 134716908 3221224576 3221223356 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 3589 1111 63 0 4370 0
vsize: 17732
[startup+19.9995 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 6225 0 0 0 1954 16 0 0 25 0 1 0 904918760 18157568 3589 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 3589 1111 63 0 4370 0
vsize: 17732
[startup+29.9986 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 6238 0 0 0 2954 16 0 0 25 0 1 0 904918760 18292736 3602 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3602 1111 63 0 4403 0
vsize: 17864
[startup+39.9991 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 6394 0 0 0 3954 17 0 0 25 0 1 0 904918760 18968576 3758 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4631 3758 1111 63 0 4568 0
vsize: 18524
[startup+49.9989 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 6517 0 0 0 4954 17 0 0 25 0 1 0 904918760 19374080 3881 4294967295 134512640 134716908 3221224576 3221223248 134627288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3881 1111 63 0 4667 0
vsize: 18920
[startup+60.0066 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 7688 0 0 0 5951 21 0 0 25 0 1 0 904918760 24113152 5040 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5040 1111 63 0 5824 0
vsize: 23548
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9131 0 0 0 6947 25 0 0 25 0 1 0 904918760 30777344 6169 4294967295 134512640 134716908 3221224576 3221221408 1075960394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6169 1111 63 0 7451 0
vsize: 30056
[startup+80.0157 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9166 0 0 0 7948 25 0 0 25 0 1 0 904918760 30777344 6204 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6204 1111 63 0 7451 0
vsize: 30056
[startup+90.0158 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9180 0 0 0 8948 25 0 0 25 0 1 0 904918760 30777344 6218 4294967295 134512640 134716908 3221224576 3221220524 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6218 1111 63 0 7451 0
vsize: 30056
[startup+100.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9185 0 0 0 9949 25 0 0 25 0 1 0 904918760 30777344 6223 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6223 1111 63 0 7451 0
vsize: 30056
[startup+110.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9423 0 0 0 10948 26 0 0 25 0 1 0 904918760 29794304 6194 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7274 6194 1111 63 0 7211 0
vsize: 29096
[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9424 0 0 0 11948 26 0 0 25 0 1 0 904918760 29794304 6195 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7274 6195 1111 63 0 7211 0
vsize: 29096
[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9452 0 0 0 12949 26 0 0 25 0 1 0 904918760 29908992 6223 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7302 6223 1111 63 0 7239 0
vsize: 29208
[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9452 0 0 0 13949 26 0 0 25 0 1 0 904918760 29908992 6223 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7302 6223 1111 63 0 7239 0
vsize: 29208
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 9496 0 0 0 14949 27 0 0 25 0 1 0 904918760 30167040 6267 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6267 1111 63 0 7302 0
vsize: 29460
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 14758 0 0 0 15936 40 0 0 25 0 1 0 904918760 31821824 6388 4294967295 134512640 134716908 3221224576 3221220700 1075116541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7769 6388 1111 63 0 7706 0
vsize: 31076
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 17610 0 0 0 16930 46 0 0 25 0 1 0 904918760 31858688 6400 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7778 6400 1111 63 0 7715 0
vsize: 31112
[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 21781 0 0 0 17920 57 0 0 25 0 1 0 904918760 27131904 5848 4294967295 134512640 134716908 3221224576 3221222992 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6624 5848 1111 63 0 6561 0
vsize: 26496
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 23199 0 0 0 18917 60 0 0 25 0 1 0 904918760 30887936 6440 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 6440 1111 63 0 7478 0
vsize: 30164
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 25803 0 0 0 19910 67 0 0 25 0 1 0 904918760 32415744 6393 4294967295 134512640 134716908 3221224576 3221220700 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 6393 1111 63 0 7851 0
vsize: 31656
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 27641 0 0 0 20906 71 0 0 25 0 1 0 904918760 27566080 5844 4294967295 134512640 134716908 3221224576 3221222208 1075828870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6730 5844 1111 63 0 6667 0
vsize: 26920
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 30124 0 0 0 21900 78 0 0 25 0 1 0 904918760 27316224 5903 4294967295 134512640 134716908 3221224576 3221222624 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6669 5903 1111 63 0 6606 0
vsize: 26676
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 33043 0 0 0 22893 85 0 0 25 0 1 0 904918760 27525120 5946 4294967295 134512640 134716908 3221224576 3221222692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 5946 1111 63 0 6657 0
vsize: 26880
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 34569 0 0 0 23890 89 0 0 25 0 1 0 904918760 31285248 6510 4294967295 134512640 134716908 3221224576 3221221024 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7638 6510 1111 63 0 7575 0
vsize: 30552
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35430 0 0 0 24887 91 0 0 25 0 1 0 904918760 26017792 5631 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 5631 1111 63 0 6289 0
vsize: 25408
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35430 0 0 0 25887 91 0 0 25 0 1 0 904918760 26017792 5631 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 5631 1111 63 0 6289 0
vsize: 25408
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35495 0 0 0 26887 92 0 0 25 0 1 0 904918760 26284032 5696 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5696 1111 63 0 6354 0
vsize: 25668
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35574 0 0 0 27886 93 0 0 25 0 1 0 904918760 26689536 5775 4294967295 134512640 134716908 3221224576 3221223204 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5775 1111 63 0 6453 0
vsize: 26064
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35645 0 0 0 28886 93 0 0 25 0 1 0 904918760 26959872 5846 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6582 5846 1111 63 0 6519 0
vsize: 26328
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35716 0 0 0 29886 93 0 0 25 0 1 0 904918760 27230208 5917 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 5917 1111 63 0 6585 0
vsize: 26592
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35786 0 0 0 30886 94 0 0 25 0 1 0 904918760 27500544 5987 4294967295 134512640 134716908 3221224576 3221223128 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5987 1111 63 0 6651 0
vsize: 26856
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35854 0 0 0 31886 94 0 0 25 0 1 0 904918760 27770880 6055 4294967295 134512640 134716908 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6780 6055 1111 63 0 6717 0
vsize: 27120
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35923 0 0 0 32886 95 0 0 25 0 1 0 904918760 28041216 6124 4294967295 134512640 134716908 3221224576 3221223148 134543054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6124 1111 63 0 6783 0
vsize: 27384
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 35987 0 0 0 33886 95 0 0 25 0 1 0 904918760 28311552 6188 4294967295 134512640 134716908 3221224576 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6912 6188 1111 63 0 6849 0
vsize: 27648
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36054 0 0 0 34886 95 0 0 25 0 1 0 904918760 28581888 6255 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6978 6255 1111 63 0 6915 0
vsize: 27912
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36117 0 0 0 35886 96 0 0 25 0 1 0 904918760 28852224 6318 4294967295 134512640 134716908 3221224576 3221223216 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7044 6318 1111 63 0 6981 0
vsize: 28176
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36181 0 0 0 36885 97 0 0 25 0 1 0 904918760 29122560 6382 4294967295 134512640 134716908 3221224576 3221223168 134542723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7110 6382 1111 63 0 7047 0
vsize: 28440
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36241 0 0 0 37885 97 0 0 25 0 1 0 904918760 29392896 6442 4294967295 134512640 134716908 3221224576 3221223216 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7176 6442 1111 63 0 7113 0
vsize: 28704
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36306 0 0 0 38885 97 0 0 25 0 1 0 904918760 29663232 6507 4294967295 134512640 134716908 3221224576 3221223332 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7242 6507 1111 63 0 7179 0
vsize: 28968
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36370 0 0 0 39885 98 0 0 25 0 1 0 904918760 29933568 6571 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7308 6571 1111 63 0 7245 0
vsize: 29232
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36436 0 0 0 40885 98 0 0 25 0 1 0 904918760 30203904 6637 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6637 1111 63 0 7311 0
vsize: 29496
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36505 0 0 0 41885 98 0 0 25 0 1 0 904918760 30474240 6706 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6706 1111 63 0 7377 0
vsize: 29760
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36577 0 0 0 42885 99 0 0 25 0 1 0 904918760 30744576 6778 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6778 1111 63 0 7443 0
vsize: 30024
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36640 0 0 0 43885 99 0 0 25 0 1 0 904918760 31014912 6841 4294967295 134512640 134716908 3221224576 3221223168 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7572 6841 1111 63 0 7509 0
vsize: 30288
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36701 0 0 0 44885 99 0 0 25 0 1 0 904918760 31285248 6902 4294967295 134512640 134716908 3221224576 3221223160 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7638 6902 1111 63 0 7575 0
vsize: 30552
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36772 0 0 0 45885 100 0 0 25 0 1 0 904918760 31555584 6973 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6973 1111 63 0 7641 0
vsize: 30816
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36836 0 0 0 46885 100 0 0 25 0 1 0 904918760 31825920 7037 4294967295 134512640 134716908 3221224576 3221223200 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7770 7037 1111 63 0 7707 0
vsize: 31080
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36900 0 0 0 47885 101 0 0 25 0 1 0 904918760 32096256 7101 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7836 7101 1111 63 0 7773 0
vsize: 31344
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 36964 0 0 0 48885 101 0 0 25 0 1 0 904918760 32366592 7165 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7902 7165 1111 63 0 7839 0
vsize: 31608
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37034 0 0 0 49885 101 0 0 25 0 1 0 904918760 32636928 7235 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7968 7235 1111 63 0 7905 0
vsize: 31872
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37099 0 0 0 50885 102 0 0 25 0 1 0 904918760 32907264 7300 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8034 7300 1111 63 0 7971 0
vsize: 32136
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37167 0 0 0 51885 102 0 0 25 0 1 0 904918760 33177600 7368 4294967295 134512640 134716908 3221224576 3221223168 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8100 7368 1111 63 0 8037 0
vsize: 32400
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37233 0 0 0 52885 102 0 0 25 0 1 0 904918760 33447936 7434 4294967295 134512640 134716908 3221224576 3221223232 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7434 1111 63 0 8103 0
vsize: 32664
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37293 0 0 0 53885 102 0 0 25 0 1 0 904918760 33718272 7494 4294967295 134512640 134716908 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8232 7494 1111 63 0 8169 0
vsize: 32928
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37356 0 0 0 54885 103 0 0 25 0 1 0 904918760 33988608 7557 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 7557 1111 63 0 8235 0
vsize: 33192
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37421 0 0 0 55885 103 0 0 25 0 1 0 904918760 34258944 7622 4294967295 134512640 134716908 3221224576 3221223224 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8364 7622 1111 63 0 8301 0
vsize: 33456
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37482 0 0 0 56885 103 0 0 25 0 1 0 904918760 34529280 7683 4294967295 134512640 134716908 3221224576 3221223320 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 7683 1111 63 0 8367 0
vsize: 33720
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37541 0 0 0 57885 104 0 0 25 0 1 0 904918760 34664448 7742 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8463 7742 1111 63 0 8400 0
vsize: 33852
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37598 0 0 0 58885 104 0 0 25 0 1 0 904918760 34934784 7799 4294967295 134512640 134716908 3221224576 3221223336 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8529 7799 1111 63 0 8466 0
vsize: 34116
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37657 0 0 0 59886 105 0 0 25 0 1 0 904918760 35205120 7858 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8595 7858 1111 63 0 8532 0
vsize: 34380
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37712 0 0 0 60887 105 0 0 25 0 1 0 904918760 35475456 7913 4294967295 134512640 134716908 3221224576 3221223124 134542991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8661 7913 1111 63 0 8598 0
vsize: 34644
[startup+620.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37770 0 0 0 61888 105 0 0 25 0 1 0 904918760 35610624 7971 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8694 7971 1111 63 0 8631 0
vsize: 34776
[startup+630.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37825 0 0 0 62888 106 0 0 25 0 1 0 904918760 35880960 8026 4294967295 134512640 134716908 3221224576 3221223200 134698586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 8026 1111 63 0 8697 0
vsize: 35040
[startup+640.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37882 0 0 0 63888 106 0 0 25 0 1 0 904918760 36151296 8083 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 8083 1111 63 0 8763 0
vsize: 35304
[startup+650.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 37946 0 0 0 64887 106 0 0 25 0 1 0 904918760 36421632 8147 4294967295 134512640 134716908 3221224576 3221223172 134549516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 8147 1111 63 0 8829 0
vsize: 35568
[startup+660.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38007 0 0 0 65888 107 0 0 25 0 1 0 904918760 36691968 8208 4294967295 134512640 134716908 3221224576 3221223188 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8958 8208 1111 63 0 8895 0
vsize: 35832
[startup+670.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38068 0 0 0 66888 107 0 0 25 0 1 0 904918760 36827136 8269 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8269 1111 63 0 8928 0
vsize: 35964
[startup+680.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38128 0 0 0 67888 107 0 0 25 0 1 0 904918760 37097472 8329 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 8329 1111 63 0 8994 0
vsize: 36228
[startup+690.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38185 0 0 0 68891 107 0 0 25 0 1 0 904918760 37367808 8386 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9123 8386 1111 63 0 9060 0
vsize: 36492
[startup+700.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38240 0 0 0 69891 108 0 0 25 0 1 0 904918760 37638144 8441 4294967295 134512640 134716908 3221224576 3221223288 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9189 8441 1111 63 0 9126 0
vsize: 36756
[startup+710.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38296 0 0 0 70891 108 0 0 25 0 1 0 904918760 37773312 8497 4294967295 134512640 134716908 3221224576 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9222 8497 1111 63 0 9159 0
vsize: 36888
[startup+720.069 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38352 0 0 0 71891 108 0 0 25 0 1 0 904918760 38043648 8553 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9288 8553 1111 63 0 9225 0
vsize: 37152
[startup+730.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38409 0 0 0 72891 108 0 0 25 0 1 0 904918760 38313984 8610 4294967295 134512640 134716908 3221224576 3221223276 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9354 8610 1111 63 0 9291 0
vsize: 37416
[startup+740.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38465 0 0 0 73890 109 0 0 25 0 1 0 904918760 38584320 8666 4294967295 134512640 134716908 3221224576 3221223116 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9420 8666 1111 63 0 9357 0
vsize: 37680
[startup+750.069 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38530 0 0 0 74890 110 0 0 25 0 1 0 904918760 38719488 8731 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 8731 1111 63 0 9390 0
vsize: 37812
[startup+760.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38599 0 0 0 75891 110 0 0 25 0 1 0 904918760 39124992 8800 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9552 8800 1111 63 0 9489 0
vsize: 38208
[startup+770.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38664 0 0 0 76891 110 0 0 25 0 1 0 904918760 39399424 8865 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9619 8865 1111 63 0 9556 0
vsize: 38476
[startup+780.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38724 0 0 0 77891 111 0 0 25 0 1 0 904918760 39534592 8925 4294967295 134512640 134716908 3221224576 3221223304 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9652 8925 1111 63 0 9589 0
vsize: 38608
[startup+790.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38786 0 0 0 78890 112 0 0 25 0 1 0 904918760 39804928 8987 4294967295 134512640 134716908 3221224576 3221223304 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 8987 1111 63 0 9655 0
vsize: 38872
[startup+800.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38841 0 0 0 79891 112 0 0 25 0 1 0 904918760 40075264 9042 4294967295 134512640 134716908 3221224576 3221223168 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9784 9042 1111 63 0 9721 0
vsize: 39136
[startup+810.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38896 0 0 0 80890 112 0 0 25 0 1 0 904918760 40345600 9097 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9850 9097 1111 63 0 9787 0
vsize: 39400
[startup+820.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 38954 0 0 0 81890 113 0 0 25 0 1 0 904918760 40480768 9155 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9883 9155 1111 63 0 9820 0
vsize: 39532
[startup+830.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39009 0 0 0 82890 113 0 0 25 0 1 0 904918760 40751104 9210 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 9210 1111 63 0 9886 0
vsize: 39796
[startup+840.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39061 0 0 0 83890 113 0 0 25 0 1 0 904918760 41021440 9262 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10015 9262 1111 63 0 9952 0
vsize: 40060
[startup+850.072 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39118 0 0 0 84890 114 0 0 25 0 1 0 904918760 41156608 9319 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9319 1111 63 0 9985 0
vsize: 40192
[startup+860.072 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39174 0 0 0 85890 114 0 0 25 0 1 0 904918760 41426944 9375 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10114 9375 1111 63 0 10051 0
vsize: 40456
[startup+870.072 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39225 0 0 0 86890 114 0 0 25 0 1 0 904918760 41697280 9426 4294967295 134512640 134716908 3221224576 3221223248 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10180 9426 1111 63 0 10117 0
vsize: 40720
[startup+880.072 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39278 0 0 0 87890 115 0 0 25 0 1 0 904918760 41832448 9479 4294967295 134512640 134716908 3221224576 3221223052 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10213 9479 1111 63 0 10150 0
vsize: 40852
[startup+890.071 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39333 0 0 0 88890 115 0 0 25 0 1 0 904918760 42102784 9534 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 9534 1111 63 0 10216 0
vsize: 41116
[startup+900.072 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39386 0 0 0 89890 115 0 0 25 0 1 0 904918760 42237952 9587 4294967295 134512640 134716908 3221224576 3221223144 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10312 9587 1111 63 0 10249 0
vsize: 41248
[startup+910.072 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39442 0 0 0 90890 116 0 0 25 0 1 0 904918760 42508288 9643 4294967295 134512640 134716908 3221224576 3221223136 134698898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10378 9643 1111 63 0 10315 0
vsize: 41512
[startup+920.072 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39500 0 0 0 91890 116 0 0 25 0 1 0 904918760 42778624 9701 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10444 9701 1111 63 0 10381 0
vsize: 41776
[startup+930.071 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39560 0 0 0 92890 116 0 0 25 0 1 0 904918760 43048960 9761 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10510 9761 1111 63 0 10447 0
vsize: 42040
[startup+940.071 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39611 0 0 0 93890 117 0 0 25 0 1 0 904918760 43184128 9812 4294967295 134512640 134716908 3221224576 3221223180 134536823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10543 9812 1111 63 0 10480 0
vsize: 42172
[startup+950.071 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39670 0 0 0 94890 117 0 0 25 0 1 0 904918760 43454464 9871 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10609 9871 1111 63 0 10546 0
vsize: 42436
[startup+960.072 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39722 0 0 0 95890 117 0 0 25 0 1 0 904918760 43724800 9923 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10675 9923 1111 63 0 10612 0
vsize: 42700
[startup+970.072 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39772 0 0 0 96890 118 0 0 25 0 1 0 904918760 43859968 9973 4294967295 134512640 134716908 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10708 9973 1111 63 0 10645 0
vsize: 42832
[startup+980.072 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39826 0 0 0 97890 118 0 0 25 0 1 0 904918760 44130304 10027 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10774 10027 1111 63 0 10711 0
vsize: 43096
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39879 0 0 0 98890 118 0 0 25 0 1 0 904918760 44265472 10080 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10807 10080 1111 63 0 10744 0
vsize: 43228
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39931 0 0 0 99890 119 0 0 25 0 1 0 904918760 44535808 10132 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 10132 1111 63 0 10810 0
vsize: 43492
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 39987 0 0 0 100890 119 0 0 25 0 1 0 904918760 44806144 10188 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10939 10188 1111 63 0 10876 0
vsize: 43756
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40043 0 0 0 101890 119 0 0 25 0 1 0 904918760 44941312 10244 4294967295 134512640 134716908 3221224576 3221223196 134542824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10972 10244 1111 63 0 10909 0
vsize: 43888
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40099 0 0 0 102890 120 0 0 25 0 1 0 904918760 45211648 10300 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10300 1111 63 0 10975 0
vsize: 44152
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40150 0 0 0 103890 120 0 0 25 0 1 0 904918760 45481984 10351 4294967295 134512640 134716908 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10351 1111 63 0 11041 0
vsize: 44416
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40217 0 0 0 104890 120 0 0 25 0 1 0 904918760 45752320 10418 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11170 10418 1111 63 0 11107 0
vsize: 44680
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40272 0 0 0 105890 121 0 0 25 0 1 0 904918760 45887488 10473 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 10473 1111 63 0 11140 0
vsize: 44812
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40323 0 0 0 106890 122 0 0 25 0 1 0 904918760 46157824 10524 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11269 10524 1111 63 0 11206 0
vsize: 45076
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40374 0 0 0 107890 122 0 0 25 0 1 0 904918760 46292992 10575 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11302 10575 1111 63 0 11239 0
vsize: 45208
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40433 0 0 0 108890 122 0 0 25 0 1 0 904918760 46563328 10634 4294967295 134512640 134716908 3221224576 3221223216 134539385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11368 10634 1111 63 0 11305 0
vsize: 45472
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40483 0 0 0 109890 122 0 0 25 0 1 0 904918760 46833664 10684 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11434 10684 1111 63 0 11371 0
vsize: 45736
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40535 0 0 0 110890 122 0 0 25 0 1 0 904918760 46968832 10736 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11467 10736 1111 63 0 11404 0
vsize: 45868
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40587 0 0 0 111890 123 0 0 25 0 1 0 904918760 47239168 10788 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11533 10788 1111 63 0 11470 0
vsize: 46132
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40640 0 0 0 112890 123 0 0 25 0 1 0 904918760 47509504 10841 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 10841 1111 63 0 11536 0
vsize: 46396
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40691 0 0 0 113890 123 0 0 25 0 1 0 904918760 47644672 10892 4294967295 134512640 134716908 3221224576 3221223136 134542706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10892 1111 63 0 11569 0
vsize: 46528
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40750 0 0 0 114890 124 0 0 25 0 1 0 904918760 47915008 10950 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11698 10950 1111 63 0 11635 0
vsize: 46792
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40799 0 0 0 115890 124 0 0 25 0 1 0 904918760 48050176 10999 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11731 10999 1111 63 0 11668 0
vsize: 46924
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40852 0 0 0 116891 124 0 0 25 0 1 0 904918760 48320512 11052 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11797 11052 1111 63 0 11734 0
vsize: 47188
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 2307
Raw data (stat): 2307 (bsolo_lpr_cuts-) R 2306 25568 25567 0 -1 0 40852 0 0 0 116891 124 0 0 25 0 1 0 904918760 48320512 11052 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11797 11052 1111 63 0 11734 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.03
CPU user time (s): 1173.76
CPU system time (s): 1.26981
CPU usage (%): 100.007
Max. virtual memory (Kb): 47188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####