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-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
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	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
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	3
Trace number 23778

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 17:01:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1145 boxname=wulflinc31 idbench=128 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
IDLAUNCH: 1145
/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:        906660 kB
Buffers:         44532 kB
Cached:          61216 kB
SwapCached:        944 kB
Active:          87184 kB
Inactive:        20968 kB
HighTotal:      131008 kB
HighFree:        68880 kB
LowTotal:       903652 kB
LowFree:        837780 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14328 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 17:22:02 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 1145 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4000 variables and 10500 constraints.
c After prepocess the problem consists of 4000 variables and 10500 constraints.
c preprocess terminated 2.689 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.89 0.99 0.96 2/54 4958
Raw data (stat): 4958 (runsolver) R 4957 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659041538 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.90 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 2956 0 0 0 986 10 0 0 25 0 1 0 659041538 15212544 2869 4294967295 134512640 134714508 3221221792 3221220096 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2869 1111 63 0 3651 0
vsize: 14856
[startup+20.0005 s]
Raw data (loadavg): 0.92 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 4700 0 0 0 1982 14 0 0 25 0 1 0 659041538 22601728 4283 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4283 1111 63 0 5455 0
vsize: 22072
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 5068 0 0 0 2981 15 0 0 25 0 1 0 659041538 21258240 4018 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4018 1111 63 0 5127 0
vsize: 20760
[startup+40.0011 s]
Raw data (loadavg): 0.94 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 5419 0 0 0 3980 16 0 0 25 0 1 0 659041538 21258240 4052 4294967295 134512640 134714508 3221221792 3221217620 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4052 1111 63 0 5127 0
vsize: 20760
[startup+50.0023 s]
Raw data (loadavg): 0.95 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 5784 0 0 0 4979 17 0 0 25 0 1 0 659041538 22601728 4417 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4417 1111 63 0 5455 0
vsize: 22072
[startup+60.0023 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 5864 0 0 0 5979 17 0 0 25 0 1 0 659041538 21532672 4169 4294967295 134512640 134714508 3221221792 3221217864 1074883056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4169 1111 63 0 5194 0
vsize: 21028
[startup+70.0019 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6405 0 0 0 6978 18 0 0 25 0 1 0 659041538 21680128 4349 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4349 1111 63 0 5230 0
vsize: 21172
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6440 0 0 0 7978 19 0 0 25 0 1 0 659041538 21831680 4384 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4384 1111 63 0 5267 0
vsize: 21320
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6702 0 0 0 8976 19 0 0 25 0 1 0 659041538 23461888 4646 4294967295 134512640 134714508 3221221792 3221218044 1075113118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4646 1111 63 0 5665 0
vsize: 22912
[startup+100.004 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 9975 20 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217612 1074787594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+110.005 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 10975 20 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+120.006 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 11975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+130.007 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 12975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217516 1074787594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 13975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217864 1074883062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+150.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 14975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217580 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+160.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 15975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217612 1074787771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 16975 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217608 1074789815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 17976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217796 1075964393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+190.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 18976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217744 1075965299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+200.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 19976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217796 1075964396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+210.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 20976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217660 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+220.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4958
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 21976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+230.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6703 0 0 0 22976 21 0 0 25 0 1 0 659041538 23461888 4647 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+240.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6707 0 0 0 23976 22 0 0 25 0 1 0 659041538 23461888 4651 4294967295 134512640 134714508 3221221792 3221217888 1074882576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4651 1111 63 0 5665 0
vsize: 22912
[startup+250.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6707 0 0 0 24977 22 0 0 25 0 1 0 659041538 23461888 4651 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4651 1111 63 0 5665 0
vsize: 22912
[startup+260.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6711 0 0 0 25977 22 0 0 25 0 1 0 659041538 23461888 4655 4294967295 134512640 134714508 3221221792 3221217872 1074794508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4655 1111 63 0 5665 0
vsize: 22912
[startup+270.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6849 0 0 0 26977 22 0 0 25 0 1 0 659041538 21831680 4395 4294967295 134512640 134714508 3221221792 3221218048 1075114245 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4395 1111 63 0 5267 0
vsize: 21320
[startup+280.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6851 0 0 0 27977 22 0 0 25 0 1 0 659041538 21831680 4397 4294967295 134512640 134714508 3221221792 3221217596 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4397 1111 63 0 5267 0
vsize: 21320
[startup+290.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6853 0 0 0 28977 22 0 0 25 0 1 0 659041538 21831680 4399 4294967295 134512640 134714508 3221221792 3221218208 1075863801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4399 1111 63 0 5267 0
vsize: 21320
[startup+300.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6886 0 0 0 29977 22 0 0 25 0 1 0 659041538 21995520 4432 4294967295 134512640 134714508 3221221792 3221217940 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4432 1111 63 0 5307 0
vsize: 21480
[startup+310.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6886 0 0 0 30977 22 0 0 25 0 1 0 659041538 21995520 4432 4294967295 134512640 134714508 3221221792 3221217872 1074794549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4432 1111 63 0 5307 0
vsize: 21480
[startup+320.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6970 0 0 0 31977 23 0 0 25 0 1 0 659041538 22351872 4516 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4516 1111 63 0 5394 0
vsize: 21828
[startup+330.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6970 0 0 0 32977 23 0 0 25 0 1 0 659041538 22351872 4516 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4516 1111 63 0 5394 0
vsize: 21828
[startup+340.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6973 0 0 0 33977 23 0 0 25 0 1 0 659041538 22351872 4519 4294967295 134512640 134714508 3221221792 3221217680 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4519 1111 63 0 5394 0
vsize: 21828
[startup+350.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 6975 0 0 0 34978 23 0 0 25 0 1 0 659041538 22351872 4521 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4521 1111 63 0 5394 0
vsize: 21828
[startup+360.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7021 0 0 0 35978 23 0 0 25 0 1 0 659041538 22536192 4567 4294967295 134512640 134714508 3221221792 3221217672 1074789093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4567 1111 63 0 5439 0
vsize: 22008
[startup+370.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7023 0 0 0 36978 23 0 0 25 0 1 0 659041538 22536192 4569 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4569 1111 63 0 5439 0
vsize: 22008
[startup+380.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7026 0 0 0 37978 23 0 0 25 0 1 0 659041538 22536192 4572 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4572 1111 63 0 5439 0
vsize: 22008
[startup+390.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7028 0 0 0 38978 23 0 0 25 0 1 0 659041538 22536192 4574 4294967295 134512640 134714508 3221221792 3221217584 1074786854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4574 1111 63 0 5439 0
vsize: 22008
[startup+400.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7034 0 0 0 39978 23 0 0 25 0 1 0 659041538 22536192 4580 4294967295 134512640 134714508 3221221792 3221218044 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4580 1111 63 0 5439 0
vsize: 22008
[startup+410.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7045 0 0 0 40978 23 0 0 25 0 1 0 659041538 22536192 4591 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4591 1111 63 0 5439 0
vsize: 22008
[startup+420.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7047 0 0 0 41979 23 0 0 25 0 1 0 659041538 22536192 4593 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4593 1111 63 0 5439 0
vsize: 22008
[startup+430.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7050 0 0 0 42979 23 0 0 25 0 1 0 659041538 22536192 4596 4294967295 134512640 134714508 3221221792 3221217776 1074881447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4596 1111 63 0 5439 0
vsize: 22008
[startup+440.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 43979 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+450.021 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 44979 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217596 1074788956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+460.022 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 45979 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217672 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+470.021 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 46979 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217776 1074881396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+480.022 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 47980 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217776 1074881372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+490.022 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 48980 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+500.023 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7061 0 0 0 49980 23 0 0 25 0 1 0 659041538 22536192 4607 4294967295 134512640 134714508 3221221792 3221217576 1074787084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+510.023 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7066 0 0 0 50980 23 0 0 25 0 1 0 659041538 22536192 4612 4294967295 134512640 134714508 3221221792 3221217812 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4612 1111 63 0 5439 0
vsize: 22008
[startup+520.024 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7117 0 0 0 51980 23 0 0 25 0 1 0 659041538 22732800 4663 4294967295 134512640 134714508 3221221792 3221217776 1074881368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4663 1111 63 0 5487 0
vsize: 22200
[startup+530.025 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7129 0 0 0 52980 23 0 0 25 0 1 0 659041538 22732800 4675 4294967295 134512640 134714508 3221221792 3221217576 1074787024 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4675 1111 63 0 5487 0
vsize: 22200
[startup+540.025 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7188 0 0 0 53980 24 0 0 25 0 1 0 659041538 22941696 4734 4294967295 134512640 134714508 3221221792 3221218044 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+550.026 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7188 0 0 0 54980 24 0 0 25 0 1 0 659041538 22941696 4734 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+560.026 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7188 0 0 0 55981 24 0 0 25 0 1 0 659041538 22941696 4734 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+570.026 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7205 0 0 0 56980 24 0 0 25 0 1 0 659041538 22941696 4751 4294967295 134512640 134714508 3221221792 3221217672 1074789206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+580.027 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7205 0 0 0 57981 24 0 0 25 0 1 0 659041538 22941696 4751 4294967295 134512640 134714508 3221221792 3221217924 1075117390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+590.027 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7205 0 0 0 58981 24 0 0 25 0 1 0 659041538 22941696 4751 4294967295 134512640 134714508 3221221792 3221217676 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+600.028 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7205 0 0 0 59981 24 0 0 25 0 1 0 659041538 22941696 4751 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+610.029 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7206 0 0 0 60981 24 0 0 25 0 1 0 659041538 22941696 4752 4294967295 134512640 134714508 3221221792 3221217644 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4752 1111 63 0 5538 0
vsize: 22404
[startup+620.029 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7206 0 0 0 61981 24 0 0 25 0 1 0 659041538 22941696 4752 4294967295 134512640 134714508 3221221792 3221217632 1074893228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4752 1111 63 0 5538 0
vsize: 22404
[startup+630.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7207 0 0 0 62982 24 0 0 25 0 1 0 659041538 22941696 4753 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4753 1111 63 0 5538 0
vsize: 22404
[startup+640.031 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7207 0 0 0 63982 24 0 0 25 0 1 0 659041538 22941696 4753 4294967295 134512640 134714508 3221221792 3221217940 1075115035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4753 1111 63 0 5538 0
vsize: 22404
[startup+650.031 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7240 0 0 0 64982 24 0 0 25 0 1 0 659041538 23158784 4786 4294967295 134512640 134714508 3221221792 3221217632 1074890434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4786 1111 63 0 5591 0
vsize: 22616
[startup+660.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7257 0 0 0 65982 25 0 0 25 0 1 0 659041538 23158784 4803 4294967295 134512640 134714508 3221221792 3221218088 1075112613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4803 1111 63 0 5591 0
vsize: 22616
[startup+670.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 66982 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221217608 1074787027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+680.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 67982 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221218832 1074837180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+690.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 68982 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221217584 1074786854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+700.03 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 69982 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+710.031 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 70983 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221218044 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+720.031 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 71983 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+730.032 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7261 0 0 0 72983 25 0 0 25 0 1 0 659041538 23158784 4807 4294967295 134512640 134714508 3221221792 3221217676 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+740.032 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7315 0 0 0 73983 25 0 0 25 0 1 0 659041538 23388160 4861 4294967295 134512640 134714508 3221221792 3221217568 1074870792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4861 1111 63 0 5647 0
vsize: 22840
[startup+750.032 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7316 0 0 0 74983 25 0 0 25 0 1 0 659041538 23388160 4862 4294967295 134512640 134714508 3221221792 3221217672 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4862 1111 63 0 5647 0
vsize: 22840
[startup+760.033 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7317 0 0 0 75983 25 0 0 25 0 1 0 659041538 23388160 4863 4294967295 134512640 134714508 3221221792 3221217648 1075965284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+770.034 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7317 0 0 0 76984 25 0 0 25 0 1 0 659041538 23388160 4863 4294967295 134512640 134714508 3221221792 3221217924 1075117774 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+780.035 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7317 0 0 0 77984 25 0 0 25 0 1 0 659041538 23388160 4863 4294967295 134512640 134714508 3221221792 3221217984 1074960828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+790.034 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7317 0 0 0 78984 25 0 0 25 0 1 0 659041538 23388160 4863 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+800.035 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 79984 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217676 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+810.036 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 80984 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+820.036 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 81985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+830.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 82985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221218304 1074885952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+840.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 83985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217568 1074870807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+850.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 84985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217676 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+860.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 85985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+870.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 86985 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+880.038 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 87986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217940 1075115109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+890.038 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 88986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221218756 1074846221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+900.038 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 89986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217544 1074789286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+910.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 90986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+920.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 91986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217632 1074893230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+930.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 92986 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221218044 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+940.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 93987 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217616 1074786864 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+950.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 94987 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+960.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 95987 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217616 1074786854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+970.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 96987 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217648 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+980.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 97987 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+990.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 98988 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7319 0 0 0 99988 25 0 0 25 0 1 0 659041538 23388160 4865 4294967295 134512640 134714508 3221221792 3221218744 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7376 0 0 0 100988 25 0 0 25 0 1 0 659041538 23629824 4922 4294967295 134512640 134714508 3221221792 3221217924 1075117370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4922 1111 63 0 5706 0
vsize: 23076
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7376 0 0 0 101988 25 0 0 25 0 1 0 659041538 23629824 4922 4294967295 134512640 134714508 3221221792 3221217940 1075115014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4922 1111 63 0 5706 0
vsize: 23076
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7377 0 0 0 102988 25 0 0 25 0 1 0 659041538 23629824 4923 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7377 0 0 0 103988 25 0 0 25 0 1 0 659041538 23629824 4923 4294967295 134512640 134714508 3221221792 3221217924 1075117394 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7377 0 0 0 104988 25 0 0 25 0 1 0 659041538 23629824 4923 4294967295 134512640 134714508 3221221792 3221218304 1074887057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7377 0 0 0 105988 25 0 0 25 0 1 0 659041538 23629824 4923 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7377 0 0 0 106989 25 0 0 25 0 1 0 659041538 23629824 4923 4294967295 134512640 134714508 3221221792 3221217584 1074786849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7437 0 0 0 107989 26 0 0 25 0 1 0 659041538 23879680 4983 4294967295 134512640 134714508 3221221792 3221217568 1074867688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4983 1111 63 0 5767 0
vsize: 23320
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7437 0 0 0 108989 26 0 0 25 0 1 0 659041538 23879680 4983 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4983 1111 63 0 5767 0
vsize: 23320
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 109989 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 110989 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217924 1075117377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 111989 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 112990 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217940 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 113990 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7439 0 0 0 114990 26 0 0 25 0 1 0 659041538 23879680 4985 4294967295 134512640 134714508 3221221792 3221217776 1074881447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7501 0 0 0 115990 26 0 0 25 0 1 0 659041538 24154112 5047 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5047 1111 63 0 5834 0
vsize: 23588
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7501 0 0 0 116990 26 0 0 25 0 1 0 659041538 24154112 5047 4294967295 134512640 134714508 3221221792 3221218704 1075338923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5047 1111 63 0 5834 0
vsize: 23588
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7501 0 0 0 117990 26 0 0 25 0 1 0 659041538 24154112 5047 4294967295 134512640 134714508 3221221792 3221218304 1074885712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5047 1111 63 0 5834 0
vsize: 23588
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7502 0 0 0 118990 26 0 0 25 0 1 0 659041538 24154112 5048 4294967295 134512640 134714508 3221221792 3221218208 1075863974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5048 1111 63 0 5834 0
vsize: 23588
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) R 4957 7876 7672 0 -1 0 7502 0 0 0 119991 26 0 0 25 0 1 0 659041538 24154112 5048 4294967295 134512640 134714508 3221221792 3221218368 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5048 1111 63 0 5834 0
vsize: 23588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.99 0.96 1/54 4960
Raw data (stat): 4958 (bsolo_lpr_cuts) Z 4957 7876 7672 0 -1 1036 7502 0 0 0 119991 27 0 0 25 0 1 0 659041538 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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