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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 27926

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 23:39:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15225 boxname=wulflinc24 idbench=1172 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 15225
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        823540 kB
Buffers:           792 kB
Cached:         187152 kB
SwapCached:        620 kB
Active:          25408 kB
Inactive:       164976 kB
HighTotal:      131008 kB
HighFree:        28168 kB
LowTotal:       903652 kB
LowFree:        795372 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14948 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:59:47 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 15225 7 1200.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 295.378 s
c Initial Lower Bound: 2041136373
c Lower Bound Elapsed time: 47.1998
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -561589196 @ 497.108
c NEW SOLUTION FOUND: -572563236 @ 497.123
c NEW SOLUTION FOUND: -2133666157 @ 497.268
#### 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.96 0.93 0.91 2/54 10065
Raw data (stat): 10065 (runsolver) R 10064 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834265436 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 17398 0 0 0 962 35 0 0 25 0 1 0 834265436 84172800 17322 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20550 17322 1111 63 0 20487 0
vsize: 82200
[startup+20.0015 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 37353 0 0 0 1924 74 0 0 25 0 1 0 834265436 165961728 37277 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40518 37277 1111 63 0 40455 0
vsize: 162072
[startup+30.0012 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 57046 0 0 0 2893 105 0 0 25 0 1 0 834265436 246583296 56970 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60201 56970 1111 63 0 60138 0
vsize: 240804
[startup+40.0019 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 76584 0 0 0 3860 138 0 0 25 0 1 0 834265436 326610944 76508 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79739 76508 1111 63 0 79676 0
vsize: 318956
[startup+50.0017 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 86820 0 0 0 4843 154 0 0 25 0 1 0 834265436 368472064 86744 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89959 86744 1111 63 0 89896 0
vsize: 359836
[startup+60.0024 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 87782 0 0 0 5841 157 0 0 25 0 1 0 834265436 372400128 87706 4294967295 134512640 134714508 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90918 87706 1111 63 0 90855 0
vsize: 363672
[startup+70.0021 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 88743 0 0 0 6839 159 0 0 25 0 1 0 834265436 376332288 88667 4294967295 134512640 134714508 3221224576 3221223324 134565097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91878 88667 1111 63 0 91815 0
vsize: 367512
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 89758 0 0 0 7836 162 0 0 25 0 1 0 834265436 380542976 89682 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92906 89682 1111 63 0 92843 0
vsize: 371624
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 90890 0 0 0 8832 167 0 0 25 0 1 0 834265436 385146880 90814 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94030 90814 1111 63 0 93967 0
vsize: 376120
[startup+100.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 92946 0 0 0 9827 172 0 0 25 0 1 0 834265436 383975424 92795 4294967295 134512640 134714508 3221224576 3221223376 134617617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93744 92795 1111 63 0 93681 0
vsize: 374976
[startup+110.003 s]
Raw data (loadavg): 1.07 0.96 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93079 0 0 0 10826 173 0 0 25 0 1 0 834265436 384516096 92928 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93876 92928 1111 63 0 93813 0
vsize: 375504
[startup+120.003 s]
Raw data (loadavg): 1.06 0.96 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93194 0 0 0 11826 173 0 0 25 0 1 0 834265436 384921600 93043 4294967295 134512640 134714508 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93975 93043 1111 63 0 93912 0
vsize: 375900
[startup+130.002 s]
Raw data (loadavg): 1.05 0.96 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93298 0 0 0 12825 174 0 0 25 0 1 0 834265436 385462272 93147 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94107 93147 1111 63 0 94044 0
vsize: 376428
[startup+140.003 s]
Raw data (loadavg): 1.04 0.96 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93434 0 0 0 13825 174 0 0 25 0 1 0 834265436 386002944 93283 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94239 93283 1111 63 0 94176 0
vsize: 376956
[startup+150.003 s]
Raw data (loadavg): 1.04 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93572 0 0 0 14825 174 0 0 25 0 1 0 834265436 386547712 93421 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94372 93421 1111 63 0 94309 0
vsize: 377488
[startup+160.003 s]
Raw data (loadavg): 1.03 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93696 0 0 0 15824 175 0 0 25 0 1 0 834265436 387088384 93545 4294967295 134512640 134714508 3221224576 3221223020 134536837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94504 93545 1111 63 0 94441 0
vsize: 378016
[startup+170.004 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93825 0 0 0 16824 176 0 0 25 0 1 0 834265436 387493888 93674 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94603 93674 1111 63 0 94540 0
vsize: 378412
[startup+180.004 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 93956 0 0 0 17823 177 0 0 25 0 1 0 834265436 388034560 93805 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94735 93805 1111 63 0 94672 0
vsize: 378940
[startup+190.004 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94083 0 0 0 18822 177 0 0 25 0 1 0 834265436 388575232 93932 4294967295 134512640 134714508 3221224576 3221223312 134625423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94867 93932 1111 63 0 94804 0
vsize: 379468
[startup+200.004 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94173 0 0 0 19822 178 0 0 25 0 1 0 834265436 388980736 94022 4294967295 134512640 134714508 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94966 94022 1111 63 0 94903 0
vsize: 379864
[startup+210.005 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94256 0 0 0 20822 179 0 0 25 0 1 0 834265436 389386240 94105 4294967295 134512640 134714508 3221224576 3221222996 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95065 94105 1111 63 0 95002 0
vsize: 380260
[startup+220.006 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94379 0 0 0 21821 179 0 0 25 0 1 0 834265436 389791744 94228 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94228 1111 63 0 95101 0
vsize: 380656
[startup+230.006 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94519 0 0 0 22821 180 0 0 25 0 1 0 834265436 390332416 94368 4294967295 134512640 134714508 3221224576 3221223020 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95296 94368 1111 63 0 95233 0
vsize: 381184
[startup+240.007 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94656 0 0 0 23820 180 0 0 25 0 1 0 834265436 391008256 94505 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94505 1111 63 0 95398 0
vsize: 381844
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94661 0 0 0 24820 181 0 0 25 0 1 0 834265436 391008256 94510 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94510 1111 63 0 95398 0
vsize: 381844
[startup+260.007 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94666 0 0 0 25820 181 0 0 25 0 1 0 834265436 391008256 94515 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94515 1111 63 0 95398 0
vsize: 381844
[startup+270.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94669 0 0 0 26821 181 0 0 25 0 1 0 834265436 391008256 94518 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94518 1111 63 0 95398 0
vsize: 381844
[startup+280.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94674 0 0 0 27820 182 0 0 25 0 1 0 834265436 391008256 94523 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94523 1111 63 0 95398 0
vsize: 381844
[startup+290.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 94679 0 0 0 28820 182 0 0 25 0 1 0 834265436 391008256 94528 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94528 1111 63 0 95398 0
vsize: 381844
[startup+300.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 96161 0 0 0 29815 187 0 0 25 0 1 0 834265436 396500992 95870 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96802 95870 1111 63 0 96739 0
vsize: 387208
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 96324 0 0 0 30814 188 0 0 25 0 1 0 834265436 397164544 96033 4294967295 134512640 134714508 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96964 96033 1111 63 0 96901 0
vsize: 387856
[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 96347 0 0 0 31814 189 0 0 25 0 1 0 834265436 397258752 96056 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96987 96056 1111 63 0 96924 0
vsize: 387948
[startup+330.027 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 100997 0 0 0 32805 198 0 0 25 0 1 0 834265436 405794816 98081 4294967295 134512640 134714508 3221224576 3221220736 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99071 98081 1111 63 0 99008 0
vsize: 396284
[startup+340.13 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 101001 0 0 0 33815 198 0 0 25 0 1 0 834265436 405794816 98085 4294967295 134512640 134714508 3221224576 3221221440 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99071 98085 1111 63 0 99008 0
vsize: 396284
[startup+350.13 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 104731 0 0 0 34807 207 0 0 25 0 1 0 834265436 398344192 96431 4294967295 134512640 134714508 3221224576 3221222800 1073990141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97252 96431 1111 63 0 97189 0
vsize: 389008
[startup+360.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 105182 0 0 0 35805 209 0 0 25 0 1 0 834265436 398581760 96504 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97310 96504 1111 63 0 97247 0
vsize: 389240
[startup+370.13 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 105949 0 0 0 36803 211 0 0 25 0 1 0 834265436 398921728 96587 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97393 96587 1111 63 0 97330 0
vsize: 389572
[startup+380.13 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 110783 0 0 0 37792 221 0 0 25 0 1 0 834265436 406929408 98444 4294967295 134512640 134714508 3221224576 3221220460 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99348 98444 1111 63 0 99285 0
vsize: 397392
[startup+390.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 114338 0 0 0 38785 229 0 0 25 0 1 0 834265436 399712256 96751 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97586 96751 1111 63 0 97523 0
vsize: 390344
[startup+400.13 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 114338 0 0 0 39785 229 0 0 25 0 1 0 834265436 399712256 96751 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97586 96751 1111 63 0 97523 0
vsize: 390344
[startup+410.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 114365 0 0 0 40784 230 0 0 25 0 1 0 834265436 399712256 96778 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97586 96778 1111 63 0 97523 0
vsize: 390344
[startup+420.132 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 118913 0 0 0 41775 239 0 0 25 0 1 0 834265436 407478272 98542 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99482 98542 1111 63 0 99419 0
vsize: 397928
[startup+430.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 122588 0 0 0 42767 247 0 0 25 0 1 0 834265436 399826944 96790 4294967295 134512640 134714508 3221224576 3221222648 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97614 96790 1111 63 0 97551 0
vsize: 390456
[startup+440.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 122602 0 0 0 43767 247 0 0 25 0 1 0 834265436 399826944 96804 4294967295 134512640 134714508 3221224576 3221222960 134606960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97614 96804 1111 63 0 97551 0
vsize: 390456
[startup+450.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 124291 0 0 0 44764 251 0 0 25 0 1 0 834265436 407216128 98428 4294967295 134512640 134714508 3221224576 3221222224 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99418 98428 1111 63 0 99355 0
vsize: 397672
[startup+460.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 130812 0 0 0 45749 266 0 0 25 0 1 0 834265436 399904768 96815 4294967295 134512640 134714508 3221224576 3221223024 134647035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97633 96815 1111 63 0 97570 0
vsize: 390532
[startup+470.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 130812 0 0 0 46749 266 0 0 25 0 1 0 834265436 399904768 96815 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97633 96815 1111 63 0 97570 0
vsize: 390532
[startup+480.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 130812 0 0 0 47749 266 0 0 25 0 1 0 834265436 399904768 96815 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97633 96815 1111 63 0 97570 0
vsize: 390532
[startup+490.132 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 130812 0 0 0 48749 267 0 0 25 0 1 0 834265436 399904768 96815 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97633 96815 1111 63 0 97570 0
vsize: 390532
[startup+500.131 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 144095 0 0 0 49716 299 0 0 25 0 1 0 834265436 396980224 96088 4294967295 134512640 134714508 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96919 96088 1111 63 0 96856 0
vsize: 387676
[startup+510.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 176647 0 0 0 50648 369 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+520.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 201811 0 0 0 51593 424 0 0 25 0 1 0 834265436 396492800 95968 4294967295 134512640 134714508 3221224576 3221222748 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96800 95968 1111 63 0 96737 0
vsize: 387200
[startup+530.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 222257 0 0 0 52548 470 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+540.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 240046 0 0 0 53510 508 0 0 25 0 1 0 834265436 397312000 96170 4294967295 134512640 134714508 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97000 96170 1111 63 0 96937 0
vsize: 388000
[startup+550.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 256073 0 0 0 54474 544 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+560.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 271016 0 0 0 55442 576 0 0 25 0 1 0 834265436 397549568 96045 4294967295 134512640 134714508 3221224576 3221221560 1074831544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97058 96045 1111 63 0 96995 0
vsize: 388232
[startup+570.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 284646 0 0 0 56414 604 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+580.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 297490 0 0 0 57387 632 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+590.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 309866 0 0 0 58359 659 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+600.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 321974 0 0 0 59331 687 0 0 25 0 1 0 834265436 397443072 96034 4294967295 134512640 134714508 3221224576 3221222496 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97032 96034 1111 63 0 96969 0
vsize: 388128
[startup+610.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 333827 0 0 0 60305 714 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222768 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+620.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 344394 0 0 0 61281 738 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+630.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 354768 0 0 0 62256 763 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+640.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 364689 0 0 0 63229 790 0 0 25 0 1 0 834265436 396496896 96001 4294967295 134512640 134714508 3221224576 3221222576 1074916905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96801 96001 1111 63 0 96738 0
vsize: 387204
[startup+650.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 374662 0 0 0 64208 811 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+660.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 384735 0 0 0 65187 832 0 0 25 0 1 0 834265436 396492800 96000 4294967295 134512640 134714508 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96800 96000 1111 63 0 96737 0
vsize: 387200
[startup+670.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 393972 0 0 0 66166 854 0 0 25 0 1 0 834265436 397475840 96071 4294967295 134512640 134714508 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97040 96071 1111 63 0 96977 0
vsize: 388160
[startup+680.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 403283 0 0 0 67144 875 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+690.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 412298 0 0 0 68124 896 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+700.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 421435 0 0 0 69102 918 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222728 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+710.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 430404 0 0 0 70082 939 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+720.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 438664 0 0 0 71063 957 0 0 25 0 1 0 834265436 396222464 95934 4294967295 134512640 134714508 3221224576 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96735 95934 1111 63 0 96672 0
vsize: 386936
[startup+730.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 446900 0 0 0 72045 976 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+740.144 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 455181 0 0 0 73028 993 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222816 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+750.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 463451 0 0 0 74011 1010 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+760.145 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 471212 0 0 0 74993 1029 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222816 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+770.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 478809 0 0 0 75976 1046 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+780.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 486307 0 0 0 76960 1062 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+790.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 493788 0 0 0 77942 1080 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+800.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 500656 0 0 0 78924 1098 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+810.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 507903 0 0 0 79905 1117 0 0 25 0 1 0 834265436 398635008 96243 4294967295 134512640 134714508 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97323 96243 1111 63 0 97260 0
vsize: 389292
[startup+820.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 515165 0 0 0 80890 1133 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+830.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 522084 0 0 0 81874 1149 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+840.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 528683 0 0 0 82860 1163 0 0 25 0 1 0 834265436 397271040 96168 4294967295 134512640 134714508 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96990 96168 1111 63 0 96927 0
vsize: 387960
[startup+850.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 535139 0 0 0 83845 1178 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+860.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 541929 0 0 0 84829 1194 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222728 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+870.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 548076 0 0 0 85815 1209 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+880.146 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 554449 0 0 0 86800 1224 0 0 25 0 1 0 834265436 397664256 96100 4294967295 134512640 134714508 3221224576 3221222304 1075828215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97086 96100 1111 63 0 97023 0
vsize: 388344
[startup+890.148 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 560991 0 0 0 87785 1239 0 0 25 0 1 0 834265436 396300288 95953 4294967295 134512640 134714508 3221224576 3221223280 134652491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96753 95953 1111 63 0 96690 0
vsize: 387012
[startup+900.147 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 567285 0 0 0 88771 1253 0 0 25 0 1 0 834265436 396300288 95953 4294967295 134512640 134714508 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96753 95953 1111 63 0 96690 0
vsize: 387012
[startup+910.148 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 573205 0 0 0 89758 1266 0 0 25 0 1 0 834265436 397131776 96128 4294967295 134512640 134714508 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96956 96130 1111 63 0 96893 0
vsize: 387824
[startup+920.149 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 579074 0 0 0 90744 1281 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+930.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 585174 0 0 0 91734 1295 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+940.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 590996 0 0 0 92718 1311 0 0 25 0 1 0 834265436 398663680 96253 4294967295 134512640 134714508 3221224576 3221221648 1074867209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97330 96254 1111 63 0 97267 0
vsize: 389320
[startup+950.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 596765 0 0 0 93705 1325 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+960.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 602275 0 0 0 94691 1338 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+970.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 608186 0 0 0 95677 1352 0 0 25 0 1 0 834265436 396967936 95985 4294967295 134512640 134714508 3221224576 3221221920 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96916 95985 1111 63 0 96853 0
vsize: 387664
[startup+980.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 614040 0 0 0 96664 1366 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+990.191 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 619558 0 0 0 97653 1377 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222816 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1000.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 625065 0 0 0 98640 1390 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1010.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 630578 0 0 0 99627 1403 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1020.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 635552 0 0 0 100615 1416 0 0 25 0 1 0 834265436 397672448 96102 4294967295 134512640 134714508 3221224576 3221222304 1075828541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97088 96102 1111 63 0 97025 0
vsize: 388352
[startup+1030.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 641137 0 0 0 101600 1430 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1040.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 646985 0 0 0 102587 1444 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1050.19 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 652101 0 0 0 103575 1456 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222728 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1060.2 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 657932 0 0 0 104563 1469 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1070.2 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 663045 0 0 0 105550 1482 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1080.2 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 668181 0 0 0 106537 1495 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1090.2 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 673675 0 0 0 107526 1507 0 0 25 0 1 0 834265436 397189120 96154 4294967295 134512640 134714508 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96970 96154 1111 63 0 96907 0
vsize: 387880
[startup+1100.2 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 679079 0 0 0 108514 1519 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 684163 0 0 0 109505 1530 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 689260 0 0 0 110493 1541 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221223188 134650128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 694362 0 0 0 111482 1553 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1140.22 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 699479 0 0 0 112471 1565 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 704610 0 0 0 113459 1576 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1160.22 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 709714 0 0 0 114448 1588 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
[startup+1170.22 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 714515 0 0 0 115438 1598 0 0 25 0 1 0 834265436 398573568 96264 4294967295 134512640 134714508 3221224576 3221221408 1075115790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97308 96264 1111 63 0 97245 0
vsize: 389232
[startup+1180.21 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 719284 0 0 0 116426 1610 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 724382 0 0 0 117413 1623 0 0 25 0 1 0 834265436 396242944 95939 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) R 10064 4613 4612 0 -1 0 729470 0 0 0 118403 1634 0 0 25 0 1 0 834265436 396218368 95933 4294967295 134512640 134714508 3221224576 3221222928 1074142709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96733 95933 1111 63 0 96670 0
vsize: 386932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.00 0.97 0.92 1/54 10065
Raw data (stat): 10065 (bsolo_lpr_cuts) Z 10064 4613 4612 0 -1 1036 729470 0 0 0 118403 1652 0 0 25 0 1 0 834265436 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.4
CPU time (s): 1200.56
CPU user time (s): 1184.03
CPU system time (s): 16.5235
CPU usage (%): 100.013
Max. virtual memory (Kb): 397928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####