PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 24433

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 09:57:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2324 boxname=wulflinc31 idbench=259 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb
IDLAUNCH: 2324
/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:        295048 kB
Buffers:         46424 kB
Cached:         658976 kB
SwapCached:        644 kB
Active:         308816 kB
Inactive:       398952 kB
HighTotal:      131008 kB
HighFree:        31584 kB
LowTotal:       903652 kB
LowFree:        263464 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26044 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 10:17:24 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 2324 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1344 variables and 16376 constraints.
c After prepocess the problem consists of 1344 variables and 15618 constraints.
c preprocess terminated 54.847 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 168.626
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 188 @ 487.781
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 1.08 2/54 9439
Raw data (stat): 9439 (runsolver) R 9438 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708339426 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.0004 s]
Raw data (loadavg): 0.93 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 5813 0 0 0 977 19 0 0 25 0 1 0 708339426 24379392 5096 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5096 1111 63 0 5889 0
vsize: 23808
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 6723 0 0 0 1974 22 0 0 25 0 1 0 708339426 26226688 5568 4294967295 134512640 134714508 3221221776 3221220400 134529225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6403 5568 1111 63 0 6340 0
vsize: 25612
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7167 0 0 0 2973 23 0 0 25 0 1 0 708339426 27770880 5913 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6780 5913 1111 63 0 6717 0
vsize: 27120
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7600 0 0 0 3971 25 0 0 25 0 1 0 708339426 28606464 6145 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6984 6145 1111 63 0 6921 0
vsize: 27936
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7600 0 0 0 4971 25 0 0 25 0 1 0 708339426 28606464 6145 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6984 6145 1111 63 0 6921 0
vsize: 27936
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7728 0 0 0 5970 27 0 0 25 0 1 0 708339426 29130752 6273 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7112 6273 1111 63 0 7049 0
vsize: 28448
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 1.08 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7809 0 0 0 6969 28 0 0 25 0 1 0 708339426 29351936 6354 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7166 6354 1111 63 0 7103 0
vsize: 28664
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7926 0 0 0 7968 29 0 0 25 0 1 0 708339426 29704192 6441 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7252 6441 1111 63 0 7189 0
vsize: 29008
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8020 0 0 0 8967 30 0 0 25 0 1 0 708339426 30105600 6535 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7350 6535 1111 63 0 7287 0
vsize: 29400
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8053 0 0 0 9966 31 0 0 25 0 1 0 708339426 30240768 6568 4294967295 134512640 134714508 3221221776 3221219888 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7383 6568 1111 63 0 7320 0
vsize: 29532
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8152 0 0 0 10965 32 0 0 25 0 1 0 708339426 30547968 6647 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7458 6647 1111 63 0 7395 0
vsize: 29832
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8182 0 0 0 11965 33 0 0 25 0 1 0 708339426 30670848 6677 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7488 6677 1111 63 0 7425 0
vsize: 29952
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8209 0 0 0 12965 33 0 0 25 0 1 0 708339426 30781440 6704 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6704 1111 63 0 7452 0
vsize: 30060
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8235 0 0 0 13965 33 0 0 25 0 1 0 708339426 30887936 6730 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7541 6730 1111 63 0 7478 0
vsize: 30164
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12514 0 0 0 14956 42 0 0 25 0 1 0 708339426 44474368 9334 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10858 9334 1111 63 0 10795 0
vsize: 43432
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12790 0 0 0 15956 43 0 0 25 0 1 0 708339426 43134976 9153 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9153 1111 63 0 10468 0
vsize: 42124
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 1.07 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12901 0 0 0 16955 43 0 0 25 0 1 0 708339426 43593728 9264 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10643 9264 1111 63 0 10580 0
vsize: 42572
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13034 0 0 0 17955 44 0 0 25 0 1 0 708339426 44105728 9397 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9397 1111 63 0 10705 0
vsize: 43072
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13076 0 0 0 18955 44 0 0 25 0 1 0 708339426 44380160 9439 4294967295 134512640 134714508 3221221776 3221217904 1074815299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10835 9439 1111 63 0 10772 0
vsize: 43340
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13106 0 0 0 19955 44 0 0 25 0 1 0 708339426 44380160 9469 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10835 9469 1111 63 0 10772 0
vsize: 43340
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13184 0 0 0 20955 44 0 0 25 0 1 0 708339426 44974080 9547 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9547 1111 63 0 10917 0
vsize: 43920
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13224 0 0 0 21955 44 0 0 25 0 1 0 708339426 44974080 9587 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9587 1111 63 0 10917 0
vsize: 43920
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13225 0 0 0 22955 44 0 0 25 0 1 0 708339426 44974080 9588 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9588 1111 63 0 10917 0
vsize: 43920
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13270 0 0 0 23956 44 0 0 25 0 1 0 708339426 45285376 9633 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9633 1111 63 0 10993 0
vsize: 44224
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 24956 44 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9635 1111 63 0 10993 0
vsize: 44224
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 25956 44 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217572 1074786567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9635 1111 63 0 10993 0
vsize: 44224
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 1.06 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 26956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217656 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9635 1111 63 0 10993 0
vsize: 44224
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 27956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217740 1074873456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9635 1111 63 0 10993 0
vsize: 44224
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 28956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221218072 1075112546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11056 9635 1111 63 0 10993 0
vsize: 44224
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13305 0 0 0 29956 45 0 0 25 0 1 0 708339426 45625344 9668 4294967295 134512640 134714508 3221221776 3221217688 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9668 1111 63 0 11076 0
vsize: 44556
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13327 0 0 0 30957 45 0 0 25 0 1 0 708339426 45625344 9686 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9686 1111 63 0 11076 0
vsize: 44556
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 31957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221218768 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9690 1111 63 0 11076 0
vsize: 44556
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 32957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9690 1111 63 0 11076 0
vsize: 44556
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 33957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221217872 1074882630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9690 1111 63 0 11076 0
vsize: 44556
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 19017 0 0 0 34942 60 0 0 25 0 1 0 708339426 33898496 7542 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8276 7542 1111 63 0 8213 0
vsize: 33104
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 21137 0 0 0 35935 68 0 0 25 0 1 0 708339426 33898496 7542 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8276 7542 1111 63 0 8213 0
vsize: 33104
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 1.05 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 26458 0 0 0 36923 80 0 0 25 0 1 0 708339426 46100480 9359 4294967295 134512640 134714508 3221221776 3221217664 1074872888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11255 9359 1111 63 0 11192 0
vsize: 45020
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 32195 0 0 0 37906 97 0 0 25 0 1 0 708339426 34332672 7651 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7651 1111 63 0 8319 0
vsize: 33528
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34299 0 0 0 38897 106 0 0 25 0 1 0 708339426 34332672 7651 4294967295 134512640 134714508 3221221776 3221219848 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7651 1111 63 0 8319 0
vsize: 33528
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34725 0 0 0 39895 108 0 0 25 0 1 0 708339426 34332672 7653 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7653 1111 63 0 8319 0
vsize: 33528
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34726 0 0 0 40894 109 0 0 25 0 1 0 708339426 34332672 7654 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7654 1111 63 0 8319 0
vsize: 33528
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34736 0 0 0 41894 109 0 0 25 0 1 0 708339426 34332672 7664 4294967295 134512640 134714508 3221221776 3221220416 134539446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7664 1111 63 0 8319 0
vsize: 33528
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34770 0 0 0 42894 109 0 0 25 0 1 0 708339426 34463744 7698 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8414 7698 1111 63 0 8351 0
vsize: 33656
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34822 0 0 0 43894 109 0 0 25 0 1 0 708339426 34734080 7750 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7750 1111 63 0 8417 0
vsize: 33920
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34873 0 0 0 44894 110 0 0 25 0 1 0 708339426 35000320 7801 4294967295 134512640 134714508 3221221776 3221220308 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8545 7801 1111 63 0 8482 0
vsize: 34180
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34947 0 0 0 45893 111 0 0 25 0 1 0 708339426 35266560 7875 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8610 7875 1111 63 0 8547 0
vsize: 34440
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 35026 0 0 0 46893 111 0 0 25 0 1 0 708339426 35536896 7954 4294967295 134512640 134714508 3221221776 3221220380 134536831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8676 7954 1111 63 0 8613 0
vsize: 34704
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 1.04 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 35094 0 0 0 47894 111 0 0 25 0 1 0 708339426 35807232 8022 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8742 8022 1111 63 0 8679 0
vsize: 34968
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 38006 0 0 0 48885 119 0 0 25 0 1 0 708339426 39215104 7631 4294967295 134512640 134714508 3221221776 3221218320 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9574 7631 1111 63 0 9511 0
vsize: 38296
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 40456 0 0 0 49879 126 0 0 25 0 1 0 708339426 40804352 8063 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9962 8063 1111 63 0 9899 0
vsize: 39848
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 42779 0 0 0 50873 131 0 0 25 0 1 0 708339426 44265472 8872 4294967295 134512640 134714508 3221221776 3221217928 1074883029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10807 8872 1111 63 0 10744 0
vsize: 43228
[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 44049 0 0 0 51870 135 0 0 25 0 1 0 708339426 35700736 7879 4294967295 134512640 134714508 3221221776 3221217904 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8716 7879 1111 63 0 8653 0
vsize: 34864
[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 45549 0 0 0 52866 139 0 0 25 0 1 0 708339426 45658112 8094 4294967295 134512640 134714508 3221221776 3221218004 1075115123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11147 8094 1111 63 0 11084 0
vsize: 44588
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 46690 0 0 0 53864 142 0 0 25 0 1 0 708339426 42147840 8391 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10290 8391 1111 63 0 10227 0
vsize: 41160
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 47414 0 0 0 54862 144 0 0 25 0 1 0 708339426 33804288 7504 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8253 7504 1111 63 0 8190 0
vsize: 33012
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 49462 0 0 0 55857 148 0 0 25 0 1 0 708339426 33636352 7543 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7543 1111 63 0 8149 0
vsize: 32848
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 51586 0 0 0 56853 153 0 0 25 0 1 0 708339426 42405888 8477 4294967295 134512640 134714508 3221221776 3221217876 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10353 8477 1111 63 0 10290 0
vsize: 41412
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 1.03 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 51588 0 0 0 57853 153 0 0 25 0 1 0 708339426 42405888 8478 4294967295 134512640 134714508 3221221776 3221217660 1074788915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10353 8478 1111 63 0 10290 0
vsize: 41412
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 53069 0 0 0 58850 156 0 0 25 0 1 0 708339426 34217984 7632 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8354 7632 1111 63 0 8291 0
vsize: 33416
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 54873 0 0 0 59846 160 0 0 25 0 1 0 708339426 34082816 7652 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8321 7652 1111 63 0 8258 0
vsize: 33284
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57008 0 0 0 60841 166 0 0 25 0 1 0 708339426 42651648 8525 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10413 8525 1111 63 0 10350 0
vsize: 41652
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57022 0 0 0 61841 166 0 0 25 0 1 0 708339426 42651648 8538 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10413 8538 1111 63 0 10350 0
vsize: 41652
[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57022 0 0 0 62841 166 0 0 25 0 1 0 708339426 42651648 8538 4294967295 134512640 134714508 3221221776 3221217684 1074786562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10413 8538 1111 63 0 10350 0
vsize: 41652
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 59060 0 0 0 63835 172 0 0 25 0 1 0 708339426 46030848 8178 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11238 8178 1111 63 0 11175 0
vsize: 44952
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 60208 0 0 0 64833 174 0 0 25 0 1 0 708339426 42520576 8485 4294967295 134512640 134714508 3221221776 3221218352 1076048143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10381 8485 1111 63 0 10318 0
vsize: 41524
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 61086 0 0 0 65830 177 0 0 25 0 1 0 708339426 33046528 7387 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7387 1111 63 0 8005 0
vsize: 32272
[startup+670.034 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 63353 0 0 0 66825 183 0 0 25 0 1 0 708339426 42315776 8435 4294967295 134512640 134714508 3221221776 3221217820 1074873483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10331 8435 1111 63 0 10268 0
vsize: 41324
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 1.02 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 64074 0 0 0 67822 186 0 0 25 0 1 0 708339426 34103296 7569 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8326 7569 1111 63 0 8263 0
vsize: 33304
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 65306 0 0 0 68819 189 0 0 25 0 1 0 708339426 37683200 8211 4294967295 134512640 134714508 3221221776 3221217696 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9200 8211 1111 63 0 9137 0
vsize: 36800
[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 65984 0 0 0 69817 191 0 0 25 0 1 0 708339426 34041856 7639 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8311 7639 1111 63 0 8248 0
vsize: 33244
[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68003 0 0 0 70812 196 0 0 25 0 1 0 708339426 42536960 8504 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10385 8504 1111 63 0 10322 0
vsize: 41540
[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68005 0 0 0 71812 196 0 0 25 0 1 0 708339426 42536960 8505 4294967295 134512640 134714508 3221221776 3221217984 1074815241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10385 8505 1111 63 0 10322 0
vsize: 41540
[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68711 0 0 0 72811 198 0 0 25 0 1 0 708339426 33452032 7499 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7499 1111 63 0 8104 0
vsize: 32668
[startup+740.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 70933 0 0 0 73805 204 0 0 25 0 1 0 708339426 42504192 8479 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10377 8479 1111 63 0 10314 0
vsize: 41508
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 70939 0 0 0 74805 204 0 0 25 0 1 0 708339426 42504192 8484 4294967295 134512640 134714508 3221221776 3221218160 1076117217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10377 8484 1111 63 0 10314 0
vsize: 41508
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 71645 0 0 0 75803 206 0 0 25 0 1 0 708339426 34242560 7602 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8360 7602 1111 63 0 8297 0
vsize: 33440
[startup+770.036 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 73045 0 0 0 76800 209 0 0 25 0 1 0 708339426 38338560 8360 4294967295 134512640 134714508 3221221776 3221218496 1076083606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9360 8360 1111 63 0 9297 0
vsize: 37440
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 75670 0 0 0 77793 216 0 0 25 0 1 0 708339426 42561536 8498 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 8498 1111 63 0 10328 0
vsize: 41564
[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 75681 0 0 0 78793 216 0 0 25 0 1 0 708339426 42561536 8508 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 8508 1111 63 0 10328 0
vsize: 41564
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 76333 0 0 0 79792 218 0 0 25 0 1 0 708339426 34357248 7688 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8388 7688 1111 63 0 8325 0
vsize: 33552
[startup+810.037 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 77653 0 0 0 80789 221 0 0 25 0 1 0 708339426 38359040 8321 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9365 8321 1111 63 0 9302 0
vsize: 37460
[startup+820.038 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 78307 0 0 0 81787 223 0 0 25 0 1 0 708339426 34287616 7702 4294967295 134512640 134714508 3221221776 3221219860 1077378716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8371 7702 1111 63 0 8308 0
vsize: 33484
[startup+830.039 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80328 0 0 0 82783 227 0 0 25 0 1 0 708339426 42721280 8563 4294967295 134512640 134714508 3221221776 3221218048 1074961155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10430 8563 1111 63 0 10367 0
vsize: 41720
[startup+840.038 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80329 0 0 0 83783 227 0 0 25 0 1 0 708339426 42721280 8564 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10430 8564 1111 63 0 10367 0
vsize: 41720
[startup+850.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80915 0 0 0 84782 228 0 0 25 0 1 0 708339426 34263040 7697 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7697 1111 63 0 8302 0
vsize: 33460
[startup+860.039 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 82755 0 0 0 85778 233 0 0 25 0 1 0 708339426 42467328 8508 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10368 8508 1111 63 0 10305 0
vsize: 41472
[startup+870.039 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 82758 0 0 0 86778 233 0 0 25 0 1 0 708339426 42467328 8510 4294967295 134512640 134714508 3221221776 3221217712 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10368 8510 1111 63 0 10305 0
vsize: 41472
[startup+880.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 85019 0 0 0 87772 239 0 0 25 0 1 0 708339426 45969408 9330 4294967295 134512640 134714508 3221221776 3221217876 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11223 9330 1111 63 0 11160 0
vsize: 44892
[startup+890.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 85039 0 0 0 88772 239 0 0 25 0 1 0 708339426 42459136 8508 4294967295 134512640 134714508 3221221776 3221217936 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10366 8508 1111 63 0 10303 0
vsize: 41464
[startup+900.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87286 0 0 0 89767 244 0 0 25 0 1 0 708339426 45989888 9317 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11228 9317 1111 63 0 11165 0
vsize: 44912
[startup+910.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87307 0 0 0 90767 245 0 0 25 0 1 0 708339426 42479616 8497 4294967295 134512640 134714508 3221221776 3221218172 1075114064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10371 8497 1111 63 0 10308 0
vsize: 41484
[startup+920.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87746 0 0 0 91766 246 0 0 25 0 1 0 708339426 34263040 7697 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7697 1111 63 0 8302 0
vsize: 33460
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 89478 0 0 0 92762 250 0 0 25 0 1 0 708339426 42393600 8481 4294967295 134512640 134714508 3221221776 3221217712 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10350 8481 1111 63 0 10287 0
vsize: 41400
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 90204 0 0 0 93760 253 0 0 25 0 1 0 708339426 35008512 7847 4294967295 134512640 134714508 3221221776 3221220272 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7847 1111 63 0 8484 0
vsize: 34188
[startup+950.042 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 91947 0 0 0 94756 257 0 0 25 0 1 0 708339426 42246144 8467 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10314 8467 1111 63 0 10251 0
vsize: 41256
[startup+960.042 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 92662 0 0 0 95754 259 0 0 25 0 1 0 708339426 34820096 7833 4294967295 134512640 134714508 3221221776 3221220256 1074031958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8501 7833 1111 63 0 8438 0
vsize: 34004
[startup+970.042 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 94319 0 0 0 96750 263 0 0 25 0 1 0 708339426 41938944 8400 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10239 8400 1111 63 0 10176 0
vsize: 40956
[startup+980.043 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 94856 0 0 0 97749 264 0 0 25 0 1 0 708339426 34754560 7817 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8485 7817 1111 63 0 8422 0
vsize: 33940
[startup+990.043 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 96393 0 0 0 98746 268 0 0 25 0 1 0 708339426 41635840 8291 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10165 8291 1111 63 0 10102 0
vsize: 40660
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 97107 0 0 0 99744 269 0 0 25 0 1 0 708339426 45531136 8107 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11116 8107 1111 63 0 11053 0
vsize: 44464
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 98794 0 0 0 100741 273 0 0 25 0 1 0 708339426 34750464 7816 4294967295 134512640 134714508 3221221776 3221219988 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8484 7816 1111 63 0 8421 0
vsize: 33936
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 100475 0 0 0 101737 277 0 0 25 0 1 0 708339426 42041344 8422 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10264 8422 1111 63 0 10201 0
vsize: 41056
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 101024 0 0 0 102735 278 0 0 25 0 1 0 708339426 34750464 7816 4294967295 134512640 134714508 3221221776 3221220272 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8484 7816 1111 63 0 8421 0
vsize: 33936
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 102823 0 0 0 103732 283 0 0 25 0 1 0 708339426 42139648 8470 4294967295 134512640 134714508 3221221776 3221217888 1075895670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10288 8470 1111 63 0 10225 0
vsize: 41152
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 103494 0 0 0 104730 284 0 0 25 0 1 0 708339426 34947072 7857 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8532 7857 1111 63 0 8469 0
vsize: 34128
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 107647 0 0 0 105721 294 0 0 25 0 1 0 708339426 45748224 9279 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11169 9279 1111 63 0 11106 0
vsize: 44676
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 107666 0 0 0 106720 294 0 0 25 0 1 0 708339426 42237952 8453 4294967295 134512640 134714508 3221221776 3221217712 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10312 8453 1111 63 0 10249 0
vsize: 41248
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 109178 0 0 0 107717 298 0 0 25 0 1 0 708339426 37990400 8213 4294967295 134512640 134714508 3221221776 3221217692 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9275 8213 1111 63 0 9212 0
vsize: 37100
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 111067 0 0 0 108713 302 0 0 25 0 1 0 708339426 41390080 8244 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10105 8244 1111 63 0 10042 0
vsize: 40420
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 112094 0 0 0 109710 305 0 0 25 0 1 0 708339426 34213888 7685 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8353 7685 1111 63 0 8290 0
vsize: 33412
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 113679 0 0 0 110707 309 0 0 25 0 1 0 708339426 41791488 8370 4294967295 134512640 134714508 3221221776 3221217936 1074883521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10203 8370 1111 63 0 10140 0
vsize: 40812
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 115021 0 0 0 111704 311 0 0 25 0 1 0 708339426 37933056 8160 4294967295 134512640 134714508 3221221776 3221217888 1075093369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8160 1111 63 0 9198 0
vsize: 37044
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 116211 0 0 0 112701 315 0 0 25 0 1 0 708339426 46190592 8174 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11277 8174 1111 63 0 11214 0
vsize: 45108
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 117442 0 0 0 113698 318 0 0 25 0 1 0 708339426 42680320 8559 4294967295 134512640 134714508 3221221776 3221217928 1074883029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10420 8559 1111 63 0 10357 0
vsize: 41680
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 118381 0 0 0 114696 320 0 0 25 0 1 0 708339426 35037184 7871 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8554 7871 1111 63 0 8491 0
vsize: 34216
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 120285 0 0 0 115692 325 0 0 25 0 1 0 708339426 42721280 8558 4294967295 134512640 134714508 3221221776 3221217768 1075964778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10430 8558 1111 63 0 10367 0
vsize: 41720
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 121074 0 0 0 116690 326 0 0 25 0 1 0 708339426 35201024 7921 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8594 7921 1111 63 0 8531 0
vsize: 34376
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 125636 0 0 0 117679 338 0 0 25 0 1 0 708339426 45948928 8185 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 8185 1111 63 0 11155 0
vsize: 44872
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 126822 0 0 0 118676 341 0 0 25 0 1 0 708339426 42438656 8519 4294967295 134512640 134714508 3221221776 3221217712 1075965303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10361 8519 1111 63 0 10298 0
vsize: 41444
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 128456 0 0 0 119671 346 0 0 25 0 1 0 708339426 38334464 8274 4294967295 134512640 134714508 3221221776 3221217936 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9359 8274 1111 63 0 9296 0
vsize: 37436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 1.00 1/54 9439
Raw data (stat): 9439 (bsolo_lpr_cuts) Z 9438 7876 7672 0 -1 1036 128456 0 0 0 119671 347 0 0 25 0 1 0 708339426 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.19
CPU user time (s): 1196.72
CPU system time (s): 3.47847
CPU usage (%): 100.011
Max. virtual memory (Kb): 45108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####