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/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUM	b6007187ad037f56a5e2b97a0b86cea8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 41603

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 16:47:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29659 boxname=wulflinc6 idbench=1443 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b6007187ad037f56a5e2b97a0b86cea8  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 29659
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        917084 kB
Buffers:          4880 kB
Cached:          92076 kB
SwapCached:        896 kB
Active:          25540 kB
Inactive:        73368 kB
HighTotal:      131008 kB
HighFree:        71064 kB
LowTotal:       903652 kB
LowFree:        846020 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            12920 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:07:06 (client local time) WITH STATUS 0 IN 1175.65 SECONDS
stats: 29659 7 1175.65 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 675 variables and 60 constraints.
c After prepocess the problem consists of 675 variables and 60 constraints.
c preprocess terminated 0.247 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.075
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.63 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 14813
Raw data (stat): 14813 (runsolver) R 14812 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911830319 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 5044 0 0 0 983 14 0 0 25 0 1 0 911830319 9146368 1543 4294967295 134512640 134716908 3221224560 3221222704 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1543 1111 63 0 2170 0
vsize: 8932
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 8713 0 0 0 1961 36 0 0 25 0 1 0 911830319 9641984 1664 4294967295 134512640 134716908 3221224560 3221222632 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2354 1664 1111 63 0 2291 0
vsize: 9416
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 13392 0 0 0 2944 54 0 0 25 0 1 0 911830319 10653696 1910 4294967295 134512640 134716908 3221224560 3221223256 134558568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2601 1910 1111 63 0 2538 0
vsize: 10404
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 18241 0 0 0 3927 72 0 0 25 0 1 0 911830319 11419648 2095 4294967295 134512640 134716908 3221224560 3221223024 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2788 2095 1111 63 0 2725 0
vsize: 11152
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 22534 0 0 0 4911 88 0 0 25 0 1 0 911830319 12115968 2252 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2252 1111 63 0 2895 0
vsize: 11832
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 27661 0 0 0 5895 104 0 0 25 0 1 0 911830319 12611584 2386 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3079 2386 1111 63 0 3016 0
vsize: 12316
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 33163 0 0 0 6879 120 0 0 25 0 1 0 911830319 13291520 2526 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3245 2526 1111 63 0 3182 0
vsize: 12980
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 41568 0 0 0 7857 142 0 0 25 0 1 0 911830319 13455360 2598 4294967295 134512640 134716908 3221224560 3221223008 1073990022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2598 1111 63 0 3222 0
vsize: 13140
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 47036 0 0 0 8842 158 0 0 25 0 1 0 911830319 14286848 2677 4294967295 134512640 134716908 3221224560 3221221180 1075850592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2677 1111 63 0 3425 0
vsize: 13952
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 53309 0 0 0 9825 176 0 0 25 0 1 0 911830319 14499840 2798 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2798 1111 63 0 3477 0
vsize: 14160
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 58280 0 0 0 10812 189 0 0 25 0 1 0 911830319 14176256 2775 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3461 2775 1111 63 0 3398 0
vsize: 13844
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 63093 0 0 0 11799 202 0 0 25 0 1 0 911830319 14745600 2851 4294967295 134512640 134716908 3221224560 3221220832 1074961490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3600 2851 1111 63 0 3537 0
vsize: 14400
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 67679 0 0 0 12786 216 0 0 25 0 1 0 911830319 14589952 2876 4294967295 134512640 134716908 3221224560 3221223280 134622931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3562 2876 1111 63 0 3499 0
vsize: 14248
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 71767 0 0 0 13776 226 0 0 25 0 1 0 911830319 14475264 2848 4294967295 134512640 134716908 3221224560 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2848 1111 63 0 3471 0
vsize: 14136
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 77770 0 0 0 14762 240 0 0 25 0 1 0 911830319 14708736 2905 4294967295 134512640 134716908 3221224560 3221222432 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2905 1111 63 0 3528 0
vsize: 14364
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 84185 0 0 0 15744 258 0 0 25 0 1 0 911830319 14917632 2956 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2956 1111 63 0 3579 0
vsize: 14568
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 92050 0 0 0 16724 279 0 0 25 0 1 0 911830319 15245312 3022 4294967295 134512640 134716908 3221224560 3221222560 1074918355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3722 3022 1111 63 0 3659 0
vsize: 14888
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 100581 0 0 0 17701 302 0 0 25 0 1 0 911830319 15941632 3095 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3095 1111 63 0 3829 0
vsize: 15568
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 111424 0 0 0 18672 331 0 0 25 0 1 0 911830319 15679488 3142 4294967295 134512640 134716908 3221224560 3221222912 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3828 3142 1111 63 0 3765 0
vsize: 15312
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 121173 0 0 0 19646 358 0 0 25 0 1 0 911830319 16084992 3241 4294967295 134512640 134716908 3221224560 3221222528 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3241 1111 63 0 3864 0
vsize: 15708
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 130845 0 0 0 20622 382 0 0 25 0 1 0 911830319 16334848 3302 4294967295 134512640 134716908 3221224560 3221222560 1074916809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3302 1111 63 0 3925 0
vsize: 15952
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 140161 0 0 0 21598 407 0 0 25 0 1 0 911830319 16990208 3381 4294967295 134512640 134716908 3221224560 3221220736 1075561476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 3381 1111 63 0 4085 0
vsize: 16592
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 150351 0 0 0 22571 434 0 0 25 0 1 0 911830319 16642048 3377 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 3377 1111 63 0 4000 0
vsize: 16252
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 160794 0 0 0 23540 465 0 0 25 0 1 0 911830319 16891904 3438 4294967295 134512640 134716908 3221224560 3221222480 1075799679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 3438 1111 63 0 4061 0
vsize: 16496
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 170101 0 0 0 24518 488 0 0 25 0 1 0 911830319 17604608 3531 4294967295 134512640 134716908 3221224560 3221220768 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 3531 1111 63 0 4235 0
vsize: 17192
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 179326 0 0 0 25493 513 0 0 25 0 1 0 911830319 17321984 3525 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4229 3525 1111 63 0 4166 0
vsize: 16916
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 188410 0 0 0 26469 537 0 0 25 0 1 0 911830319 18268160 3694 4294967295 134512640 134716908 3221224560 3221220528 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3694 1111 63 0 4397 0
vsize: 17840
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 196954 0 0 0 27446 561 0 0 25 0 1 0 911830319 17825792 3666 4294967295 134512640 134716908 3221224560 3221222288 1075828192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3666 1111 63 0 4289 0
vsize: 17408
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 205239 0 0 0 28425 582 0 0 25 0 1 0 911830319 18595840 3773 4294967295 134512640 134716908 3221224560 3221221112 1075240389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3773 1111 63 0 4477 0
vsize: 18160
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 212797 0 0 0 29403 604 0 0 25 0 1 0 911830319 18710528 3806 4294967295 134512640 134716908 3221224560 3221220720 1075095104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4568 3806 1111 63 0 4505 0
vsize: 18272
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 220889 0 0 0 30383 625 0 0 25 0 1 0 911830319 18321408 3786 4294967295 134512640 134716908 3221224560 3221222304 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3786 1111 63 0 4410 0
vsize: 17892
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 229042 0 0 0 31362 646 0 0 25 0 1 0 911830319 18468864 3823 4294967295 134512640 134716908 3221224560 3221222232 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3823 1111 63 0 4446 0
vsize: 18036
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 236586 0 0 0 32341 667 0 0 25 0 1 0 911830319 18513920 3834 4294967295 134512640 134716908 3221224560 3221222840 1074138290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3834 1111 63 0 4457 0
vsize: 18080
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 243843 0 0 0 33323 686 0 0 25 0 1 0 911830319 19103744 3881 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3892 1111 63 0 4601 0
vsize: 18656
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 250817 0 0 0 34306 703 0 0 25 0 1 0 911830319 19169280 3926 4294967295 134512640 134716908 3221224560 3221220564 1074875773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4680 3926 1111 63 0 4617 0
vsize: 18720
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 257966 0 0 0 35288 722 0 0 25 0 1 0 911830319 18989056 3939 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3941 1111 63 0 4573 0
vsize: 18544
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 263439 0 0 0 36274 736 0 0 25 0 1 0 911830319 18964480 3944 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3944 1111 63 0 4567 0
vsize: 18520
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 270996 0 0 0 37252 758 0 0 25 0 1 0 911830319 19197952 3987 4294967295 134512640 134716908 3221224560 3221222560 1074915798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 3987 1111 63 0 4624 0
vsize: 18748
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 278427 0 0 0 38233 777 0 0 25 0 1 0 911830319 19189760 3999 4294967295 134512640 134716908 3221224560 3221222608 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4685 3999 1111 63 0 4622 0
vsize: 18740
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 285672 0 0 0 39214 798 0 0 25 0 1 0 911830319 19271680 4019 4294967295 134512640 134716908 3221224560 3221222560 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4705 4019 1111 63 0 4642 0
vsize: 18820
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 293182 0 0 0 40193 818 0 0 25 0 1 0 911830319 19472384 4068 4294967295 134512640 134716908 3221224560 3221222288 1075828449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4754 4068 1111 63 0 4691 0
vsize: 19016
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 300298 0 0 0 41174 838 0 0 25 0 1 0 911830319 19603456 4100 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 4100 1111 63 0 4723 0
vsize: 19144
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 306141 0 0 0 42160 853 0 0 25 0 1 0 911830319 20279296 4195 4294967295 134512640 134716908 3221224560 3221220660 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4951 4195 1111 63 0 4888 0
vsize: 19804
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 311133 0 0 0 43147 866 0 0 25 0 1 0 911830319 20623360 4255 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5035 4255 1111 63 0 4972 0
vsize: 20140
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 317583 0 0 0 44130 884 0 0 25 0 1 0 911830319 19943424 4183 4294967295 134512640 134716908 3221224560 3221222512 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 4183 1111 63 0 4806 0
vsize: 19476
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 325396 0 0 0 45108 906 0 0 25 0 1 0 911830319 20119552 4224 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4912 4224 1111 63 0 4849 0
vsize: 19648
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 331854 0 0 0 46092 922 0 0 25 0 1 0 911830319 21016576 4336 4294967295 134512640 134716908 3221224560 3221220780 1076111307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5131 4336 1111 63 0 5068 0
vsize: 20524
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 340785 0 0 0 47067 947 0 0 25 0 1 0 911830319 20422656 4297 4294967295 134512640 134716908 3221224560 3221222776 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4986 4297 1111 63 0 4923 0
vsize: 19944
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 349761 0 0 0 48043 972 0 0 25 0 1 0 911830319 20832256 4368 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5198 4373 1111 63 0 5135 0
vsize: 20344
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 360256 0 0 0 49014 1001 0 0 25 0 1 0 911830319 21057536 4455 4294967295 134512640 134716908 3221224560 3221222384 1075823542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5141 4455 1111 63 0 5078 0
vsize: 20564
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 370664 0 0 0 49985 1030 0 0 25 0 1 0 911830319 21409792 4505 4294967295 134512640 134716908 3221224560 3221222384 1075823542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4505 1111 63 0 5164 0
vsize: 20908
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 379653 0 0 0 50960 1055 0 0 25 0 1 0 911830319 21639168 4597 4294967295 134512640 134716908 3221224560 3221222624 1074153524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4597 1111 63 0 5220 0
vsize: 21132
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 387943 0 0 0 51941 1075 0 0 25 0 1 0 911830319 21987328 4683 4294967295 134512640 134716908 3221224560 3221222560 1074918322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4683 1111 63 0 5305 0
vsize: 21472
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 395921 0 0 0 52919 1097 0 0 25 0 1 0 911830319 22511616 4811 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5496 4811 1111 63 0 5433 0
vsize: 21984
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 403298 0 0 0 53901 1116 0 0 25 0 1 0 911830319 23216128 4902 4294967295 134512640 134716908 3221224560 3221220780 1074878518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5668 4902 1111 63 0 5605 0
vsize: 22672
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 408732 0 0 0 54887 1130 0 0 25 0 1 0 911830319 22843392 4892 4294967295 134512640 134716908 3221224560 3221222308 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4892 1111 63 0 5514 0
vsize: 22308
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 415385 0 0 0 55869 1148 0 0 25 0 1 0 911830319 22896640 4900 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4900 1111 63 0 5527 0
vsize: 22360
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 421225 0 0 0 56853 1164 0 0 25 0 1 0 911830319 23859200 5058 4294967295 134512640 134716908 3221224560 3221220832 1074961382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5825 5058 1111 63 0 5762 0
vsize: 23300
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 426956 0 0 0 57840 1179 0 0 25 0 1 0 911830319 24051712 5187 4294967295 134512640 134716908 3221224560 3221223272 134543171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5872 5187 1111 63 0 5809 0
vsize: 23488
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 433306 0 0 0 58825 1193 0 0 25 0 1 0 911830319 24289280 5214 4294967295 134512640 134716908 3221224560 3221222208 1075817784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5930 5214 1111 63 0 5867 0
vsize: 23720
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 440610 0 0 0 59807 1211 0 0 25 0 1 0 911830319 24342528 5162 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5162 1111 63 0 5880 0
vsize: 23772
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 447355 0 0 0 60791 1228 0 0 25 0 1 0 911830319 25202688 5392 4294967295 134512640 134716908 3221224560 3221220768 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 5392 1111 63 0 6090 0
vsize: 24612
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 452281 0 0 0 61779 1240 0 0 25 0 1 0 911830319 24858624 5311 4294967295 134512640 134716908 3221224560 3221220864 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 5311 1111 63 0 6006 0
vsize: 24276
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 457618 0 0 0 62765 1255 0 0 25 0 1 0 911830319 24485888 5203 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5978 5203 1111 63 0 5915 0
vsize: 23912
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 463994 0 0 0 63748 1272 0 0 25 0 1 0 911830319 24031232 5182 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5867 5182 1111 63 0 5804 0
vsize: 23468
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 469064 0 0 0 64734 1286 0 0 25 0 1 0 911830319 24301568 5239 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5933 5239 1111 63 0 5870 0
vsize: 23732
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 476682 0 0 0 65713 1308 0 0 25 0 1 0 911830319 24244224 5234 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5919 5234 1111 63 0 5856 0
vsize: 23676
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 483755 0 0 0 66695 1326 0 0 25 0 1 0 911830319 24367104 5264 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 5264 1111 63 0 5886 0
vsize: 23796
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 489796 0 0 0 67678 1343 0 0 25 0 1 0 911830319 25112576 5348 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6131 5348 1111 63 0 6068 0
vsize: 24524
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 495795 0 0 0 68664 1358 0 0 25 0 1 0 911830319 24776704 5364 4294967295 134512640 134716908 3221224560 3221222836 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6049 5364 1111 63 0 5986 0
vsize: 24196
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 501860 0 0 0 69646 1376 0 0 25 0 1 0 911830319 24911872 5389 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6082 5389 1111 63 0 6019 0
vsize: 24328
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 507179 0 0 0 70633 1389 0 0 25 0 1 0 911830319 25800704 5502 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6299 5502 1111 63 0 6236 0
vsize: 25196
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 512826 0 0 0 71619 1404 0 0 25 0 1 0 911830319 25620480 5538 4294967295 134512640 134716908 3221224560 3221222560 1074918619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6255 5538 1111 63 0 6192 0
vsize: 25020
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 518363 0 0 0 72605 1419 0 0 25 0 1 0 911830319 25579520 5468 4294967295 134512640 134716908 3221224560 3221221632 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 5468 1111 63 0 6182 0
vsize: 24980
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14813
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 524563 0 0 0 73589 1435 0 0 25 0 1 0 911830319 25456640 5530 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5530 1111 63 0 6152 0
vsize: 24860
[startup+760.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 530164 0 0 0 74573 1451 0 0 25 0 1 0 911830319 26009600 5575 4294967295 134512640 134716908 3221224560 3221220720 1075091276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6350 5576 1111 63 0 6287 0
vsize: 25400
[startup+770.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 535448 0 0 0 75560 1464 0 0 25 0 1 0 911830319 26263552 5615 4294967295 134512640 134716908 3221224560 3221220832 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6412 5615 1111 63 0 6349 0
vsize: 25648
[startup+780.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 540714 0 0 0 76548 1477 0 0 25 0 1 0 911830319 25550848 5553 4294967295 134512640 134716908 3221224560 3221221904 1074839017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6238 5553 1111 63 0 6175 0
vsize: 24952
[startup+790.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 547177 0 0 0 77529 1496 0 0 25 0 1 0 911830319 25825280 5620 4294967295 134512640 134716908 3221224560 3221222912 1074115241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 5620 1111 63 0 6242 0
vsize: 25220
[startup+800.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 552400 0 0 0 78517 1508 0 0 25 0 1 0 911830319 26427392 5677 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5677 1111 63 0 6389 0
vsize: 25808
[startup+810.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 557031 0 0 0 79506 1520 0 0 25 0 1 0 911830319 25927680 5645 4294967295 134512640 134716908 3221224560 3221222172 1074057888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5645 1111 63 0 6267 0
vsize: 25320
[startup+820.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14866
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 561751 0 0 0 80494 1532 0 0 25 0 1 0 911830319 25927680 5645 4294967295 134512640 134716908 3221224560 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5645 1111 63 0 6267 0
vsize: 25320
[startup+830.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 566822 0 0 0 81481 1545 0 0 25 0 1 0 911830319 26865664 5831 4294967295 134512640 134716908 3221224560 3221221716 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5736 1111 63 0 6358 0
vsize: 26236
[startup+840.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 571632 0 0 0 82469 1558 0 0 25 0 1 0 911830319 25927680 5645 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5645 1111 63 0 6267 0
vsize: 25320
[startup+850.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 577992 0 0 0 83453 1575 0 0 25 0 1 0 911830319 26079232 5682 4294967295 134512640 134716908 3221224560 3221222816 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6367 5682 1111 63 0 6304 0
vsize: 25468
[startup+860.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 584168 0 0 0 84436 1591 0 0 25 0 1 0 911830319 27181056 5879 4294967295 134512640 134716908 3221224560 3221220832 1074961387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 5879 1111 63 0 6573 0
vsize: 26544
[startup+870.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 589659 0 0 0 85423 1605 0 0 25 0 1 0 911830319 26845184 5775 4294967295 134512640 134716908 3221224560 3221220832 1074961380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5775 1111 63 0 6491 0
vsize: 26216
[startup+880.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 594790 0 0 0 86408 1620 0 0 25 0 1 0 911830319 26402816 5761 4294967295 134512640 134716908 3221224560 3221222288 1075828192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6446 5761 1111 63 0 6383 0
vsize: 25784
[startup+890.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 601359 0 0 0 87392 1637 0 0 25 0 1 0 911830319 27131904 5814 4294967295 134512640 134716908 3221224560 3221220604 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6624 5814 1111 63 0 6561 0
vsize: 26496
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 606882 0 0 0 88379 1651 0 0 25 0 1 0 911830319 27123712 5847 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 5847 1111 63 0 6559 0
vsize: 26488
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 612796 0 0 0 89361 1668 0 0 25 0 1 0 911830319 27942912 5992 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 5992 1111 63 0 6759 0
vsize: 27288
[startup+920.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 617580 0 0 0 90349 1681 0 0 25 0 1 0 911830319 27230208 5920 4294967295 134512640 134716908 3221224560 3221222576 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 5920 1111 63 0 6585 0
vsize: 26592
[startup+930.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 622542 0 0 0 91336 1695 0 0 25 0 1 0 911830319 27086848 5894 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6613 5894 1111 63 0 6550 0
vsize: 26452
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 627954 0 0 0 92322 1708 0 0 25 0 1 0 911830319 27258880 5914 4294967295 134512640 134716908 3221224560 3221222520 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 5917 1111 63 0 6592 0
vsize: 26620
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 634686 0 0 0 93305 1726 0 0 25 0 1 0 911830319 27271168 5939 4294967295 134512640 134716908 3221224560 3221222560 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6658 5939 1111 63 0 6595 0
vsize: 26632
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 641274 0 0 0 94288 1744 0 0 25 0 1 0 911830319 28221440 6069 4294967295 134512640 134716908 3221224560 3221220944 1075133185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6890 6069 1111 63 0 6827 0
vsize: 27560
[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 646120 0 0 0 95275 1756 0 0 25 0 1 0 911830319 28639232 6196 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6992 6196 1111 63 0 6929 0
vsize: 27968
[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 651339 0 0 0 96263 1769 0 0 25 0 1 0 911830319 27406336 5972 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6691 5972 1111 63 0 6628 0
vsize: 26764
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 655979 0 0 0 97251 1781 0 0 25 0 1 0 911830319 28983296 6304 4294967295 134512640 134716908 3221224560 3221220528 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7076 6304 1111 63 0 7013 0
vsize: 28304
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 660654 0 0 0 98240 1793 0 0 25 0 1 0 911830319 28958720 6292 4294967295 134512640 134716908 3221224560 3221220412 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7070 6292 1111 63 0 7007 0
vsize: 28280
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 665525 0 0 0 99228 1805 0 0 25 0 1 0 911830319 28909568 6267 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7058 6267 1111 63 0 6995 0
vsize: 28232
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 669735 0 0 0 100216 1818 0 0 25 0 1 0 911830319 27611136 6022 4294967295 134512640 134716908 3221224560 3221221752 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6876 6027 1111 63 0 6813 0
vsize: 26964
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 675160 0 0 0 101202 1832 0 0 25 0 1 0 911830319 28958720 6272 4294967295 134512640 134716908 3221224560 3221220672 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7070 6272 1111 63 0 7007 0
vsize: 28280
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 678835 0 0 0 102191 1843 0 0 25 0 1 0 911830319 27684864 6040 4294967295 134512640 134716908 3221224560 3221222844 1074153363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 6040 1111 63 0 6696 0
vsize: 27036
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 683711 0 0 0 103180 1855 0 0 25 0 1 0 911830319 27996160 6116 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6116 1111 63 0 6772 0
vsize: 27340
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14868
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 689019 0 0 0 104167 1868 0 0 25 0 1 0 911830319 27680768 6039 4294967295 134512640 134716908 3221224560 3221222184 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6758 6039 1111 63 0 6695 0
vsize: 27032
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 694256 0 0 0 105154 1882 0 0 25 0 1 0 911830319 27746304 6055 4294967295 134512640 134716908 3221224560 3221223280 134622777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6774 6055 1111 63 0 6711 0
vsize: 27096
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 700084 0 0 0 106139 1897 0 0 25 0 1 0 911830319 27766784 6063 4294967295 134512640 134716908 3221224560 3221222472 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 6063 1111 63 0 6716 0
vsize: 27116
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 705542 0 0 0 107126 1910 0 0 25 0 1 0 911830319 28000256 6105 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6836 6105 1111 63 0 6773 0
vsize: 27344
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 711832 0 0 0 108111 1925 0 0 25 0 1 0 911830319 28524544 6127 4294967295 134512640 134716908 3221224560 3221221624 1075007310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6964 6127 1111 63 0 6901 0
vsize: 27856
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 718054 0 0 0 109097 1940 0 0 25 0 1 0 911830319 28647424 6195 4294967295 134512640 134716908 3221224560 3221220896 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6994 6195 1111 63 0 6931 0
vsize: 27976
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 723635 0 0 0 110082 1955 0 0 25 0 1 0 911830319 28164096 6164 4294967295 134512640 134716908 3221224560 3221223280 134622782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6876 6164 1111 63 0 6813 0
vsize: 27504
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 728840 0 0 0 111069 1969 0 0 25 0 1 0 911830319 28618752 6177 4294967295 134512640 134716908 3221224560 3221221136 1076049232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6987 6177 1111 63 0 6924 0
vsize: 27948
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 734173 0 0 0 112054 1984 0 0 25 0 1 0 911830319 28872704 6241 4294967295 134512640 134716908 3221224560 3221220832 1074961129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7049 6241 1111 63 0 6986 0
vsize: 28196
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 739054 0 0 0 113041 1997 0 0 25 0 1 0 911830319 28135424 6157 4294967295 134512640 134716908 3221224560 3221221672 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 6157 1111 63 0 6806 0
vsize: 27476
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 743663 0 0 0 114029 2009 0 0 25 0 1 0 911830319 29425664 6404 4294967295 134512640 134716908 3221224560 3221220816 1074803715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7184 6404 1111 63 0 7121 0
vsize: 28736
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 749251 0 0 0 115014 2025 0 0 25 0 1 0 911830319 28483584 6212 4294967295 134512640 134716908 3221224560 3221222416 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6212 1111 63 0 6891 0
vsize: 27816
[startup+1175.29 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14870
Raw data (stat): 14813 (bsolo_lpr_cuts-) R 14812 25568 25567 0 -1 0 749251 0 0 0 115014 2025 0 0 25 0 1 0 911830319 28483584 6212 4294967295 134512640 134716908 3221224560 3221222416 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6212 1111 63 0 6891 0
vsize: 0

Child status: 0
Real time (s): 1175.29
CPU time (s): 1175.65
CPU user time (s): 1155.32
CPU system time (s): 20.3319
CPU usage (%): 100.031
Max. virtual memory (Kb): 28736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####