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-g125.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
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	4500
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	4500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	18
Trace number 23793

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 22:04:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1172 boxname=wulflinc31 idbench=131 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
IDLAUNCH: 1172
/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:        900168 kB
Buffers:         44792 kB
Cached:          67076 kB
SwapCached:        944 kB
Active:          92324 kB
Inactive:        22012 kB
HighTotal:      131008 kB
HighFree:        63028 kB
LowTotal:       903652 kB
LowFree:        837140 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14552 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 22:24:52 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 1172 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4500 variables and 72413 constraints.
c After prepocess the problem consists of 4500 variables and 72563 constraints.
c preprocess terminated 505.363 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.98 0.99 2/54 6657
Raw data (stat): 6657 (runsolver) R 6656 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660858733 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.98 0.99 2/54 6657
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 44253 0 0 0 881 114 0 0 25 0 1 0 660858733 184475648 44165 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45038 44165 1111 63 0 44975 0
vsize: 180152
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.98 0.99 2/54 6657
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 83770 0 0 0 1784 211 0 0 25 0 1 0 660858733 189444096 45357 4294967295 134512640 134714508 3221221776 3221220124 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46251 45357 1111 63 0 46188 0
vsize: 185004
[startup+30.002 s]
Raw data (loadavg): 0.91 0.98 0.99 2/54 6657
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 140529 0 0 0 2644 352 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+40.0027 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 6657
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 159248 0 0 0 3598 398 0 0 25 0 1 0 660858733 192757760 46171 4294967295 134512640 134714508 3221221776 3221220200 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47060 46178 1111 63 0 46997 0
vsize: 188240
[startup+50.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 6657
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 180106 0 0 0 4545 451 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+60.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 206801 0 0 0 5480 516 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+70.0046 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 223882 0 0 0 6437 559 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 7399 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 8400 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+100.006 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 9400 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+110.005 s]
Raw data (loadavg): 1.12 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 10400 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+120.006 s]
Raw data (loadavg): 1.10 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 11400 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220352 134535840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+130.006 s]
Raw data (loadavg): 1.08 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 12400 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+140.007 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 13401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+150.008 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 14401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+160.008 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 15401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+170.009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 16401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+180.009 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 17401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+190.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 18401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+200.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 19401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+210.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 20401 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+220.011 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 21402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+230.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 22402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+240.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 23402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+250.011 s]
Raw data (loadavg): 1.09 1.02 1.01 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 24402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220160 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+260.011 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 25402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+270.011 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 26402 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+280.012 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 27403 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+290.017 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 28403 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+300.017 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 29403 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+310.017 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 30404 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+320.017 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 31404 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+330.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 32404 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+340.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 33404 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+350.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 34404 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134539427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+360.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 35405 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220288 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+370.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 36405 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+380.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 37405 597 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220304 134542851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+390.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 38405 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220264 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 39405 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 40405 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 41405 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220256 134539427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 42405 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 43406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 44406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 45406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 46406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 47406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 237971 0 0 0 48406 598 0 0 25 0 1 0 660858733 184545280 44197 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 238540 0 0 0 49405 599 0 0 25 0 1 0 660858733 186871808 44766 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45623 44766 1111 63 0 45560 0
vsize: 182492
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 238802 0 0 0 50404 600 0 0 25 0 1 0 660858733 188534784 45028 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46029 45028 1111 63 0 45966 0
vsize: 184116
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 238922 0 0 0 51401 602 0 0 25 0 1 0 660858733 188825600 45132 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46100 45132 1111 63 0 46037 0
vsize: 184400
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 238993 0 0 0 52400 604 0 0 25 0 1 0 660858733 189235200 45203 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46200 45203 1111 63 0 46137 0
vsize: 184800
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239030 0 0 0 53399 606 0 0 25 0 1 0 660858733 189362176 45240 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46231 45240 1111 63 0 46168 0
vsize: 184924
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239147 0 0 0 54398 607 0 0 25 0 1 0 660858733 189812736 45357 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46341 45357 1111 63 0 46278 0
vsize: 185364
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239175 0 0 0 55397 608 0 0 25 0 1 0 660858733 189923328 45385 4294967295 134512640 134714508 3221221776 3221219944 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46368 45385 1111 63 0 46305 0
vsize: 185472
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239218 0 0 0 56396 609 0 0 25 0 1 0 660858733 190070784 45428 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46404 45428 1111 63 0 46341 0
vsize: 185616
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239241 0 0 0 57396 609 0 0 25 0 1 0 660858733 190160896 45451 4294967295 134512640 134714508 3221221776 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46426 45451 1111 63 0 46363 0
vsize: 185704
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239263 0 0 0 58395 610 0 0 25 0 1 0 660858733 190246912 45473 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46447 45473 1111 63 0 46384 0
vsize: 185788
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239364 0 0 0 59394 611 0 0 25 0 1 0 660858733 190623744 45574 4294967295 134512640 134714508 3221221776 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46539 45574 1111 63 0 46476 0
vsize: 186156
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239384 0 0 0 60394 612 0 0 25 0 1 0 660858733 190701568 45594 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46558 45594 1111 63 0 46495 0
vsize: 186232
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239403 0 0 0 61394 612 0 0 25 0 1 0 660858733 190775296 45613 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46576 45613 1111 63 0 46513 0
vsize: 186304
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239421 0 0 0 62394 612 0 0 25 0 1 0 660858733 190844928 45631 4294967295 134512640 134714508 3221221776 3221220048 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46593 45631 1111 63 0 46530 0
vsize: 186372
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239438 0 0 0 63393 613 0 0 25 0 1 0 660858733 190910464 45648 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46609 45648 1111 63 0 46546 0
vsize: 186436
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239482 0 0 0 64393 613 0 0 25 0 1 0 660858733 190914560 45657 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46610 45657 1111 63 0 46547 0
vsize: 186440
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239498 0 0 0 65393 614 0 0 25 0 1 0 660858733 190976000 45673 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46625 45673 1111 63 0 46562 0
vsize: 186500
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239514 0 0 0 66392 614 0 0 25 0 1 0 660858733 191037440 45689 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46640 45689 1111 63 0 46577 0
vsize: 186560
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239526 0 0 0 67392 615 0 0 25 0 1 0 660858733 191086592 45701 4294967295 134512640 134714508 3221221776 3221220048 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46652 45701 1111 63 0 46589 0
vsize: 186608
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239540 0 0 0 68392 615 0 0 25 0 1 0 660858733 191139840 45715 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46665 45715 1111 63 0 46602 0
vsize: 186660
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239553 0 0 0 69392 615 0 0 25 0 1 0 660858733 191188992 45728 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46677 45728 1111 63 0 46614 0
vsize: 186708
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239672 0 0 0 70392 616 0 0 25 0 1 0 660858733 191676416 45847 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46796 45847 1111 63 0 46733 0
vsize: 187184
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239686 0 0 0 71391 616 0 0 25 0 1 0 660858733 191729664 45861 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46809 45861 1111 63 0 46746 0
vsize: 187236
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239699 0 0 0 72391 617 0 0 25 0 1 0 660858733 191778816 45874 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46821 45874 1111 63 0 46758 0
vsize: 187284
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239713 0 0 0 73391 617 0 0 25 0 1 0 660858733 191836160 45888 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46835 45888 1111 63 0 46772 0
vsize: 187340
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239726 0 0 0 74391 617 0 0 25 0 1 0 660858733 191885312 45901 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46847 45901 1111 63 0 46784 0
vsize: 187388
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239738 0 0 0 75391 617 0 0 25 0 1 0 660858733 191934464 45913 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45913 1111 63 0 46796 0
vsize: 187436
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239749 0 0 0 76391 618 0 0 25 0 1 0 660858733 191975424 45924 4294967295 134512640 134714508 3221221776 3221220048 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46869 45924 1111 63 0 46806 0
vsize: 187476
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239762 0 0 0 77391 618 0 0 25 0 1 0 660858733 192024576 45937 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46881 45937 1111 63 0 46818 0
vsize: 187524
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239774 0 0 0 78390 619 0 0 25 0 1 0 660858733 192073728 45949 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46893 45949 1111 63 0 46830 0
vsize: 187572
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239786 0 0 0 79390 619 0 0 25 0 1 0 660858733 192118784 45961 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46904 45961 1111 63 0 46841 0
vsize: 187616
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239852 0 0 0 80390 619 0 0 25 0 1 0 660858733 192389120 46027 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46970 46027 1111 63 0 46907 0
vsize: 187880
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239864 0 0 0 81389 620 0 0 25 0 1 0 660858733 192434176 46039 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46981 46039 1111 63 0 46918 0
vsize: 187924
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239874 0 0 0 82389 620 0 0 25 0 1 0 660858733 192475136 46049 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46991 46049 1111 63 0 46928 0
vsize: 187964
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239886 0 0 0 83389 621 0 0 25 0 1 0 660858733 192520192 46061 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47002 46061 1111 63 0 46939 0
vsize: 188008
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239896 0 0 0 84388 622 0 0 25 0 1 0 660858733 192561152 46071 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47012 46071 1111 63 0 46949 0
vsize: 188048
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239908 0 0 0 85389 622 0 0 25 0 1 0 660858733 192606208 46083 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47023 46083 1111 63 0 46960 0
vsize: 188092
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239917 0 0 0 86389 622 0 0 25 0 1 0 660858733 192643072 46092 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47032 46092 1111 63 0 46969 0
vsize: 188128
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239928 0 0 0 87389 622 0 0 25 0 1 0 660858733 192684032 46103 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47042 46103 1111 63 0 46979 0
vsize: 188168
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239937 0 0 0 88389 622 0 0 25 0 1 0 660858733 192720896 46112 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47051 46112 1111 63 0 46988 0
vsize: 188204
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239945 0 0 0 89389 622 0 0 25 0 1 0 660858733 192753664 46120 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47059 46120 1111 63 0 46996 0
vsize: 188236
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239956 0 0 0 90388 623 0 0 25 0 1 0 660858733 192794624 46131 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47069 46131 1111 63 0 47006 0
vsize: 188276
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239965 0 0 0 91388 623 0 0 25 0 1 0 660858733 192831488 46140 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47078 46140 1111 63 0 47015 0
vsize: 188312
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 239975 0 0 0 92388 623 0 0 25 0 1 0 660858733 192868352 46150 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47087 46150 1111 63 0 47024 0
vsize: 188348
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240148 0 0 0 93388 624 0 0 25 0 1 0 660858733 193249280 46243 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47180 46243 1111 63 0 47117 0
vsize: 188720
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240157 0 0 0 94388 624 0 0 25 0 1 0 660858733 193282048 46252 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47188 46252 1111 63 0 47125 0
vsize: 188752
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240166 0 0 0 95388 624 0 0 25 0 1 0 660858733 193318912 46261 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47197 46261 1111 63 0 47134 0
vsize: 188788
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240176 0 0 0 96388 625 0 0 25 0 1 0 660858733 193355776 46271 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47206 46271 1111 63 0 47143 0
vsize: 188824
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240183 0 0 0 97387 625 0 0 25 0 1 0 660858733 193384448 46278 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47213 46278 1111 63 0 47150 0
vsize: 188852
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240192 0 0 0 98387 625 0 0 25 0 1 0 660858733 193421312 46287 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47222 46287 1111 63 0 47159 0
vsize: 188888
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240201 0 0 0 99387 626 0 0 25 0 1 0 660858733 193454080 46296 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47230 46296 1111 63 0 47167 0
vsize: 188920
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240211 0 0 0 100387 626 0 0 25 0 1 0 660858733 193495040 46306 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47240 46306 1111 63 0 47177 0
vsize: 188960
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240221 0 0 0 101387 626 0 0 25 0 1 0 660858733 193531904 46316 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47249 46316 1111 63 0 47186 0
vsize: 188996
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240230 0 0 0 102387 626 0 0 25 0 1 0 660858733 193568768 46325 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47258 46325 1111 63 0 47195 0
vsize: 189032
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240239 0 0 0 103387 627 0 0 25 0 1 0 660858733 193605632 46334 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47267 46334 1111 63 0 47204 0
vsize: 189068
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240248 0 0 0 104386 627 0 0 25 0 1 0 660858733 193638400 46343 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47275 46343 1111 63 0 47212 0
vsize: 189100
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240257 0 0 0 105386 628 0 0 25 0 1 0 660858733 193675264 46352 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47284 46352 1111 63 0 47221 0
vsize: 189136
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240267 0 0 0 106386 628 0 0 25 0 1 0 660858733 193712128 46362 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47293 46362 1111 63 0 47230 0
vsize: 189172
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240276 0 0 0 107386 628 0 0 25 0 1 0 660858733 193748992 46371 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47302 46371 1111 63 0 47239 0
vsize: 189208
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240283 0 0 0 108386 628 0 0 25 0 1 0 660858733 193777664 46378 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47309 46378 1111 63 0 47246 0
vsize: 189236
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240292 0 0 0 109386 628 0 0 25 0 1 0 660858733 193810432 46387 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47317 46387 1111 63 0 47254 0
vsize: 189268
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240299 0 0 0 110386 629 0 0 25 0 1 0 660858733 193839104 46394 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47324 46394 1111 63 0 47261 0
vsize: 189296
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240307 0 0 0 111386 629 0 0 25 0 1 0 660858733 193871872 46402 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47332 46402 1111 63 0 47269 0
vsize: 189328
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240317 0 0 0 112386 629 0 0 25 0 1 0 660858733 193908736 46412 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47341 46412 1111 63 0 47278 0
vsize: 189364
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240419 0 0 0 113386 630 0 0 25 0 1 0 660858733 194326528 46514 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47443 46514 1111 63 0 47380 0
vsize: 189772
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240427 0 0 0 114385 630 0 0 25 0 1 0 660858733 194359296 46522 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47451 46522 1111 63 0 47388 0
vsize: 189804
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240435 0 0 0 115385 631 0 0 25 0 1 0 660858733 194387968 46530 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47458 46530 1111 63 0 47395 0
vsize: 189832
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240443 0 0 0 116385 631 0 0 25 0 1 0 660858733 194420736 46538 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47466 46538 1111 63 0 47403 0
vsize: 189864
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240451 0 0 0 117385 631 0 0 25 0 1 0 660858733 194449408 46546 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47473 46546 1111 63 0 47410 0
vsize: 189892
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240459 0 0 0 118385 631 0 0 25 0 1 0 660858733 194482176 46554 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47481 46554 1111 63 0 47418 0
vsize: 189924
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) R 6656 7876 7672 0 -1 0 240465 0 0 0 119385 631 0 0 25 0 1 0 660858733 194506752 46560 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47487 46560 1111 63 0 47424 0
vsize: 189948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6659
Raw data (stat): 6657 (bsolo_lpr_cuts) Z 6656 7876 7672 0 -1 1036 240465 0 0 0 119385 640 0 0 25 0 1 0 660858733 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.13
CPU time (s): 1200.26
CPU user time (s): 1193.86
CPU system time (s): 6.40503
CPU usage (%): 100.011
Max. virtual memory (Kb): 189948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####