PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb
MD5SUM	4c90dd5734f36c8061dfe5af9bc82fe7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2980
Optimality of the best value was proved	NO
Number of terms in the objective function	10000
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	10000
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	10000
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.49
Number of variables	10000
Total number of constraints	10000
Number of constraints which are clauses	10000
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	3
Maximum length of a constraint	5
Trace number 25043

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 04:58:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4942 boxname=wulflinc31 idbench=381 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4c90dd5734f36c8061dfe5af9bc82fe7  /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb
IDLAUNCH: 4942
/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:        801020 kB
Buffers:         48556 kB
Cached:         162692 kB
SwapCached:       1932 kB
Active:         170676 kB
Inactive:        43780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800768 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13520 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 05:18:13 (client local time) WITH STATUS 0 IN 1200.91 SECONDS
stats: 4942 7 1200.91 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10000 variables and 10000 constraints.
c After prepocess the problem consists of 10000 variables and 10000 constraints.
c preprocess terminated 6.718 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.86 0.95 0.91 2/55 9713
Raw data (stat): 9713 (runsolver) R 9712 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758389918 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4328 0 0 0 981 14 0 0 25 0 1 0 758389918 21159936 4228 4294967295 134512640 134714508 3221221776 3221219960 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4228 1111 63 0 5103 0
vsize: 20664
[startup+20 s]
Raw data (loadavg): 0.90 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4553 0 0 0 1980 15 0 0 25 0 1 0 758389918 21790720 4420 4294967295 134512640 134714508 3221221776 3221219960 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5320 4420 1111 63 0 5257 0
vsize: 21280
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.96 0.91 3/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4585 0 0 0 2978 18 0 0 25 0 1 0 758389918 21913600 4452 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4452 1111 63 0 5287 0
vsize: 21400
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6396 0 0 0 3974 21 0 0 25 0 1 0 758389918 29499392 5671 4294967295 134512640 134714508 3221221776 3221218272 1074884866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7202 5671 1111 63 0 7139 0
vsize: 28808
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6479 0 0 0 4974 22 0 0 25 0 1 0 758389918 29499392 5754 4294967295 134512640 134714508 3221221776 3221217824 1075561100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7202 5754 1111 63 0 7139 0
vsize: 28808
[startup+60.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6530 0 0 0 5974 22 0 0 25 0 1 0 758389918 29499392 5805 4294967295 134512640 134714508 3221221776 3221217916 1075116877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7202 5805 1111 63 0 7139 0
vsize: 28808
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6872 0 0 0 6973 23 0 0 25 0 1 0 758389918 28348416 5813 4294967295 134512640 134714508 3221221776 3221218028 1076111500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6921 5813 1111 63 0 6858 0
vsize: 27684
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6976 0 0 0 7973 23 0 0 25 0 1 0 758389918 28762112 5917 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7022 5917 1111 63 0 6959 0
vsize: 28088
[startup+90.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7138 0 0 0 8973 24 0 0 25 0 1 0 758389918 29433856 6079 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7186 6079 1111 63 0 7123 0
vsize: 28744
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7196 0 0 0 9973 24 0 0 25 0 1 0 758389918 29626368 6137 4294967295 134512640 134714508 3221221776 3221217552 1074868745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6137 1111 63 0 7170 0
vsize: 28932
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 9713
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7197 0 0 0 10973 24 0 0 25 0 1 0 758389918 29626368 6138 4294967295 134512640 134714508 3221221776 3221217968 1074960806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6138 1111 63 0 7170 0
vsize: 28932
[startup+120.004 s]
Raw data (loadavg): 1.06 0.98 0.92 3/57 9735
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7240 0 0 0 11973 24 0 0 25 0 1 0 758389918 29827072 6181 4294967295 134512640 134714508 3221221776 3221217856 1075094881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6181 1111 63 0 7219 0
vsize: 29128
[startup+130.004 s]
Raw data (loadavg): 1.20 1.02 0.93 2/59 9756
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7257 0 0 0 12973 24 0 0 25 0 1 0 758389918 29827072 6198 4294967295 134512640 134714508 3221221776 3221218072 1075112544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6198 1111 63 0 7219 0
vsize: 29128
[startup+140.211 s]
Raw data (loadavg): 1.33 1.05 0.94 2/57 9761
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7261 0 0 0 13994 24 0 0 25 0 1 0 758389918 29827072 6202 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6202 1111 63 0 7219 0
vsize: 29128
[startup+150.699 s]
Raw data (loadavg): 1.35 1.06 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7263 0 0 0 15043 24 0 0 25 0 1 0 758389918 29827072 6204 4294967295 134512640 134714508 3221221776 3221217856 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6204 1111 63 0 7219 0
vsize: 29128
[startup+160.699 s]
Raw data (loadavg): 1.29 1.06 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7268 0 0 0 16043 24 0 0 25 0 1 0 758389918 29827072 6209 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6209 1111 63 0 7219 0
vsize: 29128
[startup+170.699 s]
Raw data (loadavg): 1.25 1.06 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7273 0 0 0 17043 24 0 0 25 0 1 0 758389918 29827072 6214 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6214 1111 63 0 7219 0
vsize: 29128
[startup+180.7 s]
Raw data (loadavg): 1.21 1.05 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7277 0 0 0 18043 24 0 0 25 0 1 0 758389918 29827072 6218 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6218 1111 63 0 7219 0
vsize: 29128
[startup+190.701 s]
Raw data (loadavg): 1.18 1.05 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7331 0 0 0 19043 24 0 0 25 0 1 0 758389918 30035968 6272 4294967295 134512640 134714508 3221221776 3221217760 1074881411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7333 6272 1111 63 0 7270 0
vsize: 29332
[startup+200.701 s]
Raw data (loadavg): 1.15 1.05 0.95 2/55 9766
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7337 0 0 0 20043 24 0 0 25 0 1 0 758389918 30035968 6278 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7333 6278 1111 63 0 7270 0
vsize: 29332
[startup+210.702 s]
Raw data (loadavg): 1.13 1.05 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7401 0 0 0 21043 24 0 0 25 0 1 0 758389918 30253056 6342 4294967295 134512640 134714508 3221221776 3221217760 1074881396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6342 1111 63 0 7323 0
vsize: 29544
[startup+220.703 s]
Raw data (loadavg): 1.11 1.05 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7409 0 0 0 22044 24 0 0 25 0 1 0 758389918 30253056 6350 4294967295 134512640 134714508 3221221776 3221217760 1074881382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6350 1111 63 0 7323 0
vsize: 29544
[startup+230.704 s]
Raw data (loadavg): 1.09 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7409 0 0 0 23044 24 0 0 25 0 1 0 758389918 30253056 6350 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6350 1111 63 0 7323 0
vsize: 29544
[startup+240.704 s]
Raw data (loadavg): 1.08 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7411 0 0 0 24044 24 0 0 25 0 1 0 758389918 30253056 6352 4294967295 134512640 134714508 3221221776 3221217628 1074788187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6352 1111 63 0 7323 0
vsize: 29544
[startup+250.703 s]
Raw data (loadavg): 1.06 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7412 0 0 0 25044 24 0 0 25 0 1 0 758389918 30253056 6353 4294967295 134512640 134714508 3221221776 3221217664 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6353 1111 63 0 7323 0
vsize: 29544
[startup+260.704 s]
Raw data (loadavg): 1.05 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7419 0 0 0 26044 24 0 0 25 0 1 0 758389918 30253056 6360 4294967295 134512640 134714508 3221221776 3221217552 1074868826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6360 1111 63 0 7323 0
vsize: 29544
[startup+270.704 s]
Raw data (loadavg): 1.04 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7419 0 0 0 27044 24 0 0 25 0 1 0 758389918 30253056 6360 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6360 1111 63 0 7323 0
vsize: 29544
[startup+280.705 s]
Raw data (loadavg): 1.04 1.04 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7438 0 0 0 28045 24 0 0 25 0 1 0 758389918 30253056 6379 4294967295 134512640 134714508 3221221776 3221217552 1074868789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6379 1111 63 0 7323 0
vsize: 29544
[startup+290.706 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7443 0 0 0 29045 24 0 0 25 0 1 0 758389918 30253056 6384 4294967295 134512640 134714508 3221221776 3221217968 1074960918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6384 1111 63 0 7323 0
vsize: 29544
[startup+300.706 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7485 0 0 0 30045 24 0 0 25 0 1 0 758389918 30253056 6426 4294967295 134512640 134714508 3221221776 3221217924 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6426 1111 63 0 7323 0
vsize: 29544
[startup+310.707 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7495 0 0 0 31045 24 0 0 25 0 1 0 758389918 30253056 6436 4294967295 134512640 134714508 3221221776 3221217580 1074788930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6436 1111 63 0 7323 0
vsize: 29544
[startup+320.707 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7495 0 0 0 32045 24 0 0 25 0 1 0 758389918 30253056 6436 4294967295 134512640 134714508 3221221776 3221217628 1074788187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6436 1111 63 0 7323 0
vsize: 29544
[startup+330.708 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7496 0 0 0 33046 24 0 0 25 0 1 0 758389918 30253056 6437 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6437 1111 63 0 7323 0
vsize: 29544
[startup+340.708 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7525 0 0 0 34046 25 0 0 25 0 1 0 758389918 30253056 6466 4294967295 134512640 134714508 3221221776 3221217572 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6466 1111 63 0 7323 0
vsize: 29544
[startup+350.708 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7585 0 0 0 35046 25 0 0 25 0 1 0 758389918 30482432 6526 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6526 1111 63 0 7379 0
vsize: 29768
[startup+360.709 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7600 0 0 0 36046 25 0 0 25 0 1 0 758389918 30482432 6541 4294967295 134512640 134714508 3221221776 3221217760 1074881559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6541 1111 63 0 7379 0
vsize: 29768
[startup+370.708 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7609 0 0 0 37046 25 0 0 25 0 1 0 758389918 30482432 6550 4294967295 134512640 134714508 3221221776 3221217572 1074786571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6550 1111 63 0 7379 0
vsize: 29768
[startup+380.709 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7623 0 0 0 38046 25 0 0 25 0 1 0 758389918 30482432 6564 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6564 1111 63 0 7379 0
vsize: 29768
[startup+390.71 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7623 0 0 0 39046 25 0 0 25 0 1 0 758389918 30482432 6564 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6564 1111 63 0 7379 0
vsize: 29768
[startup+400.709 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7624 0 0 0 40047 25 0 0 25 0 1 0 758389918 30482432 6565 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6565 1111 63 0 7379 0
vsize: 29768
[startup+410.71 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7679 0 0 0 41047 25 0 0 25 0 1 0 758389918 30724096 6620 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6620 1111 63 0 7438 0
vsize: 30004
[startup+420.71 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7680 0 0 0 42047 25 0 0 25 0 1 0 758389918 30724096 6621 4294967295 134512640 134714508 3221221776 3221217908 1075117518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6621 1111 63 0 7438 0
vsize: 30004
[startup+430.711 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7680 0 0 0 43047 25 0 0 25 0 1 0 758389918 30724096 6621 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6621 1111 63 0 7438 0
vsize: 30004
[startup+440.711 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9768
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 44047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217616 1074889464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+450.711 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 45047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217856 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+460.712 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 46047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217592 1074787081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+470.712 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 47047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217604 1074786571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+480.713 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 48047 26 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221218028 1076111476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+490.713 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 49047 26 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217760 1074881420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6623 1111 63 0 7438 0
vsize: 30004
[startup+500.713 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7683 0 0 0 50047 26 0 0 25 0 1 0 758389918 30724096 6624 4294967295 134512640 134714508 3221221776 3221217760 1074881396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6624 1111 63 0 7438 0
vsize: 30004
[startup+510.714 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7683 0 0 0 51048 26 0 0 25 0 1 0 758389918 30724096 6624 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7501 6624 1111 63 0 7438 0
vsize: 30004
[startup+520.714 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7737 0 0 0 52047 26 0 0 25 0 1 0 758389918 30973952 6678 4294967295 134512640 134714508 3221221776 3221218288 1074885332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6678 1111 63 0 7499 0
vsize: 30248
[startup+530.715 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7742 0 0 0 53048 26 0 0 25 0 1 0 758389918 30973952 6683 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6683 1111 63 0 7499 0
vsize: 30248
[startup+540.715 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7746 0 0 0 54048 26 0 0 25 0 1 0 758389918 30973952 6687 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6687 1111 63 0 7499 0
vsize: 30248
[startup+550.714 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7746 0 0 0 55048 26 0 0 25 0 1 0 758389918 30973952 6687 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6687 1111 63 0 7499 0
vsize: 30248
[startup+560.715 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7997 0 0 0 56047 27 0 0 25 0 1 0 758389918 32038912 6938 4294967295 134512640 134714508 3221221776 3221217552 1074868705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6938 1111 63 0 7759 0
vsize: 31288
[startup+570.716 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 57047 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217856 1075095124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+580.717 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 58048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221218032 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+590.718 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 59048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+600.718 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 60048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217968 1074960854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+610.718 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 61048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217632 1075965299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7822 6943 1111 63 0 7759 0
vsize: 31288
[startup+620.718 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8300 0 0 0 62047 28 0 0 25 0 1 0 758389918 33316864 7241 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7241 1111 63 0 8071 0
vsize: 32536
[startup+630.719 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8301 0 0 0 63048 28 0 0 25 0 1 0 758389918 33316864 7242 4294967295 134512640 134714508 3221221776 3221217924 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7242 1111 63 0 8071 0
vsize: 32536
[startup+640.719 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8306 0 0 0 64048 28 0 0 25 0 1 0 758389918 33316864 7247 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7247 1111 63 0 8071 0
vsize: 32536
[startup+650.719 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8309 0 0 0 65048 28 0 0 25 0 1 0 758389918 33316864 7250 4294967295 134512640 134714508 3221221776 3221218160 1075602961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7250 1111 63 0 8071 0
vsize: 32536
[startup+660.719 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8309 0 0 0 66048 28 0 0 25 0 1 0 758389918 33316864 7250 4294967295 134512640 134714508 3221221776 3221217656 1074789281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7250 1111 63 0 8071 0
vsize: 32536
[startup+670.72 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8591 0 0 0 67047 29 0 0 25 0 1 0 758389918 34852864 7532 4294967295 134512640 134714508 3221221776 3221218228 1075863638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7532 1111 63 0 8446 0
vsize: 34036
[startup+680.721 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 68047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217660 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+690.721 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 69047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221218352 1075967771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+700.722 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 70047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217664 1075965303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+710.722 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 71047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221218228 1075863641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+720.722 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 72048 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7628 1111 63 0 8446 0
vsize: 34036
[startup+730.723 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8733 0 0 0 73048 30 0 0 25 0 1 0 758389918 36691968 7674 4294967295 134512640 134714508 3221221776 3221218160 1075602815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8958 7674 1111 63 0 8895 0
vsize: 35832
[startup+740.723 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9128 0 0 0 74047 31 0 0 25 0 1 0 758389918 36691968 8069 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8958 8069 1111 63 0 8895 0
vsize: 35832
[startup+750.723 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9627 0 0 0 75046 32 0 0 25 0 1 0 758389918 38899712 8568 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8568 1111 63 0 9434 0
vsize: 37988
[startup+760.724 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 76046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221217560 1074787093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+770.724 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 77046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221218028 1076111473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+780.725 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 78046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221218288 1074888163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8604 1111 63 0 9434 0
vsize: 37988
[startup+790.725 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 79046 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+800.725 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 80047 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221217632 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+810.725 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 81047 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221218212 1074867059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8607 1111 63 0 9434 0
vsize: 37988
[startup+820.726 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10174 0 0 0 82046 33 0 0 25 0 1 0 758389918 41541632 9115 4294967295 134512640 134714508 3221221776 3221217580 1074788915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9115 1111 63 0 10079 0
vsize: 40568
[startup+830.726 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10231 0 0 0 83046 33 0 0 25 0 1 0 758389918 41541632 9172 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9172 1111 63 0 10079 0
vsize: 40568
[startup+840.726 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10266 0 0 0 84046 34 0 0 25 0 1 0 758389918 41541632 9207 4294967295 134512640 134714508 3221221776 3221217708 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9207 1111 63 0 10079 0
vsize: 40568
[startup+850.726 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10297 0 0 0 85046 34 0 0 25 0 1 0 758389918 41541632 9238 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9238 1111 63 0 10079 0
vsize: 40568
[startup+860.727 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10297 0 0 0 86046 34 0 0 25 0 1 0 758389918 41541632 9238 4294967295 134512640 134714508 3221221776 3221217924 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9238 1111 63 0 10079 0
vsize: 40568
[startup+870.728 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 87047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221218160 1075602716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+880.729 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 88047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221217592 1074787033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+890.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 89047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221217760 1074881428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9242 1111 63 0 10079 0
vsize: 40568
[startup+900.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10305 0 0 0 90047 34 0 0 25 0 1 0 758389918 41541632 9246 4294967295 134512640 134714508 3221221776 3221217924 1075115095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9246 1111 63 0 10079 0
vsize: 40568
[startup+910.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10307 0 0 0 91047 34 0 0 25 0 1 0 758389918 41541632 9248 4294967295 134512640 134714508 3221221776 3221217592 1074787087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9248 1111 63 0 10079 0
vsize: 40568
[startup+920.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10307 0 0 0 92048 34 0 0 25 0 1 0 758389918 41541632 9248 4294967295 134512640 134714508 3221221776 3221217560 1074787033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9248 1111 63 0 10079 0
vsize: 40568
[startup+930.731 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10314 0 0 0 93048 34 0 0 25 0 1 0 758389918 41541632 9255 4294967295 134512640 134714508 3221221776 3221217908 1075117394 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9255 1111 63 0 10079 0
vsize: 40568
[startup+940.732 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11022 0 0 0 94046 36 0 0 25 0 1 0 758389918 44720128 9963 4294967295 134512640 134714508 3221221776 3221217560 1074787081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 9963 1111 63 0 10855 0
vsize: 43672
[startup+950.732 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11774 0 0 0 95044 38 0 0 25 0 1 0 758389918 48537600 10715 4294967295 134512640 134714508 3221221776 3221217760 1074881420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10715 1111 63 0 11787 0
vsize: 47400
[startup+960.732 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 96044 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217968 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+970.733 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 97044 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217580 1074788937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+980.734 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 98045 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+990.733 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 99045 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217560 1074787084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10752 1111 63 0 11787 0
vsize: 47400
[startup+1000.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11820 0 0 0 100045 38 0 0 25 0 1 0 758389918 48537600 10761 4294967295 134512640 134714508 3221221776 3221218288 1074885975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10761 1111 63 0 11787 0
vsize: 47400
[startup+1010.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11820 0 0 0 101045 38 0 0 25 0 1 0 758389918 48537600 10761 4294967295 134512640 134714508 3221221776 3221218072 1075112600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10761 1111 63 0 11787 0
vsize: 47400
[startup+1020.73 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 102045 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217968 1074960847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10773 1111 63 0 11787 0
vsize: 47400
[startup+1030.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 103045 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217560 1074787042 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10773 1111 63 0 11787 0
vsize: 47400
[startup+1040.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 104046 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217968 1074960923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10773 1111 63 0 11787 0
vsize: 47400
[startup+1050.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11835 0 0 0 105046 38 0 0 25 0 1 0 758389918 48537600 10776 4294967295 134512640 134714508 3221221776 3221217908 1075117403 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10776 1111 63 0 11787 0
vsize: 47400
[startup+1060.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11835 0 0 0 106045 39 0 0 25 0 1 0 758389918 48537600 10776 4294967295 134512640 134714508 3221221776 3221218160 1075602869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10776 1111 63 0 11787 0
vsize: 47400
[startup+1070.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 107045 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217616 1074890365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1080.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 108046 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217592 1074787093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1090.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 109046 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217908 1075117370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11850 10844 1111 63 0 11787 0
vsize: 47400
[startup+1100.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12680 0 0 0 110044 41 0 0 25 0 1 0 758389918 53121024 11621 4294967295 134512640 134714508 3221221776 3221217528 1074789193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11621 1111 63 0 12906 0
vsize: 51876
[startup+1110.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12805 0 0 0 111044 41 0 0 25 0 1 0 758389918 53121024 11746 4294967295 134512640 134714508 3221221776 3221217568 1074786854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11746 1111 63 0 12906 0
vsize: 51876
[startup+1120.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12832 0 0 0 112044 41 0 0 25 0 1 0 758389918 53121024 11773 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11773 1111 63 0 12906 0
vsize: 51876
[startup+1130.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12862 0 0 0 113044 42 0 0 25 0 1 0 758389918 53121024 11803 4294967295 134512640 134714508 3221221776 3221217656 1074789193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11803 1111 63 0 12906 0
vsize: 51876
[startup+1140.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 114044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217560 1074787084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1150.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 115044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217560 1074787027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1160.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 116044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217656 1074789193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1170.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 117045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217568 1074786849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1180.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 118045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217628 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1190.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 119045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217592 1074787033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
[startup+1200.74 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 120045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12969 11861 1111 63 0 12906 0
vsize: 51876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.77 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9770
Raw data (stat): 9713 (bsolo_lpr_cuts) Z 9712 7876 7672 0 -1 1036 12920 0 0 0 120045 44 0 0 25 0 1 0 758389918 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.77
CPU time (s): 1200.91
CPU user time (s): 1200.46
CPU system time (s): 0.448931
CPU usage (%): 100.011
Max. virtual memory (Kb): 51876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####