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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
MD5SUM	c2339539ffa69702e62053614fe34ce1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	44800
Optimality of the best value was proved	NO
Number of terms in the objective function	252
Biggest coefficient in the objective function	2621440
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	35682270
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	2621440
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	35682270
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.1133
Number of variables	252
Total number of constraints	19
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	19
Minimum length of a constraint	21
Maximum length of a constraint	80
Trace number 41611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 17:11:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29676 boxname=wulflinc1 idbench=1460 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c2339539ffa69702e62053614fe34ce1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bk4x3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bk4x3.opb
IDLAUNCH: 29676
/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:        911552 kB
Buffers:         12984 kB
Cached:          86596 kB
SwapCached:       1128 kB
Active:          24764 kB
Inactive:        76992 kB
HighTotal:      131008 kB
HighFree:        41804 kB
LowTotal:       903652 kB
LowFree:        869748 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            15428 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:30:40 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 29676 0 1175.09 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 252 variables and 26 constraints.
c After prepocess the problem consists of 154 variables and 32 constraints.
c preprocess terminated 0.109 s
c Initial Lower Bound: 41174
c Lower Bound Elapsed time: 0.0133333
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 61440 @ 1.219
c NEW SOLUTION FOUND: 59392 @ 3.901
c NEW SOLUTION FOUND: 58880 @ 5.546
c NEW SOLUTION FOUND: 58368 @ 5.561
c NEW SOLUTION FOUND: 57856 @ 5.631
c NEW SOLUTION FOUND: 57600 @ 84.793
c NEW SOLUTION FOUND: 57088 @ 912.455
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 X1_bit0 X1_bit1 X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 X2_bit0 X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 X4_bit1 X4_bit2 X4_bit3 X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 X6_bit_1 -X6_bit0 X6_bit1 -X6_bit2 -X6_bit3 X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 X8_bit_1 X8_bit0 X8_bit1 X8_bit2 X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 X9_bit_1 X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 X10_bit0 X10_bit1 X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 X11_bit_1 X11_bit0 X11_bit1 -X11_bit2 X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 Y6_bit0 Y7_bit0 Y8_bit0 Y9_bit0 Y10_bit0 Y11_bit0 
c Exit Code: 10
c Total time: 1175.02 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.99 0.99 0.93 1/55 8311
Raw data (stat): 8311 (runsolver) R 8310 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855115687 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.0007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 8234 0 0 0 968 30 0 0 25 0 1 0 855115687 10551296 1895 4294967295 134512640 134716908 3221224560 3221222816 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2576 1895 1111 63 0 2513 0
vsize: 10304
[startup+20.0015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 19819 0 0 0 1934 64 0 0 25 0 1 0 855115687 13307904 2569 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3249 2569 1111 63 0 3186 0
vsize: 12996
[startup+30.0013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 31775 0 0 0 2900 98 0 0 25 0 1 0 855115687 16093184 3198 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3929 3198 1111 63 0 3866 0
vsize: 15716
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 44575 0 0 0 3866 133 0 0 25 0 1 0 855115687 18092032 3644 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4417 3644 1111 63 0 4354 0
vsize: 17668
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 60442 0 0 0 4827 172 0 0 25 0 1 0 855115687 18030592 3578 4294967295 134512640 134716908 3221224560 3221220720 1075095104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3578 1111 63 0 4339 0
vsize: 17608
[startup+60.0026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 75360 0 0 0 5790 208 0 0 25 0 1 0 855115687 18657280 3875 4294967295 134512640 134716908 3221224560 3221222752 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4555 3875 1111 63 0 4492 0
vsize: 18220
[startup+70.0034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 93337 0 0 0 6743 255 0 0 25 0 1 0 855115687 21987328 4505 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4505 1111 63 0 5305 0
vsize: 21472
[startup+80.0032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 110490 0 0 0 7702 297 0 0 25 0 1 0 855115687 24506368 5184 4294967295 134512640 134716908 3221224560 3221220944 1074973588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5184 1111 63 0 5920 0
vsize: 23932
[startup+90.003 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 124183 0 0 0 8669 330 0 0 25 0 1 0 855115687 26415104 5630 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5630 1111 63 0 6386 0
vsize: 25796
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 132812 0 0 0 9648 352 0 0 25 0 1 0 855115687 26357760 5751 4294967295 134512640 134716908 3221224560 3221221840 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5751 1111 63 0 6372 0
vsize: 25740
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 145917 0 0 0 10617 383 0 0 25 0 1 0 855115687 28250112 6100 4294967295 134512640 134716908 3221224560 3221221216 1075966546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6897 6100 1111 63 0 6834 0
vsize: 27588
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 160224 0 0 0 11585 415 0 0 25 0 1 0 855115687 29937664 6605 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7309 6605 1111 63 0 7246 0
vsize: 29236
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 170804 0 0 0 12560 440 0 0 25 0 1 0 855115687 29417472 6509 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7182 6509 1111 63 0 7119 0
vsize: 28728
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 196332 0 0 0 13502 498 0 0 25 0 1 0 855115687 33316864 7190 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7190 1111 63 0 8071 0
vsize: 32536
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 216604 0 0 0 14452 548 0 0 25 0 1 0 855115687 33808384 7553 4294967295 134512640 134716908 3221224560 3221222888 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8254 7553 1111 63 0 8191 0
vsize: 33016
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 243852 0 0 0 15385 616 0 0 25 0 1 0 855115687 36204544 8155 4294967295 134512640 134716908 3221224560 3221222816 1073990141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8839 8155 1111 63 0 8776 0
vsize: 35356
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 268306 0 0 0 16325 675 0 0 25 0 1 0 855115687 39526400 8715 4294967295 134512640 134716908 3221224560 3221221680 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 8715 1111 63 0 9587 0
vsize: 38600
[startup+180.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 286798 0 0 0 17278 723 0 0 25 0 1 0 855115687 39833600 9025 4294967295 134512640 134716908 3221224560 3221222832 1074056010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9725 9025 1111 63 0 9662 0
vsize: 38900
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 306538 0 0 0 18229 771 0 0 25 0 1 0 855115687 43134976 9597 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9597 1111 63 0 10468 0
vsize: 42124
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 324701 0 0 0 19186 815 0 0 25 0 1 0 855115687 43761664 9754 4294967295 134512640 134716908 3221224560 3221220832 1074961251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10684 9754 1111 63 0 10621 0
vsize: 42736
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 335553 0 0 0 20160 841 0 0 25 0 1 0 855115687 46006272 10452 4294967295 134512640 134716908 3221224560 3221220524 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11232 10452 1111 63 0 11169 0
vsize: 44928
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 349007 0 0 0 21129 872 0 0 25 0 1 0 855115687 43491328 9937 4294967295 134512640 134716908 3221224560 3221222288 1075828589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9937 1111 63 0 10555 0
vsize: 42472
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 369319 0 0 0 22081 921 0 0 25 0 1 0 855115687 46563328 10449 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11368 10449 1111 63 0 11305 0
vsize: 45472
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 392820 0 0 0 23025 977 0 0 25 0 1 0 855115687 46858240 10754 4294967295 134512640 134716908 3221224560 3221222880 1075006847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11440 10754 1111 63 0 11377 0
vsize: 45760
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 418684 0 0 0 23961 1041 0 0 25 0 1 0 855115687 48902144 11258 4294967295 134512640 134716908 3221224560 3221223300 134604706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11939 11258 1111 63 0 11876 0
vsize: 47756
[startup+260.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 441488 0 0 0 24909 1093 0 0 25 0 1 0 855115687 52072448 11786 4294967295 134512640 134716908 3221224560 3221220652 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 11786 1111 63 0 12650 0
vsize: 50852
[startup+270.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 460552 0 0 0 25864 1138 0 0 25 0 1 0 855115687 53813248 12195 4294967295 134512640 134716908 3221224560 3221220720 1074794466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13138 12195 1111 63 0 13075 0
vsize: 52552
[startup+280.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 483716 0 0 0 26814 1188 0 0 25 0 1 0 855115687 58085376 13093 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14181 13093 1111 63 0 14118 0
vsize: 56724
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 497659 0 0 0 27783 1219 0 0 25 0 1 0 855115687 58642432 13405 4294967295 134512640 134716908 3221224560 3221222476 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14317 13405 1111 63 0 14254 0
vsize: 57268
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 510701 0 0 0 28754 1249 0 0 25 0 1 0 855115687 61431808 13625 4294967295 134512640 134716908 3221224560 3221221216 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14998 13631 1111 63 0 14935 0
vsize: 59992
[startup+310.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 523010 0 0 0 29726 1277 0 0 25 0 1 0 855115687 59015168 13496 4294967295 134512640 134716908 3221224560 3221222720 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14408 13496 1111 63 0 14345 0
vsize: 57632
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 531731 0 0 0 30705 1298 0 0 25 0 1 0 855115687 59076608 13511 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14423 13511 1111 63 0 14360 0
vsize: 57692
[startup+330.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 542730 0 0 0 31680 1323 0 0 25 0 1 0 855115687 61644800 13880 4294967295 134512640 134716908 3221224560 3221220720 1075095374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15050 13880 1111 63 0 14987 0
vsize: 60200
[startup+340.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 556491 0 0 0 32650 1353 0 0 25 0 1 0 855115687 60411904 13805 4294967295 134512640 134716908 3221224560 3221222560 1074916696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14749 13805 1111 63 0 14686 0
vsize: 58996
[startup+350.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 565667 0 0 0 33628 1375 0 0 25 0 1 0 855115687 62038016 14034 4294967295 134512640 134716908 3221224560 3221220832 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15146 14034 1111 63 0 15083 0
vsize: 60584
[startup+360.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 572838 0 0 0 34614 1390 0 0 25 0 1 0 855115687 61530112 14098 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15022 14098 1111 63 0 14959 0
vsize: 60088
[startup+370.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 575984 0 0 0 35607 1397 0 0 25 0 1 0 855115687 62316544 14306 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15214 14306 1111 63 0 15151 0
vsize: 60856
[startup+380.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 579699 0 0 0 36599 1405 0 0 25 0 1 0 855115687 62074880 14222 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15155 14222 1111 63 0 15092 0
vsize: 60620
[startup+390.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 587564 0 0 0 37582 1422 0 0 25 0 1 0 855115687 61362176 14041 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14981 14041 1111 63 0 14918 0
vsize: 59924
[startup+400.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 596801 0 0 0 38559 1445 0 0 25 0 1 0 855115687 61722624 14153 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15069 14153 1111 63 0 15006 0
vsize: 60276
[startup+410.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 604043 0 0 0 39542 1462 0 0 25 0 1 0 855115687 60878848 13955 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13955 1111 63 0 14800 0
vsize: 59452
[startup+420.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 612822 0 0 0 40520 1485 0 0 25 0 1 0 855115687 60878848 13955 4294967295 134512640 134716908 3221224560 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13955 1111 63 0 14800 0
vsize: 59452
[startup+430.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 621437 0 0 0 41500 1505 0 0 25 0 1 0 855115687 61087744 13993 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13993 1111 63 0 14851 0
vsize: 59656
[startup+440.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 629206 0 0 0 42481 1524 0 0 25 0 1 0 855115687 62418944 14080 4294967295 134512640 134716908 3221224560 3221220832 1075895158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15239 14080 1111 63 0 15176 0
vsize: 60956
[startup+450.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 639245 0 0 0 43457 1549 0 0 25 0 1 0 855115687 61059072 13999 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14907 13999 1111 63 0 14844 0
vsize: 59628
[startup+460.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 649674 0 0 0 44432 1574 0 0 25 0 1 0 855115687 62418944 14063 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15239 14063 1111 63 0 15176 0
vsize: 60956
[startup+470.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 667688 0 0 0 45390 1616 0 0 25 0 1 0 855115687 60878848 13955 4294967295 134512640 134716908 3221224560 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13955 1111 63 0 14800 0
vsize: 59452
[startup+480.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 686653 0 0 0 46344 1662 0 0 25 0 1 0 855115687 62418944 13963 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15239 13963 1111 63 0 15176 0
vsize: 60956
[startup+490.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 706294 0 0 0 47299 1707 0 0 25 0 1 0 855115687 62418944 13964 4294967295 134512640 134716908 3221224560 3221221160 1075850698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15239 13964 1111 63 0 15176 0
vsize: 60956
[startup+500.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 725694 0 0 0 48254 1752 0 0 25 0 1 0 855115687 60878848 13955 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13955 1111 63 0 14800 0
vsize: 59452
[startup+510.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 744647 0 0 0 49211 1795 0 0 25 0 1 0 855115687 61562880 14122 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15030 14122 1111 63 0 14967 0
vsize: 60120
[startup+520.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 755016 0 0 0 50188 1819 0 0 25 0 1 0 855115687 64573440 14611 4294967295 134512640 134716908 3221224560 3221220604 1074788156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15765 14611 1111 63 0 15702 0
vsize: 63060
[startup+530.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 770394 0 0 0 51150 1856 0 0 25 0 1 0 855115687 65384448 14529 4294967295 134512640 134716908 3221224560 3221221216 1075967413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15963 14529 1111 63 0 15900 0
vsize: 63852
[startup+540.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 785103 0 0 0 52115 1892 0 0 25 0 1 0 855115687 62418944 14299 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15239 14299 1111 63 0 15176 0
vsize: 60956
[startup+550.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 810290 0 0 0 53056 1951 0 0 25 0 1 0 855115687 62947328 14461 4294967295 134512640 134716908 3221224560 3221222752 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15368 14461 1111 63 0 15305 0
vsize: 61472
[startup+560.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 829717 0 0 0 54010 1997 0 0 25 0 1 0 855115687 66535424 15019 4294967295 134512640 134716908 3221224560 3221221328 1076083615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16244 15019 1111 63 0 16181 0
vsize: 64976
[startup+570.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 845005 0 0 0 54973 2034 0 0 25 0 1 0 855115687 65798144 15146 4294967295 134512640 134716908 3221224560 3221222976 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 15146 1111 63 0 16001 0
vsize: 64256
[startup+580.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 863272 0 0 0 55933 2074 0 0 25 0 1 0 855115687 67219456 15501 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16411 15501 1111 63 0 16348 0
vsize: 65644
[startup+590.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 875643 0 0 0 56902 2106 0 0 25 0 1 0 855115687 68108288 15718 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16628 15718 1111 63 0 16565 0
vsize: 66512
[startup+600.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 890055 0 0 0 57868 2139 0 0 25 0 1 0 855115687 68911104 15914 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16824 15914 1111 63 0 16761 0
vsize: 67296
[startup+610.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 908242 0 0 0 58826 2182 0 0 25 0 1 0 855115687 70287360 16235 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17160 16235 1111 63 0 17097 0
vsize: 68640
[startup+620.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 930890 0 0 0 59773 2235 0 0 25 0 1 0 855115687 73396224 16738 4294967295 134512640 134716908 3221224560 3221220832 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17919 16738 1111 63 0 17856 0
vsize: 71676
[startup+630.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 952936 0 0 0 60720 2289 0 0 25 0 1 0 855115687 73449472 17028 4294967295 134512640 134716908 3221224560 3221223200 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 17028 1111 63 0 17869 0
vsize: 71728
[startup+640.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 968153 0 0 0 61684 2324 0 0 25 0 1 0 855115687 74616832 17289 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18217 17289 1111 63 0 18154 0
vsize: 72868
[startup+650.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 982107 0 0 0 62652 2357 0 0 25 0 1 0 855115687 77107200 17595 4294967295 134512640 134716908 3221224560 3221222496 1075552866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18670 17587 1111 63 0 18607 0
vsize: 75300
[startup+660.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 998662 0 0 0 63615 2394 0 0 25 0 1 0 855115687 76308480 17762 4294967295 134512640 134716908 3221224560 3221222528 1075809070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18630 17762 1111 63 0 18567 0
vsize: 74520
[startup+670.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1018607 0 0 0 64569 2440 0 0 25 0 1 0 855115687 78974976 18127 4294967295 134512640 134716908 3221224560 3221220832 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19281 18127 1111 63 0 19218 0
vsize: 77124
[startup+680.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1043519 0 0 0 65511 2498 0 0 25 0 1 0 855115687 80449536 18471 4294967295 134512640 134716908 3221224560 3221220632 1075964737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19641 18471 1111 63 0 19578 0
vsize: 78564
[startup+690.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1067577 0 0 0 66454 2555 0 0 25 0 1 0 855115687 80322560 18749 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19610 18749 1111 63 0 19547 0
vsize: 78440
[startup+700.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1085054 0 0 0 67415 2594 0 0 25 0 1 0 855115687 83165184 19163 4294967295 134512640 134716908 3221224560 3221220800 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20304 19163 1111 63 0 20241 0
vsize: 81216
[startup+710.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1099426 0 0 0 68382 2627 0 0 25 0 1 0 855115687 84074496 19315 4294967295 134512640 134716908 3221224560 3221221568 1075602757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20526 19315 1111 63 0 20463 0
vsize: 82104
[startup+720.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1116544 0 0 0 69346 2664 0 0 25 0 1 0 855115687 84164608 19611 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20360 19514 1111 63 0 20297 0
vsize: 82192
[startup+730.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1140864 0 0 0 70291 2719 0 0 25 0 1 0 855115687 87015424 20136 4294967295 134512640 134716908 3221224560 3221221504 1074620117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21244 20136 1111 63 0 21181 0
vsize: 84976
[startup+740.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1158075 0 0 0 71251 2759 0 0 25 0 1 0 855115687 87949312 20267 4294967295 134512640 134716908 3221224560 3221222084 1075964077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21472 20267 1111 63 0 21409 0
vsize: 85888
[startup+750.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1175728 0 0 0 72209 2802 0 0 25 0 1 0 855115687 87535616 20543 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21371 20543 1111 63 0 21308 0
vsize: 85484
[startup+760.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1189187 0 0 0 73176 2834 0 0 25 0 1 0 855115687 89911296 20761 4294967295 134512640 134716908 3221224560 3221222136 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21951 20761 1111 63 0 21888 0
vsize: 87804
[startup+770.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1212177 0 0 0 74125 2885 0 0 25 0 1 0 855115687 90238976 21204 4294967295 134512640 134716908 3221224560 3221221976 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22031 21204 1111 63 0 21968 0
vsize: 88124
[startup+780.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1233064 0 0 0 75077 2933 0 0 25 0 1 0 855115687 93872128 21804 4294967295 134512640 134716908 3221224560 3221221092 1074260616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22918 21804 1111 63 0 22855 0
vsize: 91672
[startup+790.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1255682 0 0 0 76025 2986 0 0 25 0 1 0 855115687 95191040 22138 4294967295 134512640 134716908 3221224560 3221220528 1074872712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23240 22138 1111 63 0 23177 0
vsize: 92960
[startup+800.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1273842 0 0 0 76983 3028 0 0 25 0 1 0 855115687 96698368 22510 4294967295 134512640 134716908 3221224560 3221220736 1074791994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23608 22510 1111 63 0 23545 0
vsize: 94432
[startup+810.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1293689 0 0 0 77937 3074 0 0 25 0 1 0 855115687 98095104 22853 4294967295 134512640 134716908 3221224560 3221220800 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23949 22853 1111 63 0 23886 0
vsize: 95796
[startup+820.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1312729 0 0 0 78892 3119 0 0 25 0 1 0 855115687 98074624 23117 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23944 23117 1111 63 0 23881 0
vsize: 95776
[startup+830.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1332848 0 0 0 79845 3167 0 0 25 0 1 0 855115687 99164160 23384 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24210 23384 1111 63 0 24147 0
vsize: 96840
[startup+840.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1357661 0 0 0 80788 3224 0 0 25 0 1 0 855115687 102076416 23935 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24733 23838 1111 63 0 24670 0
vsize: 99684
[startup+850.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1381881 0 0 0 81733 3279 0 0 25 0 1 0 855115687 106422272 24738 4294967295 134512640 134716908 3221224560 3221222616 1077374653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25982 24738 1111 63 0 25919 0
vsize: 103928
[startup+860.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1396411 0 0 0 82699 3313 0 0 25 0 1 0 855115687 109191168 25187 4294967295 134512640 134716908 3221224560 3221220768 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26658 25187 1111 63 0 26595 0
vsize: 106632
[startup+870.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1420653 0 0 0 83644 3369 0 0 25 0 1 0 855115687 111980544 25602 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27339 25614 1111 63 0 27276 0
vsize: 109356
[startup+880.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1443280 0 0 0 84592 3421 0 0 25 0 1 0 855115687 114462720 26109 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27945 26109 1111 63 0 27882 0
vsize: 111780
[startup+890.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1461996 0 0 0 85547 3465 0 0 25 0 1 0 855115687 116412416 26643 4294967295 134512640 134716908 3221224560 3221221120 1076046553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28421 26643 1111 63 0 28358 0
vsize: 113684
[startup+900.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1487182 0 0 0 86489 3523 0 0 25 0 1 0 855115687 116531200 26949 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28450 26949 1111 63 0 28387 0
vsize: 113800
[startup+910.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1507551 0 0 0 87444 3569 0 0 25 0 1 0 855115687 119902208 27478 4294967295 134512640 134716908 3221224560 3221220704 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29273 27478 1111 63 0 29210 0
vsize: 117092
[startup+920.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1523354 0 0 0 88410 3602 0 0 25 0 1 0 855115687 121262080 27757 4294967295 134512640 134716908 3221224560 3221222288 1074867203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29605 27757 1111 63 0 29542 0
vsize: 118420
[startup+930.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1537375 0 0 0 89376 3637 0 0 25 0 1 0 855115687 120053760 27831 4294967295 134512640 134716908 3221224560 3221223208 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29310 27831 1111 63 0 29247 0
vsize: 117240
[startup+940.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1552974 0 0 0 90339 3674 0 0 25 0 1 0 855115687 122605568 28191 4294967295 134512640 134716908 3221224560 3221220624 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29933 28191 1111 63 0 29870 0
vsize: 119732
[startup+950.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1570054 0 0 0 91301 3712 0 0 25 0 1 0 855115687 123662336 28445 4294967295 134512640 134716908 3221224560 3221220928 1075894497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30191 28445 1111 63 0 30128 0
vsize: 120764
[startup+960.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1585393 0 0 0 92267 3746 0 0 25 0 1 0 855115687 124641280 28678 4294967295 134512640 134716908 3221224560 3221220704 1074969949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30430 28678 1111 63 0 30367 0
vsize: 121720
[startup+970.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1605697 0 0 0 93221 3792 0 0 25 0 1 0 855115687 126296064 29085 4294967295 134512640 134716908 3221224560 3221220740 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30834 29085 1111 63 0 30771 0
vsize: 123336
[startup+980.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1626553 0 0 0 94174 3840 0 0 25 0 1 0 855115687 128815104 29731 4294967295 134512640 134716908 3221224560 3221221136 1076045000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31449 29731 1111 63 0 31386 0
vsize: 125796
[startup+990.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1643485 0 0 0 95134 3880 0 0 25 0 1 0 855115687 129888256 29955 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31711 29955 1111 63 0 31648 0
vsize: 126844
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1663644 0 0 0 96087 3927 0 0 25 0 1 0 855115687 129503232 30148 4294967295 134512640 134716908 3221224560 3221222620 1075231808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31805 30151 1111 63 0 31742 0
vsize: 126468
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1683326 0 0 0 97041 3973 0 0 25 0 1 0 855115687 131067904 30536 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31999 30536 1111 63 0 31936 0
vsize: 127996
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1706884 0 0 0 97990 4025 0 0 25 0 1 0 855115687 133021696 31034 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32476 31034 1111 63 0 32413 0
vsize: 129904
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1721469 0 0 0 98957 4058 0 0 25 0 1 0 855115687 135667712 31377 4294967295 134512640 134716908 3221224560 3221220800 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33122 31377 1111 63 0 33059 0
vsize: 132488
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1738815 0 0 0 99917 4098 0 0 25 0 1 0 855115687 135421952 31588 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33062 31588 1111 63 0 32999 0
vsize: 132248
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1753176 0 0 0 100882 4132 0 0 25 0 1 0 855115687 136478720 31891 4294967295 134512640 134716908 3221224560 3221222840 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33320 31891 1111 63 0 33257 0
vsize: 133280
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1769978 0 0 0 101846 4169 0 0 25 0 1 0 855115687 137678848 32188 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33613 32188 1111 63 0 33550 0
vsize: 134452
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1785798 0 0 0 102807 4208 0 0 25 0 1 0 855115687 138633216 32421 4294967295 134512640 134716908 3221224560 3221221840 1074140051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34034 32424 1111 63 0 33971 0
vsize: 135384
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1798639 0 0 0 103777 4238 0 0 25 0 1 0 855115687 139497472 32632 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34057 32632 1111 63 0 33994 0
vsize: 136228
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1815818 0 0 0 104737 4278 0 0 25 0 1 0 855115687 142479360 33098 4294967295 134512640 134716908 3221224560 3221220788 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34785 33098 1111 63 0 34722 0
vsize: 139140
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1831089 0 0 0 105703 4313 0 0 25 0 1 0 855115687 141750272 33182 4294967295 134512640 134716908 3221224560 3221223020 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34607 33182 1111 63 0 34544 0
vsize: 138428
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1839735 0 0 0 106684 4331 0 0 25 0 1 0 855115687 143659008 33411 4294967295 134512640 134716908 3221224560 3221220832 1074961205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35073 33411 1111 63 0 35010 0
vsize: 140292
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1852570 0 0 0 107655 4361 0 0 25 0 1 0 855115687 143339520 33300 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34995 33301 1111 63 0 34932 0
vsize: 139980
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1867010 0 0 0 108622 4394 0 0 25 0 1 0 855115687 142401536 33337 4294967295 134512640 134716908 3221224560 3221222848 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34766 33337 1111 63 0 34703 0
vsize: 139064
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1889453 0 0 0 109570 4446 0 0 25 0 1 0 855115687 143634432 33621 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35067 33621 1111 63 0 35004 0
vsize: 140268
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1911326 0 0 0 110522 4494 0 0 25 0 1 0 855115687 146444288 34080 4294967295 134512640 134716908 3221224560 3221220560 1075965263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35753 34080 1111 63 0 35690 0
vsize: 143012
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1927403 0 0 0 111483 4534 0 0 25 0 1 0 855115687 146149376 34301 4294967295 134512640 134716908 3221224560 3221222896 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35681 34301 1111 63 0 35618 0
vsize: 142724
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1942162 0 0 0 112447 4570 0 0 25 0 1 0 855115687 148766720 34569 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36320 34582 1111 63 0 36257 0
vsize: 145280
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.99 0.93 1/54 8311
Raw data (stat): 8311 (bsolo_lpr_cuts-) R 8310 8378 8377 0 -1 0 1942162 0 0 0 112447 4570 0 0 25 0 1 0 855115687 148766720 34569 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36320 34582 1111 63 0 36257 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1129.17
CPU system time (s): 45.926
CPU usage (%): 100.014
Max. virtual memory (Kb): 145280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	57088
#### END VERIFIER DATA ####