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-p0291.opb
MD5SUM	1d9168a9335e29df835d07b0bdf2adea
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10447498
Optimality of the best value was proved	NO
Number of terms in the objective function	289
Biggest coefficient in the objective function	80000000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	686518451
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	80000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	686518451
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.333948
Number of variables	291
Total number of constraints	543
Number of constraints which are clauses	189
Number of constraints which are cardinality constraints (but not clauses)	295
Number of constraints which are nor clauses,nor cardinality constraints	59
Minimum length of a constraint	1
Maximum length of a constraint	53
Trace number 27435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 21:43:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17136 boxname=wulflinc18 idbench=1319 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1d9168a9335e29df835d07b0bdf2adea  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-p0291.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-p0291.opb
IDLAUNCH: 17136
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906944 kB
Buffers:          5612 kB
Cached:         101196 kB
SwapCached:        836 kB
Active:          17872 kB
Inactive:        91472 kB
HighTotal:      131008 kB
HighFree:        68292 kB
LowTotal:       903652 kB
LowFree:        838652 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            12676 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:03:20 (client local time) WITH STATUS 0 IN 1200.06 SECONDS
stats: 17136 7 1200.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 291 variables and 205 constraints.
c After prepocess the problem consists of 291 variables and 205 constraints.
c preprocess terminated 0.284 s
c Initial Lower Bound: 2452400
c Lower Bound Elapsed time: 0.0208889
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 171016198 @ 1.681
c NEW SOLUTION FOUND: 170939431 @ 1.726
c NEW SOLUTION FOUND: 170765406 @ 1.73
c NEW SOLUTION FOUND: 170313456 @ 1.746
c NEW SOLUTION FOUND: 169372048 @ 1.881
c NEW SOLUTION FOUND: 167190223 @ 2.329
c NEW SOLUTION FOUND: 166487481 @ 2.401
c NEW SOLUTION FOUND: 166313456 @ 2.476
c NEW SOLUTION FOUND: 165968413 @ 2.643
c NEW SOLUTION FOUND: 165516463 @ 2.652
c NEW SOLUTION FOUND: 165372048 @ 2.67
c NEW SOLUTION FOUND: 165096011 @ 2.793
c NEW SOLUTION FOUND: 164154603 @ 2.802
c NEW SOLUTION FOUND: 163586635 @ 2.862
c NEW SOLUTION FOUND: 162360660 @ 2.944
c NEW SOLUTION FOUND: 161657918 @ 2.948
c NEW SOLUTION FOUND: 160716510 @ 2.953
c NEW SOLUTION FOUND: 160264560 @ 3.01
c NEW SOLUTION FOUND: 160090535 @ 3.061
c NEW SOLUTION FOUND: 158986635 @ 3.245
c NEW SOLUTION FOUND: 158283893 @ 3.255
c NEW SOLUTION FOUND: 157831943 @ 3.335
c NEW SOLUTION FOUND: 157536442 @ 3.407
c NEW SOLUTION FOUND: 157084492 @ 3.415
c NEW SOLUTION FOUND: 153988392 @ 3.423
c NEW SOLUTION FOUND: 152059675 @ 3.533
c NEW SOLUTION FOUND: 151959275 @ 4.249
c NEW SOLUTION FOUND: 151785250 @ 4.257
c NEW SOLUTION FOUND: 151303690 @ 4.423
c NEW SOLUTION FOUND: 133426318 @ 4.575
c NEW SOLUTION FOUND: 133395448 @ 4.623
c NEW SOLUTION FOUND: 131648194 @ 4.659
c NEW SOLUTION FOUND: 127542704 @ 4.663
c NEW SOLUTION FOUND: 126601296 @ 4.937
c NEW SOLUTION FOUND: 125001636 @ 4.947
c NEW SOLUTION FOUND: 123895518 @ 4.95
c NEW SOLUTION FOUND: 122063742 @ 5.036
c NEW SOLUTION FOUND: 121318486 @ 5.055
c NEW SOLUTION FOUND: 120377078 @ 5.059
c NEW SOLUTION FOUND: 119674336 @ 5.832
c NEW SOLUTION FOUND: 119164007 @ 7.117
c NEW SOLUTION FOUND: 118461265 @ 7.126
c NEW SOLUTION FOUND: 118448361 @ 7.819
c NEW SOLUTION FOUND: 118438925 @ 9.77
c NEW SOLUTION FOUND: 117558782 @ 11.009
c NEW SOLUTION FOUND: 117212950 @ 11.291
c NEW SOLUTION FOUND: 117136442 @ 11.508
c NEW SOLUTION FOUND: 115433700 @ 15.942
c NEW SOLUTION FOUND: 114492292 @ 15.95
c NEW SOLUTION FOUND: 114184757 @ 46.958
c NEW SOLUTION FOUND: 113762417 @ 47.655
c NEW SOLUTION FOUND: 112762417 @ 50.979
c NEW SOLUTION FOUND: 112059675 @ 50.989
c NEW SOLUTION FOUND: 111168785 @ 52.242
c NEW SOLUTION FOUND: 110798395 @ 52.428
c NEW SOLUTION FOUND: 110572420 @ 52.45
c NEW SOLUTION FOUND: 109411225 @ 52.488
c NEW SOLUTION FOUND: 88848946 @ 52.661
c NEW SOLUTION FOUND: 85752846 @ 52.847
c NEW SOLUTION FOUND: 83076678 @ 52.851
c NEW SOLUTION FOUND: 76551103 @ 53.876
c NEW SOLUTION FOUND: 76074336 @ 53.919
c NEW SOLUTION FOUND: 72684492 @ 53.959
c NEW SOLUTION FOUND: 71684492 @ 57.639
c NEW SOLUTION FOUND: 70981750 @ 57.654
c NEW SOLUTION FOUND: 70040342 @ 58.09
c NEW SOLUTION FOUND: 69762417 @ 80.456
c NEW SOLUTION FOUND: 68762417 @ 84.237
c NEW SOLUTION FOUND: 68059675 @ 85.449
c NEW SOLUTION FOUND: 66362282 @ 86.93
c NEW SOLUTION FOUND: 62362282 @ 86.934
c NEW SOLUTION FOUND: 61659540 @ 86.943
c NEW SOLUTION FOUND: 59785250 @ 86.998
c NEW SOLUTION FOUND: 41131171 @ 89.653
c NEW SOLUTION FOUND: 39905196 @ 91.201
c NEW SOLUTION FOUND: 38231436 @ 91.213
c NEW SOLUTION FOUND: 35555268 @ 91.221
c NEW SOLUTION FOUND: 31584878 @ 91.234
c NEW SOLUTION FOUND: 31210853 @ 103.621
c NEW SOLUTION FOUND: 27555495 @ 635.807
c NEW SOLUTION FOUND: 24095146 @ 636.098
c NEW SOLUTION FOUND: 22009202 @ 638.558
c NEW SOLUTION FOUND: 19854510 @ 638.733
c NEW SOLUTION FOUND: 18210360 @ 639.125
c NEW SOLUTION FOUND: 16758410 @ 641.328
c NEW SOLUTION FOUND: 15854510 @ 641.355
c NEW SOLUTION FOUND: 14550610 @ 641.946
c NEW SOLUTION FOUND: 14098660 @ 645.785
#### 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.94 2/54 26386
Raw data (stat): 26386 (runsolver) R 26385 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833554892 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 15259 0 0 0 943 54 0 0 25 0 1 0 833554892 15486976 3060 4294967295 134512640 134714508 3221224592 3221223008 1074209027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3781 3060 1111 63 0 3718 0
vsize: 15124
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 31282 0 0 0 1892 106 0 0 25 0 1 0 833554892 17182720 3510 4294967295 134512640 134714508 3221224592 3221222872 1074138224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 3510 1111 63 0 4132 0
vsize: 16780
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 46810 0 0 0 2847 151 0 0 25 0 1 0 833554892 18419712 3821 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4497 3821 1111 63 0 4434 0
vsize: 17988
[startup+40.003 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 60432 0 0 0 3815 183 0 0 25 0 1 0 833554892 18563072 3856 4294967295 134512640 134714508 3221224592 3221222728 1077377504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4532 3856 1111 63 0 4469 0
vsize: 18128
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 85927 0 0 0 4760 238 0 0 25 0 1 0 833554892 19546112 4096 4294967295 134512640 134714508 3221224592 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4772 4096 1111 63 0 4709 0
vsize: 19088
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 117782 0 0 0 5683 314 0 0 25 0 1 0 833554892 21450752 4549 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4549 1111 63 0 5174 0
vsize: 20948
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 136778 0 0 0 6637 360 0 0 25 0 1 0 833554892 22462464 4675 4294967295 134512640 134714508 3221224592 3221221904 1076083344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5484 4675 1111 63 0 5421 0
vsize: 21936
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 163042 0 0 0 7577 421 0 0 25 0 1 0 833554892 23392256 4933 4294967295 134512640 134714508 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 4933 1111 63 0 5648 0
vsize: 22844
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 185766 0 0 0 8525 473 0 0 25 0 1 0 833554892 24473600 5200 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5200 1111 63 0 5912 0
vsize: 23900
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 208199 0 2 0 9462 522 0 0 25 0 1 0 833554892 25542656 5455 4294967295 134512640 134714508 3221224592 3221220864 1074805399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5455 1111 63 0 6173 0
vsize: 24944
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 242938 0 2 0 10383 602 0 0 25 0 1 0 833554892 26415104 5754 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6449 5754 1111 63 0 6386 0
vsize: 25796
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 245144 0 2 0 11378 606 0 0 25 0 1 0 833554892 31207424 6871 4294967295 134512640 134714508 3221224592 3221220752 1075095367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6871 1111 63 0 7556 0
vsize: 30476
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 246729 0 2 0 12374 611 0 0 25 0 1 0 833554892 27914240 6134 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6815 6134 1111 63 0 6752 0
vsize: 27260
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 261617 0 2 0 13339 646 0 0 25 0 1 0 833554892 30982144 6299 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6302 1111 63 0 7501 0
vsize: 30256
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 267264 0 2 0 14326 659 0 0 25 0 1 0 833554892 30605312 6194 4294967295 134512640 134714508 3221224592 3221220736 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6194 1111 63 0 7409 0
vsize: 29888
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 270277 0 2 0 15318 667 0 0 25 0 1 0 833554892 27488256 6030 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 6030 1111 63 0 6648 0
vsize: 26844
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 273348 0 2 0 16310 675 0 0 25 0 1 0 833554892 29134848 6115 4294967295 134512640 134714508 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7113 6115 1111 63 0 7050 0
vsize: 28452
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 283738 0 2 0 17282 703 0 0 25 0 1 0 833554892 27623424 6038 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6744 6038 1111 63 0 6681 0
vsize: 26976
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 286526 0 2 0 18277 709 0 0 25 0 1 0 833554892 29757440 6331 4294967295 134512640 134714508 3221224592 3221220752 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7265 6331 1111 63 0 7202 0
vsize: 29060
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 302292 0 2 0 19240 745 0 0 25 0 1 0 833554892 30593024 6139 4294967295 134512640 134714508 3221224592 3221220736 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6139 1111 63 0 7406 0
vsize: 29876
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 311537 0 2 0 20218 768 0 0 25 0 1 0 833554892 28262400 6208 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6900 6208 1111 63 0 6837 0
vsize: 27600
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 314248 0 2 0 21212 775 0 0 25 0 1 0 833554892 28205056 6205 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6886 6205 1111 63 0 6823 0
vsize: 27544
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 315290 0 2 0 22209 777 0 0 25 0 1 0 833554892 30965760 6663 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6663 1111 63 0 7497 0
vsize: 30240
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 324825 0 2 0 23184 802 0 0 25 0 1 0 833554892 27734016 6090 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6771 6090 1111 63 0 6708 0
vsize: 27084
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 336121 0 3 0 24154 832 0 0 25 0 1 0 833554892 30826496 6609 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 6609 1111 63 0 7463 0
vsize: 30104
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 342558 0 3 0 25138 847 0 0 25 0 1 0 833554892 27627520 6066 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 6066 1111 63 0 6682 0
vsize: 26980
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 359289 0 3 0 26097 889 0 0 25 0 1 0 833554892 27865088 6124 4294967295 134512640 134714508 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6124 1111 63 0 6740 0
vsize: 27212
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 382067 0 3 0 27044 942 0 0 25 0 1 0 833554892 28356608 6247 4294967295 134512640 134714508 3221224592 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6923 6247 1111 63 0 6860 0
vsize: 27692
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 413950 0 3 0 27973 1014 0 0 25 0 1 0 833554892 31293440 6508 4294967295 134512640 134714508 3221224592 3221222160 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7640 6508 1111 63 0 7577 0
vsize: 30560
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 450583 0 3 0 28885 1102 0 0 25 0 1 0 833554892 32366592 6797 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7902 6797 1111 63 0 7839 0
vsize: 31608
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 488689 0 3 0 29797 1190 0 0 25 0 1 0 833554892 33849344 7215 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8264 7217 1111 63 0 8201 0
vsize: 33056
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 507169 0 3 0 30755 1232 0 0 25 0 1 0 833554892 32333824 7216 4294967295 134512640 134714508 3221224592 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7894 7216 1111 63 0 7831 0
vsize: 31576
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 534393 0 3 0 31690 1297 0 0 25 0 1 0 833554892 33214464 7431 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8109 7431 1111 63 0 8046 0
vsize: 32436
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 560845 0 3 0 32626 1362 0 0 25 0 1 0 833554892 34320384 7697 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8379 7697 1111 63 0 8316 0
vsize: 33516
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 594535 0 3 0 33546 1441 0 0 25 0 1 0 833554892 36085760 8078 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8810 8078 1111 63 0 8747 0
vsize: 35240
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 601579 0 3 0 34528 1460 0 0 25 0 1 0 833554892 36134912 8117 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8822 8117 1111 63 0 8759 0
vsize: 35288
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 630480 0 3 0 35461 1527 0 0 25 0 1 0 833554892 38526976 8249 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9406 8257 1111 63 0 9343 0
vsize: 37624
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 653876 0 3 0 36406 1582 0 0 25 0 1 0 833554892 38051840 8576 4294967295 134512640 134714508 3221224592 3221223392 134622304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9290 8576 1111 63 0 9227 0
vsize: 37160
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 684625 0 3 0 37335 1654 0 0 25 0 1 0 833554892 38793216 8750 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9471 8750 1111 63 0 9408 0
vsize: 37884
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 718265 0 3 0 38254 1735 0 0 25 0 1 0 833554892 40349696 9123 4294967295 134512640 134714508 3221224592 3221222588 1074138448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9851 9123 1111 63 0 9788 0
vsize: 39404
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 728363 0 3 0 39229 1759 0 0 25 0 1 0 833554892 42385408 9585 4294967295 134512640 134714508 3221224592 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10348 9585 1111 63 0 10285 0
vsize: 41392
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 730256 0 3 0 40226 1764 0 0 25 0 1 0 833554892 47898624 10775 4294967295 134512640 134714508 3221224592 3221220752 1075091196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11694 10775 1111 63 0 11631 0
vsize: 46776
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 733700 0 3 0 41217 1772 0 0 25 0 1 0 833554892 42049536 9535 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10266 9535 1111 63 0 10203 0
vsize: 41064
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 748880 0 3 0 42182 1807 0 0 25 0 1 0 833554892 44765184 9848 4294967295 134512640 134714508 3221224592 3221220928 1075114084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 9848 1111 63 0 10866 0
vsize: 43716
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 758457 0 3 0 43158 1832 0 0 25 0 1 0 833554892 41771008 9437 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 9437 1111 63 0 10135 0
vsize: 40792
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 771503 0 3 0 44126 1864 0 0 25 0 1 0 833554892 42074112 9536 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10272 9536 1111 63 0 10209 0
vsize: 41088
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 788874 0 3 0 45083 1907 0 0 25 0 1 0 833554892 42782720 9683 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 9683 1111 63 0 10382 0
vsize: 41780
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 809602 0 3 0 46030 1960 0 0 25 0 1 0 833554892 44564480 9785 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10880 9789 1111 63 0 10817 0
vsize: 43520
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 822099 0 3 0 47000 1990 0 0 25 0 1 0 833554892 48275456 10888 4294967295 134512640 134714508 3221224592 3221220604 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11786 10888 1111 63 0 11723 0
vsize: 47144
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 823154 0 3 0 47998 1993 0 0 25 0 1 0 833554892 43134976 9800 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10531 9800 1111 63 0 10468 0
vsize: 42124
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 832589 0 3 0 48976 2014 0 0 25 0 1 0 833554892 45187072 9949 4294967295 134512640 134714508 3221224592 3221220556 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11032 9949 1111 63 0 10969 0
vsize: 44128
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 857382 0 3 0 49914 2077 0 0 25 0 1 0 833554892 43954176 10002 4294967295 134512640 134714508 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10731 10002 1111 63 0 10668 0
vsize: 42924
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 886348 0 3 0 50845 2147 0 0 25 0 1 0 833554892 44429312 10120 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10847 10120 1111 63 0 10784 0
vsize: 43388
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 915664 0 3 0 51775 2216 0 0 25 0 1 0 833554892 49815552 11178 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12162 11178 1111 63 0 12099 0
vsize: 48648
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 928534 0 3 0 52743 2249 0 0 25 0 1 0 833554892 47665152 10560 4294967295 134512640 134714508 3221224592 3221220864 1074961161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11637 10560 1111 63 0 11574 0
vsize: 46548
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 963740 0 3 0 53659 2333 0 0 25 0 1 0 833554892 46288896 10547 4294967295 134512640 134714508 3221224592 3221222560 1075961074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11301 10547 1111 63 0 11238 0
vsize: 45204
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 988539 0 3 0 54599 2393 0 0 25 0 1 0 833554892 48836608 10851 4294967295 134512640 134714508 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11923 10851 1111 63 0 11860 0
vsize: 47692
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1018677 0 3 0 55525 2468 0 0 25 0 1 0 833554892 49586176 10893 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12106 10893 1111 63 0 12043 0
vsize: 48424
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1047817 0 3 0 56456 2536 0 0 25 0 1 0 833554892 48861184 11192 4294967295 134512640 134714508 3221224592 3221222784 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11929 11192 1111 63 0 11866 0
vsize: 47716
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1048094 0 3 0 57455 2538 0 0 25 0 1 0 833554892 49627136 11388 4294967295 134512640 134714508 3221224592 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12116 11388 1111 63 0 12053 0
vsize: 48464
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1048969 0 3 0 58453 2540 0 0 25 0 1 0 833554892 52121600 11990 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12725 11990 1111 63 0 12662 0
vsize: 50900
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1050827 0 3 0 59449 2544 0 0 25 0 1 0 833554892 50991104 11474 4294967295 134512640 134714508 3221224592 3221222444 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12449 11485 1111 63 0 12386 0
vsize: 49796
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1056103 0 3 0 60435 2559 0 0 25 0 1 0 833554892 49086464 11256 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11984 11256 1111 63 0 11921 0
vsize: 47936
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1077219 0 3 0 61382 2612 0 0 25 0 1 0 833554892 52207616 11328 4294967295 134512640 134714508 3221224592 3221220976 1075133379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12746 11328 1111 63 0 12683 0
vsize: 50984
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1113819 0 3 0 62294 2699 0 0 25 0 1 0 833554892 51523584 11839 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12579 11839 1111 63 0 12516 0
vsize: 50316
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1144175 0 3 0 63220 2774 0 0 25 0 1 0 833554892 55885824 12275 4294967295 134512640 134714508 3221224592 3221220780 1076121394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13300 12272 1111 63 0 13237 0
vsize: 54576
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1177794 0 3 0 64139 2854 0 0 25 0 1 0 833554892 55414784 12781 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13529 12781 1111 63 0 13466 0
vsize: 54116
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1178636 0 3 0 65136 2857 0 0 25 0 1 0 833554892 57683968 13334 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14083 13334 1111 63 0 14020 0
vsize: 56332
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1181471 0 3 0 66130 2864 0 0 25 0 1 0 833554892 55771136 12877 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13616 12877 1111 63 0 13553 0
vsize: 54464
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1181471 0 3 0 67131 2864 0 0 25 0 1 0 833554892 55771136 12877 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13616 12877 1111 63 0 13553 0
vsize: 54464
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1184099 0 3 0 68123 2871 0 0 25 0 1 0 833554892 55930880 12916 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12916 1111 63 0 13592 0
vsize: 54620
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1203406 0 3 0 69075 2920 0 0 25 0 1 0 833554892 55803904 12790 4294967295 134512640 134714508 3221224592 3221222876 1074064116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13624 12790 1111 63 0 13561 0
vsize: 54496
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1234901 0 3 0 69998 2997 0 0 25 0 1 0 833554892 59392000 13070 4294967295 134512640 134714508 3221224592 3221220736 1074970114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14500 13070 1111 63 0 14437 0
vsize: 58000
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1258531 0 3 0 70939 3056 0 0 25 0 1 0 833554892 60125184 13223 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14679 13234 1111 63 0 14616 0
vsize: 58716
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1267632 0 3 0 71914 3081 0 0 25 0 1 0 833554892 59396096 13674 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14501 13674 1111 63 0 14438 0
vsize: 58004
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1269627 0 3 0 72910 3086 0 0 25 0 1 0 833554892 57647104 13258 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14074 13258 1111 63 0 14011 0
vsize: 56296
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1280819 0 3 0 73879 3116 0 0 25 0 1 0 833554892 57757696 13278 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14101 13278 1111 63 0 14038 0
vsize: 56404
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1298211 0 3 0 74837 3159 0 0 25 0 1 0 833554892 58929152 13559 4294967295 134512640 134714508 3221224592 3221222848 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 13559 1111 63 0 14324 0
vsize: 57548
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1331865 0 3 0 75753 3243 0 0 25 0 1 0 833554892 59600896 13690 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14551 13690 1111 63 0 14488 0
vsize: 58204
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1368487 0 3 0 76663 3333 0 0 25 0 1 0 833554892 60563456 13905 4294967295 134512640 134714508 3221224592 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14786 13905 1111 63 0 14723 0
vsize: 59144
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1388620 0 3 0 77614 3382 0 0 25 0 1 0 833554892 62509056 14375 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15261 14375 1111 63 0 15198 0
vsize: 61044
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1391664 0 3 0 78605 3392 0 0 25 0 1 0 833554892 62238720 14313 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15195 14313 1111 63 0 15132 0
vsize: 60780
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1391780 0 3 0 79604 3393 0 0 25 0 1 0 833554892 62742528 14429 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15318 14429 1111 63 0 15255 0
vsize: 61272
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1391863 0 3 0 80603 3394 0 0 25 0 1 0 833554892 63123456 14512 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15411 14512 1111 63 0 15348 0
vsize: 61644
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1394596 0 3 0 81597 3400 0 0 25 0 1 0 833554892 70037504 15899 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17099 15899 1111 63 0 17036 0
vsize: 68396
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1403109 0 3 0 82576 3422 0 0 25 0 1 0 833554892 65908736 15206 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16091 15206 1111 63 0 16028 0
vsize: 64364
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1403109 0 3 0 83576 3422 0 0 25 0 1 0 833554892 65908736 15206 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16091 15206 1111 63 0 16028 0
vsize: 64364
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1405084 0 3 0 84571 3426 0 0 25 0 1 0 833554892 72253440 16502 4294967295 134512640 134714508 3221224592 3221220820 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17640 16502 1111 63 0 17577 0
vsize: 70560
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1413222 0 3 0 85553 3445 0 0 25 0 1 0 833554892 66113536 15256 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16141 15256 1111 63 0 16078 0
vsize: 64564
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1413222 0 3 0 86553 3445 0 0 25 0 1 0 833554892 66113536 15256 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16141 15256 1111 63 0 16078 0
vsize: 64564
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1417629 0 3 0 87543 3456 0 0 25 0 1 0 833554892 65323008 14966 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15948 14966 1111 63 0 15885 0
vsize: 63792
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1417629 0 3 0 88543 3456 0 0 25 0 1 0 833554892 65323008 14966 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15948 14966 1111 63 0 15885 0
vsize: 63792
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1427560 0 3 0 89520 3479 0 0 25 0 1 0 833554892 62996480 14498 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15380 14498 1111 63 0 15317 0
vsize: 61520
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1435903 0 3 0 90497 3502 0 0 25 0 1 0 833554892 62943232 14485 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15367 14485 1111 63 0 15304 0
vsize: 61468
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1442068 0 3 0 91483 3516 0 0 25 0 1 0 833554892 64745472 14862 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15807 14862 1111 63 0 15744 0
vsize: 63228
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1443635 0 3 0 92479 3520 0 0 25 0 1 0 833554892 68452352 15480 4294967295 134512640 134714508 3221224592 3221220752 1075094874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16712 15480 1111 63 0 16649 0
vsize: 66848
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1452182 0 3 0 93458 3541 0 0 25 0 1 0 833554892 63864832 14710 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15592 14710 1111 63 0 15529 0
vsize: 62368
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1455128 0 3 0 94453 3547 0 0 25 0 1 0 833554892 68567040 15522 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16740 15522 1111 63 0 16677 0
vsize: 66960
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1460920 0 3 0 95440 3560 0 0 25 0 1 0 833554892 68624384 15527 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16754 15527 1111 63 0 16691 0
vsize: 67016
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26386
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1464527 0 3 0 96432 3568 0 0 25 0 1 0 833554892 62898176 14474 4294967295 134512640 134714508 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15356 14474 1111 63 0 15293 0
vsize: 61424
[startup+1010.05 s]
Raw data (loadavg): 1.07 0.99 0.95 3/57 26434
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1474967 0 3 0 97398 3601 0 0 25 0 1 0 833554892 63594496 14643 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15526 14643 1111 63 0 15463 0
vsize: 62104
[startup+1020.05 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1484647 0 3 0 98374 3625 0 0 25 0 1 0 833554892 68354048 14639 4294967295 134512640 134714508 3221224592 3221220588 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16688 14639 1111 63 0 16625 0
vsize: 66752
[startup+1030.05 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1491189 0 3 0 99357 3642 0 0 25 0 1 0 833554892 63606784 14645 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15529 14645 1111 63 0 15466 0
vsize: 62116
[startup+1040.05 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1491944 0 3 0 100355 3644 0 0 25 0 1 0 833554892 65769472 15164 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16057 15164 1111 63 0 15994 0
vsize: 64228
[startup+1050.05 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1495128 0 3 0 101347 3652 0 0 25 0 1 0 833554892 63508480 14611 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15505 14611 1111 63 0 15442 0
vsize: 62020
[startup+1060.05 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1497014 0 3 0 102343 3657 0 0 25 0 1 0 833554892 71823360 15777 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17535 15777 1111 63 0 17472 0
vsize: 70140
[startup+1070.05 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26439
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1499377 0 3 0 103337 3663 0 0 25 0 1 0 833554892 64684032 14830 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15792 14830 1111 63 0 15729 0
vsize: 63168
[startup+1080.05 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1507895 0 3 0 104318 3682 0 0 25 0 1 0 833554892 63397888 14596 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15478 14596 1111 63 0 15415 0
vsize: 61912
[startup+1090.05 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1517681 0 3 0 105294 3706 0 0 25 0 1 0 833554892 68939776 14776 4294967295 134512640 134714508 3221224592 3221221536 1074620241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 14776 1111 63 0 16768 0
vsize: 67324
[startup+1100.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527248 0 3 0 106269 3731 0 0 25 0 1 0 833554892 64040960 14724 4294967295 134512640 134714508 3221224592 3221222492 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 14724 1111 63 0 15572 0
vsize: 62540
[startup+1110.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527440 0 3 0 107267 3733 0 0 25 0 1 0 833554892 64385024 14837 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15719 14837 1111 63 0 15656 0
vsize: 62876
[startup+1120.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527521 0 3 0 108267 3734 0 0 25 0 1 0 833554892 64847872 14918 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15832 14918 1111 63 0 15769 0
vsize: 63328
[startup+1130.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527614 0 3 0 109266 3735 0 0 25 0 1 0 833554892 65228800 15011 4294967295 134512640 134714508 3221224592 3221222800 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15925 15011 1111 63 0 15862 0
vsize: 63700
[startup+1140.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527658 0 3 0 110266 3735 0 0 25 0 1 0 833554892 65409024 15055 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15969 15055 1111 63 0 15906 0
vsize: 63876
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527734 0 3 0 111265 3736 0 0 25 0 1 0 833554892 65720320 15131 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16045 15131 1111 63 0 15982 0
vsize: 64180
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527770 0 3 0 112265 3736 0 0 25 0 1 0 833554892 65867776 15167 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16081 15167 1111 63 0 16018 0
vsize: 64324
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527869 0 3 0 113265 3737 0 0 25 0 1 0 833554892 66183168 15266 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16158 15266 1111 63 0 16095 0
vsize: 64632
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527901 0 3 0 114265 3737 0 0 25 0 1 0 833554892 66314240 15298 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 15298 1111 63 0 16127 0
vsize: 64760
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527929 0 3 0 115264 3738 0 0 25 0 1 0 833554892 66424832 15326 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16217 15326 1111 63 0 16154 0
vsize: 64868
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) R 26385 24172 24171 0 -1 0 1527982 0 3 0 116264 3738 0 0 25 0 1 0 833554892 66732032 15379 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16292 15379 1111 63 0 16229 0
vsize: 65168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 26441
Raw data (stat): 26386 (bsolo_lpr_cuts) Z 26385 24172 24171 0 -1 1036 1527982 0 3 0 116265 3741 0 0 25 0 1 0 833554892 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.06
CPU user time (s): 1162.65
CPU system time (s): 37.4113
CPU usage (%): 99.9981
Max. virtual memory (Kb): 70560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####