PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23923

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 11:29:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1406 boxname=wulflinc31 idbench=157 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  527fb49aa1a9296592f9e28b71f1006f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d3.opb
IDLAUNCH: 1406
/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:        150952 kB
Buffers:         36416 kB
Cached:         812736 kB
SwapCached:        644 kB
Active:         486340 kB
Inactive:       365148 kB
HighTotal:      131008 kB
HighFree:         8876 kB
LowTotal:       903652 kB
LowFree:        142076 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26552 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 11:49:15 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 1406 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1648 variables and 20302 constraints.
c After prepocess the problem consists of 1648 variables and 20302 constraints.
c preprocess terminated 109.441 s
c Initial Lower Bound: 416
c Lower Bound Elapsed time: 132.665
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.99 2/54 23716
Raw data (stat): 23716 (runsolver) R 23715 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 674329288 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4317 0 0 0 981 14 0 0 25 0 1 0 674329288 20779008 4235 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5073 4235 1111 63 0 5010 0
vsize: 20292
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4896 0 0 0 1979 15 0 0 25 0 1 0 674329288 23212032 4814 4294967295 134512640 134714508 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4814 1111 63 0 5604 0
vsize: 22668
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4898 0 0 0 2979 15 0 0 25 0 1 0 674329288 23212032 4816 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4816 1111 63 0 5604 0
vsize: 22668
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4901 0 0 0 3979 15 0 0 25 0 1 0 674329288 23212032 4819 4294967295 134512640 134714508 3221221792 3221220416 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4819 1111 63 0 5604 0
vsize: 22668
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4903 0 0 0 4979 16 0 0 25 0 1 0 674329288 23212032 4821 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4821 1111 63 0 5604 0
vsize: 22668
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4908 0 0 0 5980 16 0 0 25 0 1 0 674329288 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4908 0 0 0 6980 16 0 0 25 0 1 0 674329288 23212032 4826 4294967295 134512640 134714508 3221221792 3221220444 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4908 0 0 0 7980 16 0 0 25 0 1 0 674329288 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4908 0 0 0 8980 16 0 0 25 0 1 0 674329288 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 4908 0 0 0 9980 16 0 0 25 0 1 0 674329288 23212032 4826 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 5275 0 0 0 10979 17 0 0 25 0 1 0 674329288 24854528 5193 4294967295 134512640 134714508 3221221792 3221220112 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5193 1111 63 0 6005 0
vsize: 24272
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 5611 0 0 0 11978 18 0 0 25 0 1 0 674329288 25927680 5491 4294967295 134512640 134714508 3221221792 3221220112 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5491 1111 63 0 6267 0
vsize: 25320
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 5757 0 0 0 12975 21 0 0 25 0 1 0 674329288 26509312 5637 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5637 1111 63 0 6409 0
vsize: 25888
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 8947 0 0 0 13968 28 0 0 25 0 1 0 674329288 41324544 7923 4294967295 134512640 134714508 3221221792 3221217932 1075116731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10089 7923 1111 63 0 10026 0
vsize: 40356
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 9099 0 0 0 14968 28 0 0 25 0 1 0 674329288 41324544 8047 4294967295 134512640 134714508 3221221792 3221217680 1074791002 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10089 8047 1111 63 0 10026 0
vsize: 40356
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 9188 0 0 0 15968 29 0 0 25 0 1 0 674329288 42831872 8112 4294967295 134512640 134714508 3221221792 3221217856 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10457 8112 1111 63 0 10394 0
vsize: 41828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 9267 0 0 0 16968 29 0 0 25 0 1 0 674329288 43397120 8167 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10595 8167 1111 63 0 10532 0
vsize: 42380
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 9289 0 0 0 17967 30 0 0 25 0 1 0 674329288 43560960 8169 4294967295 134512640 134714508 3221221792 3221218368 1075966250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10635 8169 1111 63 0 10572 0
vsize: 42540
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 9312 0 0 0 18967 30 0 0 25 0 1 0 674329288 43397120 8170 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10595 8170 1111 63 0 10532 0
vsize: 42380
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 15188 0 0 0 19952 46 0 0 25 0 1 0 674329288 31006720 6690 4294967295 134512640 134714508 3221221792 3221219816 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6690 1111 63 0 7507 0
vsize: 30280
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 17726 0 0 0 20942 55 0 0 25 0 1 0 674329288 31006720 6690 4294967295 134512640 134714508 3221221792 3221219856 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6690 1111 63 0 7507 0
vsize: 30280
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 20144 0 0 0 21933 64 0 0 25 0 1 0 674329288 30461952 6684 4294967295 134512640 134714508 3221221792 3221220032 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6684 1111 63 0 7374 0
vsize: 29748
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24841 0 0 0 22921 77 0 0 25 0 1 0 674329288 43614208 8272 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8272 1111 63 0 10585 0
vsize: 42592
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24872 0 0 0 23921 77 0 0 25 0 1 0 674329288 43614208 8279 4294967295 134512640 134714508 3221221792 3221218692 1075964060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8279 1111 63 0 10585 0
vsize: 42592
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24897 0 0 0 24921 77 0 0 25 0 1 0 674329288 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24921 0 0 0 25921 77 0 0 25 0 1 0 674329288 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24947 0 0 0 26921 77 0 0 25 0 1 0 674329288 43614208 8280 4294967295 134512640 134714508 3221221792 3221218716 1074621120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24971 0 0 0 27921 78 0 0 25 0 1 0 674329288 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 24993 0 0 0 28921 78 0 0 25 0 1 0 674329288 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 25063 0 0 0 29921 78 0 0 25 0 1 0 674329288 44179456 8328 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10786 8328 1111 63 0 10723 0
vsize: 43144
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 25085 0 0 0 30921 78 0 0 25 0 1 0 674329288 44179456 8330 4294967295 134512640 134714508 3221221792 3221217932 1075116492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10786 8330 1111 63 0 10723 0
vsize: 43144
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 31364 0 0 0 31906 94 0 0 25 0 1 0 674329288 31866880 6876 4294967295 134512640 134714508 3221221792 3221219816 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7780 6876 1111 63 0 7717 0
vsize: 31120
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 33843 0 0 0 32897 102 0 0 25 0 1 0 674329288 31866880 6877 4294967295 134512640 134714508 3221221792 3221219960 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7780 6877 1111 63 0 7717 0
vsize: 31120
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 36261 0 0 0 33888 112 0 0 25 0 1 0 674329288 31866880 6877 4294967295 134512640 134714508 3221221792 3221219960 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7780 6877 1111 63 0 7717 0
vsize: 31120
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40796 0 0 0 34877 123 0 0 25 0 1 0 674329288 44392448 8452 4294967295 134512640 134714508 3221221792 3221218280 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8452 1111 63 0 10775 0
vsize: 43352
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40821 0 0 0 35877 124 0 0 25 0 1 0 674329288 44228608 8455 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8455 1111 63 0 10735 0
vsize: 43192
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40844 0 0 0 36877 124 0 0 25 0 1 0 674329288 44228608 8456 4294967295 134512640 134714508 3221221792 3221217848 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8456 1111 63 0 10735 0
vsize: 43192
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40869 0 0 0 37877 124 0 0 25 0 1 0 674329288 44392448 8459 4294967295 134512640 134714508 3221221792 3221218480 1076083339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40891 0 0 0 38877 124 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40913 0 0 0 39877 124 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40937 0 0 0 40877 124 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40963 0 0 0 41877 124 0 0 25 0 1 0 674329288 44392448 8459 4294967295 134512640 134714508 3221221792 3221218244 1075863612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 40987 0 0 0 42877 124 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221218544 1075115385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41011 0 0 0 43877 124 0 0 25 0 1 0 674329288 44392448 8459 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41035 0 0 0 44877 125 0 0 25 0 1 0 674329288 44392448 8459 4294967295 134512640 134714508 3221221792 3221218784 1074867314 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41059 0 0 0 45877 125 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221218656 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41079 0 0 0 46878 125 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41103 0 0 0 47877 125 0 0 25 0 1 0 674329288 44392448 8459 4294967295 134512640 134714508 3221221792 3221218304 1074885848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41127 0 0 0 48877 125 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217580 1074787806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41151 0 0 0 49878 125 0 0 25 0 1 0 674329288 44228608 8457 4294967295 134512640 134714508 3221221792 3221217768 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41176 0 0 0 50877 126 0 0 25 0 1 0 674329288 44228608 8458 4294967295 134512640 134714508 3221221792 3221218544 1075115799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8458 1111 63 0 10735 0
vsize: 43192
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41198 0 0 0 51878 126 0 0 25 0 1 0 674329288 44228608 8458 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8458 1111 63 0 10735 0
vsize: 43192
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41355 0 0 0 52878 126 0 0 25 0 1 0 674329288 44793856 8550 4294967295 134512640 134714508 3221221792 3221217864 1074883029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10936 8550 1111 63 0 10873 0
vsize: 43744
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 41370 0 0 0 53878 126 0 0 25 0 1 0 674329288 44793856 8551 4294967295 134512640 134714508 3221221792 3221218240 1075119984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10936 8551 1111 63 0 10873 0
vsize: 43744
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 48638 0 0 0 54856 148 0 0 25 0 1 0 674329288 33062912 6989 4294967295 134512640 134714508 3221221792 3221219360 1075818331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8072 6989 1111 63 0 8009 0
vsize: 32288
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51145 0 0 0 55851 153 0 0 25 0 1 0 674329288 44646400 8568 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8568 1111 63 0 10837 0
vsize: 43600
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51169 0 0 0 56851 153 0 0 25 0 1 0 674329288 44646400 8570 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8570 1111 63 0 10837 0
vsize: 43600
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51190 0 0 0 57851 153 0 0 25 0 1 0 674329288 44646400 8571 4294967295 134512640 134714508 3221221792 3221217932 1075116572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51214 0 0 0 58851 154 0 0 25 0 1 0 674329288 44646400 8571 4294967295 134512640 134714508 3221221792 3221217848 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51238 0 0 0 59850 154 0 0 25 0 1 0 674329288 44646400 8571 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51263 0 0 0 60850 154 0 0 25 0 1 0 674329288 44646400 8572 4294967295 134512640 134714508 3221221792 3221218672 1074790221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8572 1111 63 0 10837 0
vsize: 43600
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51283 0 0 0 61850 155 0 0 25 0 1 0 674329288 44646400 8572 4294967295 134512640 134714508 3221221792 3221217932 1075116774 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8572 1111 63 0 10837 0
vsize: 43600
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 51355 0 0 0 62850 155 0 0 25 0 1 0 674329288 45211648 8620 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11038 8620 1111 63 0 10975 0
vsize: 44152
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 53817 0 0 0 63845 161 0 0 25 0 1 0 674329288 42835968 7907 4294967295 134512640 134714508 3221221792 3221218744 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10458 7907 1111 63 0 10395 0
vsize: 41832
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 53818 0 0 0 64844 161 0 0 25 0 1 0 674329288 28975104 6334 4294967295 134512640 134714508 3221221792 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7074 6334 1111 63 0 7011 0
vsize: 28296
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 53847 0 0 0 65844 162 0 0 25 0 1 0 674329288 29110272 6363 4294967295 134512640 134714508 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7107 6363 1111 63 0 7044 0
vsize: 28428
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 53910 0 0 0 66844 162 0 0 25 0 1 0 674329288 29380608 6426 4294967295 134512640 134714508 3221221792 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7173 6426 1111 63 0 7110 0
vsize: 28692
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 53991 0 0 0 67843 163 0 0 25 0 1 0 674329288 29786112 6507 4294967295 134512640 134714508 3221221792 3221220276 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7272 6507 1111 63 0 7209 0
vsize: 29088
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54095 0 0 0 68843 163 0 0 25 0 1 0 674329288 30191616 6611 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6611 1111 63 0 7308 0
vsize: 29484
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54178 0 0 0 69842 163 0 0 25 0 1 0 674329288 30461952 6694 4294967295 134512640 134714508 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6694 1111 63 0 7374 0
vsize: 29748
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54272 0 0 0 70842 164 0 0 25 0 1 0 674329288 30867456 6788 4294967295 134512640 134714508 3221221792 3221220592 134597654 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6788 1111 63 0 7473 0
vsize: 30144
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54346 0 0 0 71842 164 0 0 25 0 1 0 674329288 31137792 6862 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7602 6862 1111 63 0 7539 0
vsize: 30408
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54427 0 0 0 72841 165 0 0 25 0 1 0 674329288 31543296 6943 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7701 6943 1111 63 0 7638 0
vsize: 30804
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54500 0 0 0 73841 166 0 0 25 0 1 0 674329288 31813632 7016 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7767 7016 1111 63 0 7704 0
vsize: 31068
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54559 0 0 0 74841 166 0 0 25 0 1 0 674329288 32083968 7075 4294967295 134512640 134714508 3221221792 3221220568 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7833 7075 1111 63 0 7770 0
vsize: 31332
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54605 0 0 0 75840 166 0 0 25 0 1 0 674329288 32219136 7121 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7866 7121 1111 63 0 7803 0
vsize: 31464
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54652 0 0 0 76840 167 0 0 25 0 1 0 674329288 32489472 7168 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7932 7168 1111 63 0 7869 0
vsize: 31728
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54726 0 0 0 77840 167 0 0 25 0 1 0 674329288 32759808 7242 4294967295 134512640 134714508 3221221792 3221220376 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7998 7242 1111 63 0 7935 0
vsize: 31992
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54797 0 0 0 78840 168 0 0 25 0 1 0 674329288 33030144 7313 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7313 1111 63 0 8001 0
vsize: 32256
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54886 0 0 0 79839 168 0 0 25 0 1 0 674329288 33435648 7402 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8163 7402 1111 63 0 8100 0
vsize: 32652
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 54963 0 0 0 80839 169 0 0 25 0 1 0 674329288 33705984 7479 4294967295 134512640 134714508 3221221792 3221220432 134539446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7479 1111 63 0 8166 0
vsize: 32916
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55022 0 0 0 81838 170 0 0 25 0 1 0 674329288 33976320 7538 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8295 7538 1111 63 0 8232 0
vsize: 33180
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55103 0 0 0 82838 170 0 0 25 0 1 0 674329288 34246656 7619 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8361 7619 1111 63 0 8298 0
vsize: 33444
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55179 0 0 0 83838 170 0 0 25 0 1 0 674329288 34652160 7695 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8460 7695 1111 63 0 8397 0
vsize: 33840
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55263 0 0 0 84837 172 0 0 25 0 1 0 674329288 34922496 7779 4294967295 134512640 134714508 3221221792 3221220432 134696061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8526 7779 1111 63 0 8463 0
vsize: 34104
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55325 0 0 0 85836 172 0 0 25 0 1 0 674329288 35192832 7841 4294967295 134512640 134714508 3221221792 3221220536 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8592 7841 1111 63 0 8529 0
vsize: 34368
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55417 0 0 0 86836 172 0 0 25 0 1 0 674329288 35598336 7933 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8691 7933 1111 63 0 8628 0
vsize: 34764
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55472 0 0 0 87836 173 0 0 25 0 1 0 674329288 35868672 7988 4294967295 134512640 134714508 3221221792 3221220552 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8757 7988 1111 63 0 8694 0
vsize: 35028
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55534 0 0 0 88836 173 0 0 25 0 1 0 674329288 36134912 8050 4294967295 134512640 134714508 3221221792 3221220396 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8822 8050 1111 63 0 8759 0
vsize: 35288
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55633 0 0 0 89835 174 0 0 25 0 1 0 674329288 36540416 8149 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8921 8149 1111 63 0 8858 0
vsize: 35684
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55693 0 0 0 90835 175 0 0 25 0 1 0 674329288 36675584 8209 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8954 8209 1111 63 0 8891 0
vsize: 35816
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55769 0 0 0 91834 175 0 0 25 0 1 0 674329288 37081088 8285 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9053 8285 1111 63 0 8990 0
vsize: 36212
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55848 0 0 0 92834 176 0 0 25 0 1 0 674329288 37351424 8364 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9119 8364 1111 63 0 9056 0
vsize: 36476
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55917 0 0 0 93834 176 0 0 25 0 1 0 674329288 37621760 8433 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9185 8433 1111 63 0 9122 0
vsize: 36740
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 55987 0 0 0 94834 176 0 0 25 0 1 0 674329288 37892096 8503 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9251 8503 1111 63 0 9188 0
vsize: 37004
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56062 0 0 0 95834 176 0 0 25 0 1 0 674329288 38297600 8578 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9350 8578 1111 63 0 9287 0
vsize: 37400
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56154 0 0 0 96834 177 0 0 25 0 1 0 674329288 38567936 8670 4294967295 134512640 134714508 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9416 8670 1111 63 0 9353 0
vsize: 37664
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56220 0 0 0 97834 177 0 0 25 0 1 0 674329288 38838272 8736 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9482 8736 1111 63 0 9419 0
vsize: 37928
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56296 0 0 0 98834 177 0 0 25 0 1 0 674329288 39243776 8812 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9581 8812 1111 63 0 9518 0
vsize: 38324
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56372 0 0 0 99834 177 0 0 25 0 1 0 674329288 39514112 8888 4294967295 134512640 134714508 3221221792 3221220480 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9647 8888 1111 63 0 9584 0
vsize: 38588
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56450 0 0 0 100833 178 0 0 25 0 1 0 674329288 39784448 8966 4294967295 134512640 134714508 3221221792 3221220376 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9713 8966 1111 63 0 9650 0
vsize: 38852
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56486 0 0 0 101834 178 0 0 25 0 1 0 674329288 39919616 9002 4294967295 134512640 134714508 3221221792 3221220504 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9746 9002 1111 63 0 9683 0
vsize: 38984
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56506 0 0 0 102834 178 0 0 25 0 1 0 674329288 40054784 9022 4294967295 134512640 134714508 3221221792 3221220560 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9779 9022 1111 63 0 9716 0
vsize: 39116
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56536 0 0 0 103834 178 0 0 25 0 1 0 674329288 40189952 9052 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 9052 1111 63 0 9749 0
vsize: 39248
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56562 0 0 0 104834 179 0 0 25 0 1 0 674329288 40325120 9078 4294967295 134512640 134714508 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9845 9078 1111 63 0 9782 0
vsize: 39380
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56598 0 0 0 105833 179 0 0 25 0 1 0 674329288 40460288 9114 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 9114 1111 63 0 9815 0
vsize: 39512
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56617 0 0 0 106833 179 0 0 25 0 1 0 674329288 40460288 9133 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 9133 1111 63 0 9815 0
vsize: 39512
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56623 0 0 0 107833 180 0 0 25 0 1 0 674329288 40595456 9139 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9911 9139 1111 63 0 9848 0
vsize: 39644
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56640 0 0 0 108833 180 0 0 25 0 1 0 674329288 40595456 9156 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9911 9156 1111 63 0 9848 0
vsize: 39644
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56663 0 0 0 109833 180 0 0 25 0 1 0 674329288 40730624 9179 4294967295 134512640 134714508 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9179 1111 63 0 9881 0
vsize: 39776
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56677 0 0 0 110833 180 0 0 25 0 1 0 674329288 40730624 9193 4294967295 134512640 134714508 3221221792 3221220412 134539206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9193 1111 63 0 9881 0
vsize: 39776
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56678 0 0 0 111833 181 0 0 25 0 1 0 674329288 40730624 9194 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9194 1111 63 0 9881 0
vsize: 39776
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56693 0 0 0 112833 181 0 0 25 0 1 0 674329288 40865792 9209 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9209 1111 63 0 9914 0
vsize: 39908
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56709 0 0 0 113833 181 0 0 25 0 1 0 674329288 40865792 9225 4294967295 134512640 134714508 3221221792 3221220352 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9225 1111 63 0 9914 0
vsize: 39908
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56709 0 0 0 114833 181 0 0 25 0 1 0 674329288 40865792 9225 4294967295 134512640 134714508 3221221792 3221220576 134528883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9225 1111 63 0 9914 0
vsize: 39908
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56714 0 0 0 115833 181 0 0 25 0 1 0 674329288 40865792 9230 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9230 1111 63 0 9914 0
vsize: 39908
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56727 0 0 0 116833 181 0 0 25 0 1 0 674329288 41000960 9243 4294967295 134512640 134714508 3221221792 3221220520 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10010 9243 1111 63 0 9947 0
vsize: 40040
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 23716
Raw data (stat): 23716 (bsolo_lpr_cuts) R 23715 7876 7672 0 -1 0 56727 0 0 0 116833 181 0 0 25 0 1 0 674329288 41000960 9243 4294967295 134512640 134714508 3221221792 3221220520 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10010 9243 1111 63 0 9947 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1173.22
CPU system time (s): 1.83572
CPU usage (%): 100.01
Max. virtual memory (Kb): 44152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####