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-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
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	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23783

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 18:42:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1154 boxname=wulflinc31 idbench=129 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
IDLAUNCH: 1154
/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:        905784 kB
Buffers:         44628 kB
Cached:          61936 kB
SwapCached:        944 kB
Active:          87044 kB
Inactive:        21964 kB
HighTotal:      131008 kB
HighFree:        68124 kB
LowTotal:       903652 kB
LowFree:        837660 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14252 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 19:02:13 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 1154 7 1175.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1200 variables and 3150 constraints.
c After prepocess the problem consists of 1200 variables and 3150 constraints.
c preprocess terminated 0.666 s
c Initial Lower Bound: 399
c Lower Bound Elapsed time: 64.97
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.96 2/54 5489
Raw data (stat): 5489 (runsolver) R 5488 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659645433 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 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 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 1856 0 0 0 988 8 0 0 25 0 1 0 659645433 10117120 1649 4294967295 134512640 134714508 3221221792 3221217916 1075564169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1649 1111 63 0 2407 0
vsize: 9880
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 1922 0 0 0 1988 8 0 0 25 0 1 0 659645433 10326016 1715 4294967295 134512640 134714508 3221221792 3221217680 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1715 1111 63 0 2458 0
vsize: 10084
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 1976 0 0 0 2988 9 0 0 25 0 1 0 659645433 10510336 1769 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1769 1111 63 0 2503 0
vsize: 10264
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 2014 0 0 0 3988 9 0 0 25 0 1 0 659645433 10575872 1807 4294967295 134512640 134714508 3221221792 3221217676 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2582 1807 1111 63 0 2519 0
vsize: 10328
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 2043 0 0 0 4988 9 0 0 25 0 1 0 659645433 10805248 1836 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1836 1111 63 0 2575 0
vsize: 10552
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 2669 0 0 0 5985 12 0 0 25 0 1 0 659645433 9527296 1610 4294967295 134512640 134714508 3221221792 3221219708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1610 1111 63 0 2263 0
vsize: 9304
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 2717 0 0 0 6984 13 0 0 25 0 1 0 659645433 9662464 1658 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2359 1658 1111 63 0 2296 0
vsize: 9436
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 3247 0 0 0 7982 15 0 0 25 0 1 0 659645433 11821056 2188 4294967295 134512640 134714508 3221221792 3221220592 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2188 1111 63 0 2823 0
vsize: 11544
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 3979 0 0 0 8979 18 0 0 25 0 1 0 659645433 14794752 2920 4294967295 134512640 134714508 3221221792 3221220432 134696061 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3612 2920 1111 63 0 3549 0
vsize: 14448
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 4672 0 0 0 9976 21 0 0 25 0 1 0 659645433 17633280 3613 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4305 3613 1111 63 0 4242 0
vsize: 17220
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 5373 0 0 0 10973 25 0 0 25 0 1 0 659645433 20471808 4314 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4998 4314 1111 63 0 4935 0
vsize: 19992
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 6018 0 0 0 11970 28 0 0 25 0 1 0 659645433 23175168 4959 4294967295 134512640 134714508 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5658 4959 1111 63 0 5595 0
vsize: 22632
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 6623 0 0 0 12967 31 0 0 25 0 1 0 659645433 25608192 5564 4294967295 134512640 134714508 3221221792 3221220480 134542845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6252 5564 1111 63 0 6189 0
vsize: 25008
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 7276 0 0 0 13965 34 0 0 25 0 1 0 659645433 28311552 6217 4294967295 134512640 134714508 3221221792 3221220376 134542291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6912 6217 1111 63 0 6849 0
vsize: 27648
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 7888 0 0 0 14963 36 0 0 25 0 1 0 659645433 30879744 6829 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7539 6829 1111 63 0 7476 0
vsize: 30156
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 8400 0 0 0 15960 38 0 0 25 0 1 0 659645433 32907264 7341 4294967295 134512640 134714508 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8034 7341 1111 63 0 7971 0
vsize: 32136
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 8826 0 0 0 16958 41 0 0 25 0 1 0 659645433 34664448 7767 4294967295 134512640 134714508 3221221792 3221220552 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8463 7767 1111 63 0 8400 0
vsize: 33852
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 9327 0 0 0 17955 44 0 0 25 0 1 0 659645433 36691968 8268 4294967295 134512640 134714508 3221221792 3221220528 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8268 1111 63 0 8895 0
vsize: 35832
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 9762 0 0 0 18953 46 0 0 25 0 1 0 659645433 38453248 8703 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9388 8703 1111 63 0 9325 0
vsize: 37552
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 10257 0 0 0 19951 49 0 0 25 0 1 0 659645433 40488960 9198 4294967295 134512640 134714508 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9885 9198 1111 63 0 9822 0
vsize: 39540
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 10804 0 0 0 20948 52 0 0 25 0 1 0 659645433 42786816 9745 4294967295 134512640 134714508 3221221792 3221220340 134696707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10446 9745 1111 63 0 10383 0
vsize: 41784
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 11277 0 0 0 21945 55 0 0 25 0 1 0 659645433 44683264 10217 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10909 10217 1111 63 0 10846 0
vsize: 43636
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 11795 0 0 0 22943 57 0 0 25 0 1 0 659645433 46845952 10735 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11437 10735 1111 63 0 11374 0
vsize: 45748
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 12146 0 0 0 23942 58 0 0 25 0 1 0 659645433 48332800 11086 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11800 11086 1111 63 0 11737 0
vsize: 47200
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 12390 0 0 0 24941 60 0 0 25 0 1 0 659645433 49278976 11330 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12031 11330 1111 63 0 11968 0
vsize: 48124
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 12800 0 0 0 25939 62 0 0 25 0 1 0 659645433 50900992 11740 4294967295 134512640 134714508 3221221792 3221220576 134529410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12427 11740 1111 63 0 12364 0
vsize: 49708
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 13279 0 0 0 26937 64 0 0 25 0 1 0 659645433 52928512 12219 4294967295 134512640 134714508 3221221792 3221220412 134542656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12922 12219 1111 63 0 12859 0
vsize: 51688
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 13829 0 0 0 27934 67 0 0 25 0 1 0 659645433 55226368 12769 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13483 12769 1111 63 0 13420 0
vsize: 53932
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 14397 0 0 0 28932 70 0 0 25 0 1 0 659645433 57524224 13336 4294967295 134512640 134714508 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14044 13336 1111 63 0 13981 0
vsize: 56176
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 14894 0 0 0 29929 72 0 0 25 0 1 0 659645433 59551744 13833 4294967295 134512640 134714508 3221221792 3221220248 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14539 13833 1111 63 0 14476 0
vsize: 58156
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 15346 0 0 0 30927 75 0 0 25 0 1 0 659645433 61444096 14285 4294967295 134512640 134714508 3221221792 3221220512 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15001 14285 1111 63 0 14938 0
vsize: 60004
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 15754 0 0 0 31925 76 0 0 25 0 1 0 659645433 63066112 14693 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15397 14693 1111 63 0 15334 0
vsize: 61588
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 16215 0 0 0 32924 78 0 0 25 0 1 0 659645433 64958464 15154 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15859 15154 1111 63 0 15796 0
vsize: 63436
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 16583 0 0 0 33922 80 0 0 25 0 1 0 659645433 66445312 15522 4294967295 134512640 134714508 3221221792 3221220560 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16222 15522 1111 63 0 16159 0
vsize: 64888
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 16986 0 0 0 34920 82 0 0 25 0 1 0 659645433 68067328 15923 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16618 15923 1111 63 0 16555 0
vsize: 66472
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 17427 0 0 0 35917 85 0 0 25 0 1 0 659645433 69955584 16364 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17079 16364 1111 63 0 17016 0
vsize: 68316
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 17878 0 0 0 36915 87 0 0 25 0 1 0 659645433 71847936 16815 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17541 16815 1111 63 0 17478 0
vsize: 70164
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 18354 0 0 0 37913 90 0 0 25 0 1 0 659645433 73740288 17291 4294967295 134512640 134714508 3221221792 3221220376 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18003 17291 1111 63 0 17940 0
vsize: 72012
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 18797 0 0 0 38911 91 0 0 25 0 1 0 659645433 75497472 17734 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18432 17734 1111 63 0 18369 0
vsize: 73728
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 19216 0 0 0 39910 93 0 0 25 0 1 0 659645433 77254656 18153 4294967295 134512640 134714508 3221221792 3221220472 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18861 18153 1111 63 0 18798 0
vsize: 75444
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 19640 0 0 0 40907 96 0 0 25 0 1 0 659645433 79011840 18577 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19290 18577 1111 63 0 19227 0
vsize: 77160
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 19949 0 0 0 41905 98 0 0 25 0 1 0 659645433 80228352 18886 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18886 1111 63 0 19524 0
vsize: 78348
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 20212 0 0 0 42904 99 0 0 25 0 1 0 659645433 81338368 19149 4294967295 134512640 134714508 3221221792 3221220412 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19858 19149 1111 63 0 19795 0
vsize: 79432
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 20511 0 0 0 43903 101 0 0 25 0 1 0 659645433 82554880 19448 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20155 19448 1111 63 0 20092 0
vsize: 80620
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 20874 0 0 0 44902 102 0 0 25 0 1 0 659645433 84054016 19811 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20521 19811 1111 63 0 20458 0
vsize: 82084
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 21293 0 0 0 45900 104 0 0 25 0 1 0 659645433 85811200 20230 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20950 20230 1111 63 0 20887 0
vsize: 83800
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 21656 0 0 0 46899 106 0 0 25 0 1 0 659645433 87298048 20593 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21313 20593 1111 63 0 21250 0
vsize: 85252
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 22017 0 0 0 47898 107 0 0 25 0 1 0 659645433 88784896 20954 4294967295 134512640 134714508 3221221792 3221220608 134590021 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21676 20954 1111 63 0 21613 0
vsize: 86704
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 22296 0 0 0 48897 108 0 0 25 0 1 0 659645433 89878528 21233 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21943 21233 1111 63 0 21880 0
vsize: 87772
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 22678 0 0 0 49895 110 0 0 25 0 1 0 659645433 91504640 21615 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22340 21615 1111 63 0 22277 0
vsize: 89360
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 22993 0 0 0 50895 111 0 0 25 0 1 0 659645433 92856320 21930 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22670 21930 1111 63 0 22607 0
vsize: 90680
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 23283 0 0 0 51893 112 0 0 25 0 1 0 659645433 93937664 22220 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22934 22220 1111 63 0 22871 0
vsize: 91736
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 23537 0 0 0 52893 113 0 0 25 0 1 0 659645433 95014912 22474 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23197 22474 1111 63 0 23134 0
vsize: 92788
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 23839 0 0 0 53892 114 0 0 25 0 1 0 659645433 96231424 22775 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23494 22775 1111 63 0 23431 0
vsize: 93976
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 24122 0 0 0 54891 115 0 0 25 0 1 0 659645433 97447936 23058 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23791 23058 1111 63 0 23728 0
vsize: 95164
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 24440 0 0 0 55890 116 0 0 25 0 1 0 659645433 98803712 23375 4294967295 134512640 134714508 3221221792 3221220388 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24122 23375 1111 63 0 24059 0
vsize: 96488
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 24776 0 0 0 56888 118 0 0 25 0 1 0 659645433 100155392 23711 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24452 23711 1111 63 0 24389 0
vsize: 97808
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 25103 0 0 0 57887 119 0 0 25 0 1 0 659645433 101523456 24037 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24786 24037 1111 63 0 24723 0
vsize: 99144
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 25402 0 0 0 58886 121 0 0 25 0 1 0 659645433 102739968 24336 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25083 24336 1111 63 0 25020 0
vsize: 100332
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 25715 0 0 0 59885 122 0 0 25 0 1 0 659645433 103956480 24648 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25380 24648 1111 63 0 25317 0
vsize: 101520
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 26073 0 0 0 60883 124 0 0 25 0 1 0 659645433 105443328 25006 4294967295 134512640 134714508 3221221792 3221220348 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25743 25006 1111 63 0 25680 0
vsize: 102972
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 26410 0 0 0 61882 125 0 0 25 0 1 0 659645433 106930176 25343 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26106 25343 1111 63 0 26043 0
vsize: 104424
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 26730 0 0 0 62880 127 0 0 25 0 1 0 659645433 108146688 25663 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26403 25663 1111 63 0 26340 0
vsize: 105612
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 27020 0 0 0 63879 129 0 0 25 0 1 0 659645433 109391872 25952 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26707 25952 1111 63 0 26644 0
vsize: 106828
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 27327 0 0 0 64878 130 0 0 25 0 1 0 659645433 110608384 26259 4294967295 134512640 134714508 3221221792 3221220432 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27004 26259 1111 63 0 26941 0
vsize: 108016
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 27628 0 0 0 65877 131 0 0 25 0 1 0 659645433 111824896 26560 4294967295 134512640 134714508 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27301 26560 1111 63 0 27238 0
vsize: 109204
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 27909 0 0 0 66875 133 0 0 25 0 1 0 659645433 113078272 26839 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27607 26839 1111 63 0 27544 0
vsize: 110428
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 28214 0 0 0 67874 135 0 0 25 0 1 0 659645433 114294784 27144 4294967295 134512640 134714508 3221221792 3221220456 134536851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27904 27144 1111 63 0 27841 0
vsize: 111616
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 28522 0 0 0 68872 136 0 0 25 0 1 0 659645433 115507200 27452 4294967295 134512640 134714508 3221221792 3221220368 134549718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28200 27452 1111 63 0 28137 0
vsize: 112800
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 28817 0 0 0 69871 138 0 0 25 0 1 0 659645433 116723712 27747 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28497 27747 1111 63 0 28434 0
vsize: 113988
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 29081 0 0 0 70870 139 0 0 25 0 1 0 659645433 117805056 28011 4294967295 134512640 134714508 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28761 28011 1111 63 0 28698 0
vsize: 115044
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 29330 0 0 0 71869 140 0 0 25 0 1 0 659645433 118886400 28260 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28260 1111 63 0 28962 0
vsize: 116100
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 29622 0 0 0 72868 141 0 0 25 0 1 0 659645433 120102912 28551 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29322 28551 1111 63 0 29259 0
vsize: 117288
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 29969 0 0 0 73867 142 0 0 25 0 1 0 659645433 121454592 28898 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28898 1111 63 0 29589 0
vsize: 118608
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 30275 0 0 0 74866 144 0 0 25 0 1 0 659645433 122671104 29204 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29949 29204 1111 63 0 29886 0
vsize: 119796
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 30647 0 0 0 75865 145 0 0 25 0 1 0 659645433 124293120 29576 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30345 29576 1111 63 0 30282 0
vsize: 121380
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 30961 0 0 0 76865 145 0 0 25 0 1 0 659645433 125509632 29890 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30642 29890 1111 63 0 30579 0
vsize: 122568
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 31263 0 0 0 77864 147 0 0 25 0 1 0 659645433 126726144 30192 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30939 30192 1111 63 0 30876 0
vsize: 123756
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 31552 0 0 0 78862 148 0 0 25 0 1 0 659645433 127942656 30481 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31236 30481 1111 63 0 31173 0
vsize: 124944
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 31871 0 0 0 79861 150 0 0 25 0 1 0 659645433 129294336 30800 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31566 30800 1111 63 0 31503 0
vsize: 126264
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 32154 0 0 0 80859 152 0 0 25 0 1 0 659645433 130375680 31083 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31830 31083 1111 63 0 31767 0
vsize: 127320
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 32413 0 0 0 81858 153 0 0 25 0 1 0 659645433 131457024 31342 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32094 31342 1111 63 0 32031 0
vsize: 128376
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 32648 0 0 0 82857 154 0 0 25 0 1 0 659645433 132407296 31576 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32326 31576 1111 63 0 32263 0
vsize: 129304
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 32886 0 0 0 83856 156 0 0 25 0 1 0 659645433 133488640 31814 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32590 31814 1111 63 0 32527 0
vsize: 130360
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 33127 0 0 0 84855 157 0 0 25 0 1 0 659645433 134434816 32055 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32821 32055 1111 63 0 32758 0
vsize: 131284
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 33340 0 0 0 85853 158 0 0 25 0 1 0 659645433 135245824 32268 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33019 32268 1111 63 0 32956 0
vsize: 132076
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 33549 0 0 0 86853 159 0 0 25 0 1 0 659645433 136192000 32477 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33250 32477 1111 63 0 33187 0
vsize: 133000
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 33751 0 0 0 87852 160 0 0 25 0 1 0 659645433 137003008 32679 4294967295 134512640 134714508 3221221792 3221220576 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33448 32679 1111 63 0 33385 0
vsize: 133792
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 34003 0 0 0 88852 160 0 0 25 0 1 0 659645433 138084352 32931 4294967295 134512640 134714508 3221221792 3221220384 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33712 32931 1111 63 0 33649 0
vsize: 134848
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 34242 0 0 0 89851 162 0 0 25 0 1 0 659645433 139100160 33169 4294967295 134512640 134714508 3221221792 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33960 33169 1111 63 0 33897 0
vsize: 135840
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 34472 0 0 0 90850 162 0 0 25 0 1 0 659645433 140046336 33399 4294967295 134512640 134714508 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34191 33399 1111 63 0 34128 0
vsize: 136764
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 34686 0 0 0 91849 164 0 0 25 0 1 0 659645433 140857344 33613 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34389 33613 1111 63 0 34326 0
vsize: 137556
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 34978 0 0 0 92848 165 0 0 25 0 1 0 659645433 142069760 33905 4294967295 134512640 134714508 3221221792 3221220316 134535483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34685 33905 1111 63 0 34622 0
vsize: 138740
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 35249 0 0 0 93847 166 0 0 25 0 1 0 659645433 143151104 34176 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34949 34176 1111 63 0 34886 0
vsize: 139796
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 35592 0 0 0 94846 168 0 0 25 0 1 0 659645433 144637952 34519 4294967295 134512640 134714508 3221221792 3221220444 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35312 34519 1111 63 0 35249 0
vsize: 141248
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 35917 0 0 0 95845 169 0 0 25 0 1 0 659645433 145854464 34844 4294967295 134512640 134714508 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35609 34844 1111 63 0 35546 0
vsize: 142436
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 36168 0 0 0 96844 170 0 0 25 0 1 0 659645433 146935808 35095 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35873 35095 1111 63 0 35810 0
vsize: 143492
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 36511 0 0 0 97843 171 0 0 25 0 1 0 659645433 148422656 35438 4294967295 134512640 134714508 3221221792 3221220388 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36236 35438 1111 63 0 36173 0
vsize: 144944
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 36770 0 0 0 98842 172 0 0 25 0 1 0 659645433 149368832 35697 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36467 35697 1111 63 0 36404 0
vsize: 145868
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 36993 0 0 0 99842 173 0 0 25 0 1 0 659645433 150323200 35920 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36700 35920 1111 63 0 36637 0
vsize: 146800
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 37329 0 0 0 100840 175 0 0 25 0 1 0 659645433 151674880 36256 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37030 36256 1111 63 0 36967 0
vsize: 148120
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 37638 0 0 0 101839 176 0 0 25 0 1 0 659645433 153026560 36565 4294967295 134512640 134714508 3221221792 3221220312 134535015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37360 36565 1111 63 0 37297 0
vsize: 149440
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 37944 0 0 0 102838 177 0 0 25 0 1 0 659645433 154243072 36871 4294967295 134512640 134714508 3221221792 3221220376 134543617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37657 36871 1111 63 0 37594 0
vsize: 150628
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5489
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 38237 0 0 0 103838 178 0 0 25 0 1 0 659645433 155459584 37164 4294967295 134512640 134714508 3221221792 3221220552 134543541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37954 37164 1111 63 0 37891 0
vsize: 151816
[startup+1050.23 s]
Raw data (loadavg): 0.99 0.97 0.96 3/57 5492
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 38590 0 0 0 104855 180 0 0 25 0 1 0 659645433 156811264 37517 4294967295 134512640 134714508 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38284 37517 1111 63 0 38221 0
vsize: 153136
[startup+1060.23 s]
Raw data (loadavg): 1.15 1.00 0.98 2/58 5532
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 38857 0 0 0 105854 181 0 0 25 0 1 0 659645433 158027776 37784 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38581 37784 1111 63 0 38518 0
vsize: 154324
[startup+1070.36 s]
Raw data (loadavg): 1.36 1.05 0.99 3/58 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 39068 0 0 0 106865 182 0 0 25 0 1 0 659645433 158838784 37995 4294967295 134512640 134714508 3221221792 3221220348 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38779 37995 1111 63 0 38716 0
vsize: 155116
[startup+1080.36 s]
Raw data (loadavg): 1.30 1.05 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 39295 0 0 0 107864 183 0 0 25 0 1 0 659645433 159784960 38222 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39010 38222 1111 63 0 38947 0
vsize: 156040
[startup+1090.36 s]
Raw data (loadavg): 1.26 1.05 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 39517 0 0 0 108863 184 0 0 25 0 1 0 659645433 160731136 38444 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39241 38444 1111 63 0 39178 0
vsize: 156964
[startup+1100.36 s]
Raw data (loadavg): 1.22 1.05 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 39758 0 0 0 109862 185 0 0 25 0 1 0 659645433 161677312 38685 4294967295 134512640 134714508 3221221792 3221220460 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39472 38685 1111 63 0 39409 0
vsize: 157888
[startup+1110.36 s]
Raw data (loadavg): 1.18 1.04 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 39923 0 0 0 110862 186 0 0 25 0 1 0 659645433 162369536 38850 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39641 38850 1111 63 0 39578 0
vsize: 158564
[startup+1120.36 s]
Raw data (loadavg): 1.15 1.04 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 40060 0 0 0 111861 187 0 0 25 0 1 0 659645433 162910208 38987 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39773 38987 1111 63 0 39710 0
vsize: 159092
[startup+1130.36 s]
Raw data (loadavg): 1.13 1.04 0.99 2/54 5542
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 40269 0 0 0 112860 189 0 0 25 0 1 0 659645433 163741696 39195 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39976 39195 1111 63 0 39913 0
vsize: 159904
[startup+1140.36 s]
Raw data (loadavg): 1.11 1.04 0.99 2/54 5544
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 40579 0 0 0 113859 190 0 0 25 0 1 0 659645433 165093376 39505 4294967295 134512640 134714508 3221221792 3221220420 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40306 39505 1111 63 0 40243 0
vsize: 161224
[startup+1150.36 s]
Raw data (loadavg): 1.09 1.04 0.99 2/54 5544
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 40847 0 0 0 114858 190 0 0 25 0 1 0 659645433 166174720 39773 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40570 39773 1111 63 0 40507 0
vsize: 162280
[startup+1160.36 s]
Raw data (loadavg): 1.08 1.04 0.99 2/54 5544
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 41088 0 0 0 115858 191 0 0 25 0 1 0 659645433 167120896 40014 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40801 40014 1111 63 0 40738 0
vsize: 163204
[startup+1170.36 s]
Raw data (loadavg): 1.07 1.03 0.99 2/54 5544
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 41319 0 0 0 116857 192 0 0 25 0 1 0 659645433 168071168 40245 4294967295 134512640 134714508 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41033 40245 1111 63 0 40970 0
vsize: 164132
[startup+1175.06 s]
Raw data (loadavg): 1.06 1.03 0.99 1/53 5544
Raw data (stat): 5489 (bsolo_lpr_cuts) R 5488 7876 7672 0 -1 0 41319 0 0 0 116857 192 0 0 25 0 1 0 659645433 168071168 40245 4294967295 134512640 134714508 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41033 40245 1111 63 0 40970 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.2
CPU user time (s): 1173.19
CPU system time (s): 2.00169
CPU usage (%): 100.012
Max. virtual memory (Kb): 164132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####