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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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	1175.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
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	2
Trace number 24823

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 12:50:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3026 boxname=wulflinc31 idbench=337 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-4.opb
IDLAUNCH: 3026
/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:        864140 kB
Buffers:         36752 kB
Cached:         111932 kB
SwapCached:       1936 kB
Active:         115236 kB
Inactive:        36588 kB
HighTotal:      131008 kB
HighFree:        18228 kB
LowTotal:       903652 kB
LowFree:        845912 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12928 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 13:10:40 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 3026 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80258 constraints.
c After prepocess the problem consists of 1150 variables and 55197 constraints.
c preprocess terminated 571.042 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.92 0.98 0.93 2/55 17470
Raw data (stat): 17470 (runsolver) R 17469 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 735302059 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 22459 0 0 0 938 57 0 0 25 0 1 0 735302059 95170560 22378 4294967295 134512640 134714508 3221221776 3221220188 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23235 22378 1111 63 0 23172 0
vsize: 92940
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 27020 0 0 0 1929 66 0 0 25 0 1 0 735302059 112324608 26563 4294967295 134512640 134714508 3221221776 3221220396 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27423 26563 1111 63 0 27360 0
vsize: 109692
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 27020 0 0 0 2929 66 0 0 25 0 1 0 735302059 112324608 26563 4294967295 134512640 134714508 3221221776 3221220204 1076647876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27423 26563 1111 63 0 27360 0
vsize: 109692
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 3923 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 4923 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 5923 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 6924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 7924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220192 1076648080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 8924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 9924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 10924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 11924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 12924 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220328 134535779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 13925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 14925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 15925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220304 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 16925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 17925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220172 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 18925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 19925 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220168 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 20926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 21926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 22926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 23926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 24926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 25926 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 26927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 27927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 28927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220164 134542700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 29927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 30927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 31927 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220284 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 32928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220304 134528434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 33928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 34928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 35928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 36928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 37928 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 38929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 39929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220184 134543594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 40929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 41929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 42929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 43929 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 44930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 45930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 46930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220348 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 47930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 48930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 49930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 50930 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 51931 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29780 0 0 0 52931 73 0 0 25 0 1 0 735302059 122843136 29145 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29145 1111 63 0 29928 0
vsize: 119964
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29781 0 0 0 53931 73 0 0 25 0 1 0 735302059 122843136 29146 4294967295 134512640 134714508 3221221776 3221220632 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29781 0 0 0 54931 73 0 0 25 0 1 0 735302059 122843136 29146 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17470
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29781 0 0 0 55931 74 0 0 25 0 1 0 735302059 122843136 29146 4294967295 134512640 134714508 3221221776 3221220632 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.93 3/57 17505
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29781 0 0 0 56932 74 0 0 25 0 1 0 735302059 122843136 29146 4294967295 134512640 134714508 3221221776 3221220564 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29146 1111 63 0 29928 0
vsize: 119964
[startup+580.021 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 57931 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+590.021 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 58931 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+600.022 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 59931 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221219624 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+610.022 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 60931 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+620.022 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 61932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+630.022 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 17523
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 62932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+640.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 63932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+650.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 64932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+660.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 65932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+670.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 66932 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+680.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 29803 0 0 0 67933 74 0 0 25 0 1 0 735302059 122843136 29168 4294967295 134512640 134714508 3221221776 3221220048 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29168 1111 63 0 29928 0
vsize: 119964
[startup+690.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30061 0 0 0 68932 75 0 0 25 0 1 0 735302059 123895808 29426 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30248 29426 1111 63 0 30185 0
vsize: 120992
[startup+700.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30071 0 0 0 69931 76 0 0 25 0 1 0 735302059 123936768 29436 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29436 1111 63 0 30195 0
vsize: 121032
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30079 0 0 0 70931 76 0 0 25 0 1 0 735302059 123969536 29444 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30266 29444 1111 63 0 30203 0
vsize: 121064
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30087 0 0 0 71931 76 0 0 25 0 1 0 735302059 124002304 29452 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30274 29452 1111 63 0 30211 0
vsize: 121096
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30096 0 0 0 72931 77 0 0 25 0 1 0 735302059 124039168 29461 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30283 29461 1111 63 0 30220 0
vsize: 121132
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30257 0 0 0 73930 77 0 0 25 0 1 0 735302059 124698624 29622 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30444 29622 1111 63 0 30381 0
vsize: 121776
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30271 0 0 0 74930 78 0 0 25 0 1 0 735302059 124755968 29636 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30458 29636 1111 63 0 30395 0
vsize: 121832
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30284 0 0 0 75930 78 0 0 25 0 1 0 735302059 124809216 29649 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30471 29649 1111 63 0 30408 0
vsize: 121884
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30296 0 0 0 76929 79 0 0 25 0 1 0 735302059 124858368 29661 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30483 29661 1111 63 0 30420 0
vsize: 121932
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30308 0 0 0 77929 80 0 0 25 0 1 0 735302059 124907520 29673 4294967295 134512640 134714508 3221221776 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30495 29673 1111 63 0 30432 0
vsize: 121980
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30320 0 0 0 78929 80 0 0 25 0 1 0 735302059 124956672 29685 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30507 29685 1111 63 0 30444 0
vsize: 122028
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30332 0 0 0 79928 81 0 0 25 0 1 0 735302059 125005824 29697 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30519 29697 1111 63 0 30456 0
vsize: 122076
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30343 0 0 0 80928 81 0 0 25 0 1 0 735302059 125050880 29708 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30530 29708 1111 63 0 30467 0
vsize: 122120
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30355 0 0 0 81927 82 0 0 25 0 1 0 735302059 125100032 29720 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30542 29720 1111 63 0 30479 0
vsize: 122168
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30367 0 0 0 82927 82 0 0 25 0 1 0 735302059 125149184 29732 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30554 29732 1111 63 0 30491 0
vsize: 122216
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30377 0 0 0 83927 83 0 0 25 0 1 0 735302059 125190144 29742 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30564 29742 1111 63 0 30501 0
vsize: 122256
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30388 0 0 0 84926 83 0 0 25 0 1 0 735302059 125235200 29753 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30575 29753 1111 63 0 30512 0
vsize: 122300
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30398 0 0 0 85927 83 0 0 25 0 1 0 735302059 125276160 29763 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30585 29763 1111 63 0 30522 0
vsize: 122340
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30409 0 0 0 86926 84 0 0 25 0 1 0 735302059 125321216 29774 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30596 29774 1111 63 0 30533 0
vsize: 122384
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30421 0 0 0 87926 84 0 0 25 0 1 0 735302059 125370368 29786 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30608 29786 1111 63 0 30545 0
vsize: 122432
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30431 0 0 0 88926 85 0 0 25 0 1 0 735302059 125411328 29796 4294967295 134512640 134714508 3221221776 3221219952 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30618 29796 1111 63 0 30555 0
vsize: 122472
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30443 0 0 0 89926 85 0 0 25 0 1 0 735302059 125460480 29808 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30630 29808 1111 63 0 30567 0
vsize: 122520
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17525
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30454 0 0 0 90925 86 0 0 25 0 1 0 735302059 125505536 29819 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30641 29819 1111 63 0 30578 0
vsize: 122564
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30463 0 0 0 91925 86 0 0 25 0 1 0 735302059 125542400 29828 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30650 29828 1111 63 0 30587 0
vsize: 122600
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30472 0 0 0 92925 86 0 0 25 0 1 0 735302059 125579264 29837 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30659 29837 1111 63 0 30596 0
vsize: 122636
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30482 0 0 0 93925 87 0 0 25 0 1 0 735302059 125620224 29847 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30669 29847 1111 63 0 30606 0
vsize: 122676
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30491 0 0 0 94925 87 0 0 25 0 1 0 735302059 125657088 29856 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30678 29856 1111 63 0 30615 0
vsize: 122712
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30502 0 0 0 95924 87 0 0 25 0 1 0 735302059 125702144 29867 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30689 29867 1111 63 0 30626 0
vsize: 122756
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30511 0 0 0 96924 88 0 0 25 0 1 0 735302059 125739008 29876 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30698 29876 1111 63 0 30635 0
vsize: 122792
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30520 0 0 0 97924 88 0 0 25 0 1 0 735302059 125775872 29885 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30707 29885 1111 63 0 30644 0
vsize: 122828
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30529 0 0 0 98924 89 0 0 25 0 1 0 735302059 125812736 29894 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30716 29894 1111 63 0 30653 0
vsize: 122864
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30536 0 0 0 99924 89 0 0 25 0 1 0 735302059 125841408 29901 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30723 29901 1111 63 0 30660 0
vsize: 122892
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30545 0 0 0 100924 89 0 0 25 0 1 0 735302059 125878272 29910 4294967295 134512640 134714508 3221221776 3221219960 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30732 29910 1111 63 0 30669 0
vsize: 122928
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30554 0 0 0 101923 90 0 0 25 0 1 0 735302059 125915136 29919 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30741 29919 1111 63 0 30678 0
vsize: 122964
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30563 0 0 0 102923 90 0 0 25 0 1 0 735302059 125952000 29928 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30750 29928 1111 63 0 30687 0
vsize: 123000
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30572 0 0 0 103923 90 0 0 25 0 1 0 735302059 125988864 29937 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30759 29937 1111 63 0 30696 0
vsize: 123036
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30581 0 0 0 104923 91 0 0 25 0 1 0 735302059 126025728 29946 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30768 29946 1111 63 0 30705 0
vsize: 123072
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30590 0 0 0 105923 91 0 0 25 0 1 0 735302059 126062592 29955 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30777 29955 1111 63 0 30714 0
vsize: 123108
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30599 0 0 0 106923 91 0 0 25 0 1 0 735302059 126099456 29964 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30786 29964 1111 63 0 30723 0
vsize: 123144
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30608 0 0 0 107923 91 0 0 25 0 1 0 735302059 126136320 29973 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30795 29973 1111 63 0 30732 0
vsize: 123180
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30619 0 0 0 108922 92 0 0 25 0 1 0 735302059 126181376 29984 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30806 29984 1111 63 0 30743 0
vsize: 123224
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30626 0 0 0 109922 92 0 0 25 0 1 0 735302059 126210048 29991 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30813 29991 1111 63 0 30750 0
vsize: 123252
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30635 0 0 0 110922 93 0 0 25 0 1 0 735302059 126246912 30000 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30822 30000 1111 63 0 30759 0
vsize: 123288
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30643 0 0 0 111922 93 0 0 25 0 1 0 735302059 126279680 30008 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30830 30008 1111 63 0 30767 0
vsize: 123320
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30650 0 0 0 112922 93 0 0 25 0 1 0 735302059 126308352 30015 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30837 30015 1111 63 0 30774 0
vsize: 123348
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30656 0 0 0 113922 93 0 0 25 0 1 0 735302059 126332928 30021 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30843 30021 1111 63 0 30780 0
vsize: 123372
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30665 0 0 0 114922 94 0 0 25 0 1 0 735302059 126369792 30030 4294967295 134512640 134714508 3221221776 3221220000 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30852 30030 1111 63 0 30789 0
vsize: 123408
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30673 0 0 0 115922 94 0 0 25 0 1 0 735302059 126402560 30038 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30860 30038 1111 63 0 30797 0
vsize: 123440
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30682 0 0 0 116922 94 0 0 25 0 1 0 735302059 126439424 30047 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30869 30047 1111 63 0 30806 0
vsize: 123476
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30690 0 0 0 117921 95 0 0 25 0 1 0 735302059 126472192 30055 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30877 30055 1111 63 0 30814 0
vsize: 123508
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30698 0 0 0 118921 95 0 0 25 0 1 0 735302059 126504960 30063 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30885 30063 1111 63 0 30822 0
vsize: 123540
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) R 17469 7876 7672 0 -1 0 30706 0 0 0 119921 96 0 0 25 0 1 0 735302059 126537728 30071 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30893 30071 1111 63 0 30830 0
vsize: 123572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 17527
Raw data (stat): 17470 (bsolo_lpr_cuts) Z 17469 7876 7672 0 -1 1036 30706 0 0 0 119921 101 0 0 25 0 1 0 735302059 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.1
CPU time (s): 1200.23
CPU user time (s): 1199.21
CPU system time (s): 1.01684
CPU usage (%): 100.011
Max. virtual memory (Kb): 123572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####