PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-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.9833
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 41713

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 20:33:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29773 boxname=wulflinc2 idbench=1557 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 29773
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        895048 kB
Buffers:          5076 kB
Cached:         110468 kB
SwapCached:       4408 kB
Active:          28204 kB
Inactive:        92324 kB
HighTotal:      131008 kB
HighFree:        32816 kB
LowTotal:       903652 kB
LowFree:        862232 kB
SwapTotal:     2097136 kB
SwapFree:      2091668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13316 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:53:14 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 29773 7 1200.4 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 287.496 s
c Initial Lower Bound: 2041610440
c Lower Bound Elapsed time: 50.29
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -485808217 @ 450.969
c NEW SOLUTION FOUND: -494927183 @ 450.984
c NEW SOLUTION FOUND: -2133666157 @ 451.123
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.97 0.91 1/54 486
Raw data (stat): 486 (runsolver) R 485 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913189210 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 22491 0 0 0 951 46 0 0 25 0 1 0 913189210 105074688 22411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25653 22411 1111 63 0 25590 0
vsize: 102612
[startup+20.0018 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 43937 0 0 0 1914 83 0 0 25 0 1 0 913189210 192843776 43857 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47081 43857 1111 63 0 47018 0
vsize: 188324
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 65015 0 0 0 2879 119 0 0 25 0 1 0 913189210 279285760 64935 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68185 64935 1111 63 0 68122 0
vsize: 272740
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 85275 0 0 0 3847 151 0 0 25 0 1 0 913189210 362143744 85195 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88414 85195 1111 63 0 88351 0
vsize: 353656
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 87236 0 0 0 4842 155 0 0 25 0 1 0 913189210 370229248 87156 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90388 87156 1111 63 0 90325 0
vsize: 361552
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 88270 0 0 0 5839 158 0 0 25 0 1 0 913189210 374427648 88190 4294967295 134512640 134716908 3221224560 3221223040 134540336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91413 88190 1111 63 0 91350 0
vsize: 365652
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 89223 0 0 0 6836 161 0 0 25 0 1 0 913189210 378380288 89143 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92378 89143 1111 63 0 92315 0
vsize: 369512
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 90361 0 0 0 7834 164 0 0 25 0 1 0 913189210 382980096 90281 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93501 90281 1111 63 0 93438 0
vsize: 374004
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 91490 0 0 0 8829 168 0 0 25 0 1 0 913189210 387715072 91410 4294967295 134512640 134716908 3221224560 3221222836 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94657 91411 1111 63 0 94594 0
vsize: 378628
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93012 0 0 0 9825 172 0 0 25 0 1 0 913189210 384245760 92857 4294967295 134512640 134716908 3221224560 3221223004 134536760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93810 92857 1111 63 0 93747 0
vsize: 375240
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93146 0 0 0 10823 173 0 0 25 0 1 0 913189210 384786432 92991 4294967295 134512640 134716908 3221224560 3221223288 134675316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93942 92991 1111 63 0 93879 0
vsize: 375768
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93255 0 0 0 11823 173 0 0 25 0 1 0 913189210 385191936 93100 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94041 93100 1111 63 0 93978 0
vsize: 376164
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93377 0 0 0 12823 174 0 0 25 0 1 0 913189210 385732608 93222 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94173 93222 1111 63 0 94110 0
vsize: 376692
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93527 0 0 0 13822 175 0 0 25 0 1 0 913189210 386273280 93372 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94305 93372 1111 63 0 94242 0
vsize: 377220
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93637 0 0 0 14822 175 0 0 25 0 1 0 913189210 386813952 93482 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94437 93482 1111 63 0 94374 0
vsize: 377748
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93782 0 0 0 15822 176 0 0 25 0 1 0 913189210 387358720 93627 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94570 93627 1111 63 0 94507 0
vsize: 378280
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93915 0 0 0 16821 176 0 0 25 0 1 0 913189210 387899392 93760 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94702 93760 1111 63 0 94639 0
vsize: 378808
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94042 0 0 0 17821 176 0 0 25 0 1 0 913189210 388440064 93887 4294967295 134512640 134716908 3221224560 3221223028 134543027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94834 93887 1111 63 0 94771 0
vsize: 379336
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94152 0 0 0 18821 177 0 0 25 0 1 0 913189210 388845568 93997 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94933 93997 1111 63 0 94870 0
vsize: 379732
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94223 0 0 0 19821 177 0 0 25 0 1 0 913189210 389115904 94068 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94999 94068 1111 63 0 94936 0
vsize: 379996
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94350 0 0 0 20821 178 0 0 25 0 1 0 913189210 389656576 94195 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95131 94195 1111 63 0 95068 0
vsize: 380524
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94487 0 0 0 21820 178 0 0 25 0 1 0 913189210 390197248 94332 4294967295 134512640 134716908 3221224560 3221223004 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95263 94332 1111 63 0 95200 0
vsize: 381052
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94656 0 0 0 22820 179 0 0 25 0 1 0 913189210 391008256 94501 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94501 1111 63 0 95398 0
vsize: 381844
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94661 0 0 0 23820 179 0 0 25 0 1 0 913189210 391008256 94506 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94506 1111 63 0 95398 0
vsize: 381844
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94667 0 0 0 24820 179 0 0 25 0 1 0 913189210 391008256 94512 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94512 1111 63 0 95398 0
vsize: 381844
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94670 0 0 0 25820 179 0 0 25 0 1 0 913189210 391008256 94515 4294967295 134512640 134716908 3221224560 3221223232 134627268 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94675 0 0 0 26821 179 0 0 25 0 1 0 913189210 391008256 94520 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94520 1111 63 0 95398 0
vsize: 381844
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94680 0 0 0 27820 179 0 0 25 0 1 0 913189210 391008256 94525 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94525 1111 63 0 95398 0
vsize: 381844
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96068 0 0 0 28818 182 0 0 25 0 1 0 913189210 396111872 95771 4294967295 134512640 134716908 3221224560 3221218432 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96707 95771 1111 63 0 96644 0
vsize: 386828
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96317 0 0 0 29815 184 0 0 25 0 1 0 913189210 397131776 96020 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96956 96020 1111 63 0 96893 0
vsize: 387824
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96347 0 0 0 30815 184 0 0 25 0 1 0 913189210 397250560 96050 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96985 96050 1111 63 0 96922 0
vsize: 387940
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101000 0 0 0 31805 194 0 0 25 0 1 0 913189210 405798912 98078 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98078 1111 63 0 99009 0
vsize: 396288
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101004 0 0 0 32805 194 0 0 25 0 1 0 913189210 405798912 98082 4294967295 134512640 134716908 3221224560 3221221040 1076047814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98082 1111 63 0 99009 0
vsize: 396288
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101004 0 0 0 33806 194 0 0 25 0 1 0 913189210 405798912 98082 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98082 1111 63 0 99009 0
vsize: 396288
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 105307 0 0 0 34796 204 0 0 25 0 1 0 913189210 398921728 96583 4294967295 134512640 134716908 3221224560 3221222976 134646800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97393 96583 1111 63 0 97330 0
vsize: 389572
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 106087 0 0 0 35793 206 0 0 25 0 1 0 913189210 398921728 96583 4294967295 134512640 134716908 3221224560 3221222976 134646842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97393 96583 1111 63 0 97330 0
vsize: 389572
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 110959 0 0 0 36782 218 0 0 25 0 1 0 913189210 406982656 98465 4294967295 134512640 134716908 3221224560 3221220332 1074787816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99361 98465 1111 63 0 99298 0
vsize: 397444
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 113546 0 0 0 37777 224 0 0 25 0 1 0 913189210 403877888 97795 4294967295 134512640 134716908 3221224560 3221221568 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98603 97795 1111 63 0 98540 0
vsize: 394412
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 114429 0 0 0 38774 226 0 0 25 0 1 0 913189210 399851520 96780 4294967295 134512640 134716908 3221224560 3221222956 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97620 96780 1111 63 0 97557 0
vsize: 390480
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 114429 0 0 0 39774 226 0 0 25 0 1 0 913189210 399851520 96780 4294967295 134512640 134716908 3221224560 3221222976 134646694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97620 96780 1111 63 0 97557 0
vsize: 390480
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 118927 0 0 0 40765 236 0 0 25 0 1 0 913189210 407568384 98560 4294967295 134512640 134716908 3221224560 3221220704 1075088560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99504 98560 1111 63 0 99441 0
vsize: 398016
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 41757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 42757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 43757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 44755 245 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97679 96857 1111 63 0 97616 0
vsize: 390716
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 154431 0 0 0 45685 315 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 178809 0 0 0 46633 367 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 198118 0 0 0 47590 410 0 0 25 0 1 0 913189210 396525568 96004 4294967295 134512640 134716908 3221224560 3221222208 1074247399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96808 96004 1111 63 0 96745 0
vsize: 387232
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 214871 0 0 0 48554 447 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 230655 0 0 0 49522 480 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222712 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 244969 0 0 0 50488 513 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 258354 0 0 0 51457 545 0 0 25 0 1 0 913189210 397459456 96010 4294967295 134512640 134716908 3221224560 3221222588 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97036 96010 1111 63 0 96973 0
vsize: 388144
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 271202 0 0 0 52427 575 0 0 25 0 1 0 913189210 396730368 96026 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96858 96026 1111 63 0 96795 0
vsize: 387432
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 283183 0 0 0 53400 602 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 294338 0 0 0 54376 626 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 304910 0 0 0 55353 650 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 315311 0 0 0 56330 672 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222832 1074056255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96741 95937 1111 63 0 96678 0
vsize: 387096
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 325165 0 0 0 57309 693 0 0 25 0 1 0 913189210 396636160 95990 4294967295 134512640 134716908 3221224560 3221222304 1075646995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387340
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 334906 0 0 0 58287 716 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 344023 0 0 0 59268 735 0 0 25 0 1 0 913189210 397500416 96073 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97046 96073 1111 63 0 96983 0
vsize: 388184
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 353167 0 0 0 60246 758 0 0 25 0 1 0 913189210 396898304 96060 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96899 96064 1111 63 0 96836 0
vsize: 387596
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 362320 0 0 0 61226 777 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222448 1074056202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 371026 0 0 0 62207 796 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222664 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 379761 0 0 0 63188 816 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 388051 0 0 0 64171 833 0 0 25 0 1 0 913189210 397643776 96108 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97081 96108 1111 63 0 97018 0
vsize: 388324
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 396471 0 0 0 65152 852 0 0 25 0 1 0 913189210 396697600 96046 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96850 96046 1111 63 0 96787 0
vsize: 387400
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 404324 0 0 0 66134 871 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 412624 0 0 0 67116 889 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222432 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 420313 0 0 0 68101 904 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 428029 0 0 0 69084 921 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222332 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 435753 0 0 0 70068 937 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 442914 0 0 0 71053 952 0 0 25 0 1 0 913189210 396402688 95974 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96779 95975 1111 63 0 96716 0
vsize: 387112
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 450089 0 0 0 72035 971 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 457362 0 0 0 73020 985 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 464672 0 0 0 74004 1002 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 471983 0 0 0 74988 1018 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 478644 0 0 0 75975 1031 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222768 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 485305 0 0 0 76960 1046 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 491823 0 0 0 77946 1061 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 498279 0 0 0 78932 1075 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 504683 0 0 0 79918 1089 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 510882 0 0 0 80904 1103 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 516522 0 0 0 81891 1116 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 522771 0 0 0 82879 1129 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 528475 0 0 0 83867 1141 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222752 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 534190 0 0 0 84855 1153 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 539925 0 0 0 85843 1165 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 545659 0 0 0 86830 1178 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 551406 0 0 0 87819 1190 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 556591 0 0 0 88809 1200 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 562397 0 0 0 89797 1214 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+920.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 567553 0 0 0 90790 1225 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+930.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 572694 0 0 0 91778 1237 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+940.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 578179 0 0 0 92765 1250 0 0 25 0 1 0 913189210 397164544 96138 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96964 96138 1111 63 0 96901 0
vsize: 387856
[startup+950.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 583556 0 0 0 93754 1261 0 0 25 0 1 0 913189210 397856768 96070 4294967295 134512640 134716908 3221224560 3221221544 1074831411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97133 96070 1111 63 0 97070 0
vsize: 388532
[startup+960.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 588700 0 0 0 94744 1272 0 0 25 0 1 0 913189210 396935168 96073 4294967295 134512640 134716908 3221224560 3221222696 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96908 96075 1111 63 0 96845 0
vsize: 387632
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 594009 0 0 0 95731 1285 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+980.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 599490 0 0 0 96720 1296 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+990.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 604971 0 0 0 97710 1309 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222816 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 609779 0 0 0 98700 1319 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96786 95982 1111 63 0 96723 0
vsize: 387144
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 615299 0 0 0 99688 1330 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 620180 0 0 0 100677 1342 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 625555 0 0 0 101665 1353 0 0 25 0 1 0 913189210 397955072 96095 4294967295 134512640 134716908 3221224560 3221221600 1075859942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97157 96095 1111 63 0 97094 0
vsize: 388628
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 630637 0 0 0 102656 1363 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 635541 0 0 0 103646 1373 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 640429 0 0 0 104635 1384 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222760 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 645303 0 0 0 105626 1394 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 650151 0 0 0 106616 1404 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 654970 0 0 0 107604 1416 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 659797 0 0 0 108595 1425 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 664716 0 0 0 109584 1436 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 669673 0 0 0 110572 1448 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222144 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 674024 0 0 0 111562 1458 0 0 25 0 1 0 913189210 397905920 96077 4294967295 134512640 134716908 3221224560 3221222384 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97145 96081 1111 63 0 97082 0
vsize: 388580
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 678858 0 0 0 112552 1468 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 683796 0 0 0 113540 1481 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 688057 0 0 0 114530 1491 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96786 95982 1111 63 0 96723 0
vsize: 387144
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 693008 0 0 0 115519 1503 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222664 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 697266 0 0 0 116509 1513 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96786 95982 1111 63 0 96723 0
vsize: 387144
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 702191 0 0 0 117497 1524 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96774 95970 1111 63 0 96711 0
vsize: 387096
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 706439 0 0 0 118487 1534 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222752 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96780 95976 1111 63 0 96717 0
vsize: 387120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 486
Raw data (stat): 486 (bsolo_lpr_cuts-) Z 485 31399 31398 0 -1 1036 706439 0 0 0 118487 1552 0 0 25 0 1 0 913189210 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.27
CPU time (s): 1200.4
CPU user time (s): 1184.87
CPU system time (s): 15.5256
CPU usage (%): 100.01
Max. virtual memory (Kb): 398016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####