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.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24953

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 06:38:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3260 boxname=wulflinc31 idbench=363 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-13.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-13.opb
IDLAUNCH: 3260
/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:        814844 kB
Buffers:         40808 kB
Cached:         156976 kB
SwapCached:       1932 kB
Active:         162280 kB
Inactive:        38712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814592 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13036 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 06:58:23 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 3260 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4632 variables and 31138 constraints.
c After prepocess the problem consists of 4632 variables and 31138 constraints.
c preprocess terminated 49.857 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.98 2/55 32287
Raw data (stat): 32287 (runsolver) R 32286 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 750352799 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 45590 0 0 0 877 118 0 0 25 0 1 0 750352799 52412416 11936 4294967295 134512640 134714508 3221221776 3221220156 134539341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12796 11936 1111 63 0 12733 0
vsize: 51184
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 72864 0 0 0 1809 186 0 0 25 0 1 0 750352799 70619136 16381 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16381 1111 63 0 17178 0
vsize: 68964
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 84667 0 0 0 2778 218 0 0 25 0 1 0 750352799 70619136 16381 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16381 1111 63 0 17178 0
vsize: 68964
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 101293 0 0 0 3738 258 0 0 25 0 1 0 750352799 70619136 16381 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16381 1111 63 0 17178 0
vsize: 68964
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107142 0 0 0 4723 273 0 0 25 0 1 0 750352799 70619136 16394 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16394 1111 63 0 17178 0
vsize: 68964
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 5721 276 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 6720 277 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221219396 134697484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+80.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 7719 278 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220352 134542751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 8718 279 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 9718 280 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220464 134536627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 10717 280 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220492 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 11717 281 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 12716 282 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220520 134551636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 13715 283 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 14714 284 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 15714 284 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 16713 285 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 17713 286 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 18712 287 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220012 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 19711 288 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 20711 289 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 21710 290 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 22709 290 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 23708 292 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220344 1077377291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 24707 293 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 25706 294 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 26706 295 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220272 134535388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 27705 296 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220404 134696214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 28704 296 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 29704 297 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 30703 298 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 31702 299 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220452 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 32701 300 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 33700 301 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 34699 303 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 35698 304 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 36697 305 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 37696 307 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134696100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 38695 308 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 39694 309 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 40693 310 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 41692 312 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220352 134549807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 42690 313 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 43689 315 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220432 134527014 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 44688 316 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 45686 318 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 46685 319 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 47684 320 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220400 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 48683 322 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 49681 324 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134542845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 50680 325 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 51679 326 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 52678 327 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 53677 329 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220504 1076647870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 54676 330 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 55675 331 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 56673 333 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 57672 335 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 58671 336 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 59670 337 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 60669 338 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220320 134543041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 61669 338 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220380 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 62668 339 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 63667 340 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 64666 341 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220400 134696252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 65666 342 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 66665 343 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220336 134696508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 67665 344 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220248 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 68663 345 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 69663 346 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 70662 346 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 71662 347 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 72660 349 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220380 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 73659 350 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 74659 351 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 75658 352 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220364 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 76657 353 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 77656 354 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 78655 355 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 79655 355 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 80654 357 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 81653 358 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 82653 358 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 83652 359 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 84651 360 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 85650 361 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 86648 363 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 87648 364 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 88647 365 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220404 1077374180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 89646 366 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 90645 367 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 91644 368 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 92643 369 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220528 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 93642 370 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 94642 371 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220332 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 95640 373 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 96639 374 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220372 134543706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 97638 375 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 98637 376 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220440 134524381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 99636 377 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220368 134549821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 100635 378 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 101634 380 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 102633 381 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1040.05 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 103632 382 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1050.05 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 104631 384 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220536 134543557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1060.05 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 105629 385 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1070.05 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 106628 386 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220404 134549856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1080.05 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 107628 387 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1090.05 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107145 0 0 0 108627 388 0 0 25 0 1 0 750352799 70619136 16397 4294967295 134512640 134714508 3221221776 3221220408 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17241 16397 1111 63 0 17178 0
vsize: 68964
[startup+1100.05 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107170 0 0 0 109626 390 0 0 25 0 1 0 750352799 70754304 16422 4294967295 134512640 134714508 3221221776 3221220412 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17274 16422 1111 63 0 17211 0
vsize: 69096
[startup+1110.05 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107171 0 0 0 110624 391 0 0 25 0 1 0 750352799 70754304 16423 4294967295 134512640 134714508 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17274 16423 1111 63 0 17211 0
vsize: 69096
[startup+1120.05 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107187 0 0 0 111623 392 0 0 25 0 1 0 750352799 70889472 16439 4294967295 134512640 134714508 3221221776 3221220480 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17307 16439 1111 63 0 17244 0
vsize: 69228
[startup+1130.05 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107210 0 0 0 112623 393 0 0 25 0 1 0 750352799 70938624 16462 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17319 16462 1111 63 0 17256 0
vsize: 69276
[startup+1140.05 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107210 0 0 0 113622 394 0 0 25 0 1 0 750352799 70938624 16462 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17319 16462 1111 63 0 17256 0
vsize: 69276
[startup+1150.05 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107210 0 0 0 114621 395 0 0 25 0 1 0 750352799 70938624 16462 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17319 16462 1111 63 0 17256 0
vsize: 69276
[startup+1160.05 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107227 0 0 0 115620 396 0 0 25 0 1 0 750352799 71073792 16479 4294967295 134512640 134714508 3221221776 3221220416 134539446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17352 16479 1111 63 0 17289 0
vsize: 69408
[startup+1170.05 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107289 0 0 0 116620 397 0 0 25 0 1 0 750352799 71241728 16541 4294967295 134512640 134714508 3221221776 3221220480 134584836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17393 16541 1111 63 0 17330 0
vsize: 69572
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.98 1/54 32287
Raw data (stat): 32287 (bsolo_lpr_cuts) R 32286 7876 7672 0 -1 0 107289 0 0 0 116620 397 0 0 25 0 1 0 750352799 71241728 16541 4294967295 134512640 134714508 3221221776 3221220480 134584836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17393 16541 1111 63 0 17330 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1171.05
CPU system time (s): 4.01039
CPU usage (%): 100.011
Max. virtual memory (Kb): 69572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####