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-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	1175.81
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 25921

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 10:30:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16668 boxname=wulflinc31 idbench=1283 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air06.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air06.opb
IDLAUNCH: 16668
/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:        904848 kB
Buffers:         29596 kB
Cached:          77144 kB
SwapCached:        972 kB
Active:          79924 kB
Inactive:        28972 kB
HighTotal:      131008 kB
HighFree:        65184 kB
LowTotal:       903652 kB
LowFree:        839664 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:             984 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15288 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 10:50:47 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 16668 7 1200.31 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 367.325 s
c Initial Lower Bound: 49617
c Lower Bound Elapsed time: 57.039
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 55356 @ 461.255
c NEW SOLUTION FOUND: 54785 @ 461.383
c NEW SOLUTION FOUND: 54168 @ 461.717
c NEW SOLUTION FOUND: 53762 @ 463.829
c NEW SOLUTION FOUND: 53684 @ 466.931
c NEW SOLUTION FOUND: 53133 @ 470.221
c NEW SOLUTION FOUND: 52173 @ 482.814
c NEW SOLUTION FOUND: 52015 @ 512.823
c NEW SOLUTION FOUND: 51821 @ 517.236
c NEW SOLUTION FOUND: 51656 @ 549.487
c NEW SOLUTION FOUND: 51642 @ 557.108
c NEW SOLUTION FOUND: 51334 @ 564.465
c NEW SOLUTION FOUND: 50804 @ 835.755
c NEW SOLUTION FOUND: 50677 @ 892.691
c NEW SOLUTION FOUND: 50520 @ 969.78
c NEW SOLUTION FOUND: 50416 @ 993.971
c NEW SOLUTION FOUND: 50405 @ 1011.66
c NEW SOLUTION FOUND: 50283 @ 1117.87
c NEW SOLUTION FOUND: 50233 @ 1158.65
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 6161
Raw data (stat): 6161 (runsolver) R 6160 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 820872571 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 38234 0 0 0 915 80 0 0 25 0 1 0 820872571 169603072 38157 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41407 38157 1111 63 0 41344 0
vsize: 165628
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 53452 0 0 0 1887 108 0 0 25 0 1 0 820872571 231989248 53375 4294967295 134512640 134714508 3221221776 3221218236 1077359371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56638 53375 1111 63 0 56575 0
vsize: 226552
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 54358 0 0 0 2884 111 0 0 25 0 1 0 820872571 235638784 54281 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57529 54281 1111 63 0 57466 0
vsize: 230116
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 55202 0 0 0 3880 114 0 0 25 0 1 0 820872571 239153152 55125 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58387 55125 1111 63 0 58324 0
vsize: 233548
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 57709 0 0 0 4875 119 0 0 25 0 1 0 820872571 239575040 57590 4294967295 134512640 134714508 3221221776 3221220552 134586789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58490 57590 1111 63 0 58427 0
vsize: 233960
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 60136 0 0 0 5871 124 0 0 25 0 1 0 820872571 249470976 60017 4294967295 134512640 134714508 3221221776 3221220140 134539246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60906 60017 1111 63 0 60843 0
vsize: 243624
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 62528 0 0 0 6867 128 0 0 25 0 1 0 820872571 259362816 62409 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63321 62409 1111 63 0 63258 0
vsize: 253284
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 64742 0 0 0 7862 133 0 0 25 0 1 0 820872571 268435456 64623 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65536 64623 1111 63 0 65473 0
vsize: 262144
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 66973 0 0 0 8858 137 0 0 25 0 1 0 820872571 277512192 66854 4294967295 134512640 134714508 3221221776 3221220276 134543680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67752 66854 1111 63 0 67689 0
vsize: 271008
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 69004 0 0 0 9855 140 0 0 25 0 1 0 820872571 285913088 68885 4294967295 134512640 134714508 3221221776 3221220304 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69803 68885 1111 63 0 69740 0
vsize: 279212
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 70950 0 0 0 10850 145 0 0 25 0 1 0 820872571 293769216 70831 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71721 70831 1111 63 0 71658 0
vsize: 286884
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 72917 0 0 0 11846 150 0 0 25 0 1 0 820872571 301891584 72798 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73704 72798 1111 63 0 73641 0
vsize: 294816
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 74700 0 0 0 12843 153 0 0 25 0 1 0 820872571 309198848 74581 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75488 74581 1111 63 0 75425 0
vsize: 301952
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 76276 0 0 0 13839 157 0 0 25 0 1 0 820872571 315703296 76157 4294967295 134512640 134714508 3221221776 3221220268 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77076 76157 1111 63 0 77013 0
vsize: 308304
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 77800 0 0 0 14835 161 0 0 25 0 1 0 820872571 321933312 77681 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78597 77681 1111 63 0 78534 0
vsize: 314388
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 79234 0 0 0 15833 164 0 0 25 0 1 0 820872571 327766016 79115 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80021 79115 1111 63 0 79958 0
vsize: 320084
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 80648 0 0 0 16830 167 0 0 25 0 1 0 820872571 333590528 80529 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81443 80530 1111 63 0 81380 0
vsize: 325772
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 82052 0 0 0 17827 170 0 0 25 0 1 0 820872571 339279872 81933 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82832 81933 1111 63 0 82769 0
vsize: 331328
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 83198 0 0 0 18825 172 0 0 25 0 1 0 820872571 344039424 83079 4294967295 134512640 134714508 3221221776 3221220256 134539353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83994 83079 1111 63 0 83931 0
vsize: 335976
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 84290 0 0 0 19823 174 0 0 25 0 1 0 820872571 348504064 84171 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85084 84171 1111 63 0 85021 0
vsize: 340336
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 85287 0 0 0 20822 175 0 0 25 0 1 0 820872571 352575488 85168 4294967295 134512640 134714508 3221221776 3221220140 134539254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86078 85168 1111 63 0 86015 0
vsize: 344312
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 86097 0 0 0 21821 177 0 0 25 0 1 0 820872571 355827712 85978 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86872 85978 1111 63 0 86809 0
vsize: 347488
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 86982 0 0 0 22819 179 0 0 25 0 1 0 820872571 359493632 86863 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87767 86863 1111 63 0 87704 0
vsize: 351068
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 87679 0 0 0 23818 180 0 0 25 0 1 0 820872571 362348544 87560 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88464 87560 1111 63 0 88401 0
vsize: 353856
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 88302 0 0 0 24816 182 0 0 25 0 1 0 820872571 364916736 88183 4294967295 134512640 134714508 3221221776 3221220188 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89091 88183 1111 63 0 89028 0
vsize: 356364
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 88808 0 0 0 25815 183 0 0 25 0 1 0 820872571 366944256 88689 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89586 88689 1111 63 0 89523 0
vsize: 358344
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89107 0 0 0 26814 184 0 0 25 0 1 0 820872571 368160768 88988 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89883 88988 1111 63 0 89820 0
vsize: 359532
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89377 0 0 0 27814 185 0 0 25 0 1 0 820872571 369246208 89258 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90148 89258 1111 63 0 90085 0
vsize: 360592
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89497 0 0 0 28814 185 0 0 25 0 1 0 820872571 369786880 89378 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90280 89378 1111 63 0 90217 0
vsize: 361120
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89508 0 0 0 29814 185 0 0 25 0 1 0 820872571 369786880 89389 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90280 89389 1111 63 0 90217 0
vsize: 361120
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89524 0 0 0 30814 186 0 0 25 0 1 0 820872571 369922048 89405 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90313 89405 1111 63 0 90250 0
vsize: 361252
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89532 0 0 0 31814 186 0 0 25 0 1 0 820872571 369922048 89413 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90313 89413 1111 63 0 90250 0
vsize: 361252
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89539 0 0 0 32814 186 0 0 25 0 1 0 820872571 369922048 89420 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90313 89420 1111 63 0 90250 0
vsize: 361252
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89541 0 0 0 33814 186 0 0 25 0 1 0 820872571 369922048 89422 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90313 89422 1111 63 0 90250 0
vsize: 361252
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89542 0 0 0 34814 186 0 0 25 0 1 0 820872571 369922048 89423 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90313 89423 1111 63 0 90250 0
vsize: 361252
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 89545 0 0 0 35815 186 0 0 25 0 1 0 820872571 370057216 89426 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90346 89426 1111 63 0 90283 0
vsize: 361384
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 90330 0 0 0 36813 188 0 0 25 0 1 0 820872571 373280768 90211 4294967295 134512640 134714508 3221221776 3221219696 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91133 90211 1111 63 0 91070 0
vsize: 364532
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 92155 0 0 0 37808 192 0 0 25 0 1 0 820872571 376840192 91131 4294967295 134512640 134714508 3221221776 3221217740 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92002 91131 1111 63 0 91939 0
vsize: 368008
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 92162 0 0 0 38809 192 0 0 25 0 1 0 820872571 376840192 91138 4294967295 134512640 134714508 3221221776 3221217740 1074873543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92002 91138 1111 63 0 91939 0
vsize: 368008
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 92206 0 0 0 39809 192 0 0 25 0 1 0 820872571 376840192 91170 4294967295 134512640 134714508 3221221776 3221217856 1074794575 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92002 91170 1111 63 0 91939 0
vsize: 368008
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 92206 0 0 0 40809 192 0 0 25 0 1 0 820872571 376840192 91170 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92002 91170 1111 63 0 91939 0
vsize: 368008
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 92748 0 0 0 41808 193 0 0 25 0 1 0 820872571 374972416 90763 4294967295 134512640 134714508 3221221776 3221219440 1075636586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91546 90763 1111 63 0 91483 0
vsize: 366184
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 93483 0 0 0 42805 196 0 0 25 0 1 0 820872571 374059008 90559 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91323 90559 1111 63 0 91260 0
vsize: 365292
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 93483 0 0 0 43803 197 0 0 25 0 1 0 820872571 374059008 90559 4294967295 134512640 134714508 3221221776 3221220172 1077379913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91323 90559 1111 63 0 91260 0
vsize: 365292
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 93489 0 0 0 44801 200 0 0 25 0 1 0 820872571 374059008 90565 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91323 90565 1111 63 0 91260 0
vsize: 365292
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 93548 0 0 0 45800 201 0 0 25 0 1 0 820872571 374317056 90624 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91386 90624 1111 63 0 91323 0
vsize: 365544
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 95957 0 0 0 46794 207 0 0 25 0 1 0 820872571 373645312 90457 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91222 90457 1111 63 0 91159 0
vsize: 364888
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 97182 0 0 0 47792 209 0 0 25 0 1 0 820872571 374427648 90666 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91413 90666 1111 63 0 91350 0
vsize: 365652
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 98577 0 0 0 48788 213 0 0 25 0 1 0 820872571 374427648 90666 4294967295 134512640 134714508 3221221776 3221219848 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91413 90666 1111 63 0 91350 0
vsize: 365652
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 100255 0 0 0 49785 217 0 0 25 0 1 0 820872571 376324096 90963 4294967295 134512640 134714508 3221221776 3221218432 1075967431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91876 90963 1111 63 0 91813 0
vsize: 367504
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 101436 0 0 0 50782 220 0 0 25 0 1 0 820872571 374517760 90688 4294967295 134512640 134714508 3221221776 3221220352 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91435 90688 1111 63 0 91372 0
vsize: 365740
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 103059 0 0 0 51779 223 0 0 25 0 1 0 820872571 376635392 90992 4294967295 134512640 134714508 3221221776 3221217820 1074873527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91952 90992 1111 63 0 91889 0
vsize: 367808
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 104083 0 0 0 52777 225 0 0 25 0 1 0 820872571 375017472 90810 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91557 90810 1111 63 0 91494 0
vsize: 366228
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 105121 0 0 0 53774 228 0 0 25 0 1 0 820872571 377004032 91107 4294967295 134512640 134714508 3221221776 3221218344 1076048673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92042 91107 1111 63 0 91979 0
vsize: 368168
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 106128 0 0 0 54772 230 0 0 25 0 1 0 820872571 375103488 90831 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91578 90831 1111 63 0 91515 0
vsize: 366312
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 107105 0 0 0 55770 233 0 0 25 0 1 0 820872571 375590912 90941 4294967295 134512640 134714508 3221221776 3221219776 1074913436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91697 90941 1111 63 0 91634 0
vsize: 366788
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 108189 0 0 0 56767 236 0 0 25 0 1 0 820872571 377004032 91155 4294967295 134512640 134714508 3221221776 3221217712 1075965253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92042 91155 1111 63 0 91979 0
vsize: 368168
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 109006 0 0 0 57765 237 0 0 25 0 1 0 820872571 376938496 91157 4294967295 134512640 134714508 3221221776 3221217632 1074868468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92026 91157 1111 63 0 91963 0
vsize: 368104
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 109857 0 0 0 58763 240 0 0 25 0 1 0 820872571 377053184 91177 4294967295 134512640 134714508 3221221776 3221218816 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92054 91177 1111 63 0 91991 0
vsize: 368216
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 110714 0 0 0 59761 242 0 0 25 0 1 0 820872571 376979456 91168 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92036 91168 1111 63 0 91973 0
vsize: 368144
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 111585 0 0 0 60759 244 0 0 25 0 1 0 820872571 377143296 91191 4294967295 134512640 134714508 3221221776 3221217724 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92076 91191 1111 63 0 92013 0
vsize: 368304
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 112518 0 0 0 61757 246 0 0 25 0 1 0 820872571 377196544 91201 4294967295 134512640 134714508 3221221776 3221218108 1075112913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92089 91201 1111 63 0 92026 0
vsize: 368356
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 113508 0 0 0 62755 249 0 0 25 0 1 0 820872571 377131008 91174 4294967295 134512640 134714508 3221221776 3221217936 1074883536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92073 91174 1111 63 0 92010 0
vsize: 368292
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 113864 0 0 0 63754 250 0 0 25 0 1 0 820872571 375320576 90884 4294967295 134512640 134714508 3221221776 3221219424 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91631 90884 1111 63 0 91568 0
vsize: 366524
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 114864 0 0 0 64751 253 0 0 25 0 1 0 820872571 375341056 90889 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91636 90889 1111 63 0 91573 0
vsize: 366544
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 115517 0 0 0 65750 254 0 0 25 0 1 0 820872571 377376768 91247 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92133 91247 1111 63 0 92070 0
vsize: 368532
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 116501 0 0 0 66748 256 0 0 25 0 1 0 820872571 377171968 91199 4294967295 134512640 134714508 3221221776 3221217744 1074872719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92083 91199 1111 63 0 92020 0
vsize: 368332
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 117547 0 0 0 67746 258 0 0 25 0 1 0 820872571 375869440 91018 4294967295 134512640 134714508 3221221776 3221219456 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91765 91018 1111 63 0 91702 0
vsize: 367060
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 118192 0 0 0 68745 260 0 0 25 0 1 0 820872571 377810944 91349 4294967295 134512640 134714508 3221221776 3221217936 1074794565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92239 91349 1111 63 0 92176 0
vsize: 368956
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 119174 0 0 0 69743 262 0 0 25 0 1 0 820872571 377761792 91350 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92227 91350 1111 63 0 92164 0
vsize: 368908
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 119531 0 0 0 70742 263 0 0 25 0 1 0 820872571 375865344 91017 4294967295 134512640 134714508 3221221776 3221219840 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91764 91017 1111 63 0 91701 0
vsize: 367056
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 120166 0 0 0 71742 264 0 0 25 0 1 0 820872571 377688064 91336 4294967295 134512640 134714508 3221221776 3221217632 1074871113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92209 91336 1111 63 0 92146 0
vsize: 368836
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 121163 0 0 0 72739 267 0 0 25 0 1 0 820872571 377688064 91327 4294967295 134512640 134714508 3221221776 3221217820 1074873565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92209 91327 1111 63 0 92146 0
vsize: 368836
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 121502 0 0 0 73738 267 0 0 25 0 1 0 820872571 375865344 91017 4294967295 134512640 134714508 3221221776 3221219072 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91764 91017 1111 63 0 91701 0
vsize: 367056
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 122103 0 0 0 74738 268 0 0 25 0 1 0 820872571 377647104 91346 4294967295 134512640 134714508 3221221776 3221217632 1074871225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92199 91346 1111 63 0 92136 0
vsize: 368796
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 123167 0 0 0 75736 270 0 0 25 0 1 0 820872571 377958400 91367 4294967295 134512640 134714508 3221221776 3221217820 1074873509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92275 91367 1111 63 0 92212 0
vsize: 369100
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 124984 0 0 0 76731 275 0 0 25 0 1 0 820872571 375873536 91019 4294967295 134512640 134714508 3221221776 3221219552 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91766 91019 1111 63 0 91703 0
vsize: 367064
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 125800 0 0 0 77729 277 0 0 25 0 1 0 820872571 378425344 91444 4294967295 134512640 134714508 3221221776 3221217632 1074868279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92389 91444 1111 63 0 92326 0
vsize: 369556
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 127213 0 0 0 78727 280 0 0 25 0 1 0 820872571 378535936 91511 4294967295 134512640 134714508 3221221776 3221217744 1074872787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92416 91511 1111 63 0 92353 0
vsize: 369664
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 127810 0 0 0 79725 281 0 0 25 0 1 0 820872571 375877632 91020 4294967295 134512640 134714508 3221221776 3221219536 134650102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91767 91020 1111 63 0 91704 0
vsize: 367068
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 128770 0 0 0 80724 283 0 0 25 0 1 0 820872571 378445824 91554 4294967295 134512640 134714508 3221221776 3221217632 1074870880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92394 91554 1111 63 0 92331 0
vsize: 369576
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 129528 0 0 0 81722 285 0 0 25 0 1 0 820872571 376291328 91121 4294967295 134512640 134714508 3221221776 3221219632 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91868 91121 1111 63 0 91805 0
vsize: 367472
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 130406 0 0 0 82720 287 0 0 25 0 1 0 820872571 378425344 91509 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92389 91509 1111 63 0 92326 0
vsize: 369556
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 131852 0 0 0 83717 291 0 0 25 0 1 0 820872571 378445824 91483 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92394 91483 1111 63 0 92331 0
vsize: 369576
[startup+850.038 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 131896 0 0 0 84715 292 0 0 25 0 1 0 820872571 378445824 91527 4294967295 134512640 134714508 3221221776 3221217632 1074871225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92394 91527 1111 63 0 92331 0
vsize: 369576
[startup+860.038 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 133329 0 0 0 85712 295 0 0 25 0 1 0 820872571 378068992 91426 4294967295 134512640 134714508 3221221776 3221217820 1074873459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92302 91426 1111 63 0 92239 0
vsize: 369208
[startup+870.038 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 133827 0 0 0 86711 296 0 0 25 0 1 0 820872571 376176640 91093 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91840 91093 1111 63 0 91777 0
vsize: 367360
[startup+880.038 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 134811 0 0 0 87709 299 0 0 25 0 1 0 820872571 378515456 91520 4294967295 134512640 134714508 3221221776 3221217820 1074873522 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92411 91520 1111 63 0 92348 0
vsize: 369644
[startup+890.039 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 134847 0 0 0 88709 299 0 0 25 0 1 0 820872571 378699776 91556 4294967295 134512640 134714508 3221221776 3221217616 1075965263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92456 91556 1111 63 0 92393 0
vsize: 369824
[startup+900.039 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 136409 0 0 0 89706 302 0 0 25 0 1 0 820872571 378372096 91503 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92376 91503 1111 63 0 92313 0
vsize: 369504
[startup+910.039 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 136414 0 0 0 90706 302 0 0 25 0 1 0 820872571 378372096 91508 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92376 91508 1111 63 0 92313 0
vsize: 369504
[startup+920.039 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 138015 0 0 0 91703 306 0 0 25 0 1 0 820872571 378486784 91541 4294967295 134512640 134714508 3221221776 3221217820 1074873547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92404 91541 1111 63 0 92341 0
vsize: 369616
[startup+930.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 138032 0 0 0 92703 306 0 0 25 0 1 0 820872571 378687488 91552 4294967295 134512640 134714508 3221221776 3221217632 1074871068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92453 91552 1111 63 0 92390 0
vsize: 369812
[startup+940.041 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 139747 0 0 0 93699 310 0 0 25 0 1 0 820872571 378687488 91565 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92453 91565 1111 63 0 92390 0
vsize: 369812
[startup+950.041 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 139802 0 0 0 94699 310 0 0 25 0 1 0 820872571 378687488 91620 4294967295 134512640 134714508 3221221776 3221217632 1074871208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92453 91620 1111 63 0 92390 0
vsize: 369812
[startup+960.042 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 141456 0 0 0 95695 314 0 0 25 0 1 0 820872571 378466304 91542 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92399 91542 1111 63 0 92336 0
vsize: 369596
[startup+970.042 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 142120 0 0 0 96694 315 0 0 25 0 1 0 820872571 376414208 91151 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91898 91151 1111 63 0 91835 0
vsize: 367592
[startup+980.043 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 143163 0 0 0 97691 318 0 0 25 0 1 0 820872571 378724352 91569 4294967295 134512640 134714508 3221221776 3221217620 1074786547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92462 91569 1111 63 0 92399 0
vsize: 369848
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 143203 0 0 0 98691 318 0 0 25 0 1 0 820872571 378724352 91609 4294967295 134512640 134714508 3221221776 3221218108 1075112893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92462 91609 1111 63 0 92399 0
vsize: 369848
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 144839 0 0 0 99686 323 0 0 25 0 1 0 820872571 378544128 91532 4294967295 134512640 134714508 3221221776 3221217820 1074873554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92418 91532 1111 63 0 92355 0
vsize: 369672
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 144859 0 0 0 100687 323 0 0 25 0 1 0 820872571 378544128 91546 4294967295 134512640 134714508 3221221776 3221217632 1074868602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92418 91546 1111 63 0 92355 0
vsize: 369672
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 146532 0 0 0 101683 327 0 0 25 0 1 0 820872571 378593280 91571 4294967295 134512640 134714508 3221221776 3221217820 1074873527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92430 91571 1111 63 0 92367 0
vsize: 369720
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 146554 0 0 0 102683 327 0 0 25 0 1 0 820872571 378793984 91587 4294967295 134512640 134714508 3221221776 3221217684 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92479 91587 1111 63 0 92416 0
vsize: 369916
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 147393 0 0 0 103681 329 0 0 25 0 1 0 820872571 376418304 91152 4294967295 134512640 134714508 3221221776 3221219440 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91899 91152 1111 63 0 91836 0
vsize: 367596
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 148395 0 0 0 104679 331 0 0 25 0 1 0 820872571 378855424 91623 4294967295 134512640 134714508 3221221776 3221217632 1074868775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92494 91623 1111 63 0 92431 0
vsize: 369976
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 148404 0 0 0 105679 331 0 0 25 0 1 0 820872571 379039744 91632 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92539 91632 1111 63 0 92476 0
vsize: 370156
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 150225 0 0 0 106674 337 0 0 25 0 1 0 820872571 378683392 91586 4294967295 134512640 134714508 3221221776 3221217936 1074883665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92452 91586 1111 63 0 92389 0
vsize: 369808
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 150258 0 0 0 107674 337 0 0 25 0 1 0 820872571 378884096 91612 4294967295 134512640 134714508 3221221776 3221217644 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92501 91612 1111 63 0 92438 0
vsize: 370004
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 151016 0 0 0 108673 338 0 0 25 0 1 0 820872571 376492032 91170 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91917 91170 1111 63 0 91854 0
vsize: 367668
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 152158 0 0 0 109670 341 0 0 25 0 1 0 820872571 378929152 91609 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92512 91609 1111 63 0 92449 0
vsize: 370048
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 152205 0 0 0 110670 341 0 0 25 0 1 0 820872571 378929152 91649 4294967295 134512640 134714508 3221221776 3221217672 1074789520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92512 91649 1111 63 0 92449 0
vsize: 370048
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 153013 0 0 0 111668 344 0 0 25 0 1 0 820872571 376143872 91085 4294967295 134512640 134714508 3221221776 3221219920 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91832 91085 1111 63 0 91769 0
vsize: 367328
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 153966 0 0 0 112666 346 0 0 25 0 1 0 820872571 378650624 91561 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92444 91561 1111 63 0 92381 0
vsize: 369776
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 155547 0 0 0 113662 350 0 0 25 0 1 0 820872571 378589184 91502 4294967295 134512640 134714508 3221221776 3221217868 1075663503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92429 91502 1111 63 0 92366 0
vsize: 369716
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 155624 0 0 0 114662 351 0 0 25 0 1 0 820872571 378789888 91573 4294967295 134512640 134714508 3221221776 3221217632 1074868212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92478 91573 1111 63 0 92415 0
vsize: 369912
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 156278 0 0 0 115660 352 0 0 25 0 1 0 820872571 375885824 91022 4294967295 134512640 134714508 3221221776 3221218936 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91769 91022 1111 63 0 91706 0
vsize: 367076
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 157357 0 0 0 116658 354 0 0 25 0 1 0 820872571 378970112 91621 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92522 91621 1111 63 0 92459 0
vsize: 370088
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 157372 0 0 0 117659 354 0 0 25 0 1 0 820872571 378970112 91636 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92522 91636 1111 63 0 92459 0
vsize: 370088
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 159300 0 0 0 118654 359 0 0 25 0 1 0 820872571 379146240 91704 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92565 91704 1111 63 0 92502 0
vsize: 370260
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) R 6160 7876 7672 0 -1 0 159335 0 0 0 119654 359 0 0 25 0 1 0 820872571 379346944 91732 4294967295 134512640 134714508 3221221776 3221217920 1074970025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92614 91732 1111 63 0 92551 0
vsize: 370456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 6161
Raw data (stat): 6161 (bsolo_lpr_cuts) Z 6160 7876 7672 0 -1 1036 159335 0 0 0 119654 376 0 0 25 0 1 0 820872571 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.22
CPU time (s): 1200.31
CPU user time (s): 1196.55
CPU system time (s): 3.76043
CPU usage (%): 100.007
Max. virtual memory (Kb): 370456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####