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-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
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	1
Maximum length of a constraint	5
Trace number 40802

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 22:02:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28842 boxname=wulflinc1 idbench=228 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc1/normalized-ssa7552-158.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ssa7552-158.opb
IDLAUNCH: 28842
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        849000 kB
Buffers:         28944 kB
Cached:         132496 kB
SwapCached:       1148 kB
Active:          43496 kB
Inactive:       120212 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        848720 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16304 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:22:36 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28842 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4397 constraints.
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/55 26583
Raw data (stat): 26583 (runsolver) R 26582 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848223696 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 43306 0 0 0 896 102 0 0 25 0 1 0 848223696 17846272 3487 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3487 1111 63 0 4294 0
vsize: 17428
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 66857 0 0 0 1839 159 0 0 25 0 1 0 848223696 28430336 6094 4294967295 134512640 134716908 3221224576 3221223328 134630791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6941 6094 1111 63 0 6878 0
vsize: 27764
[startup+30.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 88424 0 0 0 2787 210 0 0 25 0 1 0 848223696 33861632 7423 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8267 7423 1111 63 0 8204 0
vsize: 33068
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 96797 0 0 0 3768 230 0 0 25 0 1 0 848223696 39161856 8711 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9561 8711 1111 63 0 9498 0
vsize: 38244
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 105244 0 0 0 4749 249 0 0 25 0 1 0 848223696 43270144 9717 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 9717 1111 63 0 10501 0
vsize: 42256
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 116275 0 0 0 5725 273 0 0 25 0 1 0 848223696 46534656 10503 4294967295 134512640 134716908 3221224576 3221223136 134523869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11361 10503 1111 63 0 11298 0
vsize: 45444
[startup+70.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 123616 0 0 0 6707 291 0 0 25 0 1 0 848223696 49438720 11226 4294967295 134512640 134716908 3221224576 3221223296 134538990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12070 11226 1111 63 0 12007 0
vsize: 48280
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 127987 0 0 0 7698 300 0 0 25 0 1 0 848223696 51666944 11770 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12614 11770 1111 63 0 12551 0
vsize: 50456
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 131765 0 0 0 8691 307 0 0 25 0 1 0 848223696 54931456 12561 4294967295 134512640 134716908 3221224576 3221223040 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13411 12561 1111 63 0 13348 0
vsize: 53644
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 135038 0 0 0 9684 315 0 0 25 0 1 0 848223696 56561664 12965 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13809 12965 1111 63 0 13746 0
vsize: 55236
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 137789 0 0 0 10678 321 0 0 25 0 1 0 848223696 59027456 13567 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14411 13567 1111 63 0 14348 0
vsize: 57644
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 149266 0 0 0 11651 348 0 0 25 0 1 0 848223696 61468672 14142 4294967295 134512640 134716908 3221224576 3221223056 134539567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15007 14142 1111 63 0 14944 0
vsize: 60028
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 151295 0 0 0 12647 353 0 0 25 0 1 0 848223696 62320640 14371 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 14371 1111 63 0 15152 0
vsize: 60860
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 153907 0 0 0 13641 358 0 0 25 0 1 0 848223696 63246336 14597 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15441 14597 1111 63 0 15378 0
vsize: 61764
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 157709 0 0 0 14632 367 0 0 25 0 1 0 848223696 66150400 15280 4294967295 134512640 134716908 3221224576 3221223216 134594944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16150 15280 1111 63 0 16087 0
vsize: 64600
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 161016 0 0 0 15625 375 0 0 25 0 1 0 848223696 67993600 15729 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16600 15729 1111 63 0 16537 0
vsize: 66400
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26583
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 165949 0 0 0 16614 386 0 0 25 0 1 0 848223696 69406720 16101 4294967295 134512640 134716908 3221224576 3221223040 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16945 16101 1111 63 0 16882 0
vsize: 67780
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 167843 0 0 0 17609 391 0 0 25 0 1 0 848223696 70139904 16280 4294967295 134512640 134716908 3221224576 3221223008 134523171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17124 16280 1111 63 0 17061 0
vsize: 68496
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 171339 0 0 0 18600 400 0 0 25 0 1 0 848223696 72151040 16771 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17615 16771 1111 63 0 17552 0
vsize: 70460
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 172971 0 0 0 19596 404 0 0 25 0 1 0 848223696 73461760 17091 4294967295 134512640 134716908 3221224576 3221223036 134523156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17935 17091 1111 63 0 17872 0
vsize: 71740
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 176258 0 0 0 20588 412 0 0 25 0 1 0 848223696 74256384 17261 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18129 17261 1111 63 0 18066 0
vsize: 72516
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 179741 0 0 0 21581 419 0 0 25 0 1 0 848223696 76771328 17883 4294967295 134512640 134716908 3221224576 3221223308 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18743 17883 1111 63 0 18680 0
vsize: 74972
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 182449 0 0 0 22574 426 0 0 25 0 1 0 848223696 78123008 18215 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19073 18215 1111 63 0 19010 0
vsize: 76292
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 185059 0 0 0 23568 432 0 0 25 0 1 0 848223696 78925824 18401 4294967295 134512640 134716908 3221224576 3221223200 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19269 18401 1111 63 0 19206 0
vsize: 77076
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 186378 0 0 0 24566 434 0 0 25 0 1 0 848223696 80023552 18693 4294967295 134512640 134716908 3221224576 3221222972 134539341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19537 18693 1111 63 0 19474 0
vsize: 78148
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 187629 0 0 0 25563 438 0 0 25 0 1 0 848223696 81436672 19014 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19882 19014 1111 63 0 19819 0
vsize: 79528
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 190891 0 0 0 26555 446 0 0 25 0 1 0 848223696 82804736 19340 4294967295 134512640 134716908 3221224576 3221223140 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19340 1111 63 0 20153 0
vsize: 80864
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 195805 0 0 0 27544 458 0 0 25 0 1 0 848223696 83501056 19542 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20386 19542 1111 63 0 20323 0
vsize: 81544
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 196942 0 0 0 28541 460 0 0 25 0 1 0 848223696 84819968 19845 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20708 19845 1111 63 0 20645 0
vsize: 82832
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 199586 0 0 0 29535 467 0 0 25 0 1 0 848223696 84672512 19797 4294967295 134512640 134716908 3221224576 3221222908 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20672 19797 1111 63 0 20609 0
vsize: 82688
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 203872 0 0 0 30524 478 0 0 25 0 1 0 848223696 87040000 20385 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21250 20385 1111 63 0 21187 0
vsize: 85000
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 205882 0 0 0 31519 483 0 0 25 0 1 0 848223696 88813568 20813 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21683 20813 1111 63 0 21620 0
vsize: 86732
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 209176 0 0 0 32513 489 0 0 25 0 1 0 848223696 89767936 21050 4294967295 134512640 134716908 3221224576 3221223088 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21916 21050 1111 63 0 21853 0
vsize: 87664
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 210288 0 0 0 33510 492 0 0 25 0 1 0 848223696 90587136 21269 4294967295 134512640 134716908 3221224576 3221223056 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22116 21269 1111 63 0 22053 0
vsize: 88464
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 211303 0 0 0 34508 494 0 0 25 0 1 0 848223696 91607040 21502 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22365 21502 1111 63 0 22302 0
vsize: 89460
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 212355 0 0 0 35506 497 0 0 25 0 1 0 848223696 92495872 21717 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22582 21717 1111 63 0 22519 0
vsize: 90328
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 214266 0 0 0 36501 502 0 0 25 0 1 0 848223696 93429760 21942 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22810 21942 1111 63 0 22747 0
vsize: 91240
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 216025 0 0 0 37497 506 0 0 25 0 1 0 848223696 92766208 21801 4294967295 134512640 134716908 3221224576 3221222980 134542685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22648 21801 1111 63 0 22585 0
vsize: 90592
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 218112 0 0 0 38492 511 0 0 25 0 1 0 848223696 94920704 22309 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23174 22309 1111 63 0 23111 0
vsize: 92696
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 225394 0 0 0 39476 527 0 0 25 0 1 0 848223696 96190464 22640 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23484 22640 1111 63 0 23421 0
vsize: 93936
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 226523 0 0 0 40473 530 0 0 25 0 1 0 848223696 96952320 22802 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23670 22802 1111 63 0 23607 0
vsize: 94680
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 227915 0 0 0 41470 534 0 0 25 0 1 0 848223696 96309248 22669 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23513 22669 1111 63 0 23450 0
vsize: 94052
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 230047 0 0 0 42465 539 0 0 25 0 1 0 848223696 99020800 23329 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24175 23329 1111 63 0 24112 0
vsize: 96700
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 230496 0 0 0 43464 540 0 0 25 0 1 0 848223696 99086336 23347 4294967295 134512640 134716908 3221224576 3221223104 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24191 23347 1111 63 0 24128 0
vsize: 96764
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 231118 0 0 0 44462 542 0 0 25 0 1 0 848223696 99594240 23471 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24315 23471 1111 63 0 24252 0
vsize: 97260
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 233261 0 0 0 45458 547 0 0 25 0 1 0 848223696 101011456 23806 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24661 23806 1111 63 0 24598 0
vsize: 98644
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 234012 0 0 0 46456 548 0 0 25 0 1 0 848223696 101523456 23936 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24786 23936 1111 63 0 24723 0
vsize: 99144
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 235625 0 0 0 47453 552 0 0 25 0 1 0 848223696 102367232 24138 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24992 24138 1111 63 0 24929 0
vsize: 99968
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 239319 0 0 0 48444 561 0 0 25 0 1 0 848223696 103034880 24297 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25155 24297 1111 63 0 25092 0
vsize: 100620
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 241100 0 0 0 49439 566 0 0 25 0 1 0 848223696 103776256 24487 4294967295 134512640 134716908 3221224576 3221223020 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25336 24487 1111 63 0 25273 0
vsize: 101344
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 243279 0 0 0 50434 571 0 0 25 0 1 0 848223696 104407040 24625 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25490 24625 1111 63 0 25427 0
vsize: 101960
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 247806 0 0 0 51423 582 0 0 25 0 1 0 848223696 105177088 24829 4294967295 134512640 134716908 3221224576 3221223112 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25678 24829 1111 63 0 25615 0
vsize: 102712
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 248496 0 0 0 52422 584 0 0 25 0 1 0 848223696 105742336 24959 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25816 24959 1111 63 0 25753 0
vsize: 103264
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 250494 0 0 0 53417 589 0 0 25 0 1 0 848223696 106512384 25152 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26004 25152 1111 63 0 25941 0
vsize: 104016
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 274709 0 0 0 54360 646 0 0 25 0 1 0 848223696 107360256 25367 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26246 25373 1111 63 0 26183 0
vsize: 104844
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 280373 0 0 0 55347 659 0 0 25 0 1 0 848223696 108228608 25565 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26423 25565 1111 63 0 26360 0
vsize: 105692
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 281167 0 0 0 56346 661 0 0 25 0 1 0 848223696 108945408 25746 4294967295 134512640 134716908 3221224576 3221223152 134523971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26598 25746 1111 63 0 26535 0
vsize: 106392
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 282674 0 0 0 57342 665 0 0 25 0 1 0 848223696 109543424 25870 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26744 25870 1111 63 0 26681 0
vsize: 106976
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 283858 0 0 0 58339 668 0 0 25 0 1 0 848223696 109535232 25898 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26742 25898 1111 63 0 26679 0
vsize: 106968
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 286399 0 0 0 59332 675 0 0 25 0 1 0 848223696 110669824 26167 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27019 26167 1111 63 0 26956 0
vsize: 108076
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 289303 0 0 0 60326 682 0 0 25 0 1 0 848223696 111104000 26281 4294967295 134512640 134716908 3221224576 3221223328 134630818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27125 26281 1111 63 0 27062 0
vsize: 108500
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 290544 0 0 0 61324 684 0 0 25 0 1 0 848223696 111169536 26297 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27141 26297 1111 63 0 27078 0
vsize: 108564
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 291581 0 0 0 62322 686 0 0 25 0 1 0 848223696 112308224 26575 4294967295 134512640 134716908 3221224576 3221223136 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27419 26575 1111 63 0 27356 0
vsize: 109676
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 292774 0 0 0 63319 688 0 0 25 0 1 0 848223696 112631808 26654 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27498 26654 1111 63 0 27435 0
vsize: 109992
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 294489 0 0 0 64315 693 0 0 25 0 1 0 848223696 113340416 26811 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27671 26811 1111 63 0 27608 0
vsize: 110684
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 295463 0 0 0 65313 695 0 0 25 0 1 0 848223696 112631808 26654 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27498 26654 1111 63 0 27435 0
vsize: 109992
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 296298 0 0 0 66312 696 0 0 25 0 1 0 848223696 114536448 27095 4294967295 134512640 134716908 3221224576 3221223188 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27963 27095 1111 63 0 27900 0
vsize: 111852
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 296764 0 0 0 67312 697 0 0 25 0 1 0 848223696 114696192 27158 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28002 27158 1111 63 0 27939 0
vsize: 112008
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 298055 0 0 0 68309 700 0 0 25 0 1 0 848223696 115408896 27310 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28176 27310 1111 63 0 28113 0
vsize: 112704
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 300252 0 0 0 69304 705 0 0 25 0 1 0 848223696 115265536 27274 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28141 27279 1111 63 0 28078 0
vsize: 112564
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 306473 0 0 0 70291 719 0 0 25 0 1 0 848223696 115064832 27248 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28092 27248 1111 63 0 28029 0
vsize: 112368
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 307799 0 0 0 71288 721 0 0 25 0 1 0 848223696 117030912 27704 4294967295 134512640 134716908 3221224576 3221223040 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28572 27704 1111 63 0 28509 0
vsize: 114288
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 309573 0 0 0 72285 725 0 0 25 0 1 0 848223696 117456896 27810 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28676 27810 1111 63 0 28613 0
vsize: 114704
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 310782 0 0 0 73282 728 0 0 25 0 1 0 848223696 116371456 27567 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28411 27567 1111 63 0 28348 0
vsize: 113644
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 312193 0 0 0 74280 730 0 0 25 0 1 0 848223696 118345728 28019 4294967295 134512640 134716908 3221224576 3221223104 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28893 28019 1111 63 0 28830 0
vsize: 115572
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 312856 0 0 0 75278 732 0 0 25 0 1 0 848223696 118738944 28129 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28989 28129 1111 63 0 28926 0
vsize: 115956
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 315934 0 0 0 76270 740 0 0 25 0 1 0 848223696 119308288 28262 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29128 28262 1111 63 0 29065 0
vsize: 116512
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 316618 0 0 0 77269 742 0 0 25 0 1 0 848223696 118738944 28145 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28989 28145 1111 63 0 28926 0
vsize: 115956
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 318194 0 0 0 78266 745 0 0 25 0 1 0 848223696 119664640 28371 4294967295 134512640 134716908 3221224576 3221223104 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29215 28371 1111 63 0 29152 0
vsize: 116860
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 318866 0 0 0 79265 746 0 0 25 0 1 0 848223696 120373248 28520 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29388 28520 1111 63 0 29325 0
vsize: 117552
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 320676 0 0 0 80259 752 0 0 25 0 1 0 848223696 120795136 28626 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29491 28626 1111 63 0 29428 0
vsize: 117964
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 321540 0 0 0 81257 754 0 0 25 0 1 0 848223696 120315904 28530 4294967295 134512640 134716908 3221224576 3221223080 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29374 28530 1111 63 0 29311 0
vsize: 117496
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 325919 0 0 0 82248 764 0 0 25 0 1 0 848223696 120315904 28530 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29374 28530 1111 63 0 29311 0
vsize: 117496
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 343124 0 0 0 83207 805 0 0 25 0 1 0 848223696 122585088 29084 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29928 29084 1111 63 0 29865 0
vsize: 119712
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 343227 0 0 0 84207 805 0 0 25 0 1 0 848223696 122585088 29084 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29928 29084 1111 63 0 29865 0
vsize: 119712
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 343705 0 0 0 85205 807 0 0 25 0 1 0 848223696 122585088 29084 4294967295 134512640 134716908 3221224576 3221223080 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29928 29084 1111 63 0 29865 0
vsize: 119712
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 344556 0 0 0 86203 809 0 0 25 0 1 0 848223696 122585088 29084 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29928 29084 1111 63 0 29865 0
vsize: 119712
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 345498 0 0 0 87202 811 0 0 25 0 1 0 848223696 123703296 29357 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30201 29357 1111 63 0 30138 0
vsize: 120804
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 345986 0 0 0 88201 812 0 0 25 0 1 0 848223696 123863040 29396 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30240 29396 1111 63 0 30177 0
vsize: 120960
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 346682 0 0 0 89200 813 0 0 25 0 1 0 848223696 123863040 29396 4294967295 134512640 134716908 3221224576 3221223148 1076533124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30240 29396 1111 63 0 30177 0
vsize: 120960
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 348051 0 0 0 90196 817 0 0 25 0 1 0 848223696 125280256 29718 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30586 29718 1111 63 0 30523 0
vsize: 122344
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 349484 0 0 0 91194 819 0 0 25 0 1 0 848223696 125661184 29814 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30679 29814 1111 63 0 30616 0
vsize: 122716
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 350024 0 0 0 92193 821 0 0 25 0 1 0 848223696 126033920 29894 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30770 29894 1111 63 0 30707 0
vsize: 123080
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 350846 0 0 0 93191 823 0 0 25 0 1 0 848223696 126033920 29907 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30770 29914 1111 63 0 30707 0
vsize: 123080
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 351803 0 0 0 94188 826 0 0 25 0 1 0 848223696 125181952 29718 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30562 29718 1111 63 0 30499 0
vsize: 122248
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 353222 0 0 0 95185 829 0 0 25 0 1 0 848223696 125526016 29773 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30646 29773 1111 63 0 30583 0
vsize: 122584
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 356826 0 0 0 96176 838 0 0 25 0 1 0 848223696 126087168 29939 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30783 29939 1111 63 0 30720 0
vsize: 123132
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 357905 0 0 0 97174 841 0 0 25 0 1 0 848223696 126853120 30126 4294967295 134512640 134716908 3221224576 3221222908 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30970 30126 1111 63 0 30907 0
vsize: 123880
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 358215 0 0 0 98173 842 0 0 25 0 1 0 848223696 127582208 30304 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31148 30304 1111 63 0 31085 0
vsize: 124592
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 358667 0 0 0 99172 842 0 0 25 0 1 0 848223696 128147456 30442 4294967295 134512640 134716908 3221224576 3221223088 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31286 30442 1111 63 0 31223 0
vsize: 125144
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 359439 0 0 0 100171 844 0 0 25 0 1 0 848223696 128573440 30514 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31390 30514 1111 63 0 31327 0
vsize: 125560
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 360524 0 0 0 101168 847 0 0 25 0 1 0 848223696 128860160 30600 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31460 30600 1111 63 0 31397 0
vsize: 125840
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 361086 0 0 0 102167 848 0 0 25 0 1 0 848223696 129499136 30772 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31616 30772 1111 63 0 31553 0
vsize: 126464
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 362140 0 0 0 103165 851 0 0 25 0 1 0 848223696 130207744 30937 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31789 30937 1111 63 0 31726 0
vsize: 127156
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 362345 0 0 0 104165 851 0 0 25 0 1 0 848223696 130109440 30921 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31765 30921 1111 63 0 31702 0
vsize: 127060
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 362846 0 0 0 105164 852 0 0 25 0 1 0 848223696 130109440 30921 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31765 30921 1111 63 0 31702 0
vsize: 127060
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 364987 0 0 0 106159 857 0 0 25 0 1 0 848223696 131379200 31210 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32075 31210 1111 63 0 32012 0
vsize: 128300
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 365237 0 0 0 107159 858 0 0 25 0 1 0 848223696 131588096 31271 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32126 31271 1111 63 0 32063 0
vsize: 128504
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 365483 0 0 0 108158 859 0 0 25 0 1 0 848223696 131842048 31341 4294967295 134512640 134716908 3221224576 3221223104 134542892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32188 31341 1111 63 0 32125 0
vsize: 128752
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 365772 0 0 0 109158 859 0 0 25 0 1 0 848223696 131751936 31322 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32166 31322 1111 63 0 32103 0
vsize: 128664
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 366207 0 0 0 110157 860 0 0 25 0 1 0 848223696 131751936 31322 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32166 31322 1111 63 0 32103 0
vsize: 128664
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 368396 0 0 0 111153 864 0 0 25 0 1 0 848223696 132599808 31521 4294967295 134512640 134716908 3221224576 3221223088 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32373 31521 1111 63 0 32310 0
vsize: 129492
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 369364 0 0 0 112151 867 0 0 25 0 1 0 848223696 132886528 31577 4294967295 134512640 134716908 3221224576 3221223216 134594962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32443 31577 1111 63 0 32380 0
vsize: 129772
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 370264 0 0 0 113149 869 0 0 25 0 1 0 848223696 131751936 31322 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32166 31322 1111 63 0 32103 0
vsize: 128664
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 370678 0 0 0 114148 870 0 0 25 0 1 0 848223696 133165056 31667 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32511 31667 1111 63 0 32448 0
vsize: 130044
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 370968 0 0 0 115147 870 0 0 25 0 1 0 848223696 133591040 31768 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32615 31768 1111 63 0 32552 0
vsize: 130460
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 371524 0 0 0 116147 872 0 0 25 0 1 0 848223696 133873664 31837 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32684 31837 1111 63 0 32621 0
vsize: 130736
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 373872 0 0 0 117141 877 0 0 25 0 1 0 848223696 133165056 31667 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32511 31667 1111 63 0 32448 0
vsize: 130044
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 374855 0 0 0 118139 879 0 0 25 0 1 0 848223696 134299648 31923 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32788 31923 1111 63 0 32725 0
vsize: 131152
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) R 26582 8378 8377 0 -1 0 375976 0 0 0 119137 881 0 0 25 0 1 0 848223696 134492160 31991 4294967295 134512640 134716908 3221224576 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32835 31991 1111 63 0 32772 0
vsize: 131340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 26585
Raw data (stat): 26583 (bsolo_lpr_cuts-) Z 26582 8378 8377 0 -1 1036 375976 0 0 0 119137 887 0 0 25 0 1 0 848223696 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.09
CPU time (s): 1200.26
CPU user time (s): 1191.38
CPU system time (s): 8.87865
CPU usage (%): 100.014
Max. virtual memory (Kb): 131340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####