PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.335948
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 28600

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 03:12:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12144 boxname=wulflinc18 idbench=935 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1d9168a9335e29df835d07b0bdf2adea  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-p0291.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-p0291.opb
IDLAUNCH: 12144
/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:        933484 kB
Buffers:         16080 kB
Cached:          56568 kB
SwapCached:        588 kB
Active:          26592 kB
Inactive:        51456 kB
HighTotal:      131008 kB
HighFree:        85456 kB
LowTotal:       903652 kB
LowFree:        848028 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:             612 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17440 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:32:23 (client local time) WITH STATUS 0 IN 1200.1 SECONDS
stats: 12144 7 1200.1 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.285 s
c Initial Lower Bound: 2452400
c Lower Bound Elapsed time: 0.0212222
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 171016198 @ 1.692
c NEW SOLUTION FOUND: 170939431 @ 1.737
c NEW SOLUTION FOUND: 170765406 @ 1.741
c NEW SOLUTION FOUND: 170313456 @ 1.757
c NEW SOLUTION FOUND: 169372048 @ 1.891
c NEW SOLUTION FOUND: 167190223 @ 2.336
c NEW SOLUTION FOUND: 166487481 @ 2.408
c NEW SOLUTION FOUND: 166313456 @ 2.481
c NEW SOLUTION FOUND: 165968413 @ 2.65
c NEW SOLUTION FOUND: 165516463 @ 2.659
c NEW SOLUTION FOUND: 165372048 @ 2.677
c NEW SOLUTION FOUND: 165096011 @ 2.8
c NEW SOLUTION FOUND: 164154603 @ 2.809
c NEW SOLUTION FOUND: 163586635 @ 2.868
c NEW SOLUTION FOUND: 162360660 @ 2.952
c NEW SOLUTION FOUND: 161657918 @ 2.957
c NEW SOLUTION FOUND: 160716510 @ 2.96
c NEW SOLUTION FOUND: 160264560 @ 3.018
c NEW SOLUTION FOUND: 160090535 @ 3.069
c NEW SOLUTION FOUND: 158986635 @ 3.258
c NEW SOLUTION FOUND: 158283893 @ 3.269
c NEW SOLUTION FOUND: 157831943 @ 3.35
c NEW SOLUTION FOUND: 157536442 @ 3.425
c NEW SOLUTION FOUND: 157084492 @ 3.433
c NEW SOLUTION FOUND: 153988392 @ 3.441
c NEW SOLUTION FOUND: 152059675 @ 3.553
c NEW SOLUTION FOUND: 151959275 @ 4.277
c NEW SOLUTION FOUND: 151785250 @ 4.286
c NEW SOLUTION FOUND: 151303690 @ 4.454
c NEW SOLUTION FOUND: 133426318 @ 4.606
c NEW SOLUTION FOUND: 133395448 @ 4.653
c NEW SOLUTION FOUND: 131648194 @ 4.69
c NEW SOLUTION FOUND: 127542704 @ 4.693
c NEW SOLUTION FOUND: 126601296 @ 4.965
c NEW SOLUTION FOUND: 125001636 @ 4.974
c NEW SOLUTION FOUND: 123895518 @ 4.978
c NEW SOLUTION FOUND: 122063742 @ 5.063
c NEW SOLUTION FOUND: 121318486 @ 5.082
c NEW SOLUTION FOUND: 120377078 @ 5.086
c NEW SOLUTION FOUND: 119674336 @ 5.858
c NEW SOLUTION FOUND: 119164007 @ 7.137
c NEW SOLUTION FOUND: 118461265 @ 7.146
c NEW SOLUTION FOUND: 118448361 @ 7.834
c NEW SOLUTION FOUND: 118438925 @ 9.798
c NEW SOLUTION FOUND: 117558782 @ 11.041
c NEW SOLUTION FOUND: 117212950 @ 11.321
c NEW SOLUTION FOUND: 117136442 @ 11.537
c NEW SOLUTION FOUND: 115433700 @ 15.937
c NEW SOLUTION FOUND: 114492292 @ 15.945
c NEW SOLUTION FOUND: 114184757 @ 47.126
c NEW SOLUTION FOUND: 113762417 @ 47.828
c NEW SOLUTION FOUND: 112762417 @ 51.165
c NEW SOLUTION FOUND: 112059675 @ 51.175
c NEW SOLUTION FOUND: 111168785 @ 52.422
c NEW SOLUTION FOUND: 110798395 @ 52.607
c NEW SOLUTION FOUND: 110572420 @ 52.629
c NEW SOLUTION FOUND: 109411225 @ 52.667
c NEW SOLUTION FOUND: 88848946 @ 52.841
c NEW SOLUTION FOUND: 85752846 @ 53.025
c NEW SOLUTION FOUND: 83076678 @ 53.029
c NEW SOLUTION FOUND: 76551103 @ 54.048
c NEW SOLUTION FOUND: 76074336 @ 54.091
c NEW SOLUTION FOUND: 72684492 @ 54.131
c NEW SOLUTION FOUND: 71684492 @ 57.789
c NEW SOLUTION FOUND: 70981750 @ 57.804
c NEW SOLUTION FOUND: 70040342 @ 58.235
c NEW SOLUTION FOUND: 69762417 @ 80.587
c NEW SOLUTION FOUND: 68762417 @ 84.362
c NEW SOLUTION FOUND: 68059675 @ 85.577
c NEW SOLUTION FOUND: 66362282 @ 87.059
c NEW SOLUTION FOUND: 62362282 @ 87.063
c NEW SOLUTION FOUND: 61659540 @ 87.073
c NEW SOLUTION FOUND: 59785250 @ 87.127
c NEW SOLUTION FOUND: 41131171 @ 89.791
c NEW SOLUTION FOUND: 39905196 @ 91.349
c NEW SOLUTION FOUND: 38231436 @ 91.362
c NEW SOLUTION FOUND: 35555268 @ 91.37
c NEW SOLUTION FOUND: 31584878 @ 91.383
c NEW SOLUTION FOUND: 31210853 @ 103.981
c NEW SOLUTION FOUND: 27555495 @ 643.846
c NEW SOLUTION FOUND: 24095146 @ 644.14
c NEW SOLUTION FOUND: 22009202 @ 646.627
c NEW SOLUTION FOUND: 19854510 @ 646.806
c NEW SOLUTION FOUND: 18210360 @ 647.201
c NEW SOLUTION FOUND: 16758410 @ 649.381
c NEW SOLUTION FOUND: 15854510 @ 649.408
c NEW SOLUTION FOUND: 14550610 @ 650.001
c NEW SOLUTION FOUND: 14098660 @ 653.842
#### 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.79 0.95 0.98 2/54 29164
Raw data (stat): 29164 (runsolver) R 29163 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835529480 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.0014 s]
Raw data (loadavg): 0.84 0.95 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 15087 0 3 0 935 49 0 0 25 0 1 0 835529480 15491072 3047 4294967295 134512640 134714508 3221224576 3221221728 1075969933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3782 3047 1111 63 0 3719 0
vsize: 15128
[startup+20.0019 s]
Raw data (loadavg): 0.86 0.95 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 31052 0 3 0 1885 99 0 0 25 0 1 0 835529480 17297408 3504 4294967295 134512640 134714508 3221224576 3221220688 1075895598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3504 1111 63 0 4160 0
vsize: 16892
[startup+30.0032 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 46807 0 3 0 2843 141 0 0 25 0 1 0 835529480 18419712 3821 4294967295 134512640 134714508 3221224576 3221223368 134543552 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.0032 s]
Raw data (loadavg): 0.90 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 59996 0 3 0 3811 173 0 0 25 0 1 0 835529480 19152896 3897 4294967295 134512640 134714508 3221224576 3221220700 1074878595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3897 1111 63 0 4613 0
vsize: 18704
[startup+50.0047 s]
Raw data (loadavg): 0.92 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 84629 0 3 0 4754 231 0 0 25 0 1 0 835529480 20135936 4122 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4916 4122 1111 63 0 4853 0
vsize: 19664
[startup+60.0051 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 117370 0 3 0 5676 308 0 0 25 0 1 0 835529480 21426176 4544 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5231 4544 1111 63 0 5168 0
vsize: 20924
[startup+70.006 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 136304 0 3 0 6629 355 0 0 25 0 1 0 835529480 22589440 4681 4294967295 134512640 134714508 3221224576 3221221684 1074818466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5515 4681 1111 63 0 5452 0
vsize: 22060
[startup+80.0065 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 162285 0 3 0 7572 413 0 0 25 0 1 0 835529480 23359488 4895 4294967295 134512640 134714508 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4895 1111 63 0 5640 0
vsize: 22812
[startup+90.0068 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 185592 0 3 0 8517 468 0 0 25 0 1 0 835529480 24522752 5213 4294967295 134512640 134714508 3221224576 3221220848 1074961225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5987 5213 1111 63 0 5924 0
vsize: 23948
[startup+100.007 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 207657 0 3 0 9468 517 0 0 25 0 1 0 835529480 25591808 5465 4294967295 134512640 134714508 3221224576 3221221152 1076047553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6248 5465 1111 63 0 6185 0
vsize: 24992
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 241201 0 3 0 10392 594 0 0 25 0 1 0 835529480 26316800 5739 4294967295 134512640 134714508 3221224576 3221223368 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5739 1111 63 0 6362 0
vsize: 25700
[startup+120.008 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 245112 0 3 0 11382 603 0 0 25 0 1 0 835529480 31207424 6840 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7619 6840 1111 63 0 7556 0
vsize: 30476
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 246444 0 3 0 12378 607 0 0 25 0 1 0 835529480 27176960 5950 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6635 5950 1111 63 0 6572 0
vsize: 26540
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 258422 0 3 0 13350 636 0 0 25 0 1 0 835529480 28200960 6202 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6885 6202 1111 63 0 6822 0
vsize: 27540
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 266567 0 3 0 14332 654 0 0 25 0 1 0 835529480 30593024 6527 4294967295 134512640 134714508 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7469 6527 1111 63 0 7406 0
vsize: 29876
[startup+160.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 269383 0 3 0 15324 662 0 0 25 0 1 0 835529480 30961664 6731 4294967295 134512640 134714508 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7559 6731 1111 63 0 7496 0
vsize: 30236
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 271676 0 3 0 16319 667 0 0 25 0 1 0 835529480 27377664 6003 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 6003 1111 63 0 6621 0
vsize: 26736
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 280516 0 3 0 17296 690 0 0 25 0 1 0 835529480 30011392 6311 4294967295 134512640 134714508 3221224576 3221220540 1074788206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7327 6311 1111 63 0 7264 0
vsize: 29308
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 284997 0 3 0 18285 701 0 0 25 0 1 0 835529480 30871552 6701 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7537 6701 1111 63 0 7474 0
vsize: 30148
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 296666 0 3 0 19257 729 0 0 25 0 1 0 835529480 27721728 6055 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6768 6055 1111 63 0 6705 0
vsize: 27072
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 310980 0 3 0 20220 767 0 0 25 0 1 0 835529480 27361280 5999 4294967295 134512640 134714508 3221224576 3221223300 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6680 5999 1111 63 0 6617 0
vsize: 26720
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 313119 0 3 0 21214 772 0 0 25 0 1 0 835529480 32022528 7047 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7818 7047 1111 63 0 7755 0
vsize: 31272
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 314247 0 3 0 22211 775 0 0 25 0 1 0 835529480 28205056 6205 4294967295 134512640 134714508 3221224576 3221223288 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6205 1111 63 0 6823 0
vsize: 27544
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 319621 0 3 0 23198 789 0 0 25 0 1 0 835529480 30617600 6153 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7475 6153 1111 63 0 7412 0
vsize: 29900
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 329898 0 3 0 24171 816 0 0 25 0 1 0 835529480 30597120 6093 4294967295 134512640 134714508 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7470 6093 1111 63 0 7407 0
vsize: 29880
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 338896 0 3 0 25148 839 0 0 25 0 1 0 835529480 30695424 6181 4294967295 134512640 134714508 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6182 1111 63 0 7431 0
vsize: 29976
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 352887 0 3 0 26113 874 0 0 25 0 1 0 835529480 28016640 6158 4294967295 134512640 134714508 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6840 6158 1111 63 0 6777 0
vsize: 27360
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 368398 0 3 0 27076 912 0 0 25 0 1 0 835529480 30035968 6290 4294967295 134512640 134714508 3221224576 3221220848 1074961143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7333 6290 1111 63 0 7270 0
vsize: 29332
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 404376 0 3 0 27996 992 0 0 25 0 1 0 835529480 29118464 6414 4294967295 134512640 134714508 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 6414 1111 63 0 7046 0
vsize: 28436
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 433949 0 3 0 28927 1060 0 0 25 0 1 0 835529480 31948800 6748 4294967295 134512640 134714508 3221224576 3221220784 1074815197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7800 6748 1111 63 0 7737 0
vsize: 31200
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 469401 0 3 0 29846 1142 0 0 25 0 1 0 835529480 32878592 7001 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8027 7001 1111 63 0 7964 0
vsize: 32108
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 497031 0 3 0 30784 1204 0 0 25 0 1 0 835529480 34291712 7358 4294967295 134512640 134714508 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8372 7358 1111 63 0 8309 0
vsize: 33488
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 519102 0 3 0 31734 1255 0 0 25 0 1 0 835529480 32739328 7315 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7993 7315 1111 63 0 7930 0
vsize: 31972
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 549530 0 3 0 32658 1330 0 0 25 0 1 0 835529480 35811328 7690 4294967295 134512640 134714508 3221224576 3221220740 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8743 7690 1111 63 0 8680 0
vsize: 34972
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 576117 0 3 0 33595 1394 0 0 25 0 1 0 835529480 36499456 7772 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 7773 1111 63 0 8848 0
vsize: 35644
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 596694 0 3 0 34544 1445 0 0 25 0 1 0 835529480 36134912 8117 4294967295 134512640 134714508 3221224576 3221222816 1074153760 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.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 613528 0 3 0 35502 1487 0 0 25 0 1 0 835529480 38260736 8179 4294967295 134512640 134714508 3221224576 3221222216 1075850454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9341 8179 1111 63 0 9278 0
vsize: 37364
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 642565 0 3 0 36437 1553 0 0 25 0 1 0 835529480 37101568 8344 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9058 8344 1111 63 0 8995 0
vsize: 36232
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 667589 0 3 0 37381 1608 0 0 25 0 1 0 835529480 38748160 8603 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9343 8601 1111 63 0 9280 0
vsize: 37840
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 700425 0 3 0 38303 1687 0 0 25 0 1 0 835529480 39469056 8903 4294967295 134512640 134714508 3221224576 3221223192 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 8903 1111 63 0 9573 0
vsize: 38544
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 728252 0 3 0 39238 1752 0 0 25 0 1 0 835529480 41799680 9474 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10205 9474 1111 63 0 10142 0
vsize: 40820
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 729042 0 3 0 40236 1754 0 0 25 0 1 0 835529480 44183552 10042 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 10042 1111 63 0 10724 0
vsize: 43148
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 731863 0 3 0 41228 1762 0 0 25 0 1 0 835529480 41836544 9483 4294967295 134512640 134714508 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10214 9483 1111 63 0 10151 0
vsize: 40856
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 739395 0 3 0 42210 1781 0 0 25 0 1 0 835529480 41779200 9469 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10200 9469 1111 63 0 10137 0
vsize: 40800
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 751332 0 3 0 43182 1809 0 0 25 0 1 0 835529480 41988096 9519 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10251 9519 1111 63 0 10188 0
vsize: 41004
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 767212 0 3 0 44141 1850 0 0 25 0 1 0 835529480 41971712 9492 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10247 9492 1111 63 0 10184 0
vsize: 40988
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 779215 0 3 0 45112 1879 0 0 25 0 1 0 835529480 43974656 9541 4294967295 134512640 134714508 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 9541 1111 63 0 10673 0
vsize: 42944
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 794827 0 3 0 46072 1919 0 0 25 0 1 0 835529480 44371968 9743 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10833 9743 1111 63 0 10770 0
vsize: 43332
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 820511 0 3 0 47010 1982 0 0 25 0 1 0 835529480 43048960 9761 4294967295 134512640 134714508 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10510 9761 1111 63 0 10447 0
vsize: 42040
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 823120 0 3 0 48003 1989 0 0 25 0 1 0 835529480 43585536 9911 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10641 9911 1111 63 0 10578 0
vsize: 42564
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 824625 0 3 0 48999 1993 0 0 25 0 1 0 835529480 43446272 9877 4294967295 134512640 134714508 3221224576 3221223456 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10607 9877 1111 63 0 10544 0
vsize: 42428
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 842423 0 3 0 49956 2036 0 0 25 0 1 0 835529480 43233280 9825 4294967295 134512640 134714508 3221224576 3221222492 1073972552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 9825 1111 63 0 10492 0
vsize: 42220
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 868119 0 3 0 50893 2099 0 0 25 0 1 0 835529480 43778048 9960 4294967295 134512640 134714508 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9960 1111 63 0 10625 0
vsize: 42752
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 900815 0 3 0 51815 2177 0 0 25 0 1 0 835529480 45047808 10271 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10998 10271 1111 63 0 10935 0
vsize: 43992
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 916829 0 3 0 52779 2214 0 0 25 0 1 0 835529480 45678592 10425 4294967295 134512640 134714508 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11152 10425 1111 63 0 11089 0
vsize: 44608
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 942121 0 3 0 53720 2273 0 0 25 0 1 0 835529480 45723648 10436 4294967295 134512640 134714508 3221224576 3221223248 134650224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11163 10436 1111 63 0 11100 0
vsize: 44652
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 972852 0 3 0 54644 2349 0 0 25 0 1 0 835529480 48381952 10727 4294967295 134512640 134714508 3221224576 3221220912 1075114287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11812 10727 1111 63 0 11749 0
vsize: 47248
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1000444 0 3 0 55580 2413 0 0 25 0 1 0 835529480 47013888 10732 4294967295 134512640 134714508 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11478 10732 1111 63 0 11415 0
vsize: 45912
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1029674 0 3 0 56512 2482 0 0 25 0 1 0 835529480 49856512 11026 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12172 11036 1111 63 0 12109 0
vsize: 48688
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1047965 0 3 0 57467 2527 0 0 25 0 1 0 835529480 49471488 11340 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12078 11340 1111 63 0 12015 0
vsize: 48312
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1048123 0 3 0 58466 2528 0 0 25 0 1 0 835529480 49827840 11417 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12165 11417 1111 63 0 12102 0
vsize: 48660
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1048969 0 3 0 59464 2530 0 0 25 0 1 0 835529480 52121600 11990 4294967295 134512640 134714508 3221224576 3221222576 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+630.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1052446 0 3 0 60456 2538 0 0 25 0 1 0 835529480 49115136 11263 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11991 11263 1111 63 0 11928 0
vsize: 47964
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1056424 0 3 0 61446 2548 0 0 25 0 1 0 835529480 48885760 11207 4294967295 134512640 134714508 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11935 11207 1111 63 0 11872 0
vsize: 47740
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1084793 0 3 0 62377 2618 0 0 25 0 1 0 835529480 49848320 11435 4294967295 134512640 134714508 3221224576 3221223300 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12170 11435 1111 63 0 12107 0
vsize: 48680
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1120278 0 3 0 63285 2709 0 0 25 0 1 0 835529480 52150272 11995 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12732 11995 1111 63 0 12669 0
vsize: 50928
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1152471 0 3 0 64207 2787 0 0 25 0 1 0 835529480 53346304 12273 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13368 12277 1111 63 0 13305 0
vsize: 52096
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1177814 0 3 0 65145 2850 0 0 25 0 1 0 835529480 55472128 12801 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13543 12801 1111 63 0 13480 0
vsize: 54172
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1178636 0 3 0 66142 2853 0 0 25 0 1 0 835529480 57683968 13334 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14083 13334 1111 63 0 14020 0
vsize: 56332
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1181471 0 3 0 67136 2859 0 0 25 0 1 0 835529480 55771136 12877 4294967295 134512640 134714508 3221224576 3221223300 134622811 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.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1181471 0 3 0 68136 2859 0 0 25 0 1 0 835529480 55771136 12877 4294967295 134512640 134714508 3221224576 3221223380 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+720.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1185435 0 3 0 69126 2869 0 0 25 0 1 0 835529480 55349248 12765 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13513 12765 1111 63 0 13450 0
vsize: 54052
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1214179 0 3 0 70058 2938 0 0 25 0 1 0 835529480 58826752 12874 4294967295 134512640 134714508 3221224576 3221220736 1075091291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 12874 1111 63 0 14299 0
vsize: 57448
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1241605 0 3 0 70991 3005 0 0 25 0 1 0 835529480 57126912 13115 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13947 13115 1111 63 0 13884 0
vsize: 55788
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1263456 0 3 0 71934 3062 0 0 25 0 1 0 835529480 57323520 13178 4294967295 134512640 134714508 3221224576 3221223136 134650027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13995 13178 1111 63 0 13932 0
vsize: 55980
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1268472 0 3 0 72921 3075 0 0 25 0 1 0 835529480 64221184 14199 4294967295 134512640 134714508 3221224576 3221220784 1074815234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15679 14199 1111 63 0 15616 0
vsize: 62716
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1269898 0 3 0 73917 3079 0 0 25 0 1 0 835529480 58548224 13473 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14294 13473 1111 63 0 14231 0
vsize: 57176
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1282233 0 3 0 74885 3111 0 0 25 0 1 0 835529480 58191872 13368 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14207 13368 1111 63 0 14144 0
vsize: 56828
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1299139 0 3 0 75845 3152 0 0 25 0 1 0 835529480 59023360 13582 4294967295 134512640 134714508 3221224576 3221223360 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13582 1111 63 0 14347 0
vsize: 57640
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1337709 0 3 0 76750 3247 0 0 25 0 1 0 835529480 59654144 13701 4294967295 134512640 134714508 3221224576 3221223380 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14564 13701 1111 63 0 14501 0
vsize: 58256
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1374905 0 3 0 77655 3342 0 0 25 0 1 0 835529480 63508480 14019 4294967295 134512640 134714508 3221224576 3221220848 1074805481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15505 14019 1111 63 0 15442 0
vsize: 62020
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1388969 0 3 0 78622 3375 0 0 25 0 1 0 835529480 64176128 14724 4294967295 134512640 134714508 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15668 14724 1111 63 0 15605 0
vsize: 62672
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1391663 0 3 0 79616 3382 0 0 25 0 1 0 835529480 62234624 14312 4294967295 134512640 134714508 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15194 14312 1111 63 0 15131 0
vsize: 60776
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1391780 0 3 0 80615 3383 0 0 25 0 1 0 835529480 62742528 14429 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15318 14429 1111 63 0 15255 0
vsize: 61272
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1391864 0 3 0 81614 3384 0 0 25 0 1 0 835529480 63127552 14513 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15412 14513 1111 63 0 15349 0
vsize: 61648
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1394766 0 3 0 82607 3391 0 0 25 0 1 0 835529480 70352896 16069 4294967295 134512640 134714508 3221224576 3221221232 1075967910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 16069 1111 63 0 17113 0
vsize: 68704
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1403109 0 3 0 83588 3410 0 0 25 0 1 0 835529480 65908736 15206 4294967295 134512640 134714508 3221224576 3221222576 1074918594 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.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1403109 0 3 0 84589 3410 0 0 25 0 1 0 835529480 65908736 15206 4294967295 134512640 134714508 3221224576 3221222576 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+890.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1405068 0 3 0 85584 3414 0 0 25 0 1 0 835529480 72253440 16486 4294967295 134512640 134714508 3221224576 3221220784 1074815241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17640 16486 1111 63 0 17577 0
vsize: 70560
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1413222 0 3 0 86565 3434 0 0 25 0 1 0 835529480 66113536 15256 4294967295 134512640 134714508 3221224576 3221222576 1074918597 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.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1413222 0 3 0 87565 3434 0 0 25 0 1 0 835529480 66113536 15256 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16141 15256 1111 63 0 16078 0
vsize: 64564
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1417629 0 3 0 88554 3445 0 0 25 0 1 0 835529480 65323008 14966 4294967295 134512640 134714508 3221224576 3221223288 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+930.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1417629 0 3 0 89554 3445 0 0 25 0 1 0 835529480 65323008 14966 4294967295 134512640 134714508 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15948 14966 1111 63 0 15885 0
vsize: 63792
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1425205 0 3 0 90535 3465 0 0 25 0 1 0 835529480 62996480 14498 4294967295 134512640 134714508 3221224576 3221222576 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+950.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1435888 0 3 0 91505 3495 0 0 25 0 1 0 835529480 62881792 14470 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15353 14471 1111 63 0 15290 0
vsize: 61408
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1438900 0 3 0 92498 3502 0 0 25 0 1 0 835529480 67043328 14668 4294967295 134512640 134714508 3221224576 3221222120 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16368 14671 1111 63 0 16305 0
vsize: 65472
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1443635 0 3 0 93488 3512 0 0 25 0 1 0 835529480 68452352 15480 4294967295 134512640 134714508 3221224576 3221221696 1074837183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16712 15480 1111 63 0 16649 0
vsize: 66848
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1449306 0 3 0 94476 3525 0 0 25 0 1 0 835529480 68509696 15452 4294967295 134512640 134714508 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16726 15452 1111 63 0 16663 0
vsize: 66904
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1455125 0 3 0 95460 3541 0 0 25 0 1 0 835529480 68567040 15519 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16740 15519 1111 63 0 16677 0
vsize: 66960
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1460908 0 3 0 96446 3555 0 0 25 0 1 0 835529480 70336512 15933 4294967295 134512640 134714508 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17172 15933 1111 63 0 17109 0
vsize: 68688
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1464446 0 3 0 97438 3563 0 0 25 0 1 0 835529480 63328256 14579 4294967295 134512640 134714508 3221224576 3221223380 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15461 14579 1111 63 0 15398 0
vsize: 61844
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1472832 0 3 0 98418 3583 0 0 25 0 1 0 835529480 67457024 15056 4294967295 134512640 134714508 3221224576 3221221640 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16469 15056 1111 63 0 16406 0
vsize: 65876
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1483155 0 3 0 99391 3610 0 0 25 0 1 0 835529480 62676992 14420 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15302 14420 1111 63 0 15239 0
vsize: 61208
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1491175 0 3 0 100370 3632 0 0 25 0 1 0 835529480 63557632 14631 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15517 14631 1111 63 0 15454 0
vsize: 62068
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1491944 0 3 0 101368 3634 0 0 25 0 1 0 835529480 65769472 15164 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16057 15164 1111 63 0 15994 0
vsize: 64228
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1495108 0 3 0 102358 3644 0 0 25 0 1 0 835529480 63455232 14591 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15492 14591 1111 63 0 15429 0
vsize: 61968
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1495919 0 3 0 103355 3647 0 0 25 0 1 0 835529480 65892352 15184 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16087 15184 1111 63 0 16024 0
vsize: 64348
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1499377 0 3 0 104347 3656 0 0 25 0 1 0 835529480 65564672 15045 4294967295 134512640 134714508 3221224576 3221223392 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16007 15045 1111 63 0 15944 0
vsize: 64028
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1507507 0 3 0 105328 3674 0 0 25 0 1 0 835529480 63586304 14600 4294967295 134512640 134714508 3221224576 3221222252 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15524 14600 1111 63 0 15461 0
vsize: 62096
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1515678 0 3 0 106310 3693 0 0 25 0 1 0 835529480 63959040 14723 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15615 14723 1111 63 0 15552 0
vsize: 62460
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527115 0 3 0 107282 3722 0 0 25 0 1 0 835529480 63377408 14591 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15473 14591 1111 63 0 15410 0
vsize: 61892
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527425 0 3 0 108280 3724 0 0 25 0 1 0 835529480 64323584 14822 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15704 14822 1111 63 0 15641 0
vsize: 62816
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527509 0 3 0 109279 3725 0 0 25 0 1 0 835529480 64798720 14906 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 14906 1111 63 0 15757 0
vsize: 63280
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527604 0 3 0 110278 3726 0 0 25 0 1 0 835529480 65187840 15001 4294967295 134512640 134714508 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15915 15001 1111 63 0 15852 0
vsize: 63660
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527650 0 3 0 111278 3727 0 0 25 0 1 0 835529480 65376256 15047 4294967295 134512640 134714508 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15961 15047 1111 63 0 15898 0
vsize: 63844
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527728 0 3 0 112278 3727 0 0 25 0 1 0 835529480 65695744 15125 4294967295 134512640 134714508 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16039 15125 1111 63 0 15976 0
vsize: 64156
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527764 0 3 0 113277 3728 0 0 25 0 1 0 835529480 65843200 15161 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16075 15161 1111 63 0 16012 0
vsize: 64300
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527865 0 3 0 114277 3728 0 0 25 0 1 0 835529480 66166784 15262 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16154 15262 1111 63 0 16091 0
vsize: 64616
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527896 0 3 0 115277 3729 0 0 25 0 1 0 835529480 66293760 15293 4294967295 134512640 134714508 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16185 15293 1111 63 0 16122 0
vsize: 64740
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) R 29163 24172 24171 0 -1 0 1527924 0 3 0 116276 3729 0 0 25 0 1 0 835529480 66404352 15321 4294967295 134512640 134714508 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16212 15321 1111 63 0 16149 0
vsize: 64848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 29164
Raw data (stat): 29164 (bsolo_lpr_cuts) Z 29163 24172 24171 0 -1 1036 1527924 0 3 0 116276 3732 0 0 25 0 1 0 835529480 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.09
CPU time (s): 1200.1
CPU user time (s): 1162.77
CPU system time (s): 37.3263
CPU usage (%): 100.001
Max. virtual memory (Kb): 70560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####