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/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
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 24768

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        883812 kB
Buffers:         35120 kB
Cached:          94048 kB
SwapCached:       1936 kB
Active:          96904 kB
Inactive:        35420 kB
HighTotal:      131008 kB
HighFree:        36092 kB
LowTotal:       903652 kB
LowFree:        847720 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12732 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 18:39:23 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2927 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41095 constraints.
c After prepocess the problem consists of 760 variables and 27578 constraints.
c preprocess terminated 250.655 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
Raw data (loadavg): 0.92 0.98 0.95 2/55 11176
Raw data (stat): 11176 (runsolver) R 11175 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728633566 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 13456 0 0 0 960 35 0 0 25 0 1 0 728633566 55582720 12736 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13570 12736 1111 63 0 13507 0
vsize: 54280
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 13456 0 0 0 1960 35 0 0 25 0 1 0 728633566 55582720 12736 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13570 12736 1111 63 0 13507 0
vsize: 54280
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 13515 0 0 0 2959 36 0 0 25 0 1 0 728633566 55836672 12795 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13632 12795 1111 63 0 13569 0
vsize: 54528
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 13515 0 0 0 3959 36 0 0 25 0 1 0 728633566 55836672 12795 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13632 12795 1111 63 0 13569 0
vsize: 54528
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 13784 0 0 0 4958 37 0 0 25 0 1 0 728633566 55836672 12798 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13632 12798 1111 63 0 13569 0
vsize: 54528
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 5956 40 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 6955 40 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 7955 41 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 8955 41 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 9955 42 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220396 134543776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 10954 42 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 11954 42 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220160 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 12954 43 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 13954 43 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 14954 44 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220224 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 15954 44 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 16954 44 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 17954 44 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 18954 45 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 19953 45 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 20953 45 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 21953 45 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 14689 0 0 0 22953 46 0 0 25 0 1 0 728633566 58028032 13333 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15026 0 0 0 23952 46 0 0 25 0 1 0 728633566 59404288 13670 4294967295 134512640 134714508 3221221776 3221220656 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13670 1111 63 0 14440 0
vsize: 58012
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15026 0 0 0 24952 47 0 0 25 0 1 0 728633566 59404288 13670 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13670 1111 63 0 14440 0
vsize: 58012
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15573 0 0 0 25949 50 0 0 25 0 1 0 728633566 61804544 14201 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15089 14201 1111 63 0 15026 0
vsize: 60356
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15618 0 0 0 26947 52 0 0 25 0 1 0 728633566 61976576 14246 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15131 14246 1111 63 0 15068 0
vsize: 60524
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15678 0 0 0 27946 54 0 0 25 0 1 0 728633566 62345216 14306 4294967295 134512640 134714508 3221221776 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15221 14306 1111 63 0 15158 0
vsize: 60884
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15746 0 0 0 28945 56 0 0 25 0 1 0 728633566 62599168 14374 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15283 14374 1111 63 0 15220 0
vsize: 61132
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15773 0 0 0 29944 57 0 0 25 0 1 0 728633566 62701568 14401 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15308 14401 1111 63 0 15245 0
vsize: 61232
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15808 0 0 0 30942 58 0 0 25 0 1 0 728633566 62812160 14436 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15335 14436 1111 63 0 15272 0
vsize: 61340
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15829 0 0 0 31942 59 0 0 25 0 1 0 728633566 62894080 14457 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15355 14457 1111 63 0 15292 0
vsize: 61420
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15911 0 0 0 32940 61 0 0 25 0 1 0 728633566 63197184 14539 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15429 14539 1111 63 0 15366 0
vsize: 61716
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15930 0 0 0 33940 61 0 0 25 0 1 0 728633566 63270912 14558 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15447 14558 1111 63 0 15384 0
vsize: 61788
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15949 0 0 0 34939 62 0 0 25 0 1 0 728633566 63344640 14577 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15465 14577 1111 63 0 15402 0
vsize: 61860
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 15967 0 0 0 35939 63 0 0 25 0 1 0 728633566 63414272 14595 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15482 14595 1111 63 0 15419 0
vsize: 61928
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16013 0 0 0 36938 64 0 0 25 0 1 0 728633566 63561728 14641 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15518 14641 1111 63 0 15455 0
vsize: 62072
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16030 0 0 0 37938 64 0 0 25 0 1 0 728633566 63627264 14658 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15534 14658 1111 63 0 15471 0
vsize: 62136
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16048 0 0 0 38938 64 0 0 25 0 1 0 728633566 63696896 14676 4294967295 134512640 134714508 3221221776 3221219632 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15551 14676 1111 63 0 15488 0
vsize: 62204
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16065 0 0 0 39937 65 0 0 25 0 1 0 728633566 63762432 14693 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15567 14693 1111 63 0 15504 0
vsize: 62268
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16080 0 0 0 40937 65 0 0 25 0 1 0 728633566 63823872 14708 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15582 14708 1111 63 0 15519 0
vsize: 62328
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 16096 0 0 0 41937 66 0 0 25 0 1 0 728633566 63885312 14724 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15597 14724 1111 63 0 15534 0
vsize: 62388
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 21301 0 0 0 42927 76 0 0 25 0 1 0 728633566 85520384 18088 4294967295 134512640 134714508 3221221776 3221217840 1074969467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20879 18088 1111 63 0 20816 0
vsize: 83516
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 21789 0 0 0 43926 77 0 0 25 0 1 0 728633566 87552000 18574 4294967295 134512640 134714508 3221221776 3221217856 1075093355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21375 18574 1111 63 0 21312 0
vsize: 85500
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22540 0 0 0 44924 79 0 0 25 0 1 0 728633566 83484672 18414 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18414 1111 63 0 20319 0
vsize: 81528
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22555 0 0 0 45924 79 0 0 25 0 1 0 728633566 83484672 18427 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18427 1111 63 0 20319 0
vsize: 81528
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22580 0 0 0 46924 79 0 0 25 0 1 0 728633566 83484672 18450 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18450 1111 63 0 20319 0
vsize: 81528
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22589 0 0 0 47924 79 0 0 25 0 1 0 728633566 83484672 18457 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18457 1111 63 0 20319 0
vsize: 81528
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22608 0 0 0 48925 79 0 0 25 0 1 0 728633566 83484672 18474 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18474 1111 63 0 20319 0
vsize: 81528
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22641 0 0 0 49925 80 0 0 25 0 1 0 728633566 83484672 18505 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18505 1111 63 0 20319 0
vsize: 81528
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22658 0 0 0 50925 80 0 0 25 0 1 0 728633566 83484672 18520 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20382 18520 1111 63 0 20319 0
vsize: 81528
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22682 0 0 0 51925 80 0 0 25 0 1 0 728633566 83894272 18542 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20482 18542 1111 63 0 20419 0
vsize: 81928
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22766 0 0 0 52925 80 0 0 25 0 1 0 728633566 84320256 18624 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20586 18624 1111 63 0 20523 0
vsize: 82344
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22794 0 0 0 53925 80 0 0 25 0 1 0 728633566 84320256 18650 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20586 18650 1111 63 0 20523 0
vsize: 82344
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22798 0 0 0 54925 80 0 0 25 0 1 0 728633566 84320256 18652 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20586 18652 1111 63 0 20523 0
vsize: 82344
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22883 0 0 0 55925 81 0 0 25 0 1 0 728633566 84766720 18735 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18735 1111 63 0 20632 0
vsize: 82780
[startup+570.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22903 0 0 0 56925 81 0 0 25 0 1 0 728633566 84766720 18753 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18753 1111 63 0 20632 0
vsize: 82780
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22927 0 0 0 57925 81 0 0 25 0 1 0 728633566 84766720 18775 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18775 1111 63 0 20632 0
vsize: 82780
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22937 0 0 0 58925 81 0 0 25 0 1 0 728633566 84766720 18783 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18783 1111 63 0 20632 0
vsize: 82780
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22945 0 0 0 59925 81 0 0 25 0 1 0 728633566 84766720 18789 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18789 1111 63 0 20632 0
vsize: 82780
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22962 0 0 0 60925 81 0 0 25 0 1 0 728633566 84766720 18804 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18804 1111 63 0 20632 0
vsize: 82780
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 22973 0 0 0 61925 81 0 0 25 0 1 0 728633566 84766720 18811 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18811 1111 63 0 20632 0
vsize: 82780
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23010 0 0 0 62925 81 0 0 25 0 1 0 728633566 84766720 18846 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18846 1111 63 0 20632 0
vsize: 82780
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23022 0 0 0 63926 81 0 0 25 0 1 0 728633566 84766720 18856 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18856 1111 63 0 20632 0
vsize: 82780
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23024 0 0 0 64926 81 0 0 25 0 1 0 728633566 84766720 18856 4294967295 134512640 134714508 3221221776 3221217656 1075964742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20695 18856 1111 63 0 20632 0
vsize: 82780
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23110 0 0 0 65925 82 0 0 25 0 1 0 728633566 85237760 18940 4294967295 134512640 134714508 3221221776 3221217580 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18940 1111 63 0 20747 0
vsize: 83240
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23136 0 0 0 66926 82 0 0 25 0 1 0 728633566 85237760 18964 4294967295 134512640 134714508 3221221776 3221217840 1074969680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18964 1111 63 0 20747 0
vsize: 83240
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23142 0 0 0 67926 82 0 0 25 0 1 0 728633566 85237760 18966 4294967295 134512640 134714508 3221221776 3221217840 1074969469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18966 1111 63 0 20747 0
vsize: 83240
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23146 0 0 0 68926 82 0 0 25 0 1 0 728633566 85237760 18968 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18968 1111 63 0 20747 0
vsize: 83240
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23156 0 0 0 69926 82 0 0 25 0 1 0 728633566 85237760 18974 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18974 1111 63 0 20747 0
vsize: 83240
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23158 0 0 0 70926 82 0 0 25 0 1 0 728633566 85237760 18974 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18974 1111 63 0 20747 0
vsize: 83240
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23163 0 0 0 71926 82 0 0 25 0 1 0 728633566 85237760 18975 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18975 1111 63 0 20747 0
vsize: 83240
[startup+730.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23165 0 0 0 72927 82 0 0 25 0 1 0 728633566 85237760 18975 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20810 18975 1111 63 0 20747 0
vsize: 83240
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23251 0 0 0 73927 82 0 0 25 0 1 0 728633566 85733376 19057 4294967295 134512640 134714508 3221221776 3221217796 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19057 1111 63 0 20868 0
vsize: 83724
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23262 0 0 0 74927 82 0 0 25 0 1 0 728633566 85733376 19066 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19066 1111 63 0 20868 0
vsize: 83724
[startup+760.032 s]
Raw data (loadavg): 1.15 1.02 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23268 0 0 0 75927 82 0 0 25 0 1 0 728633566 85733376 19068 4294967295 134512640 134714508 3221221776 3221218240 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19068 1111 63 0 20868 0
vsize: 83724
[startup+770.033 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23271 0 0 0 76927 82 0 0 25 0 1 0 728633566 85733376 19069 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19069 1111 63 0 20868 0
vsize: 83724
[startup+780.033 s]
Raw data (loadavg): 1.10 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23275 0 0 0 77927 82 0 0 25 0 1 0 728633566 85733376 19069 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19069 1111 63 0 20868 0
vsize: 83724
[startup+790.033 s]
Raw data (loadavg): 1.09 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23283 0 0 0 78927 82 0 0 25 0 1 0 728633566 85733376 19075 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19075 1111 63 0 20868 0
vsize: 83724
[startup+800.034 s]
Raw data (loadavg): 1.07 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23287 0 0 0 79927 82 0 0 25 0 1 0 728633566 85733376 19075 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 19075 1111 63 0 20868 0
vsize: 83724
[startup+810.034 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23372 0 0 0 80927 83 0 0 25 0 1 0 728633566 86253568 19158 4294967295 134512640 134714508 3221221776 3221217688 1075964730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19158 1111 63 0 20995 0
vsize: 84232
[startup+820.035 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23395 0 0 0 81928 83 0 0 25 0 1 0 728633566 86253568 19177 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19177 1111 63 0 20995 0
vsize: 84232
[startup+830.035 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23402 0 0 0 82928 83 0 0 25 0 1 0 728633566 86253568 19182 4294967295 134512640 134714508 3221221776 3221217656 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19182 1111 63 0 20995 0
vsize: 84232
[startup+840.035 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23409 0 0 0 83928 83 0 0 25 0 1 0 728633566 86253568 19185 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19185 1111 63 0 20995 0
vsize: 84232
[startup+850.036 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23412 0 0 0 84928 83 0 0 25 0 1 0 728633566 86253568 19186 4294967295 134512640 134714508 3221221776 3221217968 1074961273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19186 1111 63 0 20995 0
vsize: 84232
[startup+860.035 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23414 0 0 0 85928 83 0 0 25 0 1 0 728633566 86253568 19186 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19186 1111 63 0 20995 0
vsize: 84232
[startup+870.037 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23419 0 0 0 86928 83 0 0 25 0 1 0 728633566 86253568 19187 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19187 1111 63 0 20995 0
vsize: 84232
[startup+880.037 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23421 0 0 0 87928 83 0 0 25 0 1 0 728633566 86253568 19187 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21058 19187 1111 63 0 20995 0
vsize: 84232
[startup+890.036 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23501 0 0 0 88928 83 0 0 25 0 1 0 728633566 86798336 19265 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21191 19265 1111 63 0 21128 0
vsize: 84764
[startup+900.037 s]
Raw data (loadavg): 1.09 1.02 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23518 0 0 0 89928 84 0 0 25 0 1 0 728633566 87019520 19280 4294967295 134512640 134714508 3221221776 3221218352 1075967910 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21245 19280 1111 63 0 21182 0
vsize: 84980
[startup+910.037 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23614 0 0 0 90928 84 0 0 25 0 1 0 728633566 87371776 19370 4294967295 134512640 134714508 3221221776 3221217968 1074960854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21331 19370 1111 63 0 21268 0
vsize: 85324
[startup+920.038 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23742 0 0 0 91928 84 0 0 25 0 1 0 728633566 87973888 19496 4294967295 134512640 134714508 3221221776 3221218208 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19496 1111 63 0 21415 0
vsize: 85912
[startup+930.038 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23765 0 0 0 92928 84 0 0 25 0 1 0 728633566 87973888 19517 4294967295 134512640 134714508 3221221776 3221218028 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19517 1111 63 0 21415 0
vsize: 85912
[startup+940.039 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23781 0 0 0 93928 84 0 0 25 0 1 0 728633566 87973888 19529 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19529 1111 63 0 21415 0
vsize: 85912
[startup+950.04 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23787 0 0 0 94929 84 0 0 25 0 1 0 728633566 87973888 19533 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19533 1111 63 0 21415 0
vsize: 85912
[startup+960.04 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23797 0 0 0 95929 84 0 0 25 0 1 0 728633566 87973888 19541 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19541 1111 63 0 21415 0
vsize: 85912
[startup+970.041 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23803 0 0 0 96929 85 0 0 25 0 1 0 728633566 87973888 19545 4294967295 134512640 134714508 3221221776 3221218240 1075088566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19545 1111 63 0 21415 0
vsize: 85912
[startup+980.042 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23876 0 0 0 97929 85 0 0 25 0 1 0 728633566 88600576 19614 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21631 19614 1111 63 0 21568 0
vsize: 86524
[startup+990.042 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 23929 0 0 0 98929 85 0 0 25 0 1 0 728633566 88600576 19665 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21631 19665 1111 63 0 21568 0
vsize: 86524
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24055 0 0 0 99929 85 0 0 25 0 1 0 728633566 89268224 19789 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19789 1111 63 0 21731 0
vsize: 87176
[startup+1010.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24078 0 0 0 100929 85 0 0 25 0 1 0 728633566 89268224 19810 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19810 1111 63 0 21731 0
vsize: 87176
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24084 0 0 0 101929 85 0 0 25 0 1 0 728633566 89268224 19812 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19812 1111 63 0 21731 0
vsize: 87176
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24086 0 0 0 102929 85 0 0 25 0 1 0 728633566 89268224 19812 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19812 1111 63 0 21731 0
vsize: 87176
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24090 0 0 0 103929 85 0 0 25 0 1 0 728633566 89268224 19814 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19814 1111 63 0 21731 0
vsize: 87176
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24098 0 0 0 104929 85 0 0 25 0 1 0 728633566 89268224 19820 4294967295 134512640 134714508 3221221776 3221217968 1074960898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19820 1111 63 0 21731 0
vsize: 87176
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24106 0 0 0 105929 86 0 0 25 0 1 0 728633566 89268224 19824 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19824 1111 63 0 21731 0
vsize: 87176
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24116 0 0 0 106930 86 0 0 25 0 1 0 728633566 89268224 19832 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19832 1111 63 0 21731 0
vsize: 87176
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24127 0 0 0 107930 86 0 0 25 0 1 0 728633566 89268224 19841 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24129 0 0 0 108930 86 0 0 25 0 1 0 728633566 89268224 19841 4294967295 134512640 134714508 3221221776 3221217968 1074960964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24131 0 0 0 109930 86 0 0 25 0 1 0 728633566 89268224 19841 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24151 0 0 0 110930 86 0 0 25 0 1 0 728633566 89268224 19857 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19857 1111 63 0 21731 0
vsize: 87176
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24158 0 0 0 111930 86 0 0 25 0 1 0 728633566 89268224 19862 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19862 1111 63 0 21731 0
vsize: 87176
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24168 0 0 0 112931 86 0 0 25 0 1 0 728633566 89268224 19870 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24170 0 0 0 113931 86 0 0 25 0 1 0 728633566 89268224 19870 4294967295 134512640 134714508 3221221776 3221217924 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24172 0 0 0 114931 86 0 0 25 0 1 0 728633566 89268224 19870 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24176 0 0 0 115931 86 0 0 25 0 1 0 728633566 89268224 19870 4294967295 134512640 134714508 3221221776 3221218240 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24178 0 0 0 116931 86 0 0 25 0 1 0 728633566 89268224 19870 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24181 0 0 0 117932 86 0 0 25 0 1 0 728633566 89268224 19871 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19871 1111 63 0 21731 0
vsize: 87176
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24185 0 0 0 118932 86 0 0 25 0 1 0 728633566 89268224 19873 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19873 1111 63 0 21731 0
vsize: 87176
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) R 11175 7876 7672 0 -1 0 24190 0 0 0 119932 86 0 0 25 0 1 0 728633566 89268224 19876 4294967295 134512640 134714508 3221221776 3221218072 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21794 19876 1111 63 0 21731 0
vsize: 87176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 11176
Raw data (stat): 11176 (bsolo_lpr_cuts) Z 11175 7876 7672 0 -1 1036 24190 0 0 0 119932 90 0 0 24 0 1 0 728633566 0 0 4294967295 0 0 0 0 0 0 0 1 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.11
CPU time (s): 1200.23
CPU user time (s): 1199.33
CPU system time (s): 0.904862
CPU usage (%): 100.01
Max. virtual memory (Kb): 87176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####