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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUM	ab580cd45d19f5d6d605ce2c4dabd375
Bench Category	optimization, medium integers (OPTMEDINT)
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	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.6499
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 25416

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 04:53:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19892 boxname=wulflinc31 idbench=1531 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ab580cd45d19f5d6d605ce2c4dabd375  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
IDLAUNCH: 19892
/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:        837280 kB
Buffers:         21048 kB
Cached:         150896 kB
SwapCached:       5400 kB
Active:         100988 kB
Inactive:        77628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        837028 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13116 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 05:12:44 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 19892 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5869 constraints.
c preprocess terminated 286.821 s
c Initial Lower Bound: 39185241
c Lower Bound Elapsed time: 75.372
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (runsolver) R 17188 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 784282821 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.0005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1571 0 0 0 990 6 0 0 25 0 1 0 784282821 19042304 1494 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4649 1494 1111 63 0 4586 0
vsize: 18596
[startup+20.0005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 2618 0 0 0 1988 8 0 0 25 0 1 0 784282821 23416832 2541 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5717 2541 1111 63 0 5654 0
vsize: 22868
[startup+30.001 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 3707 0 0 0 2986 11 0 0 25 0 1 0 784282821 27807744 3630 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6789 3630 1111 63 0 6726 0
vsize: 27156
[startup+40.0013 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 4882 0 0 0 3983 13 0 0 25 0 1 0 784282821 32608256 4805 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7961 4805 1111 63 0 7898 0
vsize: 31844
[startup+50.0022 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 6131 0 0 0 4981 15 0 0 25 0 1 0 784282821 37691392 6054 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9202 6054 1111 63 0 9139 0
vsize: 36808
[startup+60.0028 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 7470 0 0 0 5979 18 0 0 25 0 1 0 784282821 43212800 7393 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10550 7393 1111 63 0 10487 0
vsize: 42200
[startup+70.0031 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 8901 0 0 0 6976 20 0 0 25 0 1 0 784282821 49143808 8824 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11998 8824 1111 63 0 11935 0
vsize: 47992
[startup+80.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 10463 0 0 0 7973 23 0 0 25 0 1 0 784282821 55496704 10386 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13549 10386 1111 63 0 13486 0
vsize: 54196
[startup+90.0036 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 12139 0 0 0 8969 28 0 0 25 0 1 0 784282821 62496768 12062 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15258 12062 1111 63 0 15195 0
vsize: 61032
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 13963 0 0 0 9964 33 0 0 25 0 1 0 784282821 69976064 13886 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17084 13886 1111 63 0 17021 0
vsize: 68336
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 15822 0 0 0 10960 37 0 0 25 0 1 0 784282821 77459456 15745 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18911 15745 1111 63 0 18848 0
vsize: 75644
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 17842 0 0 0 11956 41 0 0 25 0 1 0 784282821 85790720 17765 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20945 17765 1111 63 0 20882 0
vsize: 83780
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 39413 0 0 0 12911 87 0 0 25 0 1 0 784282821 174153728 39336 4294967295 134512640 134714508 3221221776 3221218220 1077359299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42518 39336 1111 63 0 42455 0
vsize: 170072
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 48713 0 0 0 13889 108 0 0 25 0 1 0 784282821 211312640 48424 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51590 48424 1111 63 0 51527 0
vsize: 206360
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 64372 0 0 0 14855 143 0 0 25 0 1 0 784282821 267206656 63818 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65236 63818 1111 63 0 65173 0
vsize: 260944
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 69097 0 0 0 15844 153 0 0 25 0 1 0 784282821 271716352 64922 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66337 64922 1111 63 0 66274 0
vsize: 265348
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 72961 0 0 0 16836 162 0 0 25 0 1 0 784282821 273612800 65378 4294967295 134512640 134714508 3221221776 3221220488 134586765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66800 65378 1111 63 0 66737 0
vsize: 267200
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 73032 0 0 0 17836 162 0 0 25 0 1 0 784282821 273883136 65449 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66866 65449 1111 63 0 66803 0
vsize: 267464
[startup+190.008 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 73063 0 0 0 18835 163 0 0 25 0 1 0 784282821 274018304 65480 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66899 65480 1111 63 0 66836 0
vsize: 267596
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 187474 0 0 0 19588 410 0 0 25 0 1 0 784282821 274153472 65510 4294967295 134512640 134714508 3221221776 3221220528 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66932 65510 1111 63 0 66869 0
vsize: 267728
[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 340529 0 0 0 20234 765 0 0 25 0 1 0 784282821 276029440 65844 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67390 65844 1111 63 0 67327 0
vsize: 269560
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 452214 0 0 0 20980 1018 0 0 25 0 1 0 784282821 275427328 65704 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67243 65704 1111 63 0 67180 0
vsize: 268972
[startup+230.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509552 0 0 0 21858 1141 0 0 25 0 1 0 784282821 275120128 65745 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65745 1111 63 0 67105 0
vsize: 268672
[startup+240.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509560 0 0 0 22858 1141 0 0 25 0 1 0 784282821 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627170 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+250.013 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509560 0 0 0 23857 1142 0 0 25 0 1 0 784282821 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+260.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509560 0 0 0 24857 1142 0 0 25 0 1 0 784282821 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+270.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509560 0 0 0 25857 1142 0 0 25 0 1 0 784282821 275120128 65753 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+280.015 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 509560 0 0 0 26857 1143 0 0 25 0 1 0 784282821 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+290.015 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 558010 0 0 0 27750 1249 0 0 25 0 1 0 784282821 290062336 69192 4294967295 134512640 134714508 3221221776 3221219992 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70816 69192 1111 63 0 70753 0
vsize: 283264
[startup+300.016 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 688405 0 0 0 28461 1539 0 0 25 0 1 0 784282821 290279424 69235 4294967295 134512640 134714508 3221221776 3221219912 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70869 69235 1111 63 0 70806 0
vsize: 283476
[startup+310.017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 810771 0 0 0 29183 1817 0 0 25 0 1 0 784282821 290304000 69199 4294967295 134512640 134714508 3221221776 3221219976 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70875 69199 1111 63 0 70812 0
vsize: 283500
[startup+320.017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 924819 0 0 0 29920 2080 0 0 25 0 1 0 784282821 290840576 69365 4294967295 134512640 134714508 3221221776 3221219752 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71006 69365 1111 63 0 70943 0
vsize: 284024
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1025660 0 0 0 30687 2313 0 0 25 0 1 0 784282821 290656256 69370 4294967295 134512640 134714508 3221221776 3221219552 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70961 69370 1111 63 0 70898 0
vsize: 283844
[startup+340.018 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1111678 0 0 0 31482 2518 0 0 25 0 1 0 784282821 291102720 69479 4294967295 134512640 134714508 3221221776 3221219264 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71070 69479 1111 63 0 71007 0
vsize: 284280
[startup+350.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1184915 0 0 0 32301 2699 0 0 25 0 1 0 784282821 291536896 69586 4294967295 134512640 134714508 3221221776 3221219264 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71176 69586 1111 63 0 71113 0
vsize: 284704
[startup+360.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1249060 0 0 0 33140 2860 0 0 25 0 1 0 784282821 291962880 69690 4294967295 134512640 134714508 3221221776 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71280 69690 1111 63 0 71217 0
vsize: 285120
[startup+370.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1307077 0 0 0 33992 3008 0 0 25 0 1 0 784282821 292290560 69771 4294967295 134512640 134714508 3221221776 3221219264 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71360 69771 1111 63 0 71297 0
vsize: 285440
[startup+380.022 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1355818 0 0 0 34873 3127 0 0 25 0 1 0 784282821 301080576 71950 4294967295 134512640 134714508 3221221776 3221219696 1074916669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73506 71950 1111 63 0 73443 0
vsize: 294024
[startup+390.022 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358807 0 0 0 35867 3134 0 0 25 0 1 0 784282821 308940800 73220 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75425 73220 1111 63 0 75362 0
vsize: 301700
[startup+400.023 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358818 0 0 0 36866 3135 0 0 25 0 1 0 784282821 308940800 73231 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75425 73231 1111 63 0 75362 0
vsize: 301700
[startup+410.024 s]
Raw data (loadavg): 0.99 1.00 0.94 2/55 17189
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 37866 3135 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217900 1075563855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+420.089 s]
Raw data (loadavg): 0.99 1.00 0.94 2/56 17190
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 38868 3139 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+430.089 s]
Raw data (loadavg): 1.07 1.02 0.95 2/59 17232
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 39864 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221218616 1074950105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+440.089 s]
Raw data (loadavg): 1.21 1.05 0.96 2/59 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 40865 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+450.15 s]
Raw data (loadavg): 1.18 1.05 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 41871 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+460.15 s]
Raw data (loadavg): 1.15 1.04 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 42871 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+470.15 s]
Raw data (loadavg): 1.13 1.04 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 43871 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+480.151 s]
Raw data (loadavg): 1.11 1.04 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358834 0 0 0 44871 3143 0 0 25 0 1 0 784282821 309682176 73247 4294967295 134512640 134714508 3221221776 3221217692 1074860953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73247 1111 63 0 75543 0
vsize: 302424
[startup+490.151 s]
Raw data (loadavg): 1.09 1.04 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358853 0 0 0 45871 3143 0 0 25 0 1 0 784282821 309682176 73266 4294967295 134512640 134714508 3221221776 3221217832 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73266 1111 63 0 75543 0
vsize: 302424
[startup+500.151 s]
Raw data (loadavg): 1.08 1.04 0.96 2/55 17242
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358853 0 0 0 46872 3143 0 0 25 0 1 0 784282821 309682176 73266 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73266 1111 63 0 75543 0
vsize: 302424
[startup+510.151 s]
Raw data (loadavg): 1.06 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1358853 0 0 0 47872 3143 0 0 25 0 1 0 784282821 309682176 73266 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75606 73266 1111 63 0 75543 0
vsize: 302424
[startup+520.15 s]
Raw data (loadavg): 1.05 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1386838 0 0 0 48806 3209 0 0 25 0 1 0 784282821 298950656 71150 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72986 71157 1111 63 0 72923 0
vsize: 291944
[startup+530.151 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1445924 0 0 0 49666 3348 0 0 25 0 1 0 784282821 312332288 74698 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76253 74698 1111 63 0 76190 0
vsize: 305012
[startup+540.15 s]
Raw data (loadavg): 1.04 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489905 0 0 0 50560 3455 0 0 25 0 1 0 784282821 333791232 79309 4294967295 134512640 134714508 3221221776 3221217660 1074860595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79309 1111 63 0 81429 0
vsize: 325968
[startup+550.151 s]
Raw data (loadavg): 1.03 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489930 0 0 0 51560 3455 0 0 25 0 1 0 784282821 333791232 79334 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79334 1111 63 0 81429 0
vsize: 325968
[startup+560.152 s]
Raw data (loadavg): 1.03 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489935 0 0 0 52561 3455 0 0 25 0 1 0 784282821 333791232 79339 4294967295 134512640 134714508 3221221776 3221217768 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79339 1111 63 0 81429 0
vsize: 325968
[startup+570.152 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489936 0 0 0 53561 3455 0 0 25 0 1 0 784282821 333791232 79340 4294967295 134512640 134714508 3221221776 3221218736 1075971301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79340 1111 63 0 81429 0
vsize: 325968
[startup+580.152 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489936 0 0 0 54561 3455 0 0 25 0 1 0 784282821 333791232 79340 4294967295 134512640 134714508 3221221776 3221217916 1075116556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79340 1111 63 0 81429 0
vsize: 325968
[startup+590.152 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489936 0 0 0 55561 3455 0 0 25 0 1 0 784282821 333791232 79340 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79340 1111 63 0 81429 0
vsize: 325968
[startup+600.153 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489936 0 0 0 56561 3455 0 0 25 0 1 0 784282821 333791232 79340 4294967295 134512640 134714508 3221221776 3221217856 1074794582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79340 1111 63 0 81429 0
vsize: 325968
[startup+610.153 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489936 0 0 0 57562 3455 0 0 25 0 1 0 784282821 333791232 79340 4294967295 134512640 134714508 3221221776 3221217832 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81492 79340 1111 63 0 81429 0
vsize: 325968
[startup+620.153 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1489949 0 0 0 58562 3455 0 0 25 0 1 0 784282821 334532608 79353 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81673 79353 1111 63 0 81610 0
vsize: 326692
[startup+630.154 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1539001 0 0 0 59443 3574 0 0 25 0 1 0 784282821 333303808 79910 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81373 79910 1111 63 0 81310 0
vsize: 325492
[startup+640.154 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1589547 0 0 0 60320 3697 0 0 25 0 1 0 784282821 333139968 79728 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81333 79734 1111 63 0 81270 0
vsize: 325332
[startup+650.154 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1639529 0 0 0 61205 3812 0 0 25 0 1 0 784282821 337936384 80903 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82504 80903 1111 63 0 82441 0
vsize: 330016
[startup+660.154 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1697154 0 0 0 62069 3948 0 0 25 0 1 0 784282821 351023104 84098 4294967295 134512640 134714508 3221221776 3221219908 1075964231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85699 84098 1111 63 0 85636 0
vsize: 342796
[startup+670.154 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 63038 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+680.154 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 64037 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+690.154 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 65038 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+700.155 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 66038 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+710.155 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 67038 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+720.155 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710359 0 0 0 68038 3979 0 0 25 0 1 0 784282821 344182784 82592 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82592 1111 63 0 83966 0
vsize: 336116
[startup+730.156 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 69038 3979 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+740.156 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 70038 3979 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+750.157 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 71038 3980 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+760.157 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 72039 3980 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+770.157 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 73039 3980 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+780.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710361 0 0 0 74039 3980 0 0 25 0 1 0 784282821 344182784 82594 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82594 1111 63 0 83966 0
vsize: 336116
[startup+790.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17244
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 75039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+800.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 76039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+810.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 77039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+820.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 78039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+830.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 79039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+840.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 80039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+850.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 81039 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+860.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 82040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+870.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 83040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+880.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 84040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+890.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 85040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+900.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 86040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+910.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 87040 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+920.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 88041 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+930.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 89041 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+940.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 90041 3980 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+950.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 91041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+960.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 92041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+970.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 93041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+980.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 94041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+990.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 95041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 96041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 97041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220368 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 98041 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 99042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 100042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 101042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 102042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 103042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 104042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 105042 3981 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 106042 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 107043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 108043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 109043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 110043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 111043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 112043 3982 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220368 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 113043 3983 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 336116
[startup+1175.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 17246
Raw data (stat): 17189 (bsolo_lpr_cuts) R 17188 7876 7672 0 -1 0 1710362 0 0 0 113043 3983 0 0 25 0 1 0 784282821 344182784 82595 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84029 82595 1111 63 0 83966 0
vsize: 0

Child status: 0
Real time (s): 1175.11
CPU time (s): 1175.21
CPU user time (s): 1135.22
CPU system time (s): 39.9859
CPU usage (%): 100.008
Max. virtual memory (Kb): 342796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####