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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.51
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 28597

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 03:11:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12157 boxname=wulflinc22 idbench=936 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 12157
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921540 kB
Buffers:          4268 kB
Cached:          86248 kB
SwapCached:        400 kB
Active:          15904 kB
Inactive:        76880 kB
HighTotal:      131008 kB
HighFree:        87136 kB
LowTotal:       903652 kB
LowFree:        834404 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            14608 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:31:22 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 12157 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.728 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.0275
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.91 0.95 0.98 2/54 30357
Raw data (stat): 30357 (runsolver) R 30356 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835539196 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 9183 0 0 0 970 28 0 0 25 0 1 0 835539196 20770816 4383 4294967295 134512640 134714508 3221224576 3221221804 1074138112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4383 1111 63 0 5008 0
vsize: 20284
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 15476 0 0 0 1943 55 0 0 25 0 1 0 835539196 25542656 5547 4294967295 134512640 134714508 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5547 1111 63 0 6173 0
vsize: 24944
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 22570 0 0 0 2919 79 0 0 25 0 1 0 835539196 31076352 6886 4294967295 134512640 134714508 3221224576 3221223360 134558542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7587 6886 1111 63 0 7524 0
vsize: 30348
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 29363 0 0 0 3893 105 0 0 25 0 1 0 835539196 35774464 8037 4294967295 134512640 134714508 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 8037 1111 63 0 8671 0
vsize: 34936
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 35651 0 0 0 4871 127 0 0 25 0 1 0 835539196 41594880 9366 4294967295 134512640 134714508 3221224576 3221223288 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10155 9366 1111 63 0 10092 0
vsize: 40620
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 43618 0 0 0 5846 152 0 0 25 0 1 0 835539196 45821952 10425 4294967295 134512640 134714508 3221224576 3221222576 1074913901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 10425 1111 63 0 11124 0
vsize: 44748
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 51990 0 0 0 6817 181 0 0 25 0 1 0 835539196 50565120 11584 4294967295 134512640 134714508 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 11584 1111 63 0 12282 0
vsize: 49380
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 60735 0 0 0 7790 208 0 0 25 0 1 0 835539196 57061376 12921 4294967295 134512640 134714508 3221224576 3221222848 1074056237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12921 1111 63 0 13868 0
vsize: 55724
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 69478 0 0 0 8765 233 0 0 25 0 1 0 835539196 60489728 13779 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14768 13779 1111 63 0 14705 0
vsize: 59072
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 78679 0 0 0 9736 263 0 0 25 0 1 0 835539196 63361024 14504 4294967295 134512640 134714508 3221224576 3221223424 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15469 14504 1111 63 0 15406 0
vsize: 61876
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 90379 0 0 0 10701 298 0 0 25 0 1 0 835539196 67461120 15417 4294967295 134512640 134714508 3221224576 3221220720 1074969700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16470 15417 1111 63 0 16407 0
vsize: 65880
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 101844 0 0 0 11668 331 0 0 25 0 1 0 835539196 70541312 16288 4294967295 134512640 134714508 3221224576 3221222888 1074207553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17222 16288 1111 63 0 17159 0
vsize: 68888
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 113303 0 0 0 12633 366 0 0 25 0 1 0 835539196 74645504 17237 4294967295 134512640 134714508 3221224576 3221221600 1074810483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18224 17237 1111 63 0 18161 0
vsize: 72896
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 124504 0 0 0 13599 401 0 0 25 0 1 0 835539196 77881344 18110 4294967295 134512640 134714508 3221224576 3221222940 1074205875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19014 18110 1111 63 0 18951 0
vsize: 76056
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 136147 0 0 0 14565 435 0 0 25 0 1 0 835539196 81461248 19039 4294967295 134512640 134714508 3221224576 3221222140 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19888 19039 1111 63 0 19825 0
vsize: 79552
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 147631 0 0 0 15532 467 0 0 25 0 1 0 835539196 84819968 19857 4294967295 134512640 134714508 3221224576 3221222544 1075961325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20708 19857 1111 63 0 20645 0
vsize: 82832
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 159685 0 0 0 16498 502 0 0 25 0 1 0 835539196 94072832 21497 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22967 21497 1111 63 0 22904 0
vsize: 91868
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 170411 0 0 0 17469 531 0 0 25 0 1 0 835539196 96862208 22185 4294967295 134512640 134714508 3221224576 3221222672 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23648 22185 1111 63 0 23585 0
vsize: 94592
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 178462 0 0 0 18445 555 0 0 25 0 1 0 835539196 99024896 22699 4294967295 134512640 134714508 3221224576 3221222400 1075823370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24176 22699 1111 63 0 24113 0
vsize: 96704
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 188306 0 0 0 19415 585 0 0 25 0 1 0 835539196 101937152 23466 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 23466 1111 63 0 24824 0
vsize: 99548
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 198850 0 0 0 20384 616 0 0 25 0 1 0 835539196 104538112 24083 4294967295 134512640 134714508 3221224576 3221223120 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25522 24083 1111 63 0 25459 0
vsize: 102088
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 210392 0 0 0 21351 650 0 0 25 0 1 0 835539196 107601920 24863 4294967295 134512640 134714508 3221224576 3221222768 1075606517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26270 24863 1111 63 0 26207 0
vsize: 105080
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 221123 0 0 0 22321 679 0 0 25 0 1 0 835539196 110157824 25483 4294967295 134512640 134714508 3221224576 3221223288 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26894 25483 1111 63 0 26831 0
vsize: 107576
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 227427 0 0 0 23306 695 0 0 25 0 1 0 835539196 111718400 25879 4294967295 134512640 134714508 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27275 25879 1111 63 0 27212 0
vsize: 109100
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 238861 0 0 0 24273 728 0 0 25 0 1 0 835539196 114356224 26559 4294967295 134512640 134714508 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27919 26559 1111 63 0 27856 0
vsize: 111676
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 249771 0 0 0 25243 758 0 0 25 0 1 0 835539196 117436416 27312 4294967295 134512640 134714508 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28671 27312 1111 63 0 28608 0
vsize: 114684
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 261743 0 0 0 26210 791 0 0 25 0 1 0 835539196 120717312 28135 4294967295 134512640 134714508 3221224576 3221223368 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29472 28135 1111 63 0 29409 0
vsize: 117888
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 273325 0 0 0 27177 824 0 0 25 0 1 0 835539196 123064320 28693 4294967295 134512640 134714508 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30045 28693 1111 63 0 29982 0
vsize: 120180
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 284288 0 0 0 28147 854 0 0 25 0 1 0 835539196 126287872 29497 4294967295 134512640 134714508 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30832 29497 1111 63 0 30769 0
vsize: 123328
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 295519 0 0 0 29114 887 0 0 25 0 1 0 835539196 129622016 30317 4294967295 134512640 134714508 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31646 30317 1111 63 0 31583 0
vsize: 126584
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 305860 0 0 0 30083 919 0 0 25 0 1 0 835539196 132734976 31115 4294967295 134512640 134714508 3221224576 3221222400 1075824356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32406 31115 1111 63 0 32343 0
vsize: 129624
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 312070 0 0 0 31065 937 0 0 25 0 1 0 835539196 134705152 31555 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32887 31555 1111 63 0 32824 0
vsize: 131548
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 323097 0 0 0 32033 969 0 0 25 0 1 0 835539196 138125312 32461 4294967295 134512640 134714508 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33722 32461 1111 63 0 33659 0
vsize: 134888
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 333217 0 0 0 33002 1000 0 0 25 0 1 0 835539196 141447168 33249 4294967295 134512640 134714508 3221224576 3221222928 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34533 33249 1111 63 0 34470 0
vsize: 138132
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 344839 0 0 0 33966 1036 0 0 25 0 1 0 835539196 145223680 34061 4294967295 134512640 134714508 3221224576 3221221696 1074834464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 34061 1111 63 0 35392 0
vsize: 141820
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 355981 0 0 0 34933 1069 0 0 25 0 1 0 835539196 147521536 34736 4294967295 134512640 134714508 3221224576 3221223040 1074119517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36016 34736 1111 63 0 35953 0
vsize: 144064
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 360387 0 0 0 35922 1081 0 0 25 0 1 0 835539196 151265280 35618 4294967295 134512640 134714508 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36930 35618 1111 63 0 36867 0
vsize: 147720
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362466 0 0 0 36917 1086 0 0 25 0 1 0 835539196 149725184 35299 4294967295 134512640 134714508 3221224576 3221223368 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362466 0 0 0 37917 1086 0 0 25 0 1 0 835539196 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362466 0 0 0 38916 1086 0 0 25 0 1 0 835539196 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362466 0 0 0 39916 1087 0 0 25 0 1 0 835539196 149725184 35299 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362466 0 0 0 40916 1087 0 0 25 0 1 0 835539196 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 362634 0 0 0 41914 1089 0 0 25 0 1 0 835539196 149676032 35287 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36542 35287 1111 63 0 36479 0
vsize: 146168
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 370780 0 0 0 42894 1110 0 0 25 0 1 0 835539196 149970944 35361 4294967295 134512640 134714508 3221224576 3221222640 1075961826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36614 35361 1111 63 0 36551 0
vsize: 146456
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 385736 0 0 0 43859 1145 0 0 25 0 1 0 835539196 154066944 36312 4294967295 134512640 134714508 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37614 36312 1111 63 0 37551 0
vsize: 150456
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 398152 0 0 0 44830 1174 0 0 25 0 1 0 835539196 168202240 38501 4294967295 134512640 134714508 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41065 38501 1111 63 0 41002 0
vsize: 164260
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 408984 0 0 0 45802 1202 0 0 25 0 1 0 835539196 169631744 38838 4294967295 134512640 134714508 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41414 38838 1111 63 0 41351 0
vsize: 165656
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 424761 0 0 0 46760 1244 0 0 25 0 1 0 835539196 172716032 39575 4294967295 134512640 134714508 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42167 39575 1111 63 0 42104 0
vsize: 168668
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 436764 0 0 0 47730 1274 0 0 25 0 1 0 835539196 175411200 40277 4294967295 134512640 134714508 3221224576 3221223312 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 441117 0 0 0 48720 1284 0 0 25 0 1 0 835539196 175718400 40339 4294967295 134512640 134714508 3221224576 3221222576 1074056623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42900 40339 1111 63 0 42837 0
vsize: 171600
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 451377 0 0 0 49693 1312 0 0 25 0 1 0 835539196 178069504 40918 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43474 40918 1111 63 0 43411 0
vsize: 173896
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 461163 0 0 0 50666 1338 0 0 25 0 1 0 835539196 179625984 41299 4294967295 134512640 134714508 3221224576 3221223304 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43854 41299 1111 63 0 43791 0
vsize: 175416
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 467700 0 0 0 51649 1355 0 0 25 0 1 0 835539196 180772864 41611 4294967295 134512640 134714508 3221224576 3221223392 134622409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44134 41611 1111 63 0 44071 0
vsize: 176536
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 474697 0 0 0 52633 1371 0 0 25 0 1 0 835539196 181682176 41835 4294967295 134512640 134714508 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44356 41835 1111 63 0 44293 0
vsize: 177424
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 490117 0 0 0 53593 1412 0 0 25 0 1 0 835539196 185552896 42404 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45301 42404 1111 63 0 45238 0
vsize: 181204
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 506089 0 0 0 54553 1452 0 0 25 0 1 0 835539196 186679296 43034 4294967295 134512640 134714508 3221224576 3221223212 134649400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45576 43034 1111 63 0 45513 0
vsize: 182304
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 522296 0 0 0 55512 1493 0 0 25 0 1 0 835539196 189456384 43719 4294967295 134512640 134714508 3221224576 3221222928 1074115334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46254 43719 1111 63 0 46191 0
vsize: 185016
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 531475 0 0 0 56491 1514 0 0 25 0 1 0 835539196 190660608 44005 4294967295 134512640 134714508 3221224576 3221222292 1077378651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46548 44005 1111 63 0 46485 0
vsize: 186192
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 547801 0 0 0 57450 1556 0 0 25 0 1 0 835539196 194568192 44615 4294967295 134512640 134714508 3221224576 3221220736 1075090048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47502 44615 1111 63 0 47439 0
vsize: 190008
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 564132 0 0 0 58408 1598 0 0 25 0 1 0 835539196 195735552 45274 4294967295 134512640 134714508 3221224576 3221223424 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47787 45274 1111 63 0 47724 0
vsize: 191148
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 568566 0 0 0 59396 1610 0 0 25 0 1 0 835539196 198201344 45507 4294967295 134512640 134714508 3221224576 3221217776 1075332528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48389 45507 1111 63 0 48326 0
vsize: 193556
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 582768 0 0 0 60361 1645 0 0 25 0 1 0 835539196 199491584 46170 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48704 46170 1111 63 0 48641 0
vsize: 194816
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 594413 0 0 0 61329 1677 0 0 25 0 1 0 835539196 200962048 46518 4294967295 134512640 134714508 3221224576 3221222992 1074116261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49063 46518 1111 63 0 49000 0
vsize: 196252
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 609482 0 0 0 62288 1718 0 0 25 0 1 0 835539196 203223040 47078 4294967295 134512640 134714508 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49615 47078 1111 63 0 49552 0
vsize: 198460
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 623737 0 0 0 63251 1756 0 0 25 0 1 0 835539196 205795328 47757 4294967295 134512640 134714508 3221224576 3221222320 1075646987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50243 47757 1111 63 0 50180 0
vsize: 200972
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 639024 0 0 0 64210 1797 0 0 25 0 1 0 835539196 208887808 48500 4294967295 134512640 134714508 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50998 48500 1111 63 0 50935 0
vsize: 203992
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 650462 0 0 0 65178 1828 0 0 25 0 1 0 835539196 211673088 49229 4294967295 134512640 134714508 3221224576 3221223312 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51678 49229 1111 63 0 51615 0
vsize: 206712
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 661443 0 0 0 66148 1859 0 0 25 0 1 0 835539196 213487616 49642 4294967295 134512640 134714508 3221224576 3221222876 1074206150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52121 49642 1111 63 0 52058 0
vsize: 208484
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 677655 0 0 0 67107 1899 0 0 25 0 1 0 835539196 217214976 50550 4294967295 134512640 134714508 3221224576 3221223008 1074039238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53031 50550 1111 63 0 52968 0
vsize: 212124
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 686031 0 0 0 68085 1922 0 0 25 0 1 0 835539196 219619328 51141 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 694026 0 0 0 69064 1943 0 0 25 0 1 0 835539196 220594176 51335 4294967295 134512640 134714508 3221224576 3221222304 1075828586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53856 51335 1111 63 0 53793 0
vsize: 215424
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 702699 0 0 0 70040 1967 0 0 25 0 1 0 835539196 222097408 51709 4294967295 134512640 134714508 3221224576 3221223376 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54223 51709 1111 63 0 54160 0
vsize: 216892
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 717301 0 0 0 71002 2006 0 0 25 0 1 0 835539196 225099776 52470 4294967295 134512640 134714508 3221224576 3221222576 1074918347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54956 52470 1111 63 0 54893 0
vsize: 219824
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 724949 0 0 0 71980 2027 0 0 25 0 1 0 835539196 227467264 53058 4294967295 134512640 134714508 3221224576 3221222768 1073986742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55534 53058 1111 63 0 55471 0
vsize: 222136
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 727298 0 0 0 72975 2032 0 0 25 0 1 0 835539196 227573760 53094 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 727298 0 0 0 73975 2033 0 0 25 0 1 0 835539196 227573760 53094 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 727298 0 0 0 74975 2033 0 0 25 0 1 0 835539196 227573760 53094 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 727298 0 0 0 75975 2033 0 0 25 0 1 0 835539196 227573760 53094 4294967295 134512640 134714508 3221224576 3221223312 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 727298 0 0 0 76974 2034 0 0 25 0 1 0 835539196 227573760 53094 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 728068 0 0 0 77971 2037 0 0 25 0 1 0 835539196 229232640 53468 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55965 53468 1111 63 0 55902 0
vsize: 223860
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 740998 0 0 0 78938 2070 0 0 25 0 1 0 835539196 230633472 53388 4294967295 134512640 134714508 3221224576 3221221696 1074834473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56307 53388 1111 63 0 56244 0
vsize: 225228
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 756584 0 0 0 79898 2111 0 0 25 0 1 0 835539196 232460288 54165 4294967295 134512640 134714508 3221224576 3221222216 1077378259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56753 54165 1111 63 0 56690 0
vsize: 227012
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 769412 0 0 0 80867 2142 0 0 25 0 1 0 835539196 234713088 54722 4294967295 134512640 134714508 3221224576 3221221680 1074138693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57303 54722 1111 63 0 57240 0
vsize: 229212
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 785443 0 0 0 81825 2184 0 0 25 0 1 0 835539196 238714880 55373 4294967295 134512640 134714508 3221224576 3221221696 1074834078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58280 55373 1111 63 0 58217 0
vsize: 233120
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 801502 0 0 0 82785 2224 0 0 25 0 1 0 835539196 240095232 56053 4294967295 134512640 134714508 3221224576 3221223216 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58617 56053 1111 63 0 58554 0
vsize: 234468
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 813401 0 0 0 83758 2251 0 0 25 0 1 0 835539196 241991680 56571 4294967295 134512640 134714508 3221224576 3221222256 1075895007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59080 56571 1111 63 0 59017 0
vsize: 236320
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 827665 0 0 0 84722 2287 0 0 25 0 1 0 835539196 244609024 57219 4294967295 134512640 134714508 3221224576 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59719 57219 1111 63 0 59656 0
vsize: 238876
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 842944 0 0 0 85680 2329 0 0 25 0 1 0 835539196 247783424 57928 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60494 57928 1111 63 0 60431 0
vsize: 241976
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 846151 0 0 0 86671 2338 0 0 25 0 1 0 835539196 249606144 58380 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58380 1111 63 0 60876 0
vsize: 243756
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 846227 0 0 0 87670 2339 0 0 25 0 1 0 835539196 249901056 58456 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61011 58456 1111 63 0 60948 0
vsize: 244044
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 847113 0 0 0 88667 2342 0 0 25 0 1 0 835539196 252391424 59065 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 89660 2349 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 90660 2349 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 91660 2350 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 92660 2350 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 93660 2350 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 94660 2350 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850229 0 0 0 95660 2350 0 0 25 0 1 0 835539196 250048512 58495 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 850780 0 0 0 96658 2352 0 0 25 0 1 0 835539196 249077760 58258 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60810 58258 1111 63 0 60747 0
vsize: 243240
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 864714 0 0 0 97621 2390 0 0 25 0 1 0 835539196 251592704 58818 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61424 58818 1111 63 0 61361 0
vsize: 245696
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 880231 0 0 0 98579 2431 0 0 25 0 1 0 835539196 254140416 59454 4294967295 134512640 134714508 3221224576 3221222496 1075799682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62046 59454 1111 63 0 61983 0
vsize: 248184
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 891596 0 0 0 99550 2460 0 0 25 0 1 0 835539196 257757184 60365 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62929 60365 1111 63 0 62866 0
vsize: 251716
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 892280 0 0 0 100548 2462 0 0 25 0 1 0 835539196 259624960 60822 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63385 60822 1111 63 0 63322 0
vsize: 253540
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 894414 0 0 0 101543 2467 0 0 25 0 1 0 835539196 258043904 60447 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 894414 0 0 0 102543 2468 0 0 25 0 1 0 835539196 258043904 60447 4294967295 134512640 134714508 3221224576 3221223292 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 894414 0 0 0 103542 2468 0 0 25 0 1 0 835539196 258043904 60447 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 894414 0 0 0 104542 2468 0 0 25 0 1 0 835539196 258043904 60447 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 900351 0 0 0 105526 2485 0 0 25 0 1 0 835539196 258252800 60494 4294967295 134512640 134714508 3221224576 3221223344 134624410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63050 60494 1111 63 0 62987 0
vsize: 252200
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 915831 0 0 0 106488 2523 0 0 25 0 1 0 835539196 261697536 61385 4294967295 134512640 134714508 3221224576 3221222928 1074142742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63891 61385 1111 63 0 63828 0
vsize: 255564
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 917742 0 0 0 107481 2530 0 0 25 0 1 0 835539196 263430144 61809 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64314 61809 1111 63 0 64251 0
vsize: 257256
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 918472 0 0 0 108479 2532 0 0 25 0 1 0 835539196 265166848 62228 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 920974 0 0 0 109473 2538 0 0 25 0 1 0 835539196 263372800 61796 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 920974 0 0 0 110473 2538 0 0 25 0 1 0 835539196 263372800 61796 4294967295 134512640 134714508 3221224576 3221223312 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 920974 0 0 0 111472 2539 0 0 25 0 1 0 835539196 263372800 61796 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 920974 0 0 0 112472 2539 0 0 25 0 1 0 835539196 263372800 61796 4294967295 134512640 134714508 3221224576 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 922997 0 0 0 113466 2545 0 0 25 0 1 0 835539196 262479872 61581 4294967295 134512640 134714508 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64082 61581 1111 63 0 64019 0
vsize: 256328
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 939114 0 0 0 114423 2589 0 0 25 0 1 0 835539196 265523200 62301 4294967295 134512640 134714508 3221224576 3221222992 1074116578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64825 62301 1111 63 0 64762 0
vsize: 259300
[startup+1175.08 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 30357
Raw data (stat): 30357 (bsolo_lpr_cuts) R 30356 23310 23309 0 -1 0 939114 0 0 0 114423 2589 0 0 25 0 1 0 835539196 265523200 62301 4294967295 134512640 134714508 3221224576 3221222992 1074116578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64825 62301 1111 63 0 64762 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.16
CPU user time (s): 1148.96
CPU system time (s): 26.2
CPU usage (%): 100.007
Max. virtual memory (Kb): 259300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####