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/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.02808
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 25265

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 02:28:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19593 boxname=wulflinc31 idbench=1508 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 19593
/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:        911260 kB
Buffers:          3624 kB
Cached:          98396 kB
SwapCached:        932 kB
Active:          54452 kB
Inactive:        50860 kB
HighTotal:      131008 kB
HighFree:        28756 kB
LowTotal:       903652 kB
LowFree:        882504 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            12500 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 02:47:57 (client local time) WITH STATUS 0 IN 1176.19 SECONDS
stats: 19593 7 1176.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.577 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 0.240857
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.16 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.95 0.90 2/55 1252
Raw data (stat): 1252 (runsolver) R 1251 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 774772860 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+9.99974 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 7308 0 0 0 974 22 0 0 25 0 1 0 774772860 17072128 3426 4294967295 134512640 134714508 3221221776 3221218144 1075894540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4168 3426 1111 63 0 4105 0
vsize: 16672
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 9840 0 0 0 1966 30 0 0 25 0 1 0 774772860 16441344 3328 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4014 3328 1111 63 0 3951 0
vsize: 16056
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 13127 0 0 0 2956 39 0 0 25 0 1 0 774772860 17137664 3381 4294967295 134512640 134714508 3221221776 3221218048 1074960923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4184 3381 1111 63 0 4121 0
vsize: 16736
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 15599 0 0 0 3950 46 0 0 25 0 1 0 774772860 17100800 3386 4294967295 134512640 134714508 3221221776 3221218112 1075113487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3386 1111 63 0 4112 0
vsize: 16700
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 18870 0 0 0 4940 56 0 0 25 0 1 0 774772860 17240064 3403 4294967295 134512640 134714508 3221221776 3221218384 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3403 1111 63 0 4146 0
vsize: 16836
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 21909 0 0 0 5932 64 0 0 25 0 1 0 774772860 16814080 3419 4294967295 134512640 134714508 3221221776 3221219920 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3419 1111 63 0 4042 0
vsize: 16420
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 24598 0 0 0 6925 71 0 0 25 0 1 0 774772860 17698816 3504 4294967295 134512640 134714508 3221221776 3221217936 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3504 1111 63 0 4258 0
vsize: 17284
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 28328 0 0 0 7917 80 0 0 25 0 1 0 774772860 16867328 3433 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4118 3433 1111 63 0 4055 0
vsize: 16472
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 32739 0 0 0 8906 91 0 0 25 0 1 0 774772860 16867328 3433 4294967295 134512640 134714508 3221221776 3221220112 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4118 3433 1111 63 0 4055 0
vsize: 16472
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 36166 0 0 0 9899 99 0 0 25 0 1 0 774772860 17657856 3525 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3526 1111 63 0 4248 0
vsize: 17244
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 38697 0 0 0 10892 105 0 0 25 0 1 0 774772860 17010688 3468 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3468 1111 63 0 4090 0
vsize: 16612
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 41706 0 0 0 11883 115 0 0 25 0 1 0 774772860 17141760 3487 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4185 3487 1111 63 0 4122 0
vsize: 16740
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 44872 0 0 0 12876 122 0 0 25 0 1 0 774772860 17117184 3494 4294967295 134512640 134714508 3221221776 3221219008 1074140044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3494 1111 63 0 4116 0
vsize: 16716
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 47598 0 0 0 13868 130 0 0 25 0 1 0 774772860 17117184 3494 4294967295 134512640 134714508 3221221776 3221220112 1074143115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3494 1111 63 0 4116 0
vsize: 16716
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 50571 0 0 0 14861 137 0 0 25 0 1 0 774772860 18104320 3607 4294967295 134512640 134714508 3221221776 3221218608 1075115806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3607 1111 63 0 4357 0
vsize: 17680
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 53359 0 0 0 15853 145 0 0 25 0 1 0 774772860 17993728 3639 4294967295 134512640 134714508 3221221776 3221217956 1075115127 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3639 1111 63 0 4330 0
vsize: 17572
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 56514 0 0 0 16844 155 0 0 25 0 1 0 774772860 18259968 3658 4294967295 134512640 134714508 3221221776 3221218792 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3658 1111 63 0 4395 0
vsize: 17832
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 59303 0 0 0 17835 163 0 0 25 0 1 0 774772860 17977344 3652 4294967295 134512640 134714508 3221221776 3221218096 1075894562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4389 3652 1111 63 0 4326 0
vsize: 17556
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 62488 0 0 0 18827 172 0 0 25 0 1 0 774772860 18493440 3706 4294967295 134512640 134714508 3221221776 3221218004 1075115130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4515 3706 1111 63 0 4452 0
vsize: 18060
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 65161 0 0 0 19819 180 0 0 25 0 1 0 774772860 18276352 3662 4294967295 134512640 134714508 3221221776 3221218112 1075113538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3662 1111 63 0 4399 0
vsize: 17848
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 67128 0 0 0 20812 187 0 0 25 0 1 0 774772860 17702912 3637 4294967295 134512640 134714508 3221221776 3221219776 1074916750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3637 1111 63 0 4259 0
vsize: 17288
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 69388 0 0 0 21807 193 0 0 25 0 1 0 774772860 18317312 3679 4294967295 134512640 134714508 3221221776 3221217920 1074971039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4472 3679 1111 63 0 4409 0
vsize: 17888
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 71954 0 0 0 22798 201 0 0 25 0 1 0 774772860 17768448 3640 4294967295 134512640 134714508 3221221776 3221220056 1074138303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3640 1111 63 0 4275 0
vsize: 17352
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 75261 0 0 0 23789 210 0 0 25 0 1 0 774772860 18132992 3686 4294967295 134512640 134714508 3221221776 3221218048 1074961244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4427 3686 1111 63 0 4364 0
vsize: 17708
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 78316 0 0 0 24782 218 0 0 25 0 1 0 774772860 17735680 3645 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4330 3645 1111 63 0 4267 0
vsize: 17320
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 81455 0 0 0 25774 226 0 0 25 0 1 0 774772860 17793024 3652 4294967295 134512640 134714508 3221221776 3221219728 1074918562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 3652 1111 63 0 4281 0
vsize: 17376
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 84867 0 0 0 26765 235 0 0 25 0 1 0 774772860 18456576 3716 4294967295 134512640 134714508 3221221776 3221218896 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3716 1111 63 0 4443 0
vsize: 18024
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 88632 0 0 0 27755 245 0 0 25 0 1 0 774772860 18468864 3712 4294967295 134512640 134714508 3221221776 3221218004 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3712 1111 63 0 4446 0
vsize: 18036
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 91803 0 0 0 28747 254 0 0 25 0 1 0 774772860 18513920 3729 4294967295 134512640 134714508 3221221776 3221218432 1075967437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3729 1111 63 0 4457 0
vsize: 18080
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 95401 0 0 0 29737 263 0 0 25 0 1 0 774772860 19148800 3849 4294967295 134512640 134714508 3221221776 3221217736 1074789590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4675 3849 1111 63 0 4612 0
vsize: 18700
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 98894 0 0 0 30728 272 0 0 25 0 1 0 774772860 18706432 3796 4294967295 134512640 134714508 3221221776 3221218000 1074961155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3796 1111 63 0 4504 0
vsize: 18268
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 102373 0 0 0 31719 282 0 0 25 0 1 0 774772860 18354176 3803 4294967295 134512640 134714508 3221221776 3221220032 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3803 1111 63 0 4418 0
vsize: 17924
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 104563 0 0 0 32712 289 0 0 25 0 1 0 774772860 18354176 3803 4294967295 134512640 134714508 3221221776 3221219776 1074916856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3803 1111 63 0 4418 0
vsize: 17924
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 106927 0 0 0 33706 295 0 0 25 0 1 0 774772860 18989056 3823 4294967295 134512640 134714508 3221221776 3221217724 1074788915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3823 1111 63 0 4573 0
vsize: 18544
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 109610 0 0 0 34698 303 0 0 25 0 1 0 774772860 18354176 3803 4294967295 134512640 134714508 3221221776 3221220128 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3803 1111 63 0 4418 0
vsize: 17924
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 114681 0 0 0 35684 318 0 0 25 0 1 0 774772860 18903040 3885 4294967295 134512640 134714508 3221221776 3221217936 1074794472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3885 1111 63 0 4552 0
vsize: 18460
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 118796 0 0 0 36672 330 0 0 25 0 1 0 774772860 18415616 3818 4294967295 134512640 134714508 3221221776 3221219416 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4496 3818 1111 63 0 4433 0
vsize: 17984
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 122261 0 0 0 37663 339 0 0 25 0 1 0 774772860 19820544 3984 4294967295 134512640 134714508 3221221776 3221218112 1075113472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3984 1111 63 0 4776 0
vsize: 19356
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 126807 0 0 0 38653 350 0 0 25 0 1 0 774772860 18649088 3871 4294967295 134512640 134714508 3221221776 3221219776 1074918064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3871 1111 63 0 4490 0
vsize: 18212
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 130550 0 0 0 39644 358 0 0 25 0 1 0 774772860 18456576 3828 4294967295 134512640 134714508 3221221776 3221219360 1075818251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3828 1111 63 0 4443 0
vsize: 18024
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 134314 0 0 0 40635 368 0 0 25 0 1 0 774772860 18653184 3861 4294967295 134512640 134714508 3221221776 3221219776 1074919366 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3861 1111 63 0 4491 0
vsize: 18216
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 138097 0 0 0 41625 378 0 0 25 0 1 0 774772860 18640896 3873 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4551 3873 1111 63 0 4488 0
vsize: 18204
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 142247 0 0 0 42614 389 0 0 25 0 1 0 774772860 20094976 4027 4294967295 134512640 134714508 3221221776 3221218848 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4906 4027 1111 63 0 4843 0
vsize: 19624
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 145708 0 0 0 43604 400 0 0 25 0 1 0 774772860 19156992 3905 4294967295 134512640 134714508 3221221776 3221217956 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4677 3905 1111 63 0 4614 0
vsize: 18708
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 151964 0 0 0 44587 417 0 0 25 0 1 0 774772860 19587072 3884 4294967295 134512640 134714508 3221221776 3221218544 1076083800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4782 3884 1111 63 0 4719 0
vsize: 19128
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 158637 0 0 0 45569 435 0 0 25 0 1 0 774772860 18640896 3865 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4551 3865 1111 63 0 4488 0
vsize: 18204
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 161848 0 0 0 46559 444 0 0 25 0 1 0 774772860 18661376 3878 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3878 1111 63 0 4493 0
vsize: 18224
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 165513 0 0 0 47550 454 0 0 25 0 1 0 774772860 19824640 3948 4294967295 134512640 134714508 3221221776 3221217904 1075112371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4840 3948 1111 63 0 4777 0
vsize: 19360
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 169090 0 0 0 48541 463 0 0 25 0 1 0 774772860 18636800 3872 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4550 3872 1111 63 0 4487 0
vsize: 18200
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 172421 0 0 0 49533 471 0 0 25 0 1 0 774772860 18681856 3883 4294967295 134512640 134714508 3221221776 3221219688 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3883 1111 63 0 4498 0
vsize: 18244
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 175820 0 0 0 50524 481 0 0 25 0 1 0 774772860 19382272 3996 4294967295 134512640 134714508 3221221776 3221219504 1075828488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4732 3996 1111 63 0 4669 0
vsize: 18928
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 179399 0 0 0 51514 490 0 0 25 0 1 0 774772860 19824640 3965 4294967295 134512640 134714508 3221221776 3221217556 1074786356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4840 3965 1111 63 0 4777 0
vsize: 19360
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 182619 0 0 0 52505 500 0 0 25 0 1 0 774772860 19972096 3965 4294967295 134512640 134714508 3221221776 3221217904 1075561201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4876 3965 1111 63 0 4813 0
vsize: 19504
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 185539 0 0 0 53498 507 0 0 25 0 1 0 774772860 19824640 3946 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4840 3946 1111 63 0 4777 0
vsize: 19360
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 188011 0 0 0 54490 515 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+560.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 192013 0 0 0 55479 526 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221220176 1074119120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+570.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 196492 0 0 0 56468 538 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221219712 1074052248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+580.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 199654 0 0 0 57460 546 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221219740 1077377422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+590.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 202228 0 0 0 58452 554 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+600.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 205683 0 0 0 59442 564 0 0 25 0 1 0 774772860 18841600 3922 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+610.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 211346 0 0 0 60429 577 0 0 25 0 1 0 774772860 18870272 3923 4294967295 134512640 134714508 3221221776 3221220256 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4607 3923 1111 63 0 4544 0
vsize: 18428
[startup+620.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 215966 0 0 0 61418 588 0 0 25 0 1 0 774772860 20131840 4006 4294967295 134512640 134714508 3221221776 3221218004 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4915 4006 1111 63 0 4852 0
vsize: 19660
[startup+630.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 220278 0 0 0 62407 599 0 0 25 0 1 0 774772860 20172800 4015 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4925 4015 1111 63 0 4862 0
vsize: 19700
[startup+640.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 223374 0 0 0 63399 608 0 0 25 0 1 0 774772860 20271104 4052 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4949 4052 1111 63 0 4886 0
vsize: 19796
[startup+650.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 228703 0 0 0 64385 622 0 0 25 0 1 0 774772860 20344832 4181 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4967 4186 1111 63 0 4904 0
vsize: 19868
[startup+660.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 233408 0 0 0 65372 635 0 0 25 0 1 0 774772860 20307968 4062 4294967295 134512640 134714508 3221221776 3221217820 1074873537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4958 4062 1111 63 0 4895 0
vsize: 19832
[startup+670.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 238126 0 0 0 66360 647 0 0 25 0 1 0 774772860 19324928 4009 4294967295 134512640 134714508 3221221776 3221219600 1075823510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4718 4009 1111 63 0 4655 0
vsize: 18872
[startup+680.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 241048 0 0 0 67351 656 0 0 25 0 1 0 774772860 19169280 4002 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 4002 1111 63 0 4617 0
vsize: 18720
[startup+690.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 244183 0 0 0 68341 666 0 0 25 0 1 0 774772860 19169280 4002 4294967295 134512640 134714508 3221221776 3221220040 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 4002 1111 63 0 4617 0
vsize: 18720
[startup+700.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 247914 0 0 0 69331 677 0 0 25 0 1 0 774772860 20262912 4056 4294967295 134512640 134714508 3221221776 3221218048 1074961351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4058 1111 63 0 4884 0
vsize: 19788
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 250964 0 0 0 70323 685 0 0 25 0 1 0 774772860 19234816 4018 4294967295 134512640 134714508 3221221776 3221220080 1074207681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 4018 1111 63 0 4633 0
vsize: 18784
[startup+720.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 253773 0 0 0 71316 692 0 0 25 0 1 0 774772860 19234816 4018 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 4018 1111 63 0 4633 0
vsize: 18784
[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 257758 0 0 0 72307 702 0 0 25 0 1 0 774772860 20635648 4142 4294967295 134512640 134714508 3221221776 3221217924 1075964406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5038 4142 1111 63 0 4975 0
vsize: 20152
[startup+740.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 261383 0 0 0 73296 712 0 0 25 0 1 0 774772860 20287488 4075 4294967295 134512640 134714508 3221221776 3221218588 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4873 4060 1111 63 0 4810 0
vsize: 19812
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 265850 0 0 0 74285 723 0 0 25 0 1 0 774772860 20561920 4140 4294967295 134512640 134714508 3221221776 3221218004 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4140 1111 63 0 4957 0
vsize: 20080
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 269454 0 0 0 75275 734 0 0 25 0 1 0 774772860 20443136 4082 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4991 4082 1111 63 0 4928 0
vsize: 19964
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 273259 0 0 0 76265 744 0 0 25 0 1 0 774772860 19304448 4035 4294967295 134512640 134714508 3221221776 3221219852 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+780.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 276895 0 0 0 77256 753 0 0 25 0 1 0 774772860 19304448 4035 4294967295 134512640 134714508 3221221776 3221218780 1077377899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 283930 0 0 0 78238 771 0 0 25 0 1 0 774772860 20287488 4167 4294967295 134512640 134714508 3221221776 3221217920 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4953 4167 1111 63 0 4890 0
vsize: 19812
[startup+800.018 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 293455 0 0 0 79216 793 0 0 25 0 1 0 774772860 19304448 4035 4294967295 134512640 134714508 3221221776 3221219736 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+810.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 298148 0 0 0 80204 806 0 0 25 0 1 0 774772860 20348928 4082 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4082 1111 63 0 4905 0
vsize: 19872
[startup+820.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 303766 0 0 0 81188 822 0 0 25 0 1 0 774772860 20361216 4077 4294967295 134512640 134714508 3221221776 3221218608 1075115799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4077 1111 63 0 4908 0
vsize: 19884
[startup+830.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 307964 0 0 0 82178 832 0 0 25 0 1 0 774772860 20701184 4138 4294967295 134512640 134714508 3221221776 3221217936 1074794597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5054 4138 1111 63 0 4991 0
vsize: 20216
[startup+840.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 311997 0 0 0 83167 843 0 0 25 0 1 0 774772860 19423232 4064 4294967295 134512640 134714508 3221221776 3221219480 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4064 1111 63 0 4679 0
vsize: 18968
[startup+850.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 318768 0 0 0 84151 859 0 0 25 0 1 0 774772860 19423232 4064 4294967295 134512640 134714508 3221221776 3221220016 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4064 1111 63 0 4679 0
vsize: 18968
[startup+860.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 325158 0 0 0 85134 876 0 0 25 0 1 0 774772860 19648512 4119 4294967295 134512640 134714508 3221221776 3221220128 1074153686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4119 1111 63 0 4734 0
vsize: 19188
[startup+870.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 329862 0 0 0 86124 887 0 0 25 0 1 0 774772860 19554304 4096 4294967295 134512640 134714508 3221221776 3221220112 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4096 1111 63 0 4711 0
vsize: 19096
[startup+880.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 336888 0 0 0 87107 904 0 0 25 0 1 0 774772860 20717568 4267 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5058 4267 1111 63 0 4995 0
vsize: 20232
[startup+890.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 341961 0 0 0 88095 917 0 0 25 0 1 0 774772860 19759104 4146 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4824 4146 1111 63 0 4761 0
vsize: 19296
[startup+900.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 346688 0 0 0 89083 928 0 0 25 0 1 0 774772860 19804160 4157 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4835 4157 1111 63 0 4772 0
vsize: 19340
[startup+910.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 350888 0 0 0 90072 939 0 0 25 0 1 0 774772860 20975616 4219 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5121 4219 1111 63 0 5058 0
vsize: 20484
[startup+920.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 354369 0 0 0 91063 949 0 0 25 0 1 0 774772860 20054016 4218 4294967295 134512640 134714508 3221221776 3221220056 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4218 1111 63 0 4833 0
vsize: 19584
[startup+930.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 357704 0 0 0 92054 958 0 0 25 0 1 0 774772860 20045824 4216 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4894 4216 1111 63 0 4831 0
vsize: 19576
[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 362141 0 0 0 93041 971 0 0 25 0 1 0 774772860 20094976 4228 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4906 4228 1111 63 0 4843 0
vsize: 19624
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 366046 0 0 0 94030 982 0 0 25 0 1 0 774772860 21286912 4301 4294967295 134512640 134714508 3221221776 3221218112 1075114279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4301 1111 63 0 5134 0
vsize: 20788
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 370515 0 0 0 95017 996 0 0 25 0 1 0 774772860 20287488 4275 4294967295 134512640 134714508 3221221776 3221219600 1075823357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4953 4275 1111 63 0 4890 0
vsize: 19812
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 373956 0 0 0 96008 1004 0 0 25 0 1 0 774772860 20303872 4279 4294967295 134512640 134714508 3221221776 3221219504 1075828235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4957 4279 1111 63 0 4894 0
vsize: 19828
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 377801 0 0 0 96998 1015 0 0 25 0 1 0 774772860 20287488 4275 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4953 4275 1111 63 0 4890 0
vsize: 19812
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 381319 0 0 0 97990 1023 0 0 25 0 1 0 774772860 20934656 4382 4294967295 134512640 134714508 3221221776 3221218672 1074620107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4382 1111 63 0 5048 0
vsize: 20444
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 385129 0 0 0 98980 1033 0 0 25 0 1 0 774772860 21659648 4391 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4391 1111 63 0 5225 0
vsize: 21152
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 388654 0 0 0 99971 1042 0 0 25 0 1 0 774772860 20639744 4361 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5039 4361 1111 63 0 4976 0
vsize: 20156
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 392880 0 0 0 100959 1055 0 0 25 0 1 0 774772860 20484096 4323 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5001 4323 1111 63 0 4938 0
vsize: 20004
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 397075 0 0 0 101948 1066 0 0 25 0 1 0 774772860 21458944 4449 4294967295 134512640 134714508 3221221776 3221218308 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5239 4449 1111 63 0 5176 0
vsize: 20956
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 400944 0 0 0 102937 1077 0 0 25 0 1 0 774772860 21860352 4438 4294967295 134512640 134714508 3221221776 3221217592 1074788474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4438 1111 63 0 5274 0
vsize: 21348
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 404861 0 0 0 103928 1087 0 0 25 0 1 0 774772860 21884928 4480 4294967295 134512640 134714508 3221221776 3221218048 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5343 4480 1111 63 0 5280 0
vsize: 21372
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 407941 0 0 0 104920 1095 0 0 25 0 1 0 774772860 21843968 4467 4294967295 134512640 134714508 3221221776 3221218432 1075966250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5333 4467 1111 63 0 5270 0
vsize: 21332
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 411468 0 0 0 105911 1103 0 0 25 0 1 0 774772860 20860928 4415 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5093 4415 1111 63 0 5030 0
vsize: 20372
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 414346 0 0 0 106905 1110 0 0 25 0 1 0 774772860 21983232 4447 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4447 1111 63 0 5304 0
vsize: 21468
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 417448 0 0 0 107897 1118 0 0 25 0 1 0 774772860 20992000 4438 4294967295 134512640 134714508 3221221776 3221220032 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4438 1111 63 0 5062 0
vsize: 20500
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 420665 0 0 0 108888 1127 0 0 25 0 1 0 774772860 22036480 4487 4294967295 134512640 134714508 3221221776 3221217904 1074880735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5380 4487 1111 63 0 5317 0
vsize: 21520
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 423203 0 0 0 109882 1133 0 0 25 0 1 0 774772860 21917696 4454 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5351 4454 1111 63 0 5288 0
vsize: 21404
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 428206 0 0 0 110870 1146 0 0 25 0 1 0 774772860 20934656 4433 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4433 1111 63 0 5048 0
vsize: 20444
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 435731 0 0 0 111851 1165 0 0 25 0 1 0 774772860 21590016 4487 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4487 1111 63 0 5208 0
vsize: 21084
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 438968 0 0 0 112844 1172 0 0 25 0 1 0 774772860 21143552 4484 4294967295 134512640 134714508 3221221776 3221220128 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4484 1111 63 0 5099 0
vsize: 20648
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 442684 0 0 0 113834 1182 0 0 25 0 1 0 774772860 20967424 4441 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5119 4441 1111 63 0 5056 0
vsize: 20476
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 445884 0 0 0 114825 1191 0 0 25 0 1 0 774772860 21913600 4510 4294967295 134512640 134714508 3221221776 3221218816 1075859966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5350 4510 1111 63 0 5287 0
vsize: 21400
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 449902 0 0 0 115815 1201 0 0 25 0 1 0 774772860 21807104 4567 4294967295 134512640 134714508 3221221776 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4567 1111 63 0 5261 0
vsize: 21296
[startup+1176.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 1252
Raw data (stat): 1252 (bsolo_lpr_cuts) R 1251 7876 7672 0 -1 0 449902 0 0 0 115815 1201 0 0 25 0 1 0 774772860 21807104 4567 4294967295 134512640 134714508 3221221776 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4567 1111 63 0 5261 0
vsize: 0

Child status: 0
Real time (s): 1176.05
CPU time (s): 1176.19
CPU user time (s): 1164.1
CPU system time (s): 12.0952
CPU usage (%): 100.012
Max. virtual memory (Kb): 21520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####