PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 07:44:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3269 boxname=wulflinc31 idbench=364 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 3269
/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:        813724 kB
Buffers:         40908 kB
Cached:         158100 kB
SwapCached:       1932 kB
Active:         163428 kB
Inactive:        38812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813472 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12972 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 08:04:31 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 3269 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4626 variables and 30921 constraints.
c After prepocess the problem consists of 4626 variables and 30921 constraints.
c preprocess terminated 55.23 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.06 0.99 0.98 2/55 354
Raw data (stat): 354 (runsolver) R 353 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 750749652 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.0011 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 31232 0 0 0 915 79 0 0 25 0 1 0 750749652 63623168 14674 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15533 14674 1111 63 0 15470 0
vsize: 62132
[startup+20.0019 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 76849 0 0 0 1797 198 0 0 25 0 1 0 750749652 69545984 16101 4294967295 134512640 134714508 3221221776 3221220432 134609196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16979 16101 1111 63 0 16916 0
vsize: 67916
[startup+30.002 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 118564 0 0 0 2691 303 0 0 25 0 1 0 750749652 73543680 17091 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17955 17091 1111 63 0 17892 0
vsize: 71820
[startup+40.0019 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121516 0 0 0 3684 311 0 0 25 0 1 0 750749652 73601024 17110 4294967295 134512640 134714508 3221221776 3221220220 134536760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17110 1111 63 0 17906 0
vsize: 71876
[startup+50.0018 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121714 0 0 0 4683 312 0 0 25 0 1 0 750749652 73601024 17110 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17110 1111 63 0 17906 0
vsize: 71876
[startup+60.0028 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121729 0 0 0 5682 314 0 0 25 0 1 0 750749652 73601024 17125 4294967295 134512640 134714508 3221221776 3221220416 134543728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17125 1111 63 0 17906 0
vsize: 71876
[startup+70.0032 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 6680 316 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220312 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+80.0036 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 7679 317 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+90.0036 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 8678 317 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+100.004 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 9677 319 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+110.005 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 10676 320 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+120.005 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 11675 321 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220448 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+130.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 12675 322 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220356 134542763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+140.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 13674 323 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+150.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 14673 324 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+160.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 15672 325 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220640 134589234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+170.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 16671 326 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+180.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 17671 327 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+190.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 18669 328 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220284 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+200.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121730 0 0 0 19669 329 0 0 25 0 1 0 750749652 73601024 17126 4294967295 134512640 134714508 3221221776 3221220408 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+210.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 121909 0 0 0 20667 331 0 0 25 0 1 0 750749652 74412032 17305 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18167 17305 1111 63 0 18104 0
vsize: 72668
[startup+220.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 122301 0 0 0 21665 333 0 0 25 0 1 0 750749652 76034048 17697 4294967295 134512640 134714508 3221221776 3221220432 134536716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18563 17697 1111 63 0 18500 0
vsize: 74252
[startup+230.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 122672 0 0 0 22663 336 0 0 25 0 1 0 750749652 77520896 18068 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18926 18068 1111 63 0 18863 0
vsize: 75704
[startup+240.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 122867 0 0 0 23661 337 0 0 25 0 1 0 750749652 78331904 18263 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19124 18263 1111 63 0 19061 0
vsize: 76496
[startup+250.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 123060 0 0 0 24660 339 0 0 25 0 1 0 750749652 79147008 18456 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19323 18456 1111 63 0 19260 0
vsize: 77292
[startup+260.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 123577 0 0 0 25658 341 0 0 25 0 1 0 750749652 81178624 18973 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18973 1111 63 0 19756 0
vsize: 79276
[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 123977 0 0 0 26656 343 0 0 25 0 1 0 750749652 82935808 19373 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20248 19373 1111 63 0 20185 0
vsize: 80992
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 124317 0 0 0 27654 345 0 0 25 0 1 0 750749652 84287488 19713 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20578 19713 1111 63 0 20515 0
vsize: 82312
[startup+290.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 124708 0 0 0 28652 348 0 0 25 0 1 0 750749652 85909504 20104 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20974 20104 1111 63 0 20911 0
vsize: 83896
[startup+300.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 124990 0 0 0 29650 350 0 0 25 0 1 0 750749652 86990848 20386 4294967295 134512640 134714508 3221221776 3221220432 134524069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21238 20386 1111 63 0 21175 0
vsize: 84952
[startup+310.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 125069 0 0 0 30649 351 0 0 25 0 1 0 750749652 87396352 20465 4294967295 134512640 134714508 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21337 20465 1111 63 0 21274 0
vsize: 85348
[startup+320.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 125090 0 0 0 31648 352 0 0 25 0 1 0 750749652 87396352 20486 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21337 20486 1111 63 0 21274 0
vsize: 85348
[startup+330.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 125184 0 0 0 32647 353 0 0 25 0 1 0 750749652 87801856 20580 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21436 20580 1111 63 0 21373 0
vsize: 85744
[startup+340.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 125536 0 0 0 33645 356 0 0 25 0 1 0 750749652 89288704 20932 4294967295 134512640 134714508 3221221776 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21799 20932 1111 63 0 21736 0
vsize: 87196
[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 126126 0 0 0 34642 358 0 0 25 0 1 0 750749652 91717632 21522 4294967295 134512640 134714508 3221221776 3221220260 134697180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22392 21522 1111 63 0 22329 0
vsize: 89568
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 126426 0 0 0 35641 360 0 0 25 0 1 0 750749652 92934144 21822 4294967295 134512640 134714508 3221221776 3221220504 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22689 21822 1111 63 0 22626 0
vsize: 90756
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 126586 0 0 0 36639 362 0 0 25 0 1 0 750749652 93609984 21982 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22854 21982 1111 63 0 22791 0
vsize: 91416
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 126915 0 0 0 37637 364 0 0 25 0 1 0 750749652 94961664 22311 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23184 22311 1111 63 0 23121 0
vsize: 92736
[startup+390.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 127245 0 0 0 38636 366 0 0 25 0 1 0 750749652 96313344 22641 4294967295 134512640 134714508 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23514 22641 1111 63 0 23451 0
vsize: 94056
[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 127626 0 0 0 39633 368 0 0 25 0 1 0 750749652 97800192 23022 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23877 23022 1111 63 0 23814 0
vsize: 95508
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 128058 0 0 0 40631 371 0 0 25 0 1 0 750749652 99557376 23454 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24306 23454 1111 63 0 24243 0
vsize: 97224
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 128247 0 0 0 41630 372 0 0 25 0 1 0 750749652 100368384 23643 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24504 23643 1111 63 0 24441 0
vsize: 98016
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 128524 0 0 0 42629 374 0 0 25 0 1 0 750749652 101449728 23920 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 23920 1111 63 0 24705 0
vsize: 99072
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 128754 0 0 0 43627 375 0 0 25 0 1 0 750749652 102395904 24150 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24999 24150 1111 63 0 24936 0
vsize: 99996
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 128990 0 0 0 44627 376 0 0 25 0 1 0 750749652 103342080 24386 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25230 24386 1111 63 0 25167 0
vsize: 100920
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 129234 0 0 0 45625 378 0 0 25 0 1 0 750749652 104423424 24630 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25494 24630 1111 63 0 25431 0
vsize: 101976
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 129538 0 0 0 46622 381 0 0 25 0 1 0 750749652 105639936 24934 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25791 24934 1111 63 0 25728 0
vsize: 103164
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 129946 0 0 0 47621 382 0 0 25 0 1 0 750749652 107261952 25342 4294967295 134512640 134714508 3221221776 3221220432 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26187 25342 1111 63 0 26124 0
vsize: 104748
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 130430 0 0 0 48619 384 0 0 25 0 1 0 750749652 109289472 25826 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26682 25826 1111 63 0 26619 0
vsize: 106728
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 130596 0 0 0 49618 385 0 0 25 0 1 0 750749652 109965312 25992 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26847 25992 1111 63 0 26784 0
vsize: 107388
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 130804 0 0 0 50617 387 0 0 25 0 1 0 750749652 110776320 26200 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27045 26200 1111 63 0 26982 0
vsize: 108180
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 131062 0 0 0 51615 388 0 0 25 0 1 0 750749652 111853568 26458 4294967295 134512640 134714508 3221221776 3221220332 134535503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27308 26458 1111 63 0 27245 0
vsize: 109232
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 131320 0 0 0 52613 391 0 0 25 0 1 0 750749652 112930816 26716 4294967295 134512640 134714508 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27571 26716 1111 63 0 27508 0
vsize: 110284
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 131542 0 0 0 53612 392 0 0 25 0 1 0 750749652 113876992 26938 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27802 26938 1111 63 0 27739 0
vsize: 111208
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 131707 0 0 0 54611 393 0 0 25 0 1 0 750749652 114552832 27103 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27967 27103 1111 63 0 27904 0
vsize: 111868
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 131844 0 0 0 55610 395 0 0 25 0 1 0 750749652 115093504 27240 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27240 1111 63 0 28036 0
vsize: 112396
[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132025 0 0 0 56609 396 0 0 25 0 1 0 750749652 115904512 27421 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28297 27421 1111 63 0 28234 0
vsize: 113188
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132153 0 0 0 57608 397 0 0 25 0 1 0 750749652 116310016 27549 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28396 27549 1111 63 0 28333 0
vsize: 113584
[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132263 0 0 0 58606 399 0 0 25 0 1 0 750749652 116850688 27659 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28528 27659 1111 63 0 28465 0
vsize: 114112
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132397 0 0 0 59606 400 0 0 25 0 1 0 750749652 117391360 27793 4294967295 134512640 134714508 3221221776 3221220448 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27793 1111 63 0 28597 0
vsize: 114640
[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132522 0 0 0 60605 400 0 0 25 0 1 0 750749652 117932032 27918 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28792 27918 1111 63 0 28729 0
vsize: 115168
[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132636 0 0 0 61604 402 0 0 25 0 1 0 750749652 118337536 28032 4294967295 134512640 134714508 3221221776 3221220488 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28891 28032 1111 63 0 28828 0
vsize: 115564
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 132851 0 0 0 62602 403 0 0 25 0 1 0 750749652 119283712 28247 4294967295 134512640 134714508 3221221776 3221220456 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29122 28247 1111 63 0 29059 0
vsize: 116488
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 133168 0 0 0 63600 406 0 0 25 0 1 0 750749652 120500224 28564 4294967295 134512640 134714508 3221221776 3221220284 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29419 28564 1111 63 0 29356 0
vsize: 117676
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 133484 0 0 0 64599 407 0 0 25 0 1 0 750749652 121851904 28880 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29749 28880 1111 63 0 29686 0
vsize: 118996
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 133897 0 0 0 65597 410 0 0 25 0 1 0 750749652 123482112 29292 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30147 29292 1111 63 0 30084 0
vsize: 120588
[startup+670.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 134169 0 0 0 66594 413 0 0 25 0 1 0 750749652 124563456 29564 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30444 29565 1111 63 0 30381 0
vsize: 121644
[startup+680.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 134675 0 0 0 67592 415 0 0 25 0 1 0 750749652 126717952 30070 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30937 30070 1111 63 0 30874 0
vsize: 123748
[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 134857 0 0 0 68591 416 0 0 25 0 1 0 750749652 127528960 30252 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31135 30252 1111 63 0 31072 0
vsize: 124540
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 135072 0 0 0 69588 419 0 0 25 0 1 0 750749652 128339968 30467 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31333 30467 1111 63 0 31270 0
vsize: 125332
[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 135439 0 0 0 70587 421 0 0 25 0 1 0 750749652 129826816 30834 4294967295 134512640 134714508 3221221776 3221220448 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31696 30834 1111 63 0 31633 0
vsize: 126784
[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 135611 0 0 0 71585 422 0 0 25 0 1 0 750749652 130502656 31006 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31861 31006 1111 63 0 31798 0
vsize: 127444
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 135743 0 0 0 72584 424 0 0 25 0 1 0 750749652 131043328 31138 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31993 31138 1111 63 0 31930 0
vsize: 127972
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 136138 0 0 0 73582 426 0 0 25 0 1 0 750749652 132665344 31533 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32389 31533 1111 63 0 32326 0
vsize: 129556
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 136373 0 0 0 74580 428 0 0 25 0 1 0 750749652 133746688 31768 4294967295 134512640 134714508 3221221776 3221220440 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32653 31768 1111 63 0 32590 0
vsize: 130612
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 136716 0 0 0 75578 430 0 0 25 0 1 0 750749652 135098368 32111 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32983 32111 1111 63 0 32920 0
vsize: 131932
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 136965 0 0 0 76577 431 0 0 25 0 1 0 750749652 136179712 32360 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33247 32360 1111 63 0 33184 0
vsize: 132988
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137280 0 0 0 77575 434 0 0 25 0 1 0 750749652 137383936 32675 4294967295 134512640 134714508 3221221776 3221220420 134536691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33541 32675 1111 63 0 33478 0
vsize: 134164
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137413 0 0 0 78574 435 0 0 25 0 1 0 750749652 137924608 32808 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33673 32808 1111 63 0 33610 0
vsize: 134692
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137613 0 0 0 79573 436 0 0 25 0 1 0 750749652 138735616 33008 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33871 33008 1111 63 0 33808 0
vsize: 135484
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137724 0 0 0 80572 437 0 0 25 0 1 0 750749652 139276288 33119 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34003 33119 1111 63 0 33940 0
vsize: 136012
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137748 0 0 0 81571 438 0 0 25 0 1 0 750749652 139276288 33143 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34003 33143 1111 63 0 33940 0
vsize: 136012
[startup+830.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 137936 0 0 0 82570 439 0 0 25 0 1 0 750749652 140087296 33331 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34201 33331 1111 63 0 34138 0
vsize: 136804
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 138243 0 0 0 83569 441 0 0 25 0 1 0 750749652 141307904 33638 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34499 33638 1111 63 0 34436 0
vsize: 137996
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 138484 0 0 0 84567 443 0 0 25 0 1 0 750749652 142389248 33879 4294967295 134512640 134714508 3221221776 3221220428 134536787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34763 33879 1111 63 0 34700 0
vsize: 139052
[startup+860.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 138642 0 0 0 85565 445 0 0 25 0 1 0 750749652 143065088 34037 4294967295 134512640 134714508 3221221776 3221220492 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34928 34037 1111 63 0 34865 0
vsize: 139712
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 138856 0 0 0 86563 447 0 0 25 0 1 0 750749652 143872000 34251 4294967295 134512640 134714508 3221221776 3221220432 134524135 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35125 34251 1111 63 0 35062 0
vsize: 140500
[startup+880.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 139074 0 0 0 87562 449 0 0 25 0 1 0 750749652 144809984 34469 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35354 34469 1111 63 0 35291 0
vsize: 141416
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 139272 0 0 0 88560 450 0 0 25 0 1 0 750749652 145620992 34667 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35552 34667 1111 63 0 35489 0
vsize: 142208
[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 139509 0 0 0 89559 452 0 0 25 0 1 0 750749652 146567168 34904 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35783 34904 1111 63 0 35720 0
vsize: 143132
[startup+910.263 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 354
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 139746 0 0 0 90582 453 0 0 25 0 1 0 750749652 147513344 35141 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36014 35141 1111 63 0 35951 0
vsize: 144056
[startup+920.594 s]
Raw data (loadavg): 1.08 1.00 0.99 2/57 395
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 139982 0 0 0 91613 454 0 0 25 0 1 0 750749652 148459520 35377 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36245 35377 1111 63 0 36182 0
vsize: 144980
[startup+930.594 s]
Raw data (loadavg): 1.23 1.04 1.00 3/58 403
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 140137 0 0 0 92613 455 0 0 25 0 1 0 750749652 149135360 35532 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36410 35532 1111 63 0 36347 0
vsize: 145640
[startup+940.595 s]
Raw data (loadavg): 1.27 1.05 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 140218 0 0 0 93612 456 0 0 25 0 1 0 750749652 149405696 35613 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36476 35613 1111 63 0 36413 0
vsize: 145904
[startup+950.8 s]
Raw data (loadavg): 1.22 1.05 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 140373 0 0 0 94632 457 0 0 25 0 1 0 750749652 150081536 35768 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36641 35768 1111 63 0 36578 0
vsize: 146564
[startup+960.801 s]
Raw data (loadavg): 1.19 1.05 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 140598 0 0 0 95632 457 0 0 25 0 1 0 750749652 151027712 35993 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36872 35993 1111 63 0 36809 0
vsize: 147488
[startup+970.801 s]
Raw data (loadavg): 1.16 1.04 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 140761 0 0 0 96631 458 0 0 25 0 1 0 750749652 151703552 36155 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37037 36155 1111 63 0 36974 0
vsize: 148148
[startup+980.802 s]
Raw data (loadavg): 1.13 1.04 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 141039 0 0 0 97630 459 0 0 25 0 1 0 750749652 152920064 36433 4294967295 134512640 134714508 3221221776 3221220368 134549789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37334 36433 1111 63 0 37271 0
vsize: 149336
[startup+990.802 s]
Raw data (loadavg): 1.11 1.04 1.00 2/55 407
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 141314 0 0 0 98629 460 0 0 25 0 1 0 750749652 154001408 36708 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37598 36708 1111 63 0 37535 0
vsize: 150392
[startup+1000.8 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 141488 0 0 0 99629 461 0 0 25 0 1 0 750749652 154677248 36882 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37763 36882 1111 63 0 37700 0
vsize: 151052
[startup+1010.8 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 141790 0 0 0 100627 463 0 0 25 0 1 0 750749652 155893760 37184 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38060 37184 1111 63 0 37997 0
vsize: 152240
[startup+1020.8 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 141959 0 0 0 101626 464 0 0 25 0 1 0 750749652 156569600 37353 4294967295 134512640 134714508 3221221776 3221220332 134535981 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38225 37353 1111 63 0 38162 0
vsize: 152900
[startup+1030.8 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 142060 0 0 0 102626 464 0 0 25 0 1 0 750749652 156975104 37454 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38324 37454 1111 63 0 38261 0
vsize: 153296
[startup+1040.8 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 142219 0 0 0 103625 465 0 0 25 0 1 0 750749652 157650944 37613 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38489 37613 1111 63 0 38426 0
vsize: 153956
[startup+1050.8 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 142592 0 0 0 104624 467 0 0 25 0 1 0 750749652 159272960 37986 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38885 37986 1111 63 0 38822 0
vsize: 155540
[startup+1060.81 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 142755 0 0 0 105624 467 0 0 25 0 1 0 750749652 159948800 38149 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39050 38149 1111 63 0 38987 0
vsize: 156200
[startup+1070.81 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 142902 0 0 0 106622 469 0 0 25 0 1 0 750749652 160489472 38296 4294967295 134512640 134714508 3221221776 3221220504 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39182 38296 1111 63 0 39119 0
vsize: 156728
[startup+1080.81 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 143029 0 0 0 107621 470 0 0 25 0 1 0 750749652 161030144 38423 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39314 38423 1111 63 0 39251 0
vsize: 157256
[startup+1090.81 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 143139 0 0 0 108622 470 0 0 25 0 1 0 750749652 161435648 38533 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39413 38533 1111 63 0 39350 0
vsize: 157652
[startup+1100.81 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 143437 0 0 0 109621 471 0 0 25 0 1 0 750749652 162652160 38831 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39710 38831 1111 63 0 39647 0
vsize: 158840
[startup+1110.81 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 143568 0 0 0 110620 472 0 0 25 0 1 0 750749652 163192832 38962 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39842 38962 1111 63 0 39779 0
vsize: 159368
[startup+1120.81 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 143768 0 0 0 111620 473 0 0 25 0 1 0 750749652 164003840 39162 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40040 39162 1111 63 0 39977 0
vsize: 160160
[startup+1130.81 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 144006 0 0 0 112619 474 0 0 25 0 1 0 750749652 165085184 39400 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40304 39400 1111 63 0 40241 0
vsize: 161216
[startup+1140.81 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 144107 0 0 0 113619 474 0 0 25 0 1 0 750749652 165490688 39501 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40403 39501 1111 63 0 40340 0
vsize: 161612
[startup+1150.81 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 144325 0 0 0 114618 475 0 0 25 0 1 0 750749652 166301696 39719 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40601 39719 1111 63 0 40538 0
vsize: 162404
[startup+1160.81 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 144654 0 0 0 115616 477 0 0 25 0 1 0 750749652 167653376 40048 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40931 40048 1111 63 0 40868 0
vsize: 163724
[startup+1170.81 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 145126 0 0 0 116615 478 0 0 25 0 1 0 750749652 169680896 40520 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41426 40520 1111 63 0 41363 0
vsize: 165704
[startup+1174.98 s]
Raw data (loadavg): 1.00 1.02 1.00 1/54 409
Raw data (stat): 354 (bsolo_lpr_cuts) R 353 7876 7672 0 -1 0 145126 0 0 0 116615 478 0 0 25 0 1 0 750749652 169680896 40520 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41426 40520 1111 63 0 41363 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.11
CPU user time (s): 1170.23
CPU system time (s): 4.87726
CPU usage (%): 100.011
Max. virtual memory (Kb): 165704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####