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-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 41101

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 05:47:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29160 boxname=wulflinc1 idbench=944 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 29160
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        779312 kB
Buffers:         25664 kB
Cached:         205440 kB
SwapCached:       1184 kB
Active:          37988 kB
Inactive:       195352 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        779060 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16308 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:07:14 (client local time) WITH STATUS 10 IN 1175.36 SECONDS
stats: 29160 0 1175.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.13 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.032
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -6334 @ 0.97
c NEW SOLUTION FOUND: -6410 @ 0.983
c NEW SOLUTION FOUND: -6541 @ 0.991
c NEW SOLUTION FOUND: -6552 @ 0.997
c NEW SOLUTION FOUND: -6580 @ 22.196
c NEW SOLUTION FOUND: -6613 @ 27.391
c NEW SOLUTION FOUND: -6631 @ 28.214
c NEW SOLUTION FOUND: -6646 @ 28.508
c NEW SOLUTION FOUND: -6666 @ 121.26
c NEW SOLUTION FOUND: -6996 @ 166.228
c NEW SOLUTION FOUND: -7003 @ 166.944
c NEW SOLUTION FOUND: -7062 @ 167.479
c NEW SOLUTION FOUND: -7073 @ 171.145
c NEW SOLUTION FOUND: -7086 @ 171.637
c NEW SOLUTION FOUND: -7109 @ 177.602
c NEW SOLUTION FOUND: -7147 @ 177.625
c NEW SOLUTION FOUND: -7149 @ 184.135
c NEW SOLUTION FOUND: -7210 @ 189.706
c NEW SOLUTION FOUND: -7223 @ 199.103
c NEW SOLUTION FOUND: -7295 @ 224.632
c NEW SOLUTION FOUND: -7299 @ 1089.28
s SATISFIABLE
v -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 -Y27_bit0 Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c Exit Code: 10
c Total time: 1175.01 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.66 0.88 0.89 2/55 32236
Raw data (stat): 32236 (runsolver) R 32235 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851014515 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99997 s]
Raw data (loadavg): 0.72 0.88 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 7332 0 0 0 963 34 0 0 25 0 1 0 851014515 15781888 3115 4294967295 134512640 134716908 3221224560 3221220736 1075964117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 3115 1111 63 0 3790 0
vsize: 15412
[startup+20.0007 s]
Raw data (loadavg): 0.76 0.89 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 13768 0 0 0 1932 65 0 0 25 0 1 0 851014515 24838144 5333 4294967295 134512640 134716908 3221224560 3221221796 1074206252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6064 5333 1111 63 0 6001 0
vsize: 24256
[startup+30.0005 s]
Raw data (loadavg): 0.80 0.89 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 20740 0 0 0 2898 99 0 0 25 0 1 0 851014515 35651584 7826 4294967295 134512640 134716908 3221224560 3221220892 1074815600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8704 7826 1111 63 0 8641 0
vsize: 34816
[startup+40.0013 s]
Raw data (loadavg): 0.83 0.89 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 26867 0 0 0 3867 131 0 0 25 0 1 0 851014515 43741184 9861 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10679 9861 1111 63 0 10616 0
vsize: 42716
[startup+50.0021 s]
Raw data (loadavg): 0.85 0.90 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 33103 0 0 0 4834 164 0 0 25 0 1 0 851014515 54689792 12229 4294967295 134512640 134716908 3221224560 3221222208 1075817685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13352 12229 1111 63 0 13289 0
vsize: 53408
[startup+60.0019 s]
Raw data (loadavg): 0.87 0.90 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 38491 0 0 0 5807 191 0 0 25 0 1 0 851014515 61698048 13948 4294967295 134512640 134716908 3221224560 3221223052 1074039312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15063 13948 1111 63 0 15000 0
vsize: 60252
[startup+70.0027 s]
Raw data (loadavg): 0.89 0.90 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 43484 0 0 0 6782 217 0 0 25 0 1 0 851014515 67997696 15510 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16601 15510 1111 63 0 16538 0
vsize: 66404
[startup+80.004 s]
Raw data (loadavg): 0.91 0.91 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 48829 0 0 0 7755 244 0 0 25 0 1 0 851014515 75046912 17264 4294967295 134512640 134716908 3221224560 3221222360 1074206849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18322 17264 1111 63 0 18259 0
vsize: 73288
[startup+90.0043 s]
Raw data (loadavg): 0.92 0.91 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 53715 0 0 0 8728 271 0 0 25 0 1 0 851014515 81129472 18778 4294967295 134512640 134716908 3221224560 3221222288 1075828775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 18778 1111 63 0 19744 0
vsize: 79228
[startup+100.004 s]
Raw data (loadavg): 0.93 0.91 0.89 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 59427 0 0 0 9701 297 0 0 25 0 1 0 851014515 93450240 21101 4294967295 134512640 134716908 3221224560 3221223456 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22815 21101 1111 63 0 22752 0
vsize: 91260
[startup+110.004 s]
Raw data (loadavg): 0.94 0.91 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 65114 0 0 0 10671 328 0 0 25 0 1 0 851014515 101896192 23030 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24877 23030 1111 63 0 24814 0
vsize: 99508
[startup+120.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 70693 0 0 0 11642 357 0 0 25 0 1 0 851014515 109592576 24846 4294967295 134512640 134716908 3221224560 3221220832 1074961009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26756 24846 1111 63 0 26693 0
vsize: 107024
[startup+130.004 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 76032 0 0 0 12613 386 0 0 25 0 1 0 851014515 116760576 26593 4294967295 134512640 134716908 3221224560 3221222824 1074205872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28506 26593 1111 63 0 28443 0
vsize: 114024
[startup+140.006 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 81315 0 0 0 13586 413 0 0 25 0 1 0 851014515 123572224 28257 4294967295 134512640 134716908 3221224560 3221220896 1075114139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30169 28257 1111 63 0 30106 0
vsize: 120676
[startup+150.006 s]
Raw data (loadavg): 0.97 0.92 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 86087 0 0 0 14559 440 0 0 25 0 1 0 851014515 128987136 29662 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31491 29662 1111 63 0 31428 0
vsize: 125964
[startup+160.006 s]
Raw data (loadavg): 0.97 0.92 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 91344 0 0 0 15534 466 0 0 25 0 1 0 851014515 135200768 31252 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33008 31252 1111 63 0 32945 0
vsize: 132032
[startup+170.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 96248 0 0 0 16508 491 0 0 25 0 1 0 851014515 141778944 32852 4294967295 134512640 134716908 3221224560 3221221672 1077377784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34614 32852 1111 63 0 34551 0
vsize: 138456
[startup+180.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 102606 0 0 0 17477 523 0 0 25 0 1 0 851014515 150806528 35101 4294967295 134512640 134716908 3221224560 3221221136 1076042713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36818 35101 1111 63 0 36755 0
vsize: 147272
[startup+190.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 108240 0 0 0 18447 553 0 0 25 0 1 0 851014515 158089216 36948 4294967295 134512640 134716908 3221224560 3221220496 1074786323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38596 36948 1111 63 0 38533 0
vsize: 154384
[startup+200.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 114024 0 0 0 19418 583 0 0 25 0 1 0 851014515 165109760 38768 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40310 38768 1111 63 0 40247 0
vsize: 161240
[startup+210.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 121604 0 0 0 20388 613 0 0 25 0 1 0 851014515 184758272 41484 4294967295 134512640 134716908 3221224560 3221220944 1074972275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45107 41484 1111 63 0 45044 0
vsize: 180428
[startup+220.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 127187 0 0 0 21357 643 0 0 25 0 1 0 851014515 192466944 43267 4294967295 134512640 134716908 3221224560 3221220800 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46989 43267 1111 63 0 46926 0
vsize: 187956
[startup+230.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 132933 0 0 0 22329 671 0 0 25 0 1 0 851014515 200335360 45075 4294967295 134512640 134716908 3221224560 3221220652 1074878595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48910 45075 1111 63 0 48847 0
vsize: 195640
[startup+240.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 138544 0 0 0 23298 703 0 0 25 0 1 0 851014515 207253504 46861 4294967295 134512640 134716908 3221224560 3221221672 1077377909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50599 46861 1111 63 0 50536 0
vsize: 202396
[startup+250.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 144266 0 0 0 24271 730 0 0 25 0 1 0 851014515 214573056 48562 4294967295 134512640 134716908 3221224560 3221220580 1074860051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52386 48562 1111 63 0 52323 0
vsize: 209544
[startup+260.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 150928 0 0 0 25246 756 0 0 25 0 1 0 851014515 220393472 50027 4294967295 134512640 134716908 3221224560 3221222560 1074916681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53807 50027 1111 63 0 53744 0
vsize: 215228
[startup+270.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 158301 0 0 0 26217 784 0 0 25 0 1 0 851014515 227659776 51850 4294967295 134512640 134716908 3221224560 3221220788 1075115117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55581 51850 1111 63 0 55518 0
vsize: 222324
[startup+280.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 165614 0 0 0 27185 816 0 0 25 0 1 0 851014515 234827776 53652 4294967295 134512640 134716908 3221224560 3221222848 1074153680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57331 53652 1111 63 0 57268 0
vsize: 229324
[startup+290.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 172946 0 0 0 28152 850 0 0 25 0 1 0 851014515 241893376 55458 4294967295 134512640 134716908 3221224560 3221223152 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59056 55458 1111 63 0 58993 0
vsize: 236224
[startup+300.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 179286 0 0 0 29126 876 0 0 25 0 1 0 851014515 247889920 56913 4294967295 134512640 134716908 3221224560 3221220532 1074786376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60520 56913 1111 63 0 60457 0
vsize: 242080
[startup+310.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 186224 0 0 0 30097 906 0 0 25 0 1 0 851014515 254197760 58465 4294967295 134512640 134716908 3221224560 3221221984 1076061285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62060 58465 1111 63 0 61997 0
vsize: 248240
[startup+320.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 193191 0 0 0 31067 935 0 0 25 0 1 0 851014515 260030464 59915 4294967295 134512640 134716908 3221224560 3221221160 1075850825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63484 59915 1111 63 0 63421 0
vsize: 253936
[startup+330.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 199966 0 0 0 32041 961 0 0 25 0 1 0 851014515 266199040 61484 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64990 61484 1111 63 0 64927 0
vsize: 259960
[startup+340.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 206864 0 0 0 33011 992 0 0 25 0 1 0 851014515 272396288 63039 4294967295 134512640 134716908 3221224560 3221221980 1076065872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66503 63039 1111 63 0 66440 0
vsize: 266012
[startup+350.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 214070 0 0 0 33982 1021 0 0 25 0 1 0 851014515 279273472 64711 4294967295 134512640 134716908 3221224560 3221220892 1076111500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68127 64710 1111 63 0 68064 0
vsize: 272728
[startup+360.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 221276 0 0 0 34953 1050 0 0 25 0 1 0 851014515 285974528 66485 4294967295 134512640 134716908 3221224560 3221222288 1075828508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69818 66485 1111 63 0 69755 0
vsize: 279272
[startup+370.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 228166 0 0 0 35924 1079 0 0 25 0 1 0 851014515 292466688 68088 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71403 68088 1111 63 0 71340 0
vsize: 285612
[startup+380.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 234716 0 0 0 36895 1108 0 0 25 0 1 0 851014515 297910272 69469 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72732 69469 1111 63 0 72669 0
vsize: 290928
[startup+390.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 241503 0 0 0 37867 1137 0 0 25 0 1 0 851014515 302759936 70784 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73916 70784 1111 63 0 73853 0
vsize: 295664
[startup+400.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 248246 0 0 0 38838 1165 0 0 25 0 1 0 851014515 308523008 72179 4294967295 134512640 134716908 3221224560 3221222960 1074118879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75317 72177 1111 63 0 75254 0
vsize: 301292
[startup+410.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 253543 0 0 0 39815 1189 0 0 25 0 1 0 851014515 313282560 73382 4294967295 134512640 134716908 3221224560 3221223152 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76485 73382 1111 63 0 76422 0
vsize: 305940
[startup+420.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 259209 0 0 0 40795 1209 0 0 25 0 1 0 851014515 317276160 74445 4294967295 134512640 134716908 3221224560 3221223232 134603700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77460 74445 1111 63 0 77397 0
vsize: 309840
[startup+430.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 265937 0 0 0 41765 1239 0 0 25 0 1 0 851014515 322981888 75792 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78853 75793 1111 63 0 78790 0
vsize: 315412
[startup+440.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 277988 0 0 0 42729 1276 0 0 25 0 1 0 851014515 350121984 78608 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85479 78608 1111 63 0 85416 0
vsize: 341916
[startup+450.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 283776 0 0 0 43706 1299 0 0 25 0 1 0 851014515 355426304 79777 4294967295 134512640 134716908 3221224560 3221220508 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86774 79777 1111 63 0 86711 0
vsize: 347096
[startup+460.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 290496 0 0 0 44679 1325 0 0 25 0 1 0 851014515 362172416 81328 4294967295 134512640 134716908 3221224560 3221223156 1077374080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88421 81328 1111 63 0 88358 0
vsize: 353684
[startup+470.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 297340 0 0 0 45649 1356 0 0 25 0 1 0 851014515 369012736 82754 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90091 82755 1111 63 0 90028 0
vsize: 360364
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 303951 0 0 0 46622 1384 0 0 25 0 1 0 851014515 374792192 84186 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91537 84186 1111 63 0 91474 0
vsize: 366008
[startup+490.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 311023 0 0 0 47592 1414 0 0 25 0 1 0 851014515 382001152 85737 4294967295 134512640 134716908 3221224560 3221220832 1074806561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93235 85737 1111 63 0 93172 0
vsize: 373048
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 318106 0 0 0 48565 1441 0 0 25 0 1 0 851014515 387747840 87134 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94665 87134 1111 63 0 94602 0
vsize: 378660
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 324966 0 0 0 49534 1472 0 0 25 0 1 0 851014515 393093120 88492 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95970 88492 1111 63 0 95907 0
vsize: 383880
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 331407 0 0 0 50508 1498 0 0 25 0 1 0 851014515 398467072 89797 4294967295 134512640 134716908 3221224560 3221220892 1076111500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97254 89796 1111 63 0 97191 0
vsize: 389128
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 338014 0 0 0 51480 1526 0 0 25 0 1 0 851014515 404140032 91236 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98639 91235 1111 63 0 98576 0
vsize: 394668
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 344900 0 0 0 52451 1555 0 0 25 0 1 0 851014515 409759744 92568 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100092 92569 1111 63 0 100029 0
vsize: 400156
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 351948 0 0 0 53420 1586 0 0 25 0 1 0 851014515 416448512 94046 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101672 94046 1111 63 0 101609 0
vsize: 406688
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 360245 0 0 0 54390 1617 0 0 25 0 1 0 851014515 422166528 95467 4294967295 134512640 134716908 3221224560 3221220996 1075132805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103068 95467 1111 63 0 103005 0
vsize: 412272
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 369920 0 0 0 55355 1652 0 0 25 0 1 0 851014515 428650496 97052 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104684 97054 1111 63 0 104621 0
vsize: 418604
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 383077 0 0 0 56316 1691 0 0 25 0 1 0 851014515 434188288 98452 4294967295 134512640 134716908 3221224560 3221222288 1075828535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106003 98452 1111 63 0 105940 0
vsize: 424012
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 398554 0 0 0 57270 1737 0 0 25 0 1 0 851014515 440061952 99915 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107437 99915 1111 63 0 107374 0
vsize: 429748
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 413218 0 0 0 58230 1778 0 0 25 0 1 0 851014515 445091840 101296 4294967295 134512640 134716908 3221224560 3221222484 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108665 101296 1111 63 0 108602 0
vsize: 434660
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 428542 0 0 0 59186 1822 0 0 25 0 1 0 851014515 451014656 102728 4294967295 134512640 134716908 3221224560 3221220976 1075119482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110111 102728 1111 63 0 110048 0
vsize: 440444
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 443866 0 0 0 60141 1867 0 0 25 0 1 0 851014515 456777728 104227 4294967295 134512640 134716908 3221224560 3221220928 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111518 104227 1111 63 0 111455 0
vsize: 446072
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 458502 0 0 0 61098 1910 0 0 25 0 1 0 851014515 462868480 105640 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112972 105638 1111 63 0 112909 0
vsize: 452020
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 473687 0 0 0 62057 1951 0 0 25 0 1 0 851014515 468373504 107076 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114349 107076 1111 63 0 114286 0
vsize: 457396
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 488925 0 0 0 63011 1997 0 0 25 0 1 0 851014515 473927680 108517 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115705 108517 1111 63 0 115642 0
vsize: 462820
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 503465 0 0 0 63969 2040 0 0 25 0 1 0 851014515 479002624 109814 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116944 109814 1111 63 0 116881 0
vsize: 467776
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 513349 0 0 0 64939 2070 0 0 25 0 1 0 851014515 483180544 110761 4294967295 134512640 134716908 3221224560 3221223176 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117964 110761 1111 63 0 117901 0
vsize: 471856
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 525545 0 0 0 65904 2105 0 0 25 0 1 0 851014515 487337984 111891 4294967295 134512640 134716908 3221224560 3221223268 134592339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118979 111891 1111 63 0 118916 0
vsize: 475916
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 540492 0 0 0 66858 2151 0 0 25 0 1 0 851014515 493019136 113205 4294967295 134512640 134716908 3221224560 3221220768 1074815403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120366 113205 1111 63 0 120303 0
vsize: 481464
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 554545 0 0 0 67815 2195 0 0 25 0 1 0 851014515 497360896 114323 4294967295 134512640 134716908 3221224560 3221223116 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121426 114323 1111 63 0 121363 0
vsize: 485704
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 569184 0 0 0 68773 2236 0 0 25 0 1 0 851014515 502390784 115634 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122654 115634 1111 63 0 122591 0
vsize: 490616
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 584391 0 0 0 69728 2281 0 0 25 0 1 0 851014515 507871232 117025 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123992 117025 1111 63 0 123929 0
vsize: 495968
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 599016 0 0 0 70686 2323 0 0 25 0 1 0 851014515 513368064 118454 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125329 118452 1111 63 0 125266 0
vsize: 501336
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32236
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 614190 0 0 0 71644 2366 0 0 25 0 1 0 851014515 519024640 119885 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126681 119883 1111 63 0 126618 0
vsize: 506860
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 628857 0 0 0 72602 2408 0 0 25 0 1 0 851014515 523935744 121175 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127987 121178 1111 63 0 127924 0
vsize: 511656
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 643947 0 0 0 73557 2454 0 0 25 0 1 0 851014515 529420288 122597 4294967295 134512640 134716908 3221224560 3221223232 134603705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129253 122597 1111 63 0 129190 0
vsize: 517012
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 658412 0 0 0 74516 2495 0 0 25 0 1 0 851014515 534335488 123854 4294967295 134512640 134716908 3221224560 3221222304 1075640259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130453 123854 1111 63 0 130390 0
vsize: 521812
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 673467 0 0 0 75467 2544 0 0 25 0 1 0 851014515 540180480 125232 4294967295 134512640 134716908 3221224560 3221220788 1075114969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131880 125232 1111 63 0 131817 0
vsize: 527520
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 688369 0 0 0 76425 2586 0 0 25 0 1 0 851014515 545644544 126626 4294967295 134512640 134716908 3221224560 3221220508 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133214 126626 1111 63 0 133151 0
vsize: 532856
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32289
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 703198 0 0 0 77385 2626 0 0 25 0 1 0 851014515 552501248 128353 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134888 128353 1111 63 0 134825 0
vsize: 539552
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32291
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 717767 0 0 0 78341 2670 0 0 25 0 1 0 851014515 557109248 129529 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136013 129529 1111 63 0 135950 0
vsize: 544052
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 732948 0 0 0 79294 2717 0 0 25 0 1 0 851014515 563331072 131071 4294967295 134512640 134716908 3221224560 3221220704 1074969082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137532 131071 1111 63 0 137469 0
vsize: 550128
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 747568 0 0 0 80251 2760 0 0 25 0 1 0 851014515 568803328 132389 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138901 132392 1111 63 0 138838 0
vsize: 555472
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 762676 0 0 0 81210 2802 0 0 25 0 1 0 851014515 574664704 133917 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140332 133917 1111 63 0 140269 0
vsize: 561196
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 777202 0 0 0 82164 2848 0 0 25 0 1 0 851014515 579600384 135173 4294967295 134512640 134716908 3221224560 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141504 135173 1111 63 0 141441 0
vsize: 566016
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 792327 0 0 0 83115 2897 0 0 25 0 1 0 851014515 585101312 136597 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142847 136597 1111 63 0 142784 0
vsize: 571388
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 807490 0 0 0 84066 2947 0 0 25 0 1 0 851014515 590864384 138034 4294967295 134512640 134716908 3221224560 3221220832 1074961240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144254 138034 1111 63 0 144191 0
vsize: 577016
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 821710 0 0 0 85021 2992 0 0 25 0 1 0 851014515 596045824 139356 4294967295 134512640 134716908 3221224560 3221220572 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145519 139356 1111 63 0 145456 0
vsize: 582076
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 835793 0 0 0 85984 3029 0 0 25 0 1 0 851014515 600379392 140460 4294967295 134512640 134716908 3221224560 3221223408 134588477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146577 140460 1111 63 0 146514 0
vsize: 586308
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 850215 0 0 0 86943 3070 0 0 25 0 1 0 851014515 605360128 141699 4294967295 134512640 134716908 3221224560 3221223148 1073988384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147793 141699 1111 63 0 147730 0
vsize: 591172
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 865066 0 0 0 87901 3111 0 0 25 0 1 0 851014515 610463744 142942 4294967295 134512640 134716908 3221224560 3221220796 1075006896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149039 142942 1111 63 0 148976 0
vsize: 596156
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 879493 0 0 0 88858 3155 0 0 25 0 1 0 851014515 616017920 144255 4294967295 134512640 134716908 3221224560 3221221136 1076047522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150395 144255 1111 63 0 150332 0
vsize: 601580
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 894422 0 0 0 89809 3204 0 0 25 0 1 0 851014515 621191168 145579 4294967295 134512640 134716908 3221224560 3221223072 134539596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151658 145579 1111 63 0 151595 0
vsize: 606632
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 909283 0 0 0 90769 3244 0 0 25 0 1 0 851014515 626364416 146830 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152921 146835 1111 63 0 152858 0
vsize: 611684
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 923878 0 0 0 91729 3284 0 0 25 0 1 0 851014515 631296000 148118 4294967295 134512640 134716908 3221224560 3221220944 1076117214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154125 148118 1111 63 0 154062 0
vsize: 616500
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 938565 0 0 0 92685 3329 0 0 25 0 1 0 851014515 636133376 149419 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155339 149419 1111 63 0 155276 0
vsize: 621224
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 956862 0 0 0 93633 3381 0 0 25 0 1 0 851014515 641417216 150795 4294967295 134512640 134716908 3221224560 3221222288 1075829568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156593 150793 1111 63 0 156530 0
vsize: 626384
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 982356 0 0 0 94576 3438 0 0 25 0 1 0 851014515 688295936 154664 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168041 154664 1111 63 0 167978 0
vsize: 672164
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 996682 0 0 0 95539 3475 0 0 25 0 1 0 851014515 691740672 155551 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168882 155551 1111 63 0 168819 0
vsize: 675528
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1017161 0 0 0 96487 3528 0 0 25 0 1 0 851014515 699203584 157160 4294967295 134512640 134716908 3221224560 3221220704 1074968614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170704 157160 1111 63 0 170641 0
vsize: 682816
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1037152 0 0 0 97429 3586 0 0 25 0 1 0 851014515 705794048 158585 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172313 158590 1111 63 0 172250 0
vsize: 689252
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1056224 0 0 0 98378 3637 0 0 25 0 1 0 851014515 710557696 159910 4294967295 134512640 134716908 3221224560 3221222560 1074913451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173476 159910 1111 63 0 173413 0
vsize: 693904
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1075464 0 0 0 99325 3690 0 0 25 0 1 0 851014515 715898880 161144 4294967295 134512640 134716908 3221224560 3221220824 1074805923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174780 161144 1111 63 0 174717 0
vsize: 699120
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1095475 0 0 0 100274 3741 0 0 25 0 1 0 851014515 721661952 162469 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176187 162469 1111 63 0 176124 0
vsize: 704748
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1115345 0 0 0 101222 3794 0 0 25 0 1 0 851014515 731295744 164028 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178539 164028 1111 63 0 178476 0
vsize: 714156
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1135692 0 0 0 102168 3848 0 0 25 0 1 0 851014515 737480704 165429 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180049 165429 1111 63 0 179986 0
vsize: 720196
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32293
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1155394 0 0 0 103116 3900 0 0 25 0 1 0 851014515 742825984 166824 4294967295 134512640 134716908 3221224560 3221222560 1074916947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181354 166824 1111 63 0 181291 0
vsize: 725416
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1175358 0 0 0 104062 3954 0 0 25 0 1 0 851014515 749748224 168271 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182969 168264 1111 63 0 182906 0
vsize: 732176
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1195107 0 0 0 105008 4008 0 0 25 0 1 0 851014515 756400128 169806 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184668 169806 1111 63 0 184605 0
vsize: 738672
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1211843 0 0 0 105962 4054 0 0 25 0 1 0 851014515 762220544 171054 4294967295 134512640 134716908 3221224560 3221223432 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186089 171054 1111 63 0 186026 0
vsize: 744356
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1217316 0 0 0 106948 4069 0 0 25 0 1 0 851014515 763191296 171342 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186326 171342 1111 63 0 186263 0
vsize: 745304
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1237030 0 0 0 107895 4121 0 0 25 0 1 0 851014515 768753664 172762 4294967295 134512640 134716908 3221224560 3221222952 1074207649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187684 172762 1111 63 0 187621 0
vsize: 750736
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1256775 0 0 0 108842 4175 0 0 25 0 1 0 851014515 773980160 174126 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188996 174126 1111 63 0 188933 0
vsize: 755840
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1276163 0 0 0 109791 4225 0 0 25 0 1 0 851014515 779001856 175413 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190267 175416 1111 63 0 190204 0
vsize: 760744
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1295804 0 0 0 110733 4284 0 0 25 0 1 0 851014515 785129472 176935 4294967295 134512640 134716908 3221224560 3221220524 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191682 176935 1111 63 0 191619 0
vsize: 766728
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1314719 0 0 0 111678 4339 0 0 25 0 1 0 851014515 790409216 178286 4294967295 134512640 134716908 3221224560 3221220788 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192971 178286 1111 63 0 192908 0
vsize: 771884
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1334572 0 0 0 112624 4394 0 0 25 0 1 0 851014515 796495872 179620 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194382 179614 1111 63 0 194319 0
vsize: 777828
[startup+1175.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32295
Raw data (stat): 32236 (bsolo_lpr_cuts-) R 32235 8378 8377 0 -1 0 1334572 0 0 0 112624 4394 0 0 25 0 1 0 851014515 796495872 179620 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194382 179614 1111 63 0 194319 0
vsize: 0

Child status: 10
Real time (s): 1175.21
CPU time (s): 1175.36
CPU user time (s): 1130.82
CPU system time (s): 44.5362
CPU usage (%): 100.013
Max. virtual memory (Kb): 777828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7299
#### END VERIFIER DATA ####