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/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
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 27556

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 22:26:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16642 boxname=wulflinc9 idbench=1281 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 16642
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        882436 kB
Buffers:         19400 kB
Cached:         112092 kB
SwapCached:        360 kB
Active:          32424 kB
Inactive:       101672 kB
HighTotal:      131008 kB
HighFree:        52080 kB
LowTotal:       903652 kB
LowFree:        830356 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6352 kB
Slab:            12464 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:46:15 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 16642 7 1175.18 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 383.696 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 88.301
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 10345
Raw data (stat): 10345 (runsolver) R 10344 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775606687 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 37412 0 0 0 925 71 0 0 25 0 1 0 775606687 166309888 37336 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40603 37336 1111 63 0 40540 0
vsize: 162412
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 55079 0 0 0 1892 104 0 0 25 0 1 0 775606687 238710784 55003 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58279 55003 1111 63 0 58216 0
vsize: 233116
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 55967 0 0 0 2890 107 0 0 25 0 1 0 775606687 242360320 55891 4294967295 134512640 134714508 3221224592 3221222896 134566768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59170 55891 1111 63 0 59107 0
vsize: 236680
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 56840 0 0 0 3886 109 0 0 25 0 1 0 775606687 245874688 56764 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60028 56764 1111 63 0 59965 0
vsize: 240112
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 59183 0 0 0 4881 115 0 0 25 0 1 0 775606687 245702656 59064 4294967295 134512640 134714508 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59986 59064 1111 63 0 59923 0
vsize: 239944
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 61972 0 0 0 5874 122 0 0 25 0 1 0 775606687 257073152 61853 4294967295 134512640 134714508 3221224592 3221222968 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62762 61853 1111 63 0 62699 0
vsize: 251048
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 64608 0 0 0 6868 128 0 0 25 0 1 0 775606687 267911168 64489 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65408 64489 1111 63 0 65345 0
vsize: 261632
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 66927 0 0 0 7864 132 0 0 25 0 1 0 775606687 277393408 66808 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67723 66808 1111 63 0 67660 0
vsize: 270892
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 69192 0 0 0 8860 136 0 0 25 0 1 0 775606687 286605312 69073 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69972 69073 1111 63 0 69909 0
vsize: 279888
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 71368 0 0 0 9856 140 0 0 25 0 1 0 775606687 295542784 71249 4294967295 134512640 134714508 3221224592 3221223000 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72154 71249 1111 63 0 72091 0
vsize: 288616
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 73505 0 0 0 10852 144 0 0 25 0 1 0 775606687 304345088 73386 4294967295 134512640 134714508 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74303 73386 1111 63 0 74240 0
vsize: 297212
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 75447 0 0 0 11848 149 0 0 25 0 1 0 775606687 312201216 75328 4294967295 134512640 134714508 3221224592 3221223056 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76221 75328 1111 63 0 76158 0
vsize: 304884
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 77258 0 0 0 12845 152 0 0 25 0 1 0 775606687 319651840 77139 4294967295 134512640 134714508 3221224592 3221223072 134539471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78040 77139 1111 63 0 77977 0
vsize: 312160
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 78978 0 0 0 13841 156 0 0 25 0 1 0 775606687 326696960 78859 4294967295 134512640 134714508 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79760 78859 1111 63 0 79697 0
vsize: 319040
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 80692 0 0 0 14838 160 0 0 25 0 1 0 775606687 333746176 80573 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81481 80573 1111 63 0 81418 0
vsize: 325924
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 82419 0 0 0 15834 163 0 0 25 0 1 0 775606687 340791296 82300 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83201 82300 1111 63 0 83138 0
vsize: 332804
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 83900 0 0 0 16831 166 0 0 25 0 1 0 775606687 346886144 83781 4294967295 134512640 134714508 3221224592 3221223328 134625443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84689 83781 1111 63 0 84626 0
vsize: 338756
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 85223 0 0 0 17829 169 0 0 25 0 1 0 775606687 352313344 85104 4294967295 134512640 134714508 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86014 85104 1111 63 0 85951 0
vsize: 344056
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 86488 0 0 0 18826 172 0 0 25 0 1 0 775606687 357453824 86369 4294967295 134512640 134714508 3221224592 3221223156 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87269 86369 1111 63 0 87206 0
vsize: 349076
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 87650 0 0 0 19824 174 0 0 25 0 1 0 775606687 362192896 87531 4294967295 134512640 134714508 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88426 87531 1111 63 0 88363 0
vsize: 353704
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 88702 0 0 0 20821 177 0 0 25 0 1 0 775606687 366526464 88583 4294967295 134512640 134714508 3221224592 3221223120 134528524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89484 88583 1111 63 0 89421 0
vsize: 357936
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 89533 0 0 0 21820 179 0 0 25 0 1 0 775606687 369926144 89414 4294967295 134512640 134714508 3221224592 3221223168 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90314 89414 1111 63 0 90251 0
vsize: 361256
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 90386 0 0 0 22818 181 0 0 25 0 1 0 775606687 373448704 90267 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91174 90267 1111 63 0 91111 0
vsize: 364696
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 91098 0 0 0 23816 183 0 0 25 0 1 0 775606687 376299520 90979 4294967295 134512640 134714508 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91870 90979 1111 63 0 91807 0
vsize: 367480
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 91682 0 0 0 24814 184 0 0 25 0 1 0 775606687 378748928 91563 4294967295 134512640 134714508 3221224592 3221223316 134625453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92468 91563 1111 63 0 92405 0
vsize: 369872
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92112 0 0 0 25813 186 0 0 25 0 1 0 775606687 380510208 91993 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92898 91993 1111 63 0 92835 0
vsize: 371592
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92578 0 0 0 26812 187 0 0 25 0 1 0 775606687 382414848 92459 4294967295 134512640 134714508 3221224592 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93363 92459 1111 63 0 93300 0
vsize: 373452
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92930 0 0 0 27811 188 0 0 25 0 1 0 775606687 383901696 92811 4294967295 134512640 134714508 3221224592 3221222956 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93726 92811 1111 63 0 93663 0
vsize: 374904
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92978 0 0 0 28811 188 0 0 25 0 1 0 775606687 384040960 92859 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93760 92859 1111 63 0 93697 0
vsize: 375040
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92987 0 0 0 29811 188 0 0 25 0 1 0 775606687 384040960 92868 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93760 92868 1111 63 0 93697 0
vsize: 375040
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 92994 0 0 0 30812 188 0 0 25 0 1 0 775606687 384176128 92875 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92875 1111 63 0 93730 0
vsize: 375172
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93001 0 0 0 31812 188 0 0 25 0 1 0 775606687 384176128 92882 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92882 1111 63 0 93730 0
vsize: 375172
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93005 0 0 0 32812 188 0 0 25 0 1 0 775606687 384176128 92886 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92886 1111 63 0 93730 0
vsize: 375172
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93006 0 0 0 33812 188 0 0 25 0 1 0 775606687 384176128 92887 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92887 1111 63 0 93730 0
vsize: 375172
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93009 0 0 0 34812 188 0 0 25 0 1 0 775606687 384176128 92890 4294967295 134512640 134714508 3221224592 3221223248 134627201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92890 1111 63 0 93730 0
vsize: 375172
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93014 0 0 0 35812 188 0 0 25 0 1 0 775606687 384176128 92895 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92895 1111 63 0 93730 0
vsize: 375172
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93019 0 0 0 36812 188 0 0 25 0 1 0 775606687 384176128 92900 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 93019 0 0 0 37813 188 0 0 25 0 1 0 775606687 384176128 92900 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 94952 0 0 0 38808 193 0 0 25 0 1 0 775606687 390410240 94433 4294967295 134512640 134714508 3221224592 3221222512 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95315 94433 1111 63 0 95252 0
vsize: 381260
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96092 0 0 0 39806 195 0 0 25 0 1 0 775606687 391745536 94813 4294967295 134512640 134714508 3221224592 3221220556 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95641 94813 1111 63 0 95578 0
vsize: 382564
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96108 0 0 0 40806 195 0 0 25 0 1 0 775606687 391790592 94829 4294967295 134512640 134714508 3221224592 3221220556 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96108 0 0 0 41806 195 0 0 25 0 1 0 775606687 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96138 0 0 0 42806 196 0 0 25 0 1 0 775606687 391790592 94845 4294967295 134512640 134714508 3221224592 3221220952 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96138 0 0 0 43806 196 0 0 25 0 1 0 775606687 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074868635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 96138 0 0 0 44806 196 0 0 25 0 1 0 775606687 391790592 94845 4294967295 134512640 134714508 3221224592 3221220476 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97549 0 1 0 45781 199 0 0 25 0 1 0 775606687 388460544 94076 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97549 0 1 0 46781 199 0 0 25 0 1 0 775606687 388460544 94076 4294967295 134512640 134714508 3221224592 3221222816 1074039232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97550 0 1 0 47780 200 0 0 25 0 1 0 775606687 388460544 94077 4294967295 134512640 134714508 3221224592 3221223320 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97559 0 1 0 48779 201 0 0 25 0 1 0 775606687 388575232 94086 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94867 94086 1111 63 0 94804 0
vsize: 379468
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97593 0 1 0 49779 202 0 0 25 0 1 0 775606687 388710400 94120 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94900 94120 1111 63 0 94837 0
vsize: 379600
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97639 0 1 0 50778 202 0 0 25 0 1 0 775606687 388845568 94166 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94933 94166 1111 63 0 94870 0
vsize: 379732
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97686 0 1 0 51777 204 0 0 25 0 1 0 775606687 389099520 94213 4294967295 134512640 134714508 3221224592 3221223180 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94213 1111 63 0 94932 0
vsize: 379980
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97705 0 1 0 52776 205 0 0 25 0 1 0 775606687 389099520 94232 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94232 1111 63 0 94932 0
vsize: 379980
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97783 0 1 0 53775 206 0 0 25 0 1 0 775606687 389492736 94310 4294967295 134512640 134714508 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95091 94310 1111 63 0 95028 0
vsize: 380364
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97867 0 1 0 54774 208 0 0 25 0 1 0 775606687 389783552 94394 4294967295 134512640 134714508 3221224592 3221223248 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95162 94394 1111 63 0 95099 0
vsize: 380648
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97883 0 1 0 55773 208 0 0 25 0 1 0 775606687 389808128 94410 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95168 94410 1111 63 0 95105 0
vsize: 380672
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97940 0 1 0 56773 209 0 0 25 0 1 0 775606687 389935104 94441 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97940 0 1 0 57772 210 0 0 25 0 1 0 775606687 389935104 94441 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 97978 0 1 0 58772 210 0 0 25 0 1 0 775606687 390057984 94471 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95229 94471 1111 63 0 95166 0
vsize: 380916
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98005 0 1 0 59771 211 0 0 25 0 1 0 775606687 390193152 94498 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98005 0 1 0 60770 212 0 0 25 0 1 0 775606687 390090752 94479 4294967295 134512640 134714508 3221224592 3221223232 134539531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95237 94479 1111 63 0 95174 0
vsize: 380948
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98056 0 1 0 61770 213 0 0 25 0 1 0 775606687 390352896 94530 4294967295 134512640 134714508 3221224592 3221223392 134597600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95301 94530 1111 63 0 95238 0
vsize: 381204
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98060 0 1 0 62770 213 0 0 25 0 1 0 775606687 390221824 94511 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95269 94511 1111 63 0 95206 0
vsize: 381076
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98074 0 1 0 63769 214 0 0 25 0 1 0 775606687 390328320 94525 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98083 0 1 0 64768 215 0 0 25 0 1 0 775606687 390328320 94534 4294967295 134512640 134714508 3221224592 3221223260 134548544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98083 0 1 0 65768 216 0 0 25 0 1 0 775606687 390328320 94534 4294967295 134512640 134714508 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98083 0 1 0 66767 217 0 0 25 0 1 0 775606687 390328320 94534 4294967295 134512640 134714508 3221224592 3221223376 134529054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98083 0 1 0 67767 217 0 0 25 0 1 0 775606687 390328320 94534 4294967295 134512640 134714508 3221224592 3221222988 1077379959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98124 0 1 0 68765 219 0 0 25 0 1 0 775606687 390598656 94575 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95361 94575 1111 63 0 95298 0
vsize: 381444
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 69765 219 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 70765 220 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 71764 221 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221223076 134697183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 72764 221 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221222760 134697457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 73763 222 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221223192 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98159 0 1 0 74763 222 0 0 25 0 1 0 775606687 390733824 94610 4294967295 134512640 134714508 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98184 0 1 0 75763 222 0 0 25 0 1 0 775606687 390733824 94635 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94635 1111 63 0 95331 0
vsize: 381576
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98219 0 1 0 76763 223 0 0 25 0 1 0 775606687 391004160 94670 4294967295 134512640 134714508 3221224592 3221223172 134542685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95460 94670 1111 63 0 95397 0
vsize: 381840
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98233 0 1 0 77762 223 0 0 25 0 1 0 775606687 390942720 94684 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95445 94684 1111 63 0 95382 0
vsize: 381780
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98240 0 1 0 78762 224 0 0 25 0 1 0 775606687 391000064 94691 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95459 94691 1111 63 0 95396 0
vsize: 381836
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98248 0 1 0 79762 225 0 0 25 0 1 0 775606687 391000064 94699 4294967295 134512640 134714508 3221224592 3221223148 134539273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98256 0 1 0 80761 225 0 0 25 0 1 0 775606687 391135232 94707 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95492 94707 1111 63 0 95429 0
vsize: 381968
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98293 0 1 0 81761 226 0 0 25 0 1 0 775606687 391155712 94739 4294967295 134512640 134714508 3221224592 3221223148 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98293 0 1 0 82761 226 0 0 25 0 1 0 775606687 391155712 94739 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98313 0 1 0 83760 227 0 0 25 0 1 0 775606687 391172096 94743 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98313 0 1 0 84760 227 0 0 25 0 1 0 775606687 391172096 94743 4294967295 134512640 134714508 3221224592 3221223232 134696103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98373 0 1 0 85760 228 0 0 25 0 1 0 775606687 391446528 94803 4294967295 134512640 134714508 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95568 94803 1111 63 0 95505 0
vsize: 382272
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98395 0 1 0 86759 228 0 0 25 0 1 0 775606687 391581696 94825 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98395 0 1 0 87759 228 0 0 25 0 1 0 775606687 391581696 94825 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98395 0 1 0 88759 229 0 0 25 0 1 0 775606687 391581696 94825 4294967295 134512640 134714508 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98395 0 1 0 89758 230 0 0 25 0 1 0 775606687 391581696 94825 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98425 0 1 0 90758 230 0 0 25 0 1 0 775606687 391581696 94843 4294967295 134512640 134714508 3221224592 3221223160 1077377236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98430 0 1 0 91757 231 0 0 25 0 1 0 775606687 391716864 94848 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95634 94848 1111 63 0 95571 0
vsize: 382536
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 92757 232 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 93757 232 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 94756 233 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 95756 233 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 96755 234 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 97755 235 0 0 25 0 1 0 775606687 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98477 0 1 0 98755 235 0 0 25 0 1 0 775606687 391716864 94876 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95634 94876 1111 63 0 95571 0
vsize: 382536
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98510 0 1 0 99755 235 0 0 25 0 1 0 775606687 391991296 94909 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98510 0 1 0 100754 236 0 0 25 0 1 0 775606687 391847936 94907 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98510 0 1 0 101754 236 0 0 25 0 1 0 775606687 391847936 94907 4294967295 134512640 134714508 3221224592 3221223304 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98510 0 1 0 102753 237 0 0 25 0 1 0 775606687 391847936 94907 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98510 0 1 0 103753 237 0 0 25 0 1 0 775606687 391626752 94854 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95612 94854 1111 63 0 95549 0
vsize: 382448
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98524 0 1 0 104754 238 0 0 25 0 1 0 775606687 391761920 94868 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95645 94868 1111 63 0 95582 0
vsize: 382580
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98573 0 1 0 105755 238 0 0 25 0 1 0 775606687 391962624 94917 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95694 94917 1111 63 0 95631 0
vsize: 382776
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 106755 239 0 0 25 0 1 0 775606687 392024064 94943 4294967295 134512640 134714508 3221224592 3221223236 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 107755 239 0 0 25 0 1 0 775606687 392024064 94943 4294967295 134512640 134714508 3221224592 3221223368 134613509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 108755 239 0 0 25 0 1 0 775606687 391946240 94932 4294967295 134512640 134714508 3221224592 3221223304 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 109755 239 0 0 25 0 1 0 775606687 391946240 94932 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 110755 239 0 0 25 0 1 0 775606687 391946240 94932 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 111754 240 0 0 25 0 1 0 775606687 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98599 0 1 0 112754 240 0 0 25 0 1 0 775606687 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98621 0 1 0 113754 241 0 0 25 0 1 0 775606687 392081408 94954 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95723 94954 1111 63 0 95660 0
vsize: 382892
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98625 0 1 0 114755 241 0 0 25 0 1 0 775606687 392081408 94958 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95723 94958 1111 63 0 95660 0
vsize: 382892
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98632 0 1 0 115755 241 0 0 25 0 1 0 775606687 392216576 94965 4294967295 134512640 134714508 3221224592 3221223140 134696704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95756 94965 1111 63 0 95693 0
vsize: 383024
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98632 0 1 0 116755 242 0 0 25 0 1 0 775606687 391942144 94931 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1175.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10345
Raw data (stat): 10345 (bsolo_lpr_cuts) R 10344 3944 3943 0 -1 0 98632 0 1 0 116755 242 0 0 25 0 1 0 775606687 391942144 94931 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 0

Child status: 0
Real time (s): 1175.28
CPU time (s): 1175.18
CPU user time (s): 1172.58
CPU system time (s): 2.5986
CPU usage (%): 99.9921
Max. virtual memory (Kb): 383024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####