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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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	1175.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
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	2
Trace number 40895

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 01:03:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28961 boxname=wulflinc2 idbench=347 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc2/normalized-frb56-25-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb56-25-4.opb
IDLAUNCH: 28961
/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:        893968 kB
Buffers:         13344 kB
Cached:         102208 kB
SwapCached:       4468 kB
Active:          27520 kB
Inactive:        93144 kB
HighTotal:      131008 kB
HighFree:        29680 kB
LowTotal:       903652 kB
LowFree:        864288 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            14332 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 01:23:23 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 28961 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1400 variables and 110038 constraints.
c After prepocess the problem consists of 1400 variables and 78391 constraints.
c preprocess terminated 839.127 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.84 0.94 0.90 1/54 17742
Raw data (stat): 17742 (runsolver) D 17741 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 906169135 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 11101 0 0 0 962 35 0 0 25 0 1 0 906169135 58609664 11021 4294967295 134512640 134716908 3221224576 3221222868 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14309 11021 1111 63 0 14246 0
vsize: 57236
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 32443 0 0 0 1914 84 0 0 25 0 1 0 906169135 130727936 31068 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31916 31068 1111 63 0 31853 0
vsize: 127664
[startup+30.0016 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 36401 0 0 0 2905 92 0 0 25 0 1 0 906169135 146968576 35026 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35881 35026 1111 63 0 35818 0
vsize: 143524
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 37946 0 0 0 3902 95 0 0 25 0 1 0 906169135 147873792 35266 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36102 35266 1111 63 0 36039 0
vsize: 144408
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 41878 0 0 0 4894 104 0 0 25 0 1 0 906169135 164093952 39198 4294967295 134512640 134716908 3221224576 3221222956 1077379851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40062 39198 1111 63 0 39999 0
vsize: 160248
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45322 0 0 0 5886 112 0 0 25 0 1 0 906169135 178143232 42642 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43492 42642 1111 63 0 43429 0
vsize: 173968
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 6886 112 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 7886 112 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+90.0048 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 8886 112 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 9886 112 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 10885 113 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 11885 113 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 12885 114 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 13885 114 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 14884 114 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223080 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 15884 115 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223200 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17742
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 16884 115 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 17883 116 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 18883 116 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 19883 116 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 20883 116 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 21883 117 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223200 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 22883 117 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 23882 118 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 24882 118 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 25882 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 26881 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 27881 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223020 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 28881 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 29881 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223104 134542898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 30882 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 31882 119 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223200 134594954 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 32883 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 33883 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 34883 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 35883 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 36883 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 37884 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223060 134539352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 38884 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 39884 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222996 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 40884 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 41884 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223112 134542982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 42885 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 43885 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 44885 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 45885 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 46885 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 47886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 48886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 49886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 50886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223080 134539345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 51886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 52886 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 53887 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 54887 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 55887 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 56887 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 57887 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 58888 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 59888 120 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 60888 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 61888 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 62888 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 63888 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 64889 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222992 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 65889 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 66889 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 67889 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 68890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223080 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 69890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 70890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 71890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 72890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 73890 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 74891 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 75891 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45345 0 0 0 76891 121 0 0 25 0 1 0 906169135 178196480 42665 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42665 1111 63 0 43442 0
vsize: 174020
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 77891 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223424 134622306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 78892 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 79892 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 80892 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223364 134622776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 81892 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45346 0 0 0 82892 121 0 0 25 0 1 0 906169135 178196480 42666 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43505 42666 1111 63 0 43442 0
vsize: 174020
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45370 0 0 0 83892 121 0 0 25 0 1 0 906169135 179085312 42690 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43722 42690 1111 63 0 43659 0
vsize: 174888
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45376 0 0 0 84891 122 0 0 25 0 1 0 906169135 179085312 42696 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42696 1111 63 0 43659 0
vsize: 174888
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45378 0 0 0 85891 122 0 0 25 0 1 0 906169135 179085312 42698 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42698 1111 63 0 43659 0
vsize: 174888
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45380 0 0 0 86891 122 0 0 25 0 1 0 906169135 179085312 42700 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42700 1111 63 0 43659 0
vsize: 174888
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45382 0 0 0 87892 122 0 0 25 0 1 0 906169135 179085312 42702 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42702 1111 63 0 43659 0
vsize: 174888
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45384 0 0 0 88892 122 0 0 25 0 1 0 906169135 179085312 42704 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42704 1111 63 0 43659 0
vsize: 174888
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45385 0 0 0 89892 122 0 0 25 0 1 0 906169135 179085312 42705 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43722 42705 1111 63 0 43659 0
vsize: 174888
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45600 0 0 0 90891 122 0 0 25 0 1 0 906169135 179957760 42920 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43935 42920 1111 63 0 43872 0
vsize: 175740
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45616 0 0 0 91891 123 0 0 25 0 1 0 906169135 180015104 42936 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43949 42936 1111 63 0 43886 0
vsize: 175796
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45630 0 0 0 92891 123 0 0 25 0 1 0 906169135 180068352 42950 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43962 42950 1111 63 0 43899 0
vsize: 175848
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45644 0 0 0 93890 124 0 0 25 0 1 0 906169135 180121600 42964 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43975 42964 1111 63 0 43912 0
vsize: 175900
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45655 0 0 0 94890 124 0 0 25 0 1 0 906169135 180162560 42975 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43985 42975 1111 63 0 43922 0
vsize: 175940
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45667 0 0 0 95889 126 0 0 25 0 1 0 906169135 180207616 42987 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43996 42987 1111 63 0 43933 0
vsize: 175984
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45679 0 0 0 96888 126 0 0 25 0 1 0 906169135 180252672 42999 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44007 42999 1111 63 0 43944 0
vsize: 176028
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45691 0 0 0 97888 127 0 0 25 0 1 0 906169135 180297728 43011 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44018 43011 1111 63 0 43955 0
vsize: 176072
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45702 0 0 0 98888 127 0 0 25 0 1 0 906169135 180338688 43022 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44028 43022 1111 63 0 43965 0
vsize: 176112
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45714 0 0 0 99888 127 0 0 25 0 1 0 906169135 180383744 43034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44039 43034 1111 63 0 43976 0
vsize: 176156
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45723 0 0 0 100888 128 0 0 25 0 1 0 906169135 180420608 43043 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44048 43043 1111 63 0 43985 0
vsize: 176192
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45733 0 0 0 101887 129 0 0 25 0 1 0 906169135 180457472 43053 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44057 43053 1111 63 0 43994 0
vsize: 176228
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45743 0 0 0 102887 129 0 0 25 0 1 0 906169135 180494336 43063 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44066 43063 1111 63 0 44003 0
vsize: 176264
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45751 0 0 0 103886 130 0 0 25 0 1 0 906169135 180523008 43071 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44073 43071 1111 63 0 44010 0
vsize: 176292
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45759 0 0 0 104886 130 0 0 25 0 1 0 906169135 180555776 43079 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44081 43079 1111 63 0 44018 0
vsize: 176324
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45767 0 0 0 105886 131 0 0 25 0 1 0 906169135 180584448 43087 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44088 43087 1111 63 0 44025 0
vsize: 176352
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45775 0 0 0 106885 131 0 0 25 0 1 0 906169135 180613120 43095 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44095 43095 1111 63 0 44032 0
vsize: 176380
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45782 0 0 0 107885 131 0 0 25 0 1 0 906169135 180641792 43102 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44102 43102 1111 63 0 44039 0
vsize: 176408
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45791 0 0 0 108885 132 0 0 25 0 1 0 906169135 180674560 43111 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44110 43111 1111 63 0 44047 0
vsize: 176440
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45799 0 0 0 109885 132 0 0 25 0 1 0 906169135 180703232 43119 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44117 43119 1111 63 0 44054 0
vsize: 176468
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45806 0 0 0 110885 133 0 0 25 0 1 0 906169135 180731904 43126 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44124 43126 1111 63 0 44061 0
vsize: 176496
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45814 0 0 0 111884 134 0 0 25 0 1 0 906169135 180760576 43134 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44131 43134 1111 63 0 44068 0
vsize: 176524
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 45821 0 0 0 112884 134 0 0 25 0 1 0 906169135 180789248 43141 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44138 43141 1111 63 0 44075 0
vsize: 176552
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46041 0 0 0 113882 135 0 0 25 0 1 0 906169135 181686272 43361 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44357 43361 1111 63 0 44294 0
vsize: 177428
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46051 0 0 0 114882 136 0 0 25 0 1 0 906169135 181723136 43371 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44366 43371 1111 63 0 44303 0
vsize: 177464
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46060 0 0 0 115882 137 0 0 25 0 1 0 906169135 181760000 43380 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44375 43380 1111 63 0 44312 0
vsize: 177500
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46070 0 0 0 116881 137 0 0 25 0 1 0 906169135 181796864 43390 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44384 43390 1111 63 0 44321 0
vsize: 177536
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46080 0 0 0 117881 137 0 0 25 0 1 0 906169135 181837824 43400 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44394 43400 1111 63 0 44331 0
vsize: 177576
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46092 0 0 0 118881 138 0 0 25 0 1 0 906169135 181882880 43412 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44405 43412 1111 63 0 44342 0
vsize: 177620
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) R 17741 31399 31398 0 -1 0 46102 0 0 0 119881 138 0 0 25 0 1 0 906169135 181923840 43422 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44415 43422 1111 63 0 44352 0
vsize: 177660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17744
Raw data (stat): 17742 (bsolo_lpr_cuts-) Z 17741 31399 31398 0 -1 1036 46102 0 0 0 119881 146 0 0 25 0 1 0 906169135 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.13
CPU time (s): 1200.28
CPU user time (s): 1198.82
CPU system time (s): 1.46478
CPU usage (%): 100.013
Max. virtual memory (Kb): 177660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####