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/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 41493

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 13:53:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29557 boxname=wulflinc2 idbench=1341 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 29557
/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:        810896 kB
Buffers:         21660 kB
Cached:         180792 kB
SwapCached:       1480 kB
Active:          28244 kB
Inactive:       176284 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        810644 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13444 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:13:13 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29557 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 369.054 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 73.301
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 29302
Raw data (stat): 29302 (runsolver) R 29301 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910791521 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 41728 0 0 0 921 76 0 0 25 0 1 0 910791521 184029184 41648 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44929 41648 1111 63 0 44866 0
vsize: 179716
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 55527 0 0 0 1897 100 0 0 25 0 1 0 910791521 240533504 55447 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58724 55447 1111 63 0 58661 0
vsize: 234896
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 56909 0 0 0 2892 104 0 0 25 0 1 0 910791521 246210560 56829 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60110 56829 1111 63 0 60047 0
vsize: 240440
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 60071 0 0 0 3885 111 0 0 25 0 1 0 910791521 249282560 59955 4294967295 134512640 134716908 3221224560 3221222976 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60860 59955 1111 63 0 60797 0
vsize: 243440
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 62817 0 0 0 4880 116 0 0 25 0 1 0 910791521 260513792 62701 4294967295 134512640 134716908 3221224560 3221223432 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63602 62701 1111 63 0 63539 0
vsize: 254408
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 65317 0 0 0 5874 121 0 0 25 0 1 0 910791521 270811136 65201 4294967295 134512640 134716908 3221224560 3221223048 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66116 65201 1111 63 0 66053 0
vsize: 264464
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 67693 0 0 0 6870 126 0 0 25 0 1 0 910791521 280563712 67577 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68497 67577 1111 63 0 68434 0
vsize: 273988
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 69850 0 0 0 7867 129 0 0 25 0 1 0 910791521 289361920 69734 4294967295 134512640 134716908 3221224560 3221222972 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70645 69734 1111 63 0 70582 0
vsize: 282580
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 72028 0 0 0 8862 134 0 0 25 0 1 0 910791521 298299392 71912 4294967295 134512640 134716908 3221224560 3221223088 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72827 71912 1111 63 0 72764 0
vsize: 291308
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 74060 0 0 0 9858 139 0 0 25 0 1 0 910791521 306565120 73944 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74845 73944 1111 63 0 74782 0
vsize: 299380
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 76012 0 0 0 10856 141 0 0 25 0 1 0 910791521 314564608 75896 4294967295 134512640 134716908 3221224560 3221223152 134587964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76798 75896 1111 63 0 76735 0
vsize: 307192
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 77778 0 0 0 11851 146 0 0 25 0 1 0 910791521 321892352 77662 4294967295 134512640 134716908 3221224560 3221223076 134542962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78587 77662 1111 63 0 78524 0
vsize: 314348
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 79463 0 0 0 12848 149 0 0 25 0 1 0 910791521 328794112 79347 4294967295 134512640 134716908 3221224560 3221223040 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80272 79347 1111 63 0 80209 0
vsize: 321088
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 81263 0 0 0 13845 152 0 0 25 0 1 0 910791521 336117760 81147 4294967295 134512640 134716908 3221224560 3221223284 134625469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82060 81148 1111 63 0 81997 0
vsize: 328240
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 82796 0 0 0 14842 156 0 0 25 0 1 0 910791521 342343680 82680 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83580 82680 1111 63 0 83517 0
vsize: 334320
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 84271 0 0 0 15840 158 0 0 25 0 1 0 910791521 348446720 84155 4294967295 134512640 134716908 3221224560 3221222992 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85070 84155 1111 63 0 85007 0
vsize: 340280
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 85600 0 0 0 16838 160 0 0 25 0 1 0 910791521 353861632 85484 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86392 85484 1111 63 0 86329 0
vsize: 345568
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 86811 0 0 0 17836 162 0 0 25 0 1 0 910791521 358871040 86695 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87615 86695 1111 63 0 87552 0
vsize: 350460
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 88008 0 0 0 18833 166 0 0 25 0 1 0 910791521 363753472 87892 4294967295 134512640 134716908 3221224560 3221223040 134539434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88807 87892 1111 63 0 88744 0
vsize: 355228
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 88964 0 0 0 19832 167 0 0 25 0 1 0 910791521 367681536 88848 4294967295 134512640 134716908 3221224560 3221223088 134528543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89766 88848 1111 63 0 89703 0
vsize: 359064
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 89899 0 0 0 20830 169 0 0 25 0 1 0 910791521 371482624 89783 4294967295 134512640 134716908 3221224560 3221223056 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90694 89783 1111 63 0 90631 0
vsize: 362776
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 90615 0 0 0 21829 170 0 0 25 0 1 0 910791521 374464512 90499 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91422 90499 1111 63 0 91359 0
vsize: 365688
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 91220 0 0 0 22828 172 0 0 25 0 1 0 910791521 376901632 91104 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92017 91104 1111 63 0 91954 0
vsize: 368068
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 91825 0 0 0 23826 173 0 0 25 0 1 0 910791521 379338752 91709 4294967295 134512640 134716908 3221224560 3221222944 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92612 91709 1111 63 0 92549 0
vsize: 370448
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92235 0 0 0 24825 175 0 0 25 0 1 0 910791521 381104128 92119 4294967295 134512640 134716908 3221224560 3221223288 134625467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93043 92120 1111 63 0 92980 0
vsize: 372172
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92782 0 0 0 25824 176 0 0 25 0 1 0 910791521 383275008 92666 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93573 92666 1111 63 0 93510 0
vsize: 374292
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92945 0 0 0 26824 176 0 0 25 0 1 0 910791521 383954944 92829 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92829 1111 63 0 93676 0
vsize: 374956
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92957 0 0 0 27824 176 0 0 25 0 1 0 910791521 383954944 92841 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92841 1111 63 0 93676 0
vsize: 374956
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92970 0 0 0 28824 176 0 0 25 0 1 0 910791521 384090112 92854 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92854 1111 63 0 93709 0
vsize: 375088
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92978 0 0 0 29824 176 0 0 25 0 1 0 910791521 384090112 92862 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92862 1111 63 0 93709 0
vsize: 375088
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92979 0 0 0 30825 176 0 0 25 0 1 0 910791521 384090112 92863 4294967295 134512640 134716908 3221224560 3221223232 134627247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92863 1111 63 0 93709 0
vsize: 375088
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92983 0 0 0 31825 177 0 0 25 0 1 0 910791521 384090112 92867 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92867 1111 63 0 93709 0
vsize: 375088
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92984 0 0 0 32825 177 0 0 25 0 1 0 910791521 384090112 92868 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92989 0 0 0 33825 177 0 0 25 0 1 0 910791521 384090112 92873 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92873 1111 63 0 93709 0
vsize: 375088
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92993 0 0 0 34825 177 0 0 25 0 1 0 910791521 384090112 92877 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92877 1111 63 0 93709 0
vsize: 375088
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 92997 0 0 0 35825 177 0 0 25 0 1 0 910791521 384225280 92881 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92881 1111 63 0 93742 0
vsize: 375220
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 93746 0 0 0 36824 178 0 0 25 0 1 0 910791521 387219456 93630 4294967295 134512640 134716908 3221224560 3221221672 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94536 93630 1111 63 0 94473 0
vsize: 378144
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29302
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 95931 0 0 0 37818 183 0 0 25 0 1 0 910791521 391446528 94689 4294967295 134512640 134716908 3221224560 3221220508 1074873558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95568 94689 1111 63 0 95505 0
vsize: 382272
[startup+390.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 96052 0 0 0 38818 184 0 0 25 0 1 0 910791521 391770112 94798 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95647 94798 1111 63 0 95584 0
vsize: 382588
[startup+400.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 96061 0 0 0 39818 184 0 0 25 0 1 0 910791521 391786496 94807 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94807 1111 63 0 95588 0
vsize: 382604
[startup+410.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 96095 0 0 0 40818 184 0 0 25 0 1 0 910791521 391786496 94827 4294967295 134512640 134716908 3221224560 3221220320 1074867755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94827 1111 63 0 95588 0
vsize: 382604
[startup+420.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 96095 0 0 0 41818 184 0 0 25 0 1 0 910791521 391786496 94827 4294967295 134512640 134716908 3221224560 3221220668 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94827 1111 63 0 95588 0
vsize: 382604
[startup+430.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97524 0 0 0 42815 187 0 0 25 0 1 0 910791521 388399104 94066 4294967295 134512640 134716908 3221224560 3221222976 134646688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94066 1111 63 0 94761 0
vsize: 379296
[startup+440.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97524 0 0 0 43815 188 0 0 25 0 1 0 910791521 388399104 94066 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94066 1111 63 0 94761 0
vsize: 379296
[startup+450.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97525 0 0 0 44815 188 0 0 25 0 1 0 910791521 388399104 94067 4294967295 134512640 134716908 3221224560 3221222656 134699471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94067 1111 63 0 94761 0
vsize: 379296
[startup+460.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29355
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97543 0 0 0 45814 189 0 0 25 0 1 0 910791521 388534272 94085 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94857 94085 1111 63 0 94794 0
vsize: 379428
[startup+470.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97573 0 0 0 46813 190 0 0 25 0 1 0 910791521 388669440 94115 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94890 94115 1111 63 0 94827 0
vsize: 379560
[startup+480.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97649 0 0 0 47813 191 0 0 25 0 1 0 910791521 388927488 94191 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94953 94191 1111 63 0 94890 0
vsize: 379812
[startup+490.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97655 0 0 0 48812 191 0 0 25 0 1 0 910791521 388947968 94197 4294967295 134512640 134716908 3221224560 3221223224 134543638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94958 94197 1111 63 0 94895 0
vsize: 379832
[startup+500.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97693 0 0 0 49813 192 0 0 25 0 1 0 910791521 389083136 94235 4294967295 134512640 134716908 3221224560 3221223176 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94235 1111 63 0 94928 0
vsize: 379964
[startup+510.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97694 0 0 0 50813 192 0 0 25 0 1 0 910791521 389083136 94236 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94236 1111 63 0 94928 0
vsize: 379964
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97731 0 0 0 51813 192 0 0 25 0 1 0 910791521 389300224 94273 4294967295 134512640 134716908 3221224560 3221223168 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95044 94273 1111 63 0 94981 0
vsize: 380176
[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97779 0 0 0 52813 193 0 0 25 0 1 0 910791521 389263360 94284 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95035 94284 1111 63 0 94972 0
vsize: 380140
[startup+540.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97796 0 0 0 53812 193 0 0 25 0 1 0 910791521 389246976 94280 4294967295 134512640 134716908 3221224560 3221223212 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95031 94280 1111 63 0 94968 0
vsize: 380124
[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97804 0 0 0 54812 193 0 0 25 0 1 0 910791521 389382144 94288 4294967295 134512640 134716908 3221224560 3221223152 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94288 1111 63 0 95001 0
vsize: 380256
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97804 0 0 0 55812 194 0 0 25 0 1 0 910791521 389382144 94288 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94288 1111 63 0 95001 0
vsize: 380256
[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97816 0 0 0 56812 194 0 0 25 0 1 0 910791521 389382144 94300 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94300 1111 63 0 95001 0
vsize: 380256
[startup+580.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97819 0 0 0 57812 194 0 0 25 0 1 0 910791521 389382144 94303 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94303 1111 63 0 95001 0
vsize: 380256
[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97849 0 0 0 58812 195 0 0 25 0 1 0 910791521 389414912 94321 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94321 1111 63 0 95009 0
vsize: 380288
[startup+600.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97849 0 0 0 59812 195 0 0 25 0 1 0 910791521 389414912 94321 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94321 1111 63 0 95009 0
vsize: 380288
[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97849 0 0 0 60812 195 0 0 25 0 1 0 910791521 389414912 94321 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94321 1111 63 0 95009 0
vsize: 380288
[startup+620.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97854 0 0 0 61812 196 0 0 25 0 1 0 910791521 389435392 94326 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95077 94326 1111 63 0 95014 0
vsize: 380308
[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97865 0 0 0 62811 196 0 0 25 0 1 0 910791521 389574656 94337 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95111 94337 1111 63 0 95048 0
vsize: 380444
[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97879 0 0 0 63811 197 0 0 25 0 1 0 910791521 389582848 94338 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94338 1111 63 0 95050 0
vsize: 380452
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97890 0 0 0 64811 197 0 0 25 0 1 0 910791521 389582848 94349 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94349 1111 63 0 95050 0
vsize: 380452
[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97890 0 0 0 65811 197 0 0 25 0 1 0 910791521 389582848 94349 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94349 1111 63 0 95050 0
vsize: 380452
[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97928 0 0 0 66810 198 0 0 25 0 1 0 910791521 389718016 94387 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97928 0 0 0 67810 199 0 0 25 0 1 0 910791521 389718016 94387 4294967295 134512640 134716908 3221224560 3221223152 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97928 0 0 0 68810 200 0 0 25 0 1 0 910791521 389718016 94387 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97934 0 0 0 69809 201 0 0 25 0 1 0 910791521 389750784 94393 4294967295 134512640 134716908 3221224560 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95154 94393 1111 63 0 95091 0
vsize: 380616
[startup+710.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 97943 0 0 0 70809 201 0 0 25 0 1 0 910791521 389750784 94402 4294967295 134512640 134716908 3221224560 3221223100 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95154 94402 1111 63 0 95091 0
vsize: 380616
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98005 0 0 0 71808 202 0 0 25 0 1 0 910791521 390021120 94464 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95220 94464 1111 63 0 95157 0
vsize: 380880
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98044 0 0 0 72807 203 0 0 25 0 1 0 910791521 390127616 94488 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95246 94488 1111 63 0 95183 0
vsize: 380984
[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98072 0 0 0 73807 203 0 0 25 0 1 0 910791521 390262784 94516 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95279 94516 1111 63 0 95216 0
vsize: 381116
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29357
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98072 0 0 0 74807 204 0 0 25 0 1 0 910791521 390213632 94516 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95267 94516 1111 63 0 95204 0
vsize: 381068
[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98088 0 0 0 75806 204 0 0 25 0 1 0 910791521 390275072 94531 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95282 94531 1111 63 0 95219 0
vsize: 381128
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98135 0 0 0 76806 205 0 0 25 0 1 0 910791521 390545408 94578 4294967295 134512640 134716908 3221224560 3221223088 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94578 1111 63 0 95285 0
vsize: 381392
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98151 0 0 0 77806 206 0 0 25 0 1 0 910791521 390545408 94594 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98151 0 0 0 78806 206 0 0 25 0 1 0 910791521 390545408 94594 4294967295 134512640 134716908 3221224560 3221223152 134698429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98151 0 0 0 79805 207 0 0 25 0 1 0 910791521 390545408 94594 4294967295 134512640 134716908 3221224560 3221223144 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+810.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98171 0 0 0 80804 208 0 0 25 0 1 0 910791521 390631424 94614 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95369 94614 1111 63 0 95306 0
vsize: 381476
[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98199 0 0 0 81804 208 0 0 25 0 1 0 910791521 390766592 94642 4294967295 134512640 134716908 3221224560 3221223248 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94642 1111 63 0 95339 0
vsize: 381608
[startup+830.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98199 0 0 0 82803 210 0 0 25 0 1 0 910791521 390766592 94642 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94642 1111 63 0 95339 0
vsize: 381608
[startup+840.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98241 0 0 0 83802 210 0 0 25 0 1 0 910791521 390987776 94684 4294967295 134512640 134716908 3221224560 3221223200 134698429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94684 1111 63 0 95393 0
vsize: 381824
[startup+850.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98241 0 0 0 84802 211 0 0 25 0 1 0 910791521 390987776 94684 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94684 1111 63 0 95393 0
vsize: 381824
[startup+860.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98243 0 0 0 85802 211 0 0 25 0 1 0 910791521 390987776 94686 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+870.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98243 0 0 0 86802 211 0 0 25 0 1 0 910791521 390987776 94686 4294967295 134512640 134716908 3221224560 3221223180 1077377191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+880.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98243 0 0 0 87802 212 0 0 25 0 1 0 910791521 390975488 94686 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94686 1111 63 0 95390 0
vsize: 381812
[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98243 0 0 0 88801 212 0 0 25 0 1 0 910791521 390975488 94686 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94686 1111 63 0 95390 0
vsize: 381812
[startup+900.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98276 0 0 0 89801 213 0 0 25 0 1 0 910791521 391110656 94719 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95486 94719 1111 63 0 95423 0
vsize: 381944
[startup+910.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98283 0 0 0 90800 214 0 0 25 0 1 0 910791521 391106560 94726 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95485 94726 1111 63 0 95422 0
vsize: 381940
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98308 0 0 0 91799 215 0 0 25 0 1 0 910791521 391225344 94751 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94751 1111 63 0 95451 0
vsize: 382056
[startup+930.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98309 0 0 0 92798 216 0 0 25 0 1 0 910791521 391225344 94752 4294967295 134512640 134716908 3221224560 3221223208 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94752 1111 63 0 95451 0
vsize: 382056
[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98368 0 0 0 93798 216 0 0 25 0 1 0 910791521 391454720 94810 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94810 1111 63 0 95507 0
vsize: 382280
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98377 0 0 0 94798 217 0 0 25 0 1 0 910791521 391454720 94819 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94819 1111 63 0 95507 0
vsize: 382280
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98377 0 0 0 95798 217 0 0 25 0 1 0 910791521 391454720 94819 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94819 1111 63 0 95507 0
vsize: 382280
[startup+970.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98394 0 0 0 96798 217 0 0 25 0 1 0 910791521 391581696 94836 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94836 1111 63 0 95538 0
vsize: 382404
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98394 0 0 0 97798 217 0 0 25 0 1 0 910791521 391581696 94836 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94836 1111 63 0 95538 0
vsize: 382404
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98418 0 0 0 98798 218 0 0 25 0 1 0 910791521 391663616 94860 4294967295 134512640 134716908 3221224560 3221223236 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98418 0 0 0 99798 218 0 0 25 0 1 0 910791521 391663616 94860 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98418 0 0 0 100797 218 0 0 25 0 1 0 910791521 391663616 94860 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98418 0 0 0 101797 219 0 0 25 0 1 0 910791521 391663616 94860 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98418 0 0 0 102797 219 0 0 25 0 1 0 910791521 391663616 94860 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 103797 220 0 0 25 0 1 0 910791521 391798784 94873 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94873 1111 63 0 95591 0
vsize: 382616
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 104797 220 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 105796 220 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 106796 221 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 107796 221 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 108795 222 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 109795 223 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 110795 223 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 111795 224 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223128 1077377899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98431 0 0 0 112794 224 0 0 25 0 1 0 910791521 391663616 94870 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98444 0 0 0 113794 224 0 0 25 0 1 0 910791521 391798784 94883 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98444 0 0 0 114794 225 0 0 25 0 1 0 910791521 391798784 94883 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98444 0 0 0 115793 225 0 0 25 0 1 0 910791521 391798784 94883 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98450 0 0 0 116793 226 0 0 25 0 1 0 910791521 391798784 94889 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94889 1111 63 0 95591 0
vsize: 382616
[startup+1175.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 29359
Raw data (stat): 29302 (bsolo_lpr_cuts-) R 29301 31399 31398 0 -1 0 98450 0 0 0 116793 226 0 0 25 0 1 0 910791521 391798784 94889 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94889 1111 63 0 95591 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.19
CPU user time (s): 1172.75
CPU system time (s): 2.44463
CPU usage (%): 100.013
Max. virtual memory (Kb): 382616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####