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/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
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.04
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 41531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 14:56:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29593 boxname=wulflinc5 idbench=1377 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 29593
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        858024 kB
Buffers:         17416 kB
Cached:         138140 kB
SwapCached:        640 kB
Active:          22632 kB
Inactive:       134996 kB
HighTotal:      131008 kB
HighFree:        42504 kB
LowTotal:       903652 kB
LowFree:        815520 kB
SwapTotal:     2097136 kB
SwapFree:      2095484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13316 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:16:00 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 29593 7 1175.1 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.257 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.08 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.95 0.98 0.91 2/54 3216
Raw data (stat): 3216 (runsolver) R 3215 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911164531 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 5049 0 0 0 983 14 0 0 25 0 1 0 911164531 9146368 1543 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 1543 1111 63 0 2170 0
vsize: 8932
[startup+20.0001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 8766 0 0 0 1965 32 0 0 25 0 1 0 911164531 9641984 1664 4294967295 134512640 134716908 3221224560 3221222536 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2354 1664 1111 63 0 2291 0
vsize: 9416
[startup+30.0005 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 13514 0 0 0 2947 50 0 0 25 0 1 0 911164531 10645504 1910 4294967295 134512640 134716908 3221224560 3221221840 1074140023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1910 1111 63 0 2536 0
vsize: 10396
[startup+40.0003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 18546 0 0 0 3931 66 0 0 25 0 1 0 911164531 11579392 2138 4294967295 134512640 134716908 3221224560 3221223360 134622287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2827 2138 1111 63 0 2764 0
vsize: 11308
[startup+50.0011 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 22933 0 0 0 4917 81 0 0 25 0 1 0 911164531 12103680 2261 4294967295 134512640 134716908 3221224560 3221222960 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2261 1111 63 0 2892 0
vsize: 11820
[startup+60.0011 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 28021 0 0 0 5900 99 0 0 25 0 1 0 911164531 12636160 2393 4294967295 134512640 134716908 3221224560 3221222480 1075799689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2393 1111 63 0 3022 0
vsize: 12340
[startup+70.0005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 33636 0 0 0 6884 114 0 0 25 0 1 0 911164531 12967936 2450 4294967295 134512640 134716908 3221224560 3221222608 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3166 2450 1111 63 0 3103 0
vsize: 12664
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 42377 0 0 0 7860 138 0 0 25 0 1 0 911164531 13934592 2709 4294967295 134512640 134716908 3221224560 3221222560 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2709 1111 63 0 3339 0
vsize: 13608
[startup+90.0014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 48294 0 0 0 8846 153 0 0 25 0 1 0 911164531 14024704 2662 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2662 1111 63 0 3361 0
vsize: 13696
[startup+100.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 54242 0 0 0 9829 170 0 0 25 0 1 0 911164531 14655488 2836 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2836 1111 63 0 3515 0
vsize: 14312
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 59259 0 0 0 10817 182 0 0 25 0 1 0 911164531 14385152 2769 4294967295 134512640 134716908 3221224560 3221220720 1075090349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3512 2769 1111 63 0 3449 0
vsize: 14048
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 64177 0 0 0 11805 195 0 0 25 0 1 0 911164531 14778368 2845 4294967295 134512640 134716908 3221224560 3221220832 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2845 1111 63 0 3545 0
vsize: 14432
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 68415 0 0 0 12795 204 0 0 25 0 1 0 911164531 15233024 2947 4294967295 134512640 134716908 3221224560 3221220604 1074873336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 2947 1111 63 0 3656 0
vsize: 14876
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 73072 0 0 0 13784 216 0 0 25 0 1 0 911164531 15446016 3034 4294967295 134512640 134716908 3221224560 3221220832 1074960970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 3034 1111 63 0 3708 0
vsize: 15084
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 79510 0 0 0 14767 232 0 0 25 0 1 0 911164531 15396864 3006 4294967295 134512640 134716908 3221224560 3221220788 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3759 3006 1111 63 0 3696 0
vsize: 15036
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 85943 0 0 0 15750 250 0 0 25 0 1 0 911164531 14966784 2968 4294967295 134512640 134716908 3221224560 3221222488 1077377636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3654 2968 1111 63 0 3591 0
vsize: 14616
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 94787 0 0 0 16728 272 0 0 25 0 1 0 911164531 15749120 3079 4294967295 134512640 134716908 3221224560 3221220896 1075114279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3845 3079 1111 63 0 3782 0
vsize: 15380
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 104568 0 0 0 17704 296 0 0 25 0 1 0 911164531 15536128 3097 4294967295 134512640 134716908 3221224560 3221221680 1074866605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3793 3097 1111 63 0 3730 0
vsize: 15172
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 114721 0 0 0 18678 322 0 0 25 0 1 0 911164531 15749120 3159 4294967295 134512640 134716908 3221224560 3221222656 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3845 3159 1111 63 0 3782 0
vsize: 15380
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 124874 0 0 0 19651 350 0 0 25 0 1 0 911164531 16224256 3275 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3961 3275 1111 63 0 3898 0
vsize: 15844
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3216
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 134293 0 0 0 20627 374 0 0 25 0 1 0 911164531 16801792 3335 4294967295 134512640 134716908 3221224560 3221221152 1074886336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4102 3335 1111 63 0 4039 0
vsize: 16408
[startup+220.004 s]
Raw data (loadavg): 1.07 1.00 0.92 3/57 3251
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 143959 0 0 0 21601 400 0 0 25 0 1 0 911164531 16535552 3351 4294967295 134512640 134716908 3221224560 3221222912 1074142688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3351 1111 63 0 3974 0
vsize: 16148
[startup+230.004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 154968 0 0 0 22567 434 0 0 25 0 1 0 911164531 16678912 3381 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3381 1111 63 0 4009 0
vsize: 16288
[startup+240.005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 163855 0 0 0 23546 456 0 0 25 0 1 0 911164531 17362944 3483 4294967295 134512640 134716908 3221224560 3221220704 1074968670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3483 1111 63 0 4176 0
vsize: 16956
[startup+250.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 173473 0 0 0 24521 480 0 0 25 0 1 0 911164531 17166336 3505 4294967295 134512640 134716908 3221224560 3221222560 1074916773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3505 1111 63 0 4128 0
vsize: 16764
[startup+260.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 182822 0 0 0 25497 505 0 0 25 0 1 0 911164531 17760256 3578 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4336 3578 1111 63 0 4273 0
vsize: 17344
[startup+270.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 191696 0 0 0 26474 528 0 0 25 0 1 0 911164531 17780736 3655 4294967295 134512640 134716908 3221224560 3221222480 1075799632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3655 1111 63 0 4278 0
vsize: 17364
[startup+280.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 200316 0 0 0 27451 551 0 0 25 0 1 0 911164531 17883136 3677 4294967295 134512640 134716908 3221224560 3221222560 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 3677 1111 63 0 4303 0
vsize: 17464
[startup+290.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3269
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 207661 0 0 0 28430 572 0 0 25 0 1 0 911164531 18104320 3734 4294967295 134512640 134716908 3221224560 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3734 1111 63 0 4357 0
vsize: 17680
[startup+300.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 215860 0 0 0 29410 592 0 0 25 0 1 0 911164531 18669568 3807 4294967295 134512640 134716908 3221224560 3221220720 1074794669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3807 1111 63 0 4495 0
vsize: 18232
[startup+310.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 223784 0 0 0 30388 614 0 0 25 0 1 0 911164531 18743296 3821 4294967295 134512640 134716908 3221224560 3221220768 1076111687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3821 1111 63 0 4513 0
vsize: 18304
[startup+320.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 232039 0 0 0 31365 637 0 0 25 0 1 0 911164531 18468864 3823 4294967295 134512640 134716908 3221224560 3221222520 1074138162 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.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 239249 0 0 0 32347 656 0 0 25 0 1 0 911164531 18935808 3869 4294967295 134512640 134716908 3221224560 3221221728 1074820695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4623 3869 1111 63 0 4560 0
vsize: 18492
[startup+340.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 246751 0 0 0 33327 675 0 0 25 0 1 0 911164531 19251200 3939 4294967295 134512640 134716908 3221224560 3221220720 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3939 1111 63 0 4637 0
vsize: 18800
[startup+350.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 253353 0 0 0 34311 692 0 0 25 0 1 0 911164531 18841600 3914 4294967295 134512640 134716908 3221224560 3221222024 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3914 1111 63 0 4537 0
vsize: 18400
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 259958 0 0 0 35293 710 0 0 25 0 1 0 911164531 18890752 3926 4294967295 134512640 134716908 3221224560 3221222528 1074146142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3926 1111 63 0 4549 0
vsize: 18448
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 266233 0 0 0 36277 726 0 0 25 0 1 0 911164531 19001344 3953 4294967295 134512640 134716908 3221224560 3221222384 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 3953 1111 63 0 4576 0
vsize: 18556
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 273600 0 0 0 37258 746 0 0 25 0 1 0 911164531 19136512 3986 4294967295 134512640 134716908 3221224560 3221222568 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3986 1111 63 0 4609 0
vsize: 18688
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 280836 0 0 0 38237 767 0 0 25 0 1 0 911164531 19701760 4046 4294967295 134512640 134716908 3221224560 3221220604 1074873401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 4046 1111 63 0 4747 0
vsize: 19240
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 287944 0 0 0 39218 786 0 0 25 0 1 0 911164531 19378176 4044 4294967295 134512640 134716908 3221224560 3221223116 1073986656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 4043 1111 63 0 4666 0
vsize: 18924
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 295297 0 0 0 40199 805 0 0 25 0 1 0 911164531 19898368 4116 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 4116 1111 63 0 4795 0
vsize: 19432
[startup+420.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 303186 0 0 0 41179 825 0 0 25 0 1 0 911164531 20066304 4124 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4899 4135 1111 63 0 4836 0
vsize: 19596
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 307911 0 0 0 42167 838 0 0 25 0 1 0 911164531 20242432 4178 4294967295 134512640 134716908 3221224560 3221221024 1075602763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 4178 1111 63 0 4879 0
vsize: 19768
[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 313480 0 0 0 43150 855 0 0 25 0 1 0 911164531 19857408 4162 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4848 4162 1111 63 0 4785 0
vsize: 19392
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 320163 0 0 0 44133 872 0 0 25 0 1 0 911164531 20078592 4216 4294967295 134512640 134716908 3221224560 3221222020 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4216 1111 63 0 4839 0
vsize: 19608
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 327613 0 0 0 45114 891 0 0 25 0 1 0 911164531 20664320 4284 4294967295 134512640 134716908 3221224560 3221220832 1074961212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4284 1111 63 0 4982 0
vsize: 20180
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 335189 0 0 0 46094 912 0 0 25 0 1 0 911164531 20795392 4309 4294967295 134512640 134716908 3221224560 3221220656 1074879025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5077 4309 1111 63 0 5014 0
vsize: 20308
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 344008 0 0 0 47071 935 0 0 25 0 1 0 911164531 20582400 4321 4294967295 134512640 134716908 3221224560 3221223024 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4321 1111 63 0 4962 0
vsize: 20100
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 353898 0 0 0 48045 961 0 0 25 0 1 0 911164531 20959232 4416 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5117 4416 1111 63 0 5054 0
vsize: 20468
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 363937 0 0 0 49022 984 0 0 25 0 1 0 911164531 21057536 4455 4294967295 134512640 134716908 3221224560 3221222384 1075823510 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.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 374691 0 0 0 49995 1011 0 0 25 0 1 0 911164531 22155264 4659 4294967295 134512640 134716908 3221224560 3221220524 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5409 4659 1111 63 0 5346 0
vsize: 21636
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 382792 0 0 0 50972 1034 0 0 25 0 1 0 911164531 21831680 4644 4294967295 134512640 134716908 3221224560 3221222304 1075636586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4644 1111 63 0 5267 0
vsize: 21320
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 391318 0 0 0 51948 1058 0 0 25 0 1 0 911164531 22130688 4718 4294967295 134512640 134716908 3221224560 3221222984 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5403 4718 1111 63 0 5340 0
vsize: 21612
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 398962 0 0 0 52931 1076 0 0 25 0 1 0 911164531 22974464 4847 4294967295 134512640 134716908 3221224560 3221220572 1074788943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5609 4847 1111 63 0 5546 0
vsize: 22436
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 405454 0 0 0 53914 1093 0 0 25 0 1 0 911164531 23355392 4940 4294967295 134512640 134716908 3221224560 3221220704 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4940 1111 63 0 5639 0
vsize: 22808
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3271
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 411035 0 0 0 54901 1106 0 0 25 0 1 0 911164531 22896640 4903 4294967295 134512640 134716908 3221224560 3221223272 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4903 1111 63 0 5527 0
vsize: 22360
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 417667 0 0 0 55884 1124 0 0 25 0 1 0 911164531 23031808 4937 4294967295 134512640 134716908 3221224560 3221223356 134554978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5623 4937 1111 63 0 5560 0
vsize: 22492
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 424045 0 0 0 56868 1139 0 0 25 0 1 0 911164531 24072192 5112 4294967295 134512640 134716908 3221224560 3221220688 1075561100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5877 5112 1111 63 0 5814 0
vsize: 23508
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 429434 0 0 0 57855 1152 0 0 25 0 1 0 911164531 24231936 5231 4294967295 134512640 134716908 3221224560 3221222560 1074916669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5916 5231 1111 63 0 5853 0
vsize: 23664
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 437023 0 0 0 58837 1171 0 0 25 0 1 0 911164531 23814144 5129 4294967295 134512640 134716908 3221224560 3221222752 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5814 5129 1111 63 0 5751 0
vsize: 23256
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 443849 0 0 0 59819 1189 0 0 25 0 1 0 911164531 24354816 5166 4294967295 134512640 134716908 3221224560 3221220832 1074961169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5946 5166 1111 63 0 5883 0
vsize: 23784
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 449636 0 0 0 60804 1205 0 0 25 0 1 0 911164531 24932352 5335 4294967295 134512640 134716908 3221224560 3221220824 1076079125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 5335 1111 63 0 6024 0
vsize: 24348
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 454437 0 0 0 61792 1217 0 0 25 0 1 0 911164531 23965696 5159 4294967295 134512640 134716908 3221224560 3221222560 1074918162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5851 5159 1111 63 0 5788 0
vsize: 23404
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 460365 0 0 0 62778 1230 0 0 25 0 1 0 911164531 23994368 5173 4294967295 134512640 134716908 3221224560 3221223276 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 5173 1111 63 0 5795 0
vsize: 23432
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 466127 0 0 0 63765 1245 0 0 25 0 1 0 911164531 24326144 5251 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5939 5251 1111 63 0 5876 0
vsize: 23756
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 472055 0 0 0 64748 1262 0 0 25 0 1 0 911164531 24731648 5258 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6038 5258 1111 63 0 5975 0
vsize: 24152
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 480287 0 0 0 65725 1284 0 0 25 0 1 0 911164531 24297472 5247 4294967295 134512640 134716908 3221224560 3221222288 1075828640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5932 5247 1111 63 0 5869 0
vsize: 23728
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 486629 0 0 0 66707 1302 0 0 25 0 1 0 911164531 25378816 5425 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5425 1111 63 0 6133 0
vsize: 24784
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 492689 0 0 0 67690 1320 0 0 25 0 1 0 911164531 24707072 5347 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6032 5347 1111 63 0 5969 0
vsize: 24128
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 498355 0 0 0 68676 1334 0 0 25 0 1 0 911164531 25399296 5422 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6201 5422 1111 63 0 6138 0
vsize: 24804
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 504589 0 0 0 69659 1352 0 0 25 0 1 0 911164531 25890816 5552 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6321 5552 1111 63 0 6258 0
vsize: 25284
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 509885 0 0 0 70644 1366 0 0 25 0 1 0 911164531 26042368 5600 4294967295 134512640 134716908 3221224560 3221220736 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 5600 1111 63 0 6295 0
vsize: 25432
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 515474 0 0 0 71631 1379 0 0 25 0 1 0 911164531 26103808 5609 4294967295 134512640 134716908 3221224560 3221220788 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5609 1111 63 0 6310 0
vsize: 25492
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 521404 0 0 0 72616 1395 0 0 25 0 1 0 911164531 25833472 5523 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5523 1111 63 0 6244 0
vsize: 25228
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 527335 0 0 0 73601 1410 0 0 25 0 1 0 911164531 25456640 5530 4294967295 134512640 134716908 3221224560 3221222384 1075823337 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.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 532863 0 0 0 74586 1425 0 0 25 0 1 0 911164531 26058752 5584 4294967295 134512640 134716908 3221224560 3221220780 1075111812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6362 5584 1111 63 0 6299 0
vsize: 25448
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 537997 0 0 0 75574 1438 0 0 25 0 1 0 911164531 25661440 5580 4294967295 134512640 134716908 3221224560 3221223356 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6265 5580 1111 63 0 6202 0
vsize: 25060
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 544120 0 0 0 76560 1453 0 0 25 0 1 0 911164531 25628672 5572 4294967295 134512640 134716908 3221224560 3221222480 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5572 1111 63 0 6194 0
vsize: 25028
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 550125 0 0 0 77544 1469 0 0 25 0 1 0 911164531 26361856 5640 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5651 1111 63 0 6373 0
vsize: 25744
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 554776 0 0 0 78532 1481 0 0 25 0 1 0 911164531 25874432 5632 4294967295 134512640 134716908 3221224560 3221223280 134556640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 5632 1111 63 0 6254 0
vsize: 25268
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 559514 0 0 0 79519 1494 0 0 25 0 1 0 911164531 26996736 5848 4294967295 134512640 134716908 3221224560 3221221104 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5848 1111 63 0 6528 0
vsize: 26364
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 564375 0 0 0 80505 1509 0 0 25 0 1 0 911164531 26546176 5713 4294967295 134512640 134716908 3221224560 3221220788 1075114948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5713 1111 63 0 6418 0
vsize: 25924
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 569653 0 0 0 81493 1521 0 0 25 0 1 0 911164531 26886144 5806 4294967295 134512640 134716908 3221224560 3221220788 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6564 5806 1111 63 0 6501 0
vsize: 26256
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 575384 0 0 0 82479 1535 0 0 25 0 1 0 911164531 26800128 5744 4294967295 134512640 134716908 3221224560 3221220768 1075792790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6543 5744 1111 63 0 6480 0
vsize: 26172
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 581669 0 0 0 83462 1553 0 0 25 0 1 0 911164531 26116096 5691 4294967295 134512640 134716908 3221224560 3221222672 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6376 5691 1111 63 0 6313 0
vsize: 25504
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 586905 0 0 0 84447 1568 0 0 25 0 1 0 911164531 26251264 5710 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6409 5710 1111 63 0 6346 0
vsize: 25636
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 592090 0 0 0 85433 1582 0 0 25 0 1 0 911164531 27140096 5821 4294967295 134512640 134716908 3221224560 3221220704 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6626 5821 1111 63 0 6563 0
vsize: 26504
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 598389 0 0 0 86417 1598 0 0 25 0 1 0 911164531 27336704 5882 4294967295 134512640 134716908 3221224560 3221221052 1075169396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6674 5882 1111 63 0 6611 0
vsize: 26696
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 604821 0 0 0 87402 1614 0 0 25 0 1 0 911164531 27422720 5901 4294967295 134512640 134716908 3221224560 3221220944 1074971965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 5901 1111 63 0 6632 0
vsize: 26780
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 610415 0 0 0 88387 1628 0 0 25 0 1 0 911164531 27152384 5910 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6629 5910 1111 63 0 6566 0
vsize: 26516
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 615210 0 0 0 89375 1641 0 0 25 0 1 0 911164531 27738112 6008 4294967295 134512640 134716908 3221224560 3221222672 1074867296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6772 6008 1111 63 0 6709 0
vsize: 27088
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 620127 0 0 0 90364 1651 0 0 25 0 1 0 911164531 28512256 6148 4294967295 134512640 134716908 3221224560 3221220720 1075091375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 6148 1111 63 0 6898 0
vsize: 27844
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 625191 0 0 0 91350 1666 0 0 25 0 1 0 911164531 28073984 6038 4294967295 134512640 134716908 3221224560 3221220704 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6854 6038 1111 63 0 6791 0
vsize: 27416
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 631808 0 0 0 92332 1685 0 0 25 0 1 0 911164531 27824128 5946 4294967295 134512640 134716908 3221224560 3221220764 1075562967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6726 5943 1111 63 0 6663 0
vsize: 27172
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 637812 0 0 0 93316 1700 0 0 25 0 1 0 911164531 27271168 5939 4294967295 134512640 134716908 3221224560 3221222956 1077781665 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.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 643991 0 0 0 94301 1716 0 0 25 0 1 0 911164531 28798976 6272 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7031 6272 1111 63 0 6968 0
vsize: 28124
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 648797 0 0 0 95289 1728 0 0 25 0 1 0 911164531 27598848 6012 4294967295 134512640 134716908 3221224560 3221221680 1074865092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6738 6012 1111 63 0 6675 0
vsize: 26952
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 653959 0 0 0 96277 1740 0 0 25 0 1 0 911164531 27656192 6033 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6752 6033 1111 63 0 6689 0
vsize: 27008
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 658139 0 0 0 97266 1751 0 0 25 0 1 0 911164531 27611136 6022 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6741 6022 1111 63 0 6678 0
vsize: 26964
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 662409 0 0 0 98257 1761 0 0 25 0 1 0 911164531 27815936 6072 4294967295 134512640 134716908 3221224560 3221223272 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6072 1111 63 0 6728 0
vsize: 27164
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 667311 0 0 0 99245 1773 0 0 25 0 1 0 911164531 27611136 6022 4294967295 134512640 134716908 3221224560 3221221664 1074138827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6741 6022 1111 63 0 6678 0
vsize: 26964
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 672014 0 0 0 100232 1786 0 0 25 0 1 0 911164531 28413952 6096 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6937 6096 1111 63 0 6874 0
vsize: 27748
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 676575 0 0 0 101220 1798 0 0 25 0 1 0 911164531 28499968 6136 4294967295 134512640 134716908 3221224560 3221220664 1075663397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 6136 1111 63 0 6895 0
vsize: 27832
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 680944 0 0 0 102211 1807 0 0 25 0 1 0 911164531 28512256 6131 4294967295 134512640 134716908 3221224560 3221220788 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 6131 1111 63 0 6898 0
vsize: 27844
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 686279 0 0 0 103198 1821 0 0 25 0 1 0 911164531 28585984 6173 4294967295 134512640 134716908 3221224560 3221220704 1074970148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6979 6173 1111 63 0 6916 0
vsize: 27916
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 690901 0 0 0 104186 1832 0 0 25 0 1 0 911164531 27783168 6064 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6064 1111 63 0 6720 0
vsize: 27132
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 696534 0 0 0 105172 1847 0 0 25 0 1 0 911164531 27824128 6060 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6793 6060 1111 63 0 6730 0
vsize: 27172
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 702610 0 0 0 106157 1862 0 0 25 0 1 0 911164531 27860992 6088 4294967295 134512640 134716908 3221224560 3221223040 134652405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6802 6088 1111 63 0 6739 0
vsize: 27208
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 708133 0 0 0 107142 1878 0 0 25 0 1 0 911164531 28442624 6141 4294967295 134512640 134716908 3221224560 3221220704 1074969082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6944 6141 1111 63 0 6881 0
vsize: 27776
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 714362 0 0 0 108128 1891 0 0 25 0 1 0 911164531 28012544 6127 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6130 1111 63 0 6815 0
vsize: 27356
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 720301 0 0 0 109114 1906 0 0 25 0 1 0 911164531 28491776 6212 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6212 1111 63 0 6893 0
vsize: 27824
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 725791 0 0 0 110100 1920 0 0 25 0 1 0 911164531 28647424 6196 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6994 6196 1111 63 0 6931 0
vsize: 27976
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 731168 0 0 0 111085 1935 0 0 25 0 1 0 911164531 27996160 6123 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6123 1111 63 0 6772 0
vsize: 27340
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 736207 0 0 0 112073 1947 0 0 25 0 1 0 911164531 28041216 6134 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6134 1111 63 0 6783 0
vsize: 27384
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 741083 0 0 0 113061 1959 0 0 25 0 1 0 911164531 28094464 6147 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6859 6147 1111 63 0 6796 0
vsize: 27436
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 746374 0 0 0 114047 1973 0 0 25 0 1 0 911164531 28385280 6218 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6930 6218 1111 63 0 6867 0
vsize: 27720
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 751572 0 0 0 115034 1987 0 0 25 0 1 0 911164531 29351936 6375 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7166 6375 1111 63 0 7103 0
vsize: 28664
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 3273
Raw data (stat): 3216 (bsolo_lpr_cuts-) R 3215 7266 7265 0 -1 0 751572 0 0 0 115034 1987 0 0 25 0 1 0 911164531 29351936 6375 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7166 6375 1111 63 0 7103 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1155.16
CPU system time (s): 19.94
CPU usage (%): 100.015
Max. virtual memory (Kb): 28664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####