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-air05.opb
MD5SUM	a48e4d8c244906df694603c81ee602a6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	29720
Optimality of the best value was proved	NO
Number of terms in the objective function	7195
Biggest coefficient in the objective function	2679
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	3908448
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	2679
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	3908448
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	7195
Total number of constraints	7621
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7621
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	404
Trace number 25923

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 11:17:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16655 boxname=wulflinc31 idbench=1282 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a48e4d8c244906df694603c81ee602a6  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air05.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air05.opb
IDLAUNCH: 16655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901288 kB
Buffers:         31632 kB
Cached:          78508 kB
SwapCached:        972 kB
Active:          83052 kB
Inactive:        29296 kB
HighTotal:      131008 kB
HighFree:        63672 kB
LowTotal:       903652 kB
LowFree:        837616 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:            1296 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15264 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 11:37:22 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 16655 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7195 variables and 852 constraints.
c After prepocess the problem consists of 6334 variables and 724 constraints.
c preprocess terminated 374.651 s
c Initial Lower Bound: 25878
c Lower Bound Elapsed time: 39.393
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 33828 @ 417.69
c NEW SOLUTION FOUND: 33129 @ 418.302
c NEW SOLUTION FOUND: 33118 @ 425.775
c NEW SOLUTION FOUND: 32900 @ 427.049
c NEW SOLUTION FOUND: 32499 @ 433.245
c NEW SOLUTION FOUND: 32336 @ 435.016
c NEW SOLUTION FOUND: 32215 @ 436.777
c NEW SOLUTION FOUND: 31844 @ 449.403
c NEW SOLUTION FOUND: 31736 @ 451.828
c NEW SOLUTION FOUND: 31435 @ 458.045
c NEW SOLUTION FOUND: 31433 @ 468.478
c NEW SOLUTION FOUND: 31403 @ 485.45
c NEW SOLUTION FOUND: 30896 @ 490.727
c NEW SOLUTION FOUND: 30761 @ 507.44
c NEW SOLUTION FOUND: 29923 @ 588.835
c NEW SOLUTION FOUND: 29721 @ 606.003
c NEW SOLUTION FOUND: 29720 @ 844.234
#### 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.93 0.97 0.91 2/55 6420
Raw data (stat): 6420 (runsolver) R 6419 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 821152118 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 44245 0 0 0 908 87 0 0 25 0 1 0 821152118 194244608 44168 4294967295 134512640 134714508 3221221776 3221218540 1077199339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47423 44168 1111 63 0 47360 0
vsize: 189692
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 45224 0 0 0 1905 90 0 0 25 0 1 0 821152118 198311936 45147 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48416 45147 1111 63 0 48353 0
vsize: 193664
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 46932 0 0 0 2901 94 0 0 25 0 1 0 821152118 195362816 46820 4294967295 134512640 134714508 3221221776 3221220240 134542356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47696 46820 1111 63 0 47633 0
vsize: 190784
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 50168 0 0 0 3895 101 0 0 25 0 1 0 821152118 208617472 50056 4294967295 134512640 134714508 3221221776 3221220288 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50932 50056 1111 63 0 50869 0
vsize: 203728
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 53224 0 0 0 4887 109 0 0 25 0 1 0 821152118 221200384 53112 4294967295 134512640 134714508 3221221776 3221220384 134664952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54004 53113 1111 63 0 53941 0
vsize: 216016
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 56206 0 0 0 5881 115 0 0 25 0 1 0 821152118 233377792 56094 4294967295 134512640 134714508 3221221776 3221220240 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56977 56094 1111 63 0 56914 0
vsize: 227908
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 58878 0 0 0 6875 121 0 0 25 0 1 0 821152118 244342784 58766 4294967295 134512640 134714508 3221221776 3221220184 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59654 58766 1111 63 0 59591 0
vsize: 238616
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 61621 0 0 0 7870 127 0 0 25 0 1 0 821152118 255569920 61509 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62395 61509 1111 63 0 62332 0
vsize: 249580
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 64244 0 0 0 8863 133 0 0 25 0 1 0 821152118 266260480 64132 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65005 64132 1111 63 0 64942 0
vsize: 260020
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 66696 0 0 0 9858 139 0 0 25 0 1 0 821152118 276414464 66584 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67484 66584 1111 63 0 67421 0
vsize: 269936
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 68879 0 0 0 10853 144 0 0 25 0 1 0 821152118 285343744 68767 4294967295 134512640 134714508 3221221776 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69664 68767 1111 63 0 69601 0
vsize: 278656
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 71012 0 0 0 11849 148 0 0 25 0 1 0 821152118 294010880 70900 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71780 70900 1111 63 0 71717 0
vsize: 287120
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 72842 0 0 0 12844 153 0 0 25 0 1 0 821152118 301596672 72730 4294967295 134512640 134714508 3221221776 3221220188 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73632 72730 1111 63 0 73569 0
vsize: 294528
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 74724 0 0 0 13840 158 0 0 25 0 1 0 821152118 309178368 74612 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75483 74612 1111 63 0 75420 0
vsize: 301932
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 76580 0 0 0 14835 162 0 0 25 0 1 0 821152118 316891136 76468 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77366 76468 1111 63 0 77303 0
vsize: 309464
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 78311 0 0 0 15832 166 0 0 25 0 1 0 821152118 323928064 78199 4294967295 134512640 134714508 3221221776 3221220264 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79084 78199 1111 63 0 79021 0
vsize: 316336
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 79769 0 0 0 16829 169 0 0 25 0 1 0 821152118 329883648 79657 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80538 79657 1111 63 0 80475 0
vsize: 322152
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 81005 0 0 0 17826 172 0 0 25 0 1 0 821152118 335032320 80893 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81795 80893 1111 63 0 81732 0
vsize: 327180
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 82291 0 0 0 18823 175 0 0 25 0 1 0 821152118 340180992 82179 4294967295 134512640 134714508 3221221776 3221220392 134543777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83052 82179 1111 63 0 82989 0
vsize: 332208
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 83519 0 0 0 19819 179 0 0 25 0 1 0 821152118 345329664 83407 4294967295 134512640 134714508 3221221776 3221220256 134539425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84309 83407 1111 63 0 84246 0
vsize: 337236
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 84592 0 0 0 20817 182 0 0 25 0 1 0 821152118 349663232 84480 4294967295 134512640 134714508 3221221776 3221220188 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85367 84480 1111 63 0 85304 0
vsize: 341468
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 85541 0 0 0 21814 184 0 0 25 0 1 0 821152118 353595392 85429 4294967295 134512640 134714508 3221221776 3221220220 134535915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86327 85429 1111 63 0 86264 0
vsize: 345308
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 86356 0 0 0 22812 187 0 0 25 0 1 0 821152118 356847616 86244 4294967295 134512640 134714508 3221221776 3221220288 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87121 86244 1111 63 0 87058 0
vsize: 348484
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 87056 0 0 0 23809 189 0 0 25 0 1 0 821152118 359698432 86944 4294967295 134512640 134714508 3221221776 3221220256 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87817 86944 1111 63 0 87754 0
vsize: 351268
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 87632 0 0 0 24808 191 0 0 25 0 1 0 821152118 362139648 87520 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88413 87520 1111 63 0 88350 0
vsize: 353652
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88085 0 0 0 25807 192 0 0 25 0 1 0 821152118 364036096 87973 4294967295 134512640 134714508 3221221776 3221220256 134539527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88876 87973 1111 63 0 88813 0
vsize: 355504
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88464 0 0 0 26806 193 0 0 25 0 1 0 821152118 365527040 88352 4294967295 134512640 134714508 3221221776 3221220576 134617608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89240 88352 1111 63 0 89177 0
vsize: 356960
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88601 0 0 0 27805 194 0 0 25 0 1 0 821152118 366071808 88489 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89373 88489 1111 63 0 89310 0
vsize: 357492
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88621 0 0 0 28805 194 0 0 25 0 1 0 821152118 366206976 88509 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89406 88509 1111 63 0 89343 0
vsize: 357624
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88633 0 0 0 29805 194 0 0 25 0 1 0 821152118 366206976 88521 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89406 88521 1111 63 0 89343 0
vsize: 357624
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88636 0 0 0 30805 195 0 0 25 0 1 0 821152118 366206976 88524 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89406 88524 1111 63 0 89343 0
vsize: 357624
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88638 0 0 0 31805 195 0 0 25 0 1 0 821152118 366206976 88526 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89406 88526 1111 63 0 89343 0
vsize: 357624
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88645 0 0 0 32805 195 0 0 25 0 1 0 821152118 366206976 88533 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89406 88533 1111 63 0 89343 0
vsize: 357624
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88648 0 0 0 33804 196 0 0 25 0 1 0 821152118 366342144 88536 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89439 88536 1111 63 0 89376 0
vsize: 357756
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88653 0 0 0 34804 196 0 0 25 0 1 0 821152118 366342144 88541 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89439 88541 1111 63 0 89376 0
vsize: 357756
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88654 0 0 0 35804 197 0 0 25 0 1 0 821152118 366342144 88542 4294967295 134512640 134714508 3221221776 3221220448 134627244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89439 88542 1111 63 0 89376 0
vsize: 357756
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 88655 0 0 0 36804 197 0 0 25 0 1 0 821152118 366342144 88543 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89439 88543 1111 63 0 89376 0
vsize: 357756
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 90975 0 0 0 37798 203 0 0 25 0 1 0 821152118 372056064 90039 4294967295 134512640 134714508 3221221776 3221217740 1074873371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90834 90039 1111 63 0 90771 0
vsize: 363336
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 90976 0 0 0 38798 203 0 0 25 0 1 0 821152118 372056064 90040 4294967295 134512640 134714508 3221221776 3221217680 1074875114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90834 90040 1111 63 0 90771 0
vsize: 363336
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 90976 0 0 0 39798 203 0 0 25 0 1 0 821152118 372056064 90040 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90834 90040 1111 63 0 90771 0
vsize: 363336
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 92097 0 0 0 40795 206 0 0 25 0 1 0 821152118 369750016 89497 4294967295 134512640 134714508 3221221776 3221220224 134648174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90271 89497 1111 63 0 90208 0
vsize: 361084
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 92928 0 0 0 41793 208 0 0 25 0 1 0 821152118 370032640 89553 4294967295 134512640 134714508 3221221776 3221220528 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90340 89553 1111 63 0 90277 0
vsize: 361360
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 93332 0 0 0 42792 210 0 0 25 0 1 0 821152118 370032640 89604 4294967295 134512640 134714508 3221221776 3221220492 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90340 89604 1111 63 0 90277 0
vsize: 361360
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 95076 0 0 0 43788 214 0 0 25 0 1 0 821152118 373735424 90440 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91244 90440 1111 63 0 91181 0
vsize: 364976
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 98138 0 0 0 44782 221 0 0 25 0 1 0 821152118 378777600 91657 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92475 91657 1111 63 0 92412 0
vsize: 369900
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 99923 0 0 0 45777 225 0 0 25 0 1 0 821152118 380862464 92118 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92984 92118 1111 63 0 92921 0
vsize: 371936
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 104972 0 0 0 46766 237 0 0 25 0 1 0 821152118 384655360 92967 4294967295 134512640 134714508 3221221776 3221219488 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93910 92967 1111 63 0 93847 0
vsize: 375640
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 107242 0 0 0 47761 242 0 0 25 0 1 0 821152118 384901120 93027 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93970 93027 1111 63 0 93907 0
vsize: 375880
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 111708 0 0 0 48750 253 0 0 25 0 1 0 821152118 391802880 94567 4294967295 134512640 134714508 3221221776 3221219496 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95655 94567 1111 63 0 95592 0
vsize: 382620
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 113817 0 0 0 49745 258 0 0 25 0 1 0 821152118 392331264 94828 4294967295 134512640 134714508 3221221776 3221218112 1075114274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95784 94828 1111 63 0 95721 0
vsize: 383136
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 121839 0 0 0 50728 276 0 0 25 0 1 0 821152118 400760832 96815 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97842 96815 1111 63 0 97779 0
vsize: 391368
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 125229 0 0 0 51719 285 0 0 25 0 1 0 821152118 403517440 97396 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98515 97396 1111 63 0 98452 0
vsize: 394060
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 127793 0 0 0 52712 292 0 0 25 0 1 0 821152118 400941056 96859 4294967295 134512640 134714508 3221221776 3221219776 1074140570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97886 96859 1111 63 0 97823 0
vsize: 391544
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 133801 0 0 0 53699 305 0 0 25 0 1 0 821152118 402518016 97189 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98271 97189 1111 63 0 98208 0
vsize: 393084
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 137362 0 0 0 54689 315 0 0 25 0 1 0 821152118 405250048 97820 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98938 97820 1111 63 0 98875 0
vsize: 395752
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 143024 0 0 0 55677 327 0 0 25 0 1 0 821152118 403087360 97362 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98410 97362 1111 63 0 98347 0
vsize: 393640
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 148901 0 0 0 56664 340 0 0 25 0 1 0 821152118 407166976 98286 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99406 98286 1111 63 0 99343 0
vsize: 397624
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 153900 0 0 0 57652 353 0 0 25 0 1 0 821152118 413913088 99943 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101053 99943 1111 63 0 100990 0
vsize: 404212
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 156377 0 0 0 58645 359 0 0 25 0 1 0 821152118 411095040 99255 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100365 99255 1111 63 0 100302 0
vsize: 401460
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 158894 0 0 0 59639 366 0 0 25 0 1 0 821152118 414580736 100107 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101216 100107 1111 63 0 101153 0
vsize: 404864
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 160936 0 0 0 60633 372 0 0 25 0 1 0 821152118 411172864 99288 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100384 99288 1111 63 0 100321 0
vsize: 401536
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 163173 0 0 0 61628 377 0 0 25 0 1 0 821152118 415043584 100233 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101329 100233 1111 63 0 101266 0
vsize: 405316
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 166918 0 0 0 62619 386 0 0 25 0 1 0 821152118 415576064 100047 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101459 100051 1111 63 0 101396 0
vsize: 405836
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 167811 0 0 0 63617 388 0 0 25 0 1 0 821152118 415584256 100365 4294967295 134512640 134714508 3221221776 3221217820 1074873336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101461 100365 1111 63 0 101398 0
vsize: 405844
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 171642 0 0 0 64608 397 0 0 25 0 1 0 821152118 415444992 100331 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101427 100331 1111 63 0 101364 0
vsize: 405708
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 172880 0 0 0 65606 400 0 0 25 0 1 0 821152118 416043008 100477 4294967295 134512640 134714508 3221221776 3221217780 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101573 100477 1111 63 0 101510 0
vsize: 406292
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 179921 0 0 0 66590 416 0 0 25 0 1 0 821152118 411631616 99400 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100496 99400 1111 63 0 100433 0
vsize: 401984
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 180377 0 0 0 67587 419 0 0 25 0 1 0 821152118 412049408 99383 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100598 99387 1111 63 0 100535 0
vsize: 402392
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 184812 0 0 0 68577 429 0 0 25 0 1 0 821152118 411459584 99358 4294967295 134512640 134714508 3221221776 3221220304 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100454 99358 1111 63 0 100391 0
vsize: 401816
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 190540 0 0 0 69564 442 0 0 25 0 1 0 821152118 415297536 100234 4294967295 134512640 134714508 3221221776 3221219888 1074867337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101391 100234 1111 63 0 101328 0
vsize: 405564
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 192136 0 0 0 70560 446 0 0 25 0 1 0 821152118 415637504 100378 4294967295 134512640 134714508 3221221776 3221217632 1074871208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101474 100378 1111 63 0 101411 0
vsize: 405896
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 199082 0 0 0 71544 462 0 0 25 0 1 0 821152118 411316224 99323 4294967295 134512640 134714508 3221221776 3221218976 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100419 99323 1111 63 0 100356 0
vsize: 401676
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 203261 0 0 0 72534 472 0 0 25 0 1 0 821152118 411361280 99334 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100430 99334 1111 63 0 100367 0
vsize: 401720
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 206240 0 0 0 73527 480 0 0 25 0 1 0 821152118 415784960 100414 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101510 100414 1111 63 0 101447 0
vsize: 406040
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 208325 0 0 0 74522 485 0 0 25 0 1 0 821152118 411525120 99374 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100470 99374 1111 63 0 100407 0
vsize: 401880
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 213474 0 0 0 75510 498 0 0 25 0 1 0 821152118 411291648 99323 4294967295 134512640 134714508 3221221776 3221219392 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100413 99323 1111 63 0 100350 0
vsize: 401652
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 216076 0 0 0 76505 503 0 0 25 0 1 0 821152118 415809536 100426 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101516 100426 1111 63 0 101453 0
vsize: 406064
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 218171 0 0 0 77499 508 0 0 25 0 1 0 821152118 409694208 98933 4294967295 134512640 134714508 3221221776 3221219760 1074056202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100023 98933 1111 63 0 99960 0
vsize: 400092
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 220328 0 0 0 78495 513 0 0 25 0 1 0 821152118 410226688 99068 4294967295 134512640 134714508 3221221776 3221219520 1075646805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100153 99068 1111 63 0 100090 0
vsize: 400612
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 221471 0 0 0 79491 517 0 0 25 0 1 0 821152118 411312128 99333 4294967295 134512640 134714508 3221221776 3221219664 1074138386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100418 99333 1111 63 0 100355 0
vsize: 401672
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 224093 0 0 0 80484 523 0 0 25 0 1 0 821152118 415858688 100443 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101528 100443 1111 63 0 101465 0
vsize: 406112
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 226514 0 0 0 81479 529 0 0 25 0 1 0 821152118 411189248 99303 4294967295 134512640 134714508 3221221776 3221219984 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100388 99303 1111 63 0 100325 0
vsize: 401552
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 229083 0 0 0 82473 536 0 0 25 0 1 0 821152118 415776768 100423 4294967295 134512640 134714508 3221221776 3221218144 1075894503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101508 100423 1111 63 0 101445 0
vsize: 406032
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 231109 0 0 0 83467 541 0 0 25 0 1 0 821152118 409694208 98938 4294967295 134512640 134714508 3221221776 3221219312 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100023 98938 1111 63 0 99960 0
vsize: 400092
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 232077 0 0 0 84465 544 0 0 25 0 1 0 821152118 411365376 99346 4294967295 134512640 134714508 3221221776 3221219696 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100431 99346 1111 63 0 100368 0
vsize: 401724
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 234603 0 0 0 85460 549 0 0 25 0 1 0 821152118 415776768 100423 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101508 100423 1111 63 0 101445 0
vsize: 406032
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 236955 0 0 0 86454 555 0 0 25 0 1 0 821152118 411242496 99316 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100401 99316 1111 63 0 100338 0
vsize: 401604
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 239232 0 0 0 87449 560 0 0 25 0 1 0 821152118 415236096 100291 4294967295 134512640 134714508 3221221776 3221217632 1074871177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101376 100291 1111 63 0 101313 0
vsize: 405504
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 241497 0 0 0 88443 566 0 0 25 0 1 0 821152118 411709440 99430 4294967295 134512640 134714508 3221221776 3221219104 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100515 99430 1111 63 0 100452 0
vsize: 402060
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 244357 0 0 0 89437 573 0 0 25 0 1 0 821152118 416587776 100621 4294967295 134512640 134714508 3221221776 3221218696 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101706 100621 1111 63 0 101643 0
vsize: 406824
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 246680 0 0 0 90431 579 0 0 25 0 1 0 821152118 409694208 98938 4294967295 134512640 134714508 3221221776 3221219440 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100023 98938 1111 63 0 99960 0
vsize: 400092
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 248291 0 0 0 91427 583 0 0 25 0 1 0 821152118 411594752 99402 4294967295 134512640 134714508 3221221776 3221218576 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100487 99402 1111 63 0 100424 0
vsize: 401948
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 251179 0 0 0 92421 589 0 0 25 0 1 0 821152118 416587776 100621 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101706 100621 1111 63 0 101643 0
vsize: 406824
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 253501 0 0 0 93414 596 0 0 25 0 1 0 821152118 411742208 99438 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100523 99438 1111 63 0 100460 0
vsize: 402092
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 259163 0 0 0 94401 610 0 0 25 0 1 0 821152118 412372992 99587 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100677 99587 1111 63 0 100614 0
vsize: 402708
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 260832 0 0 0 95396 614 0 0 25 0 1 0 821152118 411750400 99440 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100525 99440 1111 63 0 100462 0
vsize: 402100
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 263886 0 0 0 96389 621 0 0 25 0 1 0 821152118 417583104 100812 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101949 100812 1111 63 0 101886 0
vsize: 407796
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 263910 0 0 0 97389 622 0 0 25 0 1 0 821152118 417734656 100836 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101986 100836 1111 63 0 101923 0
vsize: 407944
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 266851 0 0 0 98381 630 0 0 25 0 1 0 821152118 412172288 99543 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100628 99543 1111 63 0 100565 0
vsize: 402512
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 269610 0 0 0 99375 635 0 0 25 0 1 0 821152118 417067008 100693 4294967295 134512640 134714508 3221221776 3221217632 1074870997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101823 100693 1111 63 0 101760 0
vsize: 407292
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 272284 0 0 0 100369 642 0 0 25 0 1 0 821152118 412004352 99502 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100587 99502 1111 63 0 100524 0
vsize: 402348
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 275282 0 0 0 101364 647 0 0 25 0 1 0 821152118 417619968 100818 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101958 100818 1111 63 0 101895 0
vsize: 407832
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 277742 0 0 0 102357 654 0 0 25 0 1 0 821152118 412332032 99577 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100667 99577 1111 63 0 100604 0
vsize: 402668
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 283428 0 0 0 103345 666 0 0 25 0 1 0 821152118 413044736 99748 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100841 99748 1111 63 0 100778 0
vsize: 403364
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 289458 0 0 0 104331 681 0 0 25 0 1 0 821152118 412721152 99671 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100762 99671 1111 63 0 100699 0
vsize: 403048
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 292518 0 0 0 105323 688 0 0 25 0 1 0 821152118 418451456 101017 4294967295 134512640 134714508 3221221776 3221217820 1074873512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102161 101017 1111 63 0 102098 0
vsize: 408644
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 292523 0 0 0 106323 689 0 0 25 0 1 0 821152118 418451456 101022 4294967295 134512640 134714508 3221221776 3221217780 1074875789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102161 101022 1111 63 0 102098 0
vsize: 408644
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 300786 0 0 0 107304 709 0 0 25 0 1 0 821152118 413630464 99829 4294967295 134512640 134714508 3221221776 3221220364 134652113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100984 99829 1111 63 0 100921 0
vsize: 403936
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 301293 0 0 0 108301 711 0 0 25 0 1 0 821152118 413331456 99820 4294967295 134512640 134714508 3221221776 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100911 99820 1111 63 0 100848 0
vsize: 403644
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 304124 0 0 0 109294 719 0 0 25 0 1 0 821152118 418185216 100954 4294967295 134512640 134714508 3221221776 3221217632 1074871225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102096 100954 1111 63 0 102033 0
vsize: 408384
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 306959 0 0 0 110288 725 0 0 25 0 1 0 821152118 413102080 99764 4294967295 134512640 134714508 3221221776 3221219328 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100855 99764 1111 63 0 100792 0
vsize: 403420
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 310110 0 0 0 111282 731 0 0 25 0 1 0 821152118 419246080 101191 4294967295 134512640 134714508 3221221776 3221217780 1074875805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102355 101191 1111 63 0 102292 0
vsize: 409420
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 313122 0 0 0 112274 739 0 0 25 0 1 0 821152118 412934144 99723 4294967295 134512640 134714508 3221221776 3221219024 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100814 99723 1111 63 0 100751 0
vsize: 403256
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 315855 0 0 0 113267 746 0 0 25 0 1 0 821152118 418369536 100971 4294967295 134512640 134714508 3221221776 3221217780 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102141 100971 1111 63 0 102078 0
vsize: 408564
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 318110 0 0 0 114262 752 0 0 25 0 1 0 821152118 413609984 99855 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100979 99855 1111 63 0 100916 0
vsize: 403916
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 320794 0 0 0 115254 759 0 0 25 0 1 0 821152118 417521664 100761 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101934 100761 1111 63 0 101871 0
vsize: 407736
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 323097 0 0 0 116248 765 0 0 25 0 1 0 821152118 413110272 99766 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100857 99766 1111 63 0 100794 0
vsize: 403428
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 325871 0 0 0 117242 772 0 0 25 0 1 0 821152118 418705408 101059 4294967295 134512640 134714508 3221221776 3221217780 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102223 101059 1111 63 0 102160 0
vsize: 408892
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 329008 0 0 0 118236 778 0 0 25 0 1 0 821152118 414052352 99876 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101087 99876 1111 63 0 101024 0
vsize: 404348
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) R 6419 7876 7672 0 -1 0 331519 0 0 0 119229 785 0 0 25 0 1 0 821152118 412442624 99603 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100694 99603 1111 63 0 100631 0
vsize: 402776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 6420
Raw data (stat): 6420 (bsolo_lpr_cuts) Z 6419 7876 7672 0 -1 1036 331519 0 0 0 119229 804 0 0 25 0 1 0 821152118 0 0 4294967295 0 0 0 0 0 0 0 1 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.23
CPU time (s): 1200.34
CPU user time (s): 1192.3
CPU system time (s): 8.04178
CPU usage (%): 100.009
Max. virtual memory (Kb): 409420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####