PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
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	1182.3
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 41071

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        765768 kB
Buffers:         28960 kB
Cached:         216720 kB
SwapCached:       3472 kB
Active:          40292 kB
Inactive:       210176 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        765488 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12744 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:17:27 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 29115 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8627 variables and 1645 constraints.
c After prepocess the problem consists of 6833 variables and 1156 constraints.
c preprocess terminated 356.5 s
c Initial Lower Bound: 49617
c Lower Bound Elapsed time: 55.817
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 55356 @ 449.194
c NEW SOLUTION FOUND: 54785 @ 449.319
c NEW SOLUTION FOUND: 54168 @ 449.668
c NEW SOLUTION FOUND: 53762 @ 452.908
c NEW SOLUTION FOUND: 53684 @ 457.467
c NEW SOLUTION FOUND: 53133 @ 462.391
c NEW SOLUTION FOUND: 52173 @ 476.97
c NEW SOLUTION FOUND: 52015 @ 513.515
c NEW SOLUTION FOUND: 51821 @ 518.836
c NEW SOLUTION FOUND: 51656 @ 553.525
c NEW SOLUTION FOUND: 51642 @ 561.645
c NEW SOLUTION FOUND: 51334 @ 568.938
c NEW SOLUTION FOUND: 50804 @ 782.226
c NEW SOLUTION FOUND: 50677 @ 835.238
c NEW SOLUTION FOUND: 50520 @ 917.508
c NEW SOLUTION FOUND: 50416 @ 938.338
c NEW SOLUTION FOUND: 50405 @ 958.225
c NEW SOLUTION FOUND: 50283 @ 1043.68
c NEW SOLUTION FOUND: 50233 @ 1083
#### 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.84 0.94 0.90 2/54 4001
Raw data (stat): 4001 (runsolver) R 4000 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907561421 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 38830 0 0 0 923 74 0 0 25 0 1 0 907561421 172138496 38750 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42026 38750 1111 63 0 41963 0
vsize: 168104
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 53514 0 0 0 1896 100 0 0 25 0 1 0 907561421 232255488 53434 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56703 53434 1111 63 0 56640 0
vsize: 226812
[startup+30.002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 54470 0 0 0 2893 104 0 0 25 0 1 0 907561421 236175360 54390 4294967295 134512640 134716908 3221224560 3221222828 1077227168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57660 54390 1111 63 0 57597 0
vsize: 230640
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 55375 0 0 0 3890 105 0 0 25 0 1 0 907561421 239824896 55295 4294967295 134512640 134716908 3221224560 3221221036 1077198804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58551 55295 1111 63 0 58488 0
vsize: 234204
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 58220 0 0 0 4883 112 0 0 25 0 1 0 907561421 241741824 58098 4294967295 134512640 134716908 3221224560 3221223124 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59019 58098 1111 63 0 58956 0
vsize: 236076
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 60714 0 0 0 5877 118 0 0 25 0 1 0 907561421 251908096 60592 4294967295 134512640 134716908 3221224560 3221223072 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61501 60592 1111 63 0 61438 0
vsize: 246004
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 62983 0 0 0 6872 122 0 0 25 0 1 0 907561421 261255168 62861 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63783 62861 1111 63 0 63720 0
vsize: 255132
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 65313 0 0 0 7867 127 0 0 25 0 1 0 907561421 270729216 65191 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66096 65191 1111 63 0 66033 0
vsize: 264384
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 67566 0 0 0 8862 132 0 0 25 0 1 0 907561421 279941120 67444 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68345 67444 1111 63 0 68282 0
vsize: 273380
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 69568 0 0 0 9859 135 0 0 25 0 1 0 907561421 288219136 69446 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70366 69446 1111 63 0 70303 0
vsize: 281464
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 71623 0 0 0 10857 138 0 0 25 0 1 0 907561421 296607744 71501 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72414 71501 1111 63 0 72351 0
vsize: 289656
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 73440 0 0 0 11853 141 0 0 25 0 1 0 907561421 304058368 73318 4294967295 134512640 134716908 3221224560 3221222976 134543749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74233 73318 1111 63 0 74170 0
vsize: 296932
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 75361 0 0 0 12848 146 0 0 25 0 1 0 907561421 311906304 75239 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76149 75239 1111 63 0 76086 0
vsize: 304596
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 76813 0 0 0 13845 150 0 0 25 0 1 0 907561421 317870080 76691 4294967295 134512640 134716908 3221224560 3221223096 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77605 76691 1111 63 0 77542 0
vsize: 310420
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 78357 0 0 0 14842 153 0 0 25 0 1 0 907561421 324100096 78235 4294967295 134512640 134716908 3221224560 3221222976 134542731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79126 78235 1111 63 0 79063 0
vsize: 316504
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4001
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 79853 0 0 0 15838 157 0 0 25 0 1 0 907561421 330334208 79731 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80648 79731 1111 63 0 80585 0
vsize: 322592
[startup+170.159 s]
Raw data (loadavg): 1.14 0.99 0.92 2/58 4044
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 81357 0 0 0 16848 161 0 0 25 0 1 0 907561421 336433152 81235 4294967295 134512640 134716908 3221224560 3221223176 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82137 81235 1111 63 0 82074 0
vsize: 328548
[startup+180.159 s]
Raw data (loadavg): 1.19 1.01 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 82654 0 0 0 17846 163 0 0 25 0 1 0 907561421 341721088 82532 4294967295 134512640 134716908 3221224560 3221222944 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83428 82532 1111 63 0 83365 0
vsize: 333712
[startup+190.158 s]
Raw data (loadavg): 1.16 1.00 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 83770 0 0 0 18844 165 0 0 25 0 1 0 907561421 346333184 83648 4294967295 134512640 134716908 3221224560 3221223116 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84554 83648 1111 63 0 84491 0
vsize: 338216
[startup+200.158 s]
Raw data (loadavg): 1.21 1.02 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 84881 0 0 0 19842 167 0 0 25 0 1 0 907561421 350945280 84759 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85680 84759 1111 63 0 85617 0
vsize: 342720
[startup+210.159 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 85785 0 0 0 20841 169 0 0 25 0 1 0 907561421 354603008 85663 4294967295 134512640 134716908 3221224560 3221223184 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86573 85663 1111 63 0 86510 0
vsize: 346292
[startup+220.159 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 86657 0 0 0 21839 171 0 0 25 0 1 0 907561421 358125568 86535 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87433 86535 1111 63 0 87370 0
vsize: 349732
[startup+230.159 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 4054
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 87420 0 0 0 22838 172 0 0 25 0 1 0 907561421 361250816 87298 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88196 87298 1111 63 0 88133 0
vsize: 352784
[startup+240.16 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 88129 0 0 0 23836 174 0 0 25 0 1 0 907561421 364236800 88007 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88925 88007 1111 63 0 88862 0
vsize: 355700
[startup+250.159 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 88595 0 0 0 24835 175 0 0 25 0 1 0 907561421 366129152 88473 4294967295 134512640 134716908 3221224560 3221223432 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89387 88473 1111 63 0 89324 0
vsize: 357548
[startup+260.16 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89007 0 0 0 25835 176 0 0 25 0 1 0 907561421 367751168 88885 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89783 88885 1111 63 0 89720 0
vsize: 359132
[startup+270.16 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89309 0 0 0 26834 177 0 0 25 0 1 0 907561421 368971776 89187 4294967295 134512640 134716908 3221224560 3221222944 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90081 89187 1111 63 0 90018 0
vsize: 360324
[startup+280.16 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89498 0 0 0 27834 177 0 0 25 0 1 0 907561421 369782784 89376 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90279 89376 1111 63 0 90216 0
vsize: 361116
[startup+290.161 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89509 0 0 0 28834 177 0 0 25 0 1 0 907561421 369782784 89387 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90279 89387 1111 63 0 90216 0
vsize: 361116
[startup+300.161 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89525 0 0 0 29834 177 0 0 25 0 1 0 907561421 369917952 89403 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89403 1111 63 0 90249 0
vsize: 361248
[startup+310.161 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89533 0 0 0 30834 177 0 0 25 0 1 0 907561421 369917952 89411 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89411 1111 63 0 90249 0
vsize: 361248
[startup+320.162 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89536 0 0 0 31835 177 0 0 25 0 1 0 907561421 369917952 89414 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89414 1111 63 0 90249 0
vsize: 361248
[startup+330.162 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89542 0 0 0 32835 177 0 0 25 0 1 0 907561421 369917952 89420 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89420 1111 63 0 90249 0
vsize: 361248
[startup+340.162 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89543 0 0 0 33835 177 0 0 25 0 1 0 907561421 369917952 89421 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89421 1111 63 0 90249 0
vsize: 361248
[startup+350.162 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 89548 0 0 0 34835 177 0 0 25 0 1 0 907561421 370053120 89426 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90345 89426 1111 63 0 90282 0
vsize: 361380
[startup+360.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 90361 0 0 0 35833 180 0 0 25 0 1 0 907561421 373399552 90239 4294967295 134512640 134716908 3221224560 3221221760 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91162 90239 1111 63 0 91099 0
vsize: 364648
[startup+370.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 92158 0 0 0 36828 184 0 0 25 0 1 0 907561421 376836096 91131 4294967295 134512640 134716908 3221224560 3221220508 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91131 1111 63 0 91938 0
vsize: 368004
[startup+380.162 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 92194 0 0 0 37828 184 0 0 25 0 1 0 907561421 376836096 91155 4294967295 134512640 134716908 3221224560 3221220432 1074872903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91155 1111 63 0 91938 0
vsize: 368004
[startup+390.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 92206 0 0 0 38828 184 0 0 25 0 1 0 907561421 376836096 91167 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91167 1111 63 0 91938 0
vsize: 368004
[startup+400.163 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 92206 0 0 0 39828 184 0 0 25 0 1 0 907561421 376836096 91167 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91167 1111 63 0 91938 0
vsize: 368004
[startup+410.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 93482 0 0 0 40826 187 0 0 25 0 1 0 907561421 374054912 90555 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91322 90555 1111 63 0 91259 0
vsize: 365288
[startup+420.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 93483 0 0 0 41824 188 0 0 25 0 1 0 907561421 374054912 90556 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91322 90556 1111 63 0 91259 0
vsize: 365288
[startup+430.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 93483 0 0 0 42822 190 0 0 25 0 1 0 907561421 374054912 90556 4294967295 134512640 134716908 3221224560 3221223200 134539504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91322 90556 1111 63 0 91259 0
vsize: 365288
[startup+440.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 93517 0 0 0 43820 193 0 0 25 0 1 0 907561421 374190080 90590 4294967295 134512640 134716908 3221224560 3221223164 134542372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91355 90590 1111 63 0 91292 0
vsize: 365420
[startup+450.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 94138 0 0 0 44817 195 0 0 25 0 1 0 907561421 373387264 90402 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91159 90402 1111 63 0 91096 0
vsize: 364636
[startup+460.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 96037 0 0 0 45812 201 0 0 25 0 1 0 907561421 373624832 90460 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91217 90460 1111 63 0 91154 0
vsize: 364868
[startup+470.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 97151 0 0 0 46809 204 0 0 25 0 1 0 907561421 375721984 90904 4294967295 134512640 134716908 3221224560 3221221072 1075084539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91729 90904 1111 63 0 91666 0
vsize: 366916
[startup+480.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4056
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 97513 0 0 0 47808 205 0 0 25 0 1 0 907561421 376127488 90965 4294967295 134512640 134716908 3221224560 3221220624 1074881417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91828 90965 1111 63 0 91765 0
vsize: 367312
[startup+490.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 97845 0 0 0 48806 206 0 0 25 0 1 0 907561421 375320576 90882 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91631 90882 1111 63 0 91568 0
vsize: 366524
[startup+500.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 98300 0 0 0 49805 208 0 0 25 0 1 0 907561421 375320576 90882 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91631 90882 1111 63 0 91568 0
vsize: 366524
[startup+510.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 98648 0 0 0 50804 209 0 0 25 0 1 0 907561421 375320576 90882 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91631 90882 1111 63 0 91568 0
vsize: 366524
[startup+520.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 99048 0 0 0 51802 211 0 0 25 0 1 0 907561421 375320576 90882 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91631 90882 1111 63 0 91568 0
vsize: 366524
[startup+530.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 99796 0 0 0 52800 213 0 0 25 0 1 0 907561421 376950784 91099 4294967295 134512640 134716908 3221224560 3221220528 1074872820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92029 91099 1111 63 0 91966 0
vsize: 368116
[startup+540.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 100132 0 0 0 53799 214 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221222604 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+550.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 100702 0 0 0 54798 216 0 0 25 0 1 0 907561421 376852480 91111 4294967295 134512640 134716908 3221224560 3221220404 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92005 91111 1111 63 0 91942 0
vsize: 368020
[startup+560.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 101099 0 0 0 55797 217 0 0 25 0 1 0 907561421 376893440 91132 4294967295 134512640 134716908 3221224560 3221220416 1074870859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92015 91132 1111 63 0 91952 0
vsize: 368060
[startup+570.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 101621 0 0 0 56795 219 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+580.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 102157 0 0 0 57794 220 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+590.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 102650 0 0 0 58792 222 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+600.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 103584 0 0 0 59790 225 0 0 25 0 1 0 907561421 377085952 91170 4294967295 134512640 134716908 3221224560 3221220604 1074873509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92062 91170 1111 63 0 91999 0
vsize: 368248
[startup+610.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 104163 0 0 0 60788 227 0 0 25 0 1 0 907561421 377114624 91170 4294967295 134512640 134716908 3221224560 3221220764 1076079120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92069 91170 1111 63 0 92006 0
vsize: 368276
[startup+620.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 104334 0 0 0 61788 227 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+630.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 104827 0 0 0 62786 229 0 0 25 0 1 0 907561421 377212928 91226 4294967295 134512640 134716908 3221224560 3221220416 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92093 91226 1111 63 0 92030 0
vsize: 368372
[startup+640.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 105608 0 0 0 63784 231 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+650.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 106147 0 0 0 64783 232 0 0 25 0 1 0 907561421 377364480 91264 4294967295 134512640 134716908 3221224560 3221220416 1074868192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92130 91264 1111 63 0 92067 0
vsize: 368520
[startup+660.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 106926 0 0 0 65781 235 0 0 25 0 1 0 907561421 377458688 91274 4294967295 134512640 134716908 3221224560 3221220604 1074873456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92153 91274 1111 63 0 92090 0
vsize: 368612
[startup+670.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 107162 0 0 0 66780 236 0 0 25 0 1 0 907561421 375652352 90963 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91712 90963 1111 63 0 91649 0
vsize: 366848
[startup+680.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 107616 0 0 0 67779 237 0 0 25 0 1 0 907561421 377135104 91193 4294967295 134512640 134716908 3221224560 3221220888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92074 91193 1111 63 0 92011 0
vsize: 368296
[startup+690.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 109261 0 0 0 68775 241 0 0 25 0 1 0 907561421 377540608 91308 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92173 91308 1111 63 0 92110 0
vsize: 368692
[startup+700.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 109641 0 0 0 69774 242 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222512 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+710.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 110349 0 0 0 70772 244 0 0 25 0 1 0 907561421 377769984 91356 4294967295 134512640 134716908 3221224560 3221220468 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92229 91356 1111 63 0 92166 0
vsize: 368916
[startup+720.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 111489 0 0 0 71769 248 0 0 25 0 1 0 907561421 377614336 91277 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92191 91277 1111 63 0 92128 0
vsize: 368764
[startup+730.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 111522 0 0 0 72769 248 0 0 25 0 1 0 907561421 377614336 91310 4294967295 134512640 134716908 3221224560 3221220764 1075564389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92191 91310 1111 63 0 92128 0
vsize: 368764
[startup+740.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 112699 0 0 0 73766 250 0 0 25 0 1 0 907561421 377835520 91331 4294967295 134512640 134716908 3221224560 3221220364 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92245 91331 1111 63 0 92182 0
vsize: 368980
[startup+750.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 113105 0 0 0 74765 252 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222032 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+760.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 113861 0 0 0 75763 253 0 0 25 0 1 0 907561421 377942016 91377 4294967295 134512640 134716908 3221224560 3221220892 1075112908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92271 91377 1111 63 0 92208 0
vsize: 369084
[startup+770.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 115036 0 0 0 76760 256 0 0 25 0 1 0 907561421 377729024 91362 4294967295 134512640 134716908 3221224560 3221220604 1074873522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 91362 1111 63 0 92156 0
vsize: 368876
[startup+780.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 115043 0 0 0 77760 257 0 0 25 0 1 0 907561421 377929728 91369 4294967295 134512640 134716908 3221224560 3221220616 1074789596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92268 91369 1111 63 0 92205 0
vsize: 369072
[startup+790.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 116205 0 0 0 78757 260 0 0 25 0 1 0 907561421 377913344 91355 4294967295 134512640 134716908 3221224560 3221220564 1074875808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92264 91355 1111 63 0 92201 0
vsize: 369056
[startup+800.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 116216 0 0 0 79757 260 0 0 25 0 1 0 907561421 377913344 91366 4294967295 134512640 134716908 3221224560 3221220624 1074881396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92264 91366 1111 63 0 92201 0
vsize: 369056
[startup+810.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 117407 0 0 0 80754 263 0 0 25 0 1 0 907561421 377835520 91367 4294967295 134512640 134716908 3221224560 3221220416 1074868306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92245 91367 1111 63 0 92182 0
vsize: 368980
[startup+820.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 117879 0 0 0 81753 264 0 0 25 0 1 0 907561421 376070144 91065 4294967295 134512640 134716908 3221224560 3221221040 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91814 91065 1111 63 0 91751 0
vsize: 367256
[startup+830.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 118565 0 0 0 82751 266 0 0 25 0 1 0 907561421 377970688 91374 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92278 91374 1111 63 0 92215 0
vsize: 369112
[startup+840.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 119677 0 0 0 83749 269 0 0 25 0 1 0 907561421 377729024 91342 4294967295 134512640 134716908 3221224560 3221221680 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 91342 1111 63 0 92156 0
vsize: 368876
[startup+850.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 119715 0 0 0 84748 269 0 0 25 0 1 0 907561421 377929728 91380 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92268 91380 1111 63 0 92205 0
vsize: 369072
[startup+860.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 120937 0 0 0 85746 272 0 0 25 0 1 0 907561421 377712640 91373 4294967295 134512640 134716908 3221224560 3221221552 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92215 91373 1111 63 0 92152 0
vsize: 368860
[startup+870.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 120959 0 0 0 86746 272 0 0 25 0 1 0 907561421 377913344 91395 4294967295 134512640 134716908 3221224560 3221220416 1074868276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92264 91395 1111 63 0 92201 0
vsize: 369056
[startup+880.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 122214 0 0 0 87743 276 0 0 25 0 1 0 907561421 377769984 91358 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92229 91358 1111 63 0 92166 0
vsize: 368916
[startup+890.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 122233 0 0 0 88743 276 0 0 25 0 1 0 907561421 377970688 91377 4294967295 134512640 134716908 3221224560 3221220416 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92278 91377 1111 63 0 92215 0
vsize: 369112
[startup+900.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 123484 0 0 0 89740 278 0 0 25 0 1 0 907561421 377696256 91331 4294967295 134512640 134716908 3221224560 3221220604 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92211 91331 1111 63 0 92148 0
vsize: 368844
[startup+910.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 123539 0 0 0 90740 279 0 0 25 0 1 0 907561421 377896960 91386 4294967295 134512640 134716908 3221224560 3221220416 1074868802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92260 91386 1111 63 0 92197 0
vsize: 369040
[startup+920.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 124055 0 0 0 91739 280 0 0 25 0 1 0 907561421 376016896 91052 4294967295 134512640 134716908 3221224560 3221222512 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91801 91052 1111 63 0 91738 0
vsize: 367204
[startup+930.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 124885 0 0 0 92737 282 0 0 25 0 1 0 907561421 378036224 91405 4294967295 134512640 134716908 3221224560 3221220416 1074871035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92294 91405 1111 63 0 92231 0
vsize: 369176
[startup+940.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 125357 0 0 0 93735 284 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222768 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+950.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 126192 0 0 0 94733 286 0 0 25 0 1 0 907561421 377769984 91359 4294967295 134512640 134716908 3221224560 3221220416 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92229 91359 1111 63 0 92166 0
vsize: 368916
[startup+960.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 126636 0 0 0 95732 287 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+970.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 127545 0 0 0 96729 290 0 0 25 0 1 0 907561421 378077184 91404 4294967295 134512640 134716908 3221224560 3221220764 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92304 91404 1111 63 0 92241 0
vsize: 369216
[startup+980.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 128027 0 0 0 97728 291 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222472 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+990.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 128938 0 0 0 98726 294 0 0 25 0 1 0 907561421 378007552 91395 4294967295 134512640 134716908 3221224560 3221220832 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92287 91395 1111 63 0 92224 0
vsize: 369148
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 129422 0 0 0 99724 296 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 130286 0 0 0 100722 298 0 0 25 0 1 0 907561421 378150912 91426 4294967295 134512640 134716908 3221224560 3221220416 1074868858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92322 91426 1111 63 0 92259 0
vsize: 369288
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 130805 0 0 0 101720 300 0 0 25 0 1 0 907561421 376123392 91078 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91827 91078 1111 63 0 91764 0
vsize: 367308
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 131802 0 0 0 102718 302 0 0 25 0 1 0 907561421 378130432 91451 4294967295 134512640 134716908 3221224560 3221220416 1074868896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92317 91451 1111 63 0 92254 0
vsize: 369268
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 131802 0 0 0 103718 303 0 0 25 0 1 0 907561421 378130432 91451 4294967295 134512640 134716908 3221224560 3221220416 1074868498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92317 91451 1111 63 0 92254 0
vsize: 369268
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 133208 0 0 0 104714 306 0 0 25 0 1 0 907561421 377737216 91354 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92221 91354 1111 63 0 92158 0
vsize: 368884
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 133227 0 0 0 105714 306 0 0 25 0 1 0 907561421 377937920 91373 4294967295 134512640 134716908 3221224560 3221220416 1074868491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92270 91373 1111 63 0 92207 0
vsize: 369080
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 134533 0 0 0 106711 310 0 0 25 0 1 0 907561421 377774080 91357 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92230 91357 1111 63 0 92167 0
vsize: 368920
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 134556 0 0 0 107711 310 0 0 25 0 1 0 907561421 377974784 91380 4294967295 134512640 134716908 3221224560 3221220764 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92279 91380 1111 63 0 92216 0
vsize: 369116
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 135915 0 0 0 108708 313 0 0 25 0 1 0 907561421 377782272 91362 4294967295 134512640 134716908 3221224560 3221220720 1074794551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92232 91362 1111 63 0 92169 0
vsize: 368928
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 135947 0 0 0 109708 313 0 0 25 0 1 0 907561421 377982976 91388 4294967295 134512640 134716908 3221224560 3221220764 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92281 91388 1111 63 0 92218 0
vsize: 369124
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 137414 0 0 0 110705 316 0 0 25 0 1 0 907561421 378023936 91436 4294967295 134512640 134716908 3221224560 3221220896 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92291 91436 1111 63 0 92228 0
vsize: 369164
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 137440 0 0 0 111705 316 0 0 25 0 1 0 907561421 378224640 91462 4294967295 134512640 134716908 3221224560 3221220416 1074868858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92340 91462 1111 63 0 92277 0
vsize: 369360
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 138012 0 0 0 112704 318 0 0 25 0 1 0 907561421 375742464 90985 4294967295 134512640 134716908 3221224560 3221222424 1077374817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91734 90985 1111 63 0 91671 0
vsize: 366936
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 138952 0 0 0 113701 321 0 0 25 0 1 0 907561421 378093568 91421 4294967295 134512640 134716908 3221224560 3221220416 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92308 91421 1111 63 0 92245 0
vsize: 369232
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 139531 0 0 0 114699 322 0 0 25 0 1 0 907561421 376078336 91067 4294967295 134512640 134716908 3221224560 3221222048 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91816 91067 1111 63 0 91753 0
vsize: 367264
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 140491 0 0 0 115697 325 0 0 25 0 1 0 907561421 378314752 91469 4294967295 134512640 134716908 3221224560 3221220376 1074788488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92362 91469 1111 63 0 92299 0
vsize: 369448
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 141076 0 0 0 116696 326 0 0 25 0 1 0 907561421 376156160 91086 4294967295 134512640 134716908 3221224560 3221223072 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91835 91086 1111 63 0 91772 0
vsize: 367340
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 142028 0 0 0 117694 329 0 0 25 0 1 0 907561421 378204160 91426 4294967295 134512640 134716908 3221224560 3221220604 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92335 91426 1111 63 0 92272 0
vsize: 369340
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 142044 0 0 0 118693 329 0 0 25 0 1 0 907561421 378204160 91436 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92335 91436 1111 63 0 92272 0
vsize: 369340
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) R 4000 20224 20223 0 -1 0 143588 0 0 0 119690 333 0 0 25 0 1 0 907561421 378331136 91463 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92366 91463 1111 63 0 92303 0
vsize: 369464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 4058
Raw data (stat): 4001 (bsolo_lpr_cuts-) Z 4000 20224 20223 0 -1 1036 143588 0 0 0 119690 349 0 0 25 0 1 0 907561421 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.37
CPU time (s): 1200.4
CPU user time (s): 1196.9
CPU system time (s): 3.49947
CPU usage (%): 100.003
Max. virtual memory (Kb): 369464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####