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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
MD5SUM	c822b1c022f6bb2b01940173213da6e2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
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	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.85756
Number of variables	2060
Total number of constraints	104
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	104
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 41399

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 11:24:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29457 boxname=wulflinc1 idbench=1241 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c822b1c022f6bb2b01940173213da6e2  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sc105.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sc105.opb
IDLAUNCH: 29457
/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:        601480 kB
Buffers:         25508 kB
Cached:         383396 kB
SwapCached:       1136 kB
Active:          26504 kB
Inactive:       384576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        601228 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16372 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:44:10 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29457 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2060 variables and 149 constraints.
c After prepocess the problem consists of 1726 variables and 191 constraints.
c preprocess terminated 0.92 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 0.221
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.12 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.52 0.76 0.83 2/55 5355
Raw data (stat): 5355 (runsolver) R 5354 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853036407 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.0011 s]
Raw data (loadavg): 0.59 0.76 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 6078 0 0 0 982 15 0 0 25 0 1 0 853036407 14807040 2852 4294967295 134512640 134716908 3221224560 3221222384 1075823585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2852 1111 63 0 3552 0
vsize: 14460
[startup+20.0019 s]
Raw data (loadavg): 0.65 0.77 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 10945 0 0 0 1969 28 0 0 25 0 1 0 853036407 15466496 3023 4294967295 134512640 134716908 3221224560 3221221104 1074260694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3776 3023 1111 63 0 3713 0
vsize: 15104
[startup+30.0017 s]
Raw data (loadavg): 0.71 0.78 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 17636 0 0 0 2953 45 0 0 25 0 1 0 853036407 15613952 3113 4294967295 134512640 134716908 3221224560 3221222584 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 3113 1111 63 0 3749 0
vsize: 15248
[startup+40.0015 s]
Raw data (loadavg): 0.75 0.79 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 24660 0 0 0 3934 64 0 0 25 0 1 0 853036407 16846848 3414 4294967295 134512640 134716908 3221224560 3221222768 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 3414 1111 63 0 4050 0
vsize: 16452
[startup+50.0023 s]
Raw data (loadavg): 0.79 0.79 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 29199 0 0 0 4922 76 0 0 25 0 1 0 853036407 17489920 3539 4294967295 134512640 134716908 3221224560 3221221840 1074140020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 3539 1111 63 0 4207 0
vsize: 17080
[startup+60.003 s]
Raw data (loadavg): 0.82 0.80 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 31613 0 0 0 5914 84 0 0 25 0 1 0 853036407 17489920 3571 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 3571 1111 63 0 4207 0
vsize: 17080
[startup+70.0058 s]
Raw data (loadavg): 0.85 0.80 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 36580 0 0 0 6901 97 0 0 25 0 1 0 853036407 19054592 3890 4294967295 134512640 134716908 3221224560 3221220928 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3890 1111 63 0 4589 0
vsize: 18608
[startup+80.0056 s]
Raw data (loadavg): 0.87 0.81 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 37301 0 0 0 7899 100 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221222288 1075828933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+90.0065 s]
Raw data (loadavg): 0.89 0.82 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 38842 0 0 0 8893 106 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221222280 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+100.006 s]
Raw data (loadavg): 0.91 0.82 0.84 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 40753 0 0 0 9887 112 0 0 25 0 1 0 853036407 18763776 3871 4294967295 134512640 134716908 3221224560 3221221616 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 3871 1111 63 0 4518 0
vsize: 18324
[startup+110.008 s]
Raw data (loadavg): 0.92 0.83 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 41440 0 0 0 10885 114 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221222480 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+120.009 s]
Raw data (loadavg): 0.93 0.83 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 41753 0 0 0 11882 118 0 0 25 0 1 0 853036407 18923520 3872 4294967295 134512640 134716908 3221224560 3221221540 1075964073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3872 1111 63 0 4557 0
vsize: 18480
[startup+130.009 s]
Raw data (loadavg): 0.94 0.84 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 42840 0 0 0 12878 122 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221222344 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+140.009 s]
Raw data (loadavg): 0.95 0.84 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 44853 0 0 0 13871 128 0 0 25 0 1 0 853036407 18759680 3880 4294967295 134512640 134716908 3221224560 3221221680 1074866257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3880 1111 63 0 4517 0
vsize: 18320
[startup+150.01 s]
Raw data (loadavg): 0.96 0.85 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 46783 0 0 0 14865 135 0 0 25 0 1 0 853036407 19013632 3890 4294967295 134512640 134716908 3221224560 3221221392 1075115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3890 1111 63 0 4579 0
vsize: 18568
[startup+160.011 s]
Raw data (loadavg): 0.96 0.85 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 48692 0 0 0 15859 141 0 0 25 0 1 0 853036407 18878464 3871 4294967295 134512640 134716908 3221224560 3221222288 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4609 3871 1111 63 0 4546 0
vsize: 18436
[startup+170.011 s]
Raw data (loadavg): 0.97 0.86 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 50627 0 0 0 16854 147 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221221944 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+180.011 s]
Raw data (loadavg): 0.97 0.86 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 52443 0 0 0 17848 153 0 0 25 0 1 0 853036407 19054592 3899 4294967295 134512640 134716908 3221224560 3221220720 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3899 1111 63 0 4589 0
vsize: 18608
[startup+190.012 s]
Raw data (loadavg): 0.98 0.86 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 54304 0 0 0 18840 160 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+200.012 s]
Raw data (loadavg): 0.98 0.87 0.85 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 55748 0 0 0 19835 166 0 0 25 0 1 0 853036407 18714624 3870 4294967295 134512640 134716908 3221224560 3221222560 1074916914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3870 1111 63 0 4506 0
vsize: 18276
[startup+210.013 s]
Raw data (loadavg): 0.98 0.87 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 59460 0 0 0 20823 178 0 0 25 0 1 0 853036407 19853312 4131 4294967295 134512640 134716908 3221224560 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4847 4131 1111 63 0 4784 0
vsize: 19388
[startup+220.014 s]
Raw data (loadavg): 0.98 0.88 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 64512 0 0 0 21809 192 0 0 25 0 1 0 853036407 20766720 4371 4294967295 134512640 134716908 3221224560 3221221856 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4371 1111 63 0 5007 0
vsize: 20280
[startup+230.013 s]
Raw data (loadavg): 0.99 0.88 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 68850 0 0 0 22797 205 0 0 25 0 1 0 853036407 20930560 4372 4294967295 134512640 134716908 3221224560 3221222288 1075828218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4372 1111 63 0 5047 0
vsize: 20440
[startup+240.013 s]
Raw data (loadavg): 0.99 0.88 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 76559 0 0 0 23778 224 0 0 25 0 1 0 853036407 21106688 4456 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5153 4456 1111 63 0 5090 0
vsize: 20612
[startup+250.014 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 81139 0 0 0 24765 237 0 0 25 0 1 0 853036407 21561344 4535 4294967295 134512640 134716908 3221224560 3221221480 1077378379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4535 1111 63 0 5201 0
vsize: 21056
[startup+260.015 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 84841 0 0 0 25754 248 0 0 25 0 1 0 853036407 21786624 4622 4294967295 134512640 134716908 3221224560 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5319 4622 1111 63 0 5256 0
vsize: 21276
[startup+270.015 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 88435 0 0 0 26744 258 0 0 25 0 1 0 853036407 22036480 4679 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5380 4679 1111 63 0 5317 0
vsize: 21520
[startup+280.014 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 92151 0 0 0 27733 270 0 0 25 0 1 0 853036407 22474752 4720 4294967295 134512640 134716908 3221224560 3221221620 1074617705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4720 1111 63 0 5424 0
vsize: 21948
[startup+290.015 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 95879 0 0 0 28720 282 0 0 25 0 1 0 853036407 22740992 4780 4294967295 134512640 134716908 3221224560 3221221136 1076049404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5552 4780 1111 63 0 5489 0
vsize: 22208
[startup+300.015 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 99330 0 0 0 29709 294 0 0 25 0 1 0 853036407 22597632 4822 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5517 4822 1111 63 0 5454 0
vsize: 22068
[startup+310.016 s]
Raw data (loadavg): 0.99 0.90 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 103005 0 0 0 30697 306 0 0 25 0 1 0 853036407 22917120 4900 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5595 4900 1111 63 0 5532 0
vsize: 22380
[startup+320.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 105719 0 0 0 31687 316 0 0 25 0 1 0 853036407 22982656 4916 4294967295 134512640 134716908 3221224560 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 4916 1111 63 0 5548 0
vsize: 22444
[startup+330.016 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 109615 0 0 0 32674 329 0 0 25 0 1 0 853036407 23465984 4962 4294967295 134512640 134716908 3221224560 3221220632 1074950227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5729 4962 1111 63 0 5666 0
vsize: 22916
[startup+340.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 113280 0 0 0 33663 340 0 0 25 0 1 0 853036407 23236608 4978 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5673 4978 1111 63 0 5610 0
vsize: 22692
[startup+350.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 116978 0 0 0 34653 350 0 0 25 0 1 0 853036407 23633920 5070 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 5070 1111 63 0 5707 0
vsize: 23080
[startup+360.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 119519 0 0 0 35646 357 0 0 25 0 1 0 853036407 23658496 5081 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5776 5081 1111 63 0 5713 0
vsize: 23104
[startup+370.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 121867 0 0 0 36639 365 0 0 25 0 1 0 853036407 23781376 5111 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5806 5111 1111 63 0 5743 0
vsize: 23224
[startup+380.017 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 124563 0 0 0 37630 373 0 0 25 0 1 0 853036407 24158208 5203 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5898 5203 1111 63 0 5835 0
vsize: 23592
[startup+390.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 127477 0 0 0 38624 380 0 0 25 0 1 0 853036407 24137728 5198 4294967295 134512640 134716908 3221224560 3221222288 1075635482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5893 5198 1111 63 0 5830 0
vsize: 23572
[startup+400.019 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 129158 0 0 0 39619 385 0 0 25 0 1 0 853036407 24555520 5238 4294967295 134512640 134716908 3221224560 3221220688 1075112091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5238 1111 63 0 5932 0
vsize: 23980
[startup+410.02 s]
Raw data (loadavg): 0.99 0.93 0.87 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 131575 0 0 0 40612 392 0 0 25 0 1 0 853036407 24453120 5201 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5970 5201 1111 63 0 5907 0
vsize: 23880
[startup+420.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 132779 0 0 0 41606 398 0 0 25 0 1 0 853036407 24064000 5180 4294967295 134512640 134716908 3221224560 3221223188 134651106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5180 1111 63 0 5812 0
vsize: 23500
[startup+430.02 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 134956 0 0 0 42599 405 0 0 25 0 1 0 853036407 24064000 5180 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5180 1111 63 0 5812 0
vsize: 23500
[startup+440.02 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 137761 0 0 0 43590 414 0 0 25 0 1 0 853036407 24064000 5180 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5180 1111 63 0 5812 0
vsize: 23500
[startup+450.02 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 139488 0 0 0 44585 420 0 0 25 0 1 0 853036407 24064000 5180 4294967295 134512640 134716908 3221224560 3221222560 1074918664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5180 1111 63 0 5812 0
vsize: 23500
[startup+460.021 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 140766 0 0 0 45580 425 0 0 25 0 1 0 853036407 24084480 5185 4294967295 134512640 134716908 3221224560 3221222576 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5880 5185 1111 63 0 5817 0
vsize: 23520
[startup+470.021 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 142417 0 0 0 46575 430 0 0 25 0 1 0 853036407 24064000 5180 4294967295 134512640 134716908 3221224560 3221222560 1074918347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5180 1111 63 0 5812 0
vsize: 23500
[startup+480.021 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 143822 0 0 0 47570 435 0 0 25 0 1 0 853036407 24268800 5187 4294967295 134512640 134716908 3221224560 3221221632 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 5187 1111 63 0 5862 0
vsize: 23700
[startup+490.022 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 146537 0 0 0 48563 443 0 0 25 0 1 0 853036407 24084480 5186 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5880 5186 1111 63 0 5817 0
vsize: 23520
[startup+500.023 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 149095 0 0 0 49555 451 0 0 25 0 1 0 853036407 24510464 5223 4294967295 134512640 134716908 3221224560 3221220784 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5984 5223 1111 63 0 5921 0
vsize: 23936
[startup+510.024 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 152125 0 0 0 50547 459 0 0 25 0 1 0 853036407 24326144 5245 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5939 5245 1111 63 0 5876 0
vsize: 23756
[startup+520.023 s]
Raw data (loadavg): 0.99 0.94 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 155842 0 0 0 51539 467 0 0 25 0 1 0 853036407 24117248 5194 4294967295 134512640 134716908 3221224560 3221222584 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5888 5194 1111 63 0 5825 0
vsize: 23552
[startup+530.023 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 158627 0 0 0 52530 476 0 0 25 0 1 0 853036407 24064000 5181 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5181 1111 63 0 5812 0
vsize: 23500
[startup+540.024 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 160867 0 0 0 53522 484 0 0 25 0 1 0 853036407 24518656 5203 4294967295 134512640 134716908 3221224560 3221221000 1076116629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5203 1111 63 0 5923 0
vsize: 23944
[startup+550.024 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 162826 0 0 0 54517 490 0 0 25 0 1 0 853036407 24064000 5181 4294967295 134512640 134716908 3221224560 3221222560 1074916715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5181 1111 63 0 5812 0
vsize: 23500
[startup+560.024 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 165783 0 0 0 55509 497 0 0 25 0 1 0 853036407 24518656 5257 4294967295 134512640 134716908 3221224560 3221222384 1075823559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5257 1111 63 0 5923 0
vsize: 23944
[startup+570.025 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 167552 0 0 0 56504 503 0 0 25 0 1 0 853036407 24367104 5255 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 5255 1111 63 0 5886 0
vsize: 23796
[startup+580.025 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 170740 0 0 0 57495 512 0 0 25 0 1 0 853036407 24723456 5342 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6036 5342 1111 63 0 5973 0
vsize: 24144
[startup+590.026 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 173377 0 0 0 58488 519 0 0 25 0 1 0 853036407 24498176 5287 4294967295 134512640 134716908 3221224560 3221222088 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5981 5287 1111 63 0 5918 0
vsize: 23924
[startup+600.026 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 174088 0 0 0 59485 522 0 0 25 0 1 0 853036407 24473600 5281 4294967295 134512640 134716908 3221224560 3221222424 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5281 1111 63 0 5912 0
vsize: 23900
[startup+610.027 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 174654 0 0 0 60483 525 0 0 25 0 1 0 853036407 24657920 5284 4294967295 134512640 134716908 3221224560 3221220612 1074879683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5284 1111 63 0 5957 0
vsize: 24080
[startup+620.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175151 0 0 0 61480 527 0 0 25 0 1 0 853036407 24473600 5281 4294967295 134512640 134716908 3221224560 3221222280 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5281 1111 63 0 5912 0
vsize: 23900
[startup+630.027 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175449 0 0 0 62479 528 0 0 25 0 1 0 853036407 24473600 5281 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5281 1111 63 0 5912 0
vsize: 23900
[startup+640.028 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175656 0 0 0 63479 529 0 0 25 0 1 0 853036407 24473600 5281 4294967295 134512640 134716908 3221224560 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5281 1111 63 0 5912 0
vsize: 23900
[startup+650.028 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175696 0 0 0 64478 530 0 0 25 0 1 0 853036407 24473600 5281 4294967295 134512640 134716908 3221224560 3221222560 1074918285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5281 1111 63 0 5912 0
vsize: 23900
[startup+660.028 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175760 0 0 0 65477 531 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+670.029 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 175914 0 0 0 66476 532 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222104 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+680.029 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 176205 0 0 0 67474 534 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222912 1074115509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+690.03 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 176600 0 0 0 68472 536 0 0 25 0 1 0 853036407 24657920 5286 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5286 1111 63 0 5957 0
vsize: 24080
[startup+700.03 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 177054 0 0 0 69470 538 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222432 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+710.03 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 177281 0 0 0 70469 540 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221221904 1074839050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+720.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 177855 0 0 0 71467 542 0 0 25 0 1 0 853036407 24645632 5286 4294967295 134512640 134716908 3221224560 3221220672 1075095699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5286 1111 63 0 5954 0
vsize: 24068
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 178429 0 0 0 72463 546 0 0 25 0 1 0 853036407 24645632 5288 4294967295 134512640 134716908 3221224560 3221221112 1075850679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5288 1111 63 0 5954 0
vsize: 24068
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 178913 0 0 0 73461 548 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221220824 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 179087 0 0 0 74460 549 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222608 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 179645 0 0 0 75458 552 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221221680 1074865254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 180212 0 0 0 76455 554 0 0 25 0 1 0 853036407 24657920 5288 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5288 1111 63 0 5957 0
vsize: 24080
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 180794 0 0 0 77453 556 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222208 1074053406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 181387 0 0 0 78451 559 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221221312 1074247404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 181992 0 0 0 79449 561 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222280 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 182607 0 0 0 80445 565 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222376 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 183232 0 0 0 81443 568 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221221664 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 183845 0 0 0 82440 571 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 184413 0 0 0 83436 574 0 0 25 0 1 0 853036407 24657920 5286 4294967295 134512640 134716908 3221224560 3221220592 1075965258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5286 1111 63 0 5957 0
vsize: 24080
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 184993 0 0 0 84434 577 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222888 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 185585 0 0 0 85430 580 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 186164 0 0 0 86428 583 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222328 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 186729 0 0 0 87425 586 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222536 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 187308 0 0 0 88423 588 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222624 1075961776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 187883 0 0 0 89420 591 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 188450 0 0 0 90418 594 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222672 1074867278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 189034 0 0 0 91416 596 0 0 25 0 1 0 853036407 24657920 5286 4294967295 134512640 134716908 3221224560 3221221628 1074831231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5286 1111 63 0 5957 0
vsize: 24080
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 189611 0 0 0 92414 598 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222672 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 190187 0 0 0 93411 601 0 0 25 0 1 0 853036407 24657920 5287 4294967295 134512640 134716908 3221224560 3221220720 1075084537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6020 5287 1111 63 0 5957 0
vsize: 24080
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 190779 0 0 0 94409 603 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 191360 0 0 0 95407 606 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222480 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 191929 0 0 0 96404 608 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222608 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 192484 0 0 0 97401 612 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 193053 0 0 0 98399 614 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222224 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 193614 0 0 0 99396 617 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222816 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 194160 0 0 0 100394 619 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222224 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 194718 0 0 0 101392 621 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222288 1075635925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 195277 0 0 0 102390 624 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 195873 0 0 0 103387 627 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222784 134652836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 196445 0 0 0 104384 630 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 197021 0 0 0 105381 633 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 197621 0 0 0 106378 637 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222592 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 198232 0 0 0 107374 640 0 0 25 0 1 0 853036407 24645632 5288 4294967295 134512640 134716908 3221224560 3221220740 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5288 1111 63 0 5954 0
vsize: 24068
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 198830 0 0 0 108371 643 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222476 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 199430 0 0 0 109368 646 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 200018 0 0 0 110366 649 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222672 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 200578 0 0 0 111363 652 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221221616 1074138944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 201151 0 0 0 112360 655 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222976 1074117096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 201736 0 0 0 113357 659 0 0 25 0 1 0 853036407 24657920 5288 4294967295 134512640 134716908 3221224560 3221221136 1076049226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5288 1111 63 0 5957 0
vsize: 24080
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 202309 0 0 0 114355 661 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222624 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 202879 0 0 0 115352 664 0 0 25 0 1 0 853036407 24473600 5283 4294967295 134512640 134716908 3221224560 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5283 1111 63 0 5912 0
vsize: 23900
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 203510 0 0 0 116350 666 0 0 25 0 1 0 853036407 24657920 5286 4294967295 134512640 134716908 3221224560 3221220556 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5286 1111 63 0 5957 0
vsize: 24080
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5355
Raw data (stat): 5355 (bsolo_lpr_cuts-) R 5354 8378 8377 0 -1 0 203510 0 0 0 116350 666 0 0 25 0 1 0 853036407 24657920 5286 4294967295 134512640 134716908 3221224560 3221220556 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5286 1111 63 0 5957 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.14
CPU user time (s): 1168.44
CPU system time (s): 6.69698
CPU usage (%): 100.011
Max. virtual memory (Kb): 24144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####