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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	28123830d5f7e3646d18978bb347487c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.085986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 27142

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 19:33:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18280 boxname=wulflinc13 idbench=1407 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  28123830d5f7e3646d18978bb347487c  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 18280
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        907256 kB
Buffers:          1788 kB
Cached:         105184 kB
SwapCached:        604 kB
Active:          22548 kB
Inactive:        87036 kB
HighTotal:      131008 kB
HighFree:        21812 kB
LowTotal:       903652 kB
LowFree:        885444 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6148 kB
Slab:            12120 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:53:08 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 18280 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9535 variables and 368 constraints.
c After prepocess the problem consists of 7884 variables and 795 constraints.
c preprocess terminated 48.049 s
c Initial Lower Bound: 228101491
c Lower Bound Elapsed time: 3.1625
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.94 0.90 1/54 4484
Raw data (stat): 4484 (runsolver) R 4483 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774575386 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 7001 0 0 0 983 13 0 0 25 0 1 0 774575386 41795584 6925 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10204 6925 1111 63 0 10141 0
vsize: 40816
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 9868 0 0 0 1977 19 0 0 25 0 1 0 774575386 42635264 9513 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 9513 1111 63 0 10346 0
vsize: 41636
[startup+30.001 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 9869 0 0 0 2977 19 0 0 25 0 1 0 774575386 42635264 9514 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 9514 1111 63 0 10346 0
vsize: 41636
[startup+40.0014 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 9871 0 0 0 3977 19 0 0 25 0 1 0 774575386 42635264 9516 4294967295 134512640 134714508 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 9516 1111 63 0 10346 0
vsize: 41636
[startup+50.0011 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 11262 0 0 0 4974 22 0 0 25 0 1 0 774575386 47439872 10682 4294967295 134512640 134714508 3221224576 3221220492 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11582 10682 1111 63 0 11519 0
vsize: 46328
[startup+60.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 19497 0 0 0 5955 41 0 0 25 0 1 0 774575386 51150848 11714 4294967295 134512640 134714508 3221224576 3221222800 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12488 11714 1111 63 0 12425 0
vsize: 49952
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 27993 0 0 0 6937 59 0 0 25 0 1 0 774575386 53526528 12302 4294967295 134512640 134714508 3221224576 3221222384 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13068 12302 1111 63 0 13005 0
vsize: 52272
[startup+80.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35206 0 0 0 7919 76 0 0 25 0 1 0 774575386 55410688 12763 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13528 12763 1111 63 0 13465 0
vsize: 54112
[startup+90.0021 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35210 0 0 0 8918 77 0 0 25 0 1 0 774575386 55410688 12767 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13528 12767 1111 63 0 13465 0
vsize: 54112
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35213 0 0 0 9918 77 0 0 25 0 1 0 774575386 55410688 12770 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12770 1111 63 0 13465 0
vsize: 54112
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 10917 78 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 11916 79 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 12916 80 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 13915 81 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 14915 81 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 15913 83 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 16913 83 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 17913 84 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 18912 84 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 19912 85 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 20911 86 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 21910 87 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 22910 88 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 23909 89 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 24909 89 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 25908 90 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 26908 91 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 27907 92 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 28907 92 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 29906 93 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 30905 94 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 31904 95 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 32903 96 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 33902 97 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223316 134591993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 34901 98 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223356 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 35901 99 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 36900 100 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 37900 101 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 38899 101 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 39899 102 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 40898 103 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223344 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 41897 104 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 42896 105 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 43895 106 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 44894 107 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 45894 108 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 46894 108 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 47893 109 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 48892 110 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 49891 111 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 50890 112 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 51890 113 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 52889 114 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 53888 115 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 54887 116 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 55887 117 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 56886 118 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 57885 119 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 58885 119 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 59884 120 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 60884 121 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 61883 122 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 62883 122 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 63882 123 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 64882 124 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 65881 125 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 66880 125 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 67879 126 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223356 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 68878 128 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 69878 128 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 70877 129 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 71877 130 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 72875 131 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 73875 132 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 74874 133 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 75873 134 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 76873 135 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 77872 136 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 78871 137 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 79871 137 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 80870 138 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 81870 139 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 82869 140 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 83868 141 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 84867 142 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 85866 143 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 86865 144 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 87865 145 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 88864 146 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223348 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 89864 146 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 90863 147 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 91863 148 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 92862 149 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 93861 150 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 94861 150 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 95860 152 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 96859 152 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 97859 153 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 98858 154 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 99858 155 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 100857 156 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 101856 157 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 102855 158 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 103854 159 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 104854 159 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 105854 160 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 106853 161 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 107852 162 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 108852 163 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 109852 163 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 110851 164 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 111850 165 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 112850 166 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 113850 166 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 114849 167 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 115848 168 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 116848 169 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 54112
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4484
Raw data (stat): 4484 (bsolo_lpr_cuts) R 4483 1269 1268 0 -1 0 35215 0 0 0 116848 169 0 0 25 0 1 0 774575386 55410688 12772 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12772 1111 63 0 13465 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.04
CPU user time (s): 1173.32
CPU system time (s): 1.71774
CPU usage (%): 100.013
Max. virtual memory (Kb): 54112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####