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/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
MD5SUM	16020fb7e9a574406a9b7b25cd98594c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.20806
Number of variables	11476
Total number of constraints	33090
Number of constraints which are clauses	32382
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	708
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 24683

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 19:18:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2774 boxname=wulflinc31 idbench=309 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  16020fb7e9a574406a9b7b25cd98594c  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.rf9.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.rf9.ucl.opb
IDLAUNCH: 2774
/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:        913652 kB
Buffers:         15032 kB
Cached:          85512 kB
SwapCached:       1116 kB
Active:          66440 kB
Inactive:        36476 kB
HighTotal:      131008 kB
HighFree:        44660 kB
LowTotal:       903652 kB
LowFree:        868992 kB
SwapTotal:     2097892 kB
SwapFree:      2096056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            12416 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 19:38:47 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 2774 7 1200.42 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 11476 variables and 33090 constraints.
#### 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.96 0.99 0.94 2/55 1740
Raw data (stat): 1740 (runsolver) R 1739 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 720349027 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.0012 s]
Raw data (loadavg): 0.97 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 56222 0 0 0 859 137 0 0 25 0 1 0 720349027 233541632 56118 4294967295 134512640 134714508 3221221776 3221220256 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57017 56118 1111 63 0 56954 0
vsize: 228068
[startup+20.0023 s]
Raw data (loadavg): 0.97 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 76755 0 0 0 1812 183 0 0 25 0 1 0 720349027 317624320 76646 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77545 76646 1111 63 0 77482 0
vsize: 310180
[startup+30.0031 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 132728 0 0 0 2686 310 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+40.0034 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 132728 0 0 0 3686 310 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+50.0038 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 132728 0 0 0 4685 311 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220240 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+60.0038 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 132728 0 0 0 5685 311 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+70.0046 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 6678 319 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+80.0056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 7677 319 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+90.0055 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 8677 320 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+100.006 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 9677 320 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 10676 321 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134523179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 11676 321 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 12676 322 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 13676 322 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 14675 323 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 15675 323 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220400 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 16675 324 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 17675 324 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+190.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 18675 324 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+200.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 19675 325 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+210.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 20674 325 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220508 134672896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+220.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 21674 325 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+230.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 22674 326 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+240.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 23674 326 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+250.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 24674 326 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220272 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+260.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 25673 327 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 26673 327 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220328 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+280.012 s]
Raw data (loadavg): 1.07 1.01 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 27673 327 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+290.012 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 28673 328 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+300.012 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 29673 328 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+310.012 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 30672 329 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+320.012 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 31672 329 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+330.013 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 32672 329 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220512 134630810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+340.013 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 33672 330 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+350.013 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 34671 330 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+360.014 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 35671 331 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220264 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+370.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 36671 331 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+380.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 37671 332 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+390.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 38671 332 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+400.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 39670 332 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220556 134630764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+410.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 40670 333 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 41670 334 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 42669 334 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 43669 335 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 44669 335 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220328 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 45668 335 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 46668 336 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220148 134539339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 47668 336 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 48668 337 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 49667 337 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 50667 338 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 51666 339 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 52666 339 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 53666 339 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220168 1077378307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 54665 340 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 55665 341 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 56665 341 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 57665 341 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 58664 342 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 59664 342 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 60663 343 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 61664 343 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220260 134539580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 62663 344 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 63663 344 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 64663 345 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220168 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 65662 345 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 66662 346 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 67662 346 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 68661 347 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 69661 347 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 70661 348 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 71660 348 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 72660 349 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 73660 349 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220140 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 74659 350 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134528481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 75659 350 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+770.025 s]
Raw data (loadavg): 1.16 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 76658 351 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220280 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+780.025 s]
Raw data (loadavg): 1.13 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 77658 352 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+790.026 s]
Raw data (loadavg): 1.11 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 78657 352 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220284 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+800.026 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 79657 352 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+810.026 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 80657 353 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+820.027 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 81657 353 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+830.027 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 82656 354 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+840.027 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 83656 354 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+850.026 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 84656 355 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220264 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+860.027 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 85655 355 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220516 134630827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+870.027 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 86655 356 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+880.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 87655 356 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+890.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 88655 357 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220392 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+900.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 89654 357 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+910.028 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 90654 358 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220184 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+920.028 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 91654 358 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220168 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+930.028 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 92654 358 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+940.028 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 93654 358 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220236 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+950.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 94653 359 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220108 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+960.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 95653 360 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+970.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 96653 360 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+980.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 97652 360 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+990.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 98652 361 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220328 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 99652 361 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 100652 362 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 101651 362 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 102651 363 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 103650 363 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 104650 364 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220296 134542961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 105649 365 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1070.03 s]
Raw data (loadavg): 1.24 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 106649 365 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1080.03 s]
Raw data (loadavg): 1.28 1.07 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 107649 366 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1090.03 s]
Raw data (loadavg): 1.23 1.06 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 108648 366 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220304 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1100.03 s]
Raw data (loadavg): 1.20 1.06 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 109648 367 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1110.03 s]
Raw data (loadavg): 1.17 1.06 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 110648 367 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1120.03 s]
Raw data (loadavg): 1.14 1.06 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 111647 368 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1130.03 s]
Raw data (loadavg): 1.12 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 112646 369 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1140.03 s]
Raw data (loadavg): 1.10 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 113646 369 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1150.03 s]
Raw data (loadavg): 1.08 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 114645 370 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1160.03 s]
Raw data (loadavg): 1.07 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 115645 371 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1170.03 s]
Raw data (loadavg): 1.06 1.05 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 116645 371 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1180.03 s]
Raw data (loadavg): 1.05 1.04 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 117644 372 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1190.03 s]
Raw data (loadavg): 1.04 1.04 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 118644 372 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
[startup+1200.03 s]
Raw data (loadavg): 1.04 1.04 0.97 2/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) R 1739 7876 7672 0 -1 0 135521 0 0 0 119644 373 0 0 25 0 1 0 720349027 546881536 132617 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133516 132617 1111 63 0 133453 0
vsize: 534064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.04 1.04 0.97 1/55 1740
Raw data (stat): 1740 (bsolo_lpr_cuts) Z 1739 7876 7672 0 -1 1036 135521 0 0 0 119644 397 0 0 25 0 1 0 720349027 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.28
CPU time (s): 1200.42
CPU user time (s): 1196.44
CPU system time (s): 3.9754
CPU usage (%): 100.012
Max. virtual memory (Kb): 534064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####