PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb
MD5SUM	1b5898327a7b85a882e36ea549878fdf
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1843200
Optimality of the best value was proved	NO
Number of terms in the objective function	195
Biggest coefficient in the objective function	47185920
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	103639200
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	78643200
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	159755625
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.181972
Number of variables	195
Total number of constraints	29
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	29
Minimum length of a constraint	5
Maximum length of a constraint	45
Trace number 25680

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 15:56:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18358 boxname=wulflinc31 idbench=1413 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1b5898327a7b85a882e36ea549878fdf  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-flugpl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-flugpl.opb
IDLAUNCH: 18358
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        884176 kB
Buffers:         26740 kB
Cached:         103424 kB
SwapCached:       1076 kB
Active:          67520 kB
Inactive:        64968 kB
HighTotal:      131008 kB
HighFree:        58884 kB
LowTotal:       903652 kB
LowFree:        825292 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12472 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 16:16:25 (client local time) WITH STATUS 10 IN 1175.44 SECONDS
stats: 18358 0 1175.44 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 195 variables and 35 constraints.
c After prepocess the problem consists of 159 variables and 33 constraints.
c preprocess terminated 0.081 s
c Initial Lower Bound: 1685679
c Lower Bound Elapsed time: 0.018
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1874696 @ 1.374
c NEW SOLUTION FOUND: 1873160 @ 1.38
c NEW SOLUTION FOUND: 1866000 @ 1.386
c NEW SOLUTION FOUND: 1865744 @ 1.387
c NEW SOLUTION FOUND: 1865736 @ 1.39
c NEW SOLUTION FOUND: 1864456 @ 1.396
c NEW SOLUTION FOUND: 1864452 @ 1.416
c NEW SOLUTION FOUND: 1864450 @ 6.508
c NEW SOLUTION FOUND: 1864449 @ 19.932
c NEW SOLUTION FOUND: 1862034 @ 20.765
c NEW SOLUTION FOUND: 1862033 @ 20.793
c NEW SOLUTION FOUND: 1861009 @ 20.794
c NEW SOLUTION FOUND: 1860993 @ 20.823
c NEW SOLUTION FOUND: 1860865 @ 20.865
c NEW SOLUTION FOUND: 1860353 @ 20.882
c NEW SOLUTION FOUND: 1860024 @ 21.922
c NEW SOLUTION FOUND: 1860008 @ 22.053
c NEW SOLUTION FOUND: 1860004 @ 22.669
c NEW SOLUTION FOUND: 1859900 @ 23.101
c NEW SOLUTION FOUND: 1859884 @ 23.142
c NEW SOLUTION FOUND: 1859880 @ 23.228
c NEW SOLUTION FOUND: 1859876 @ 23.237
c NEW SOLUTION FOUND: 1859875 @ 26.537
c NEW SOLUTION FOUND: 1859874 @ 28.2
c NEW SOLUTION FOUND: 1859873 @ 31.527
c NEW SOLUTION FOUND: 1859368 @ 32.635
c NEW SOLUTION FOUND: 1859364 @ 36.008
c NEW SOLUTION FOUND: 1859362 @ 40.56
c NEW SOLUTION FOUND: 1859361 @ 60.85
c NEW SOLUTION FOUND: 1859347 @ 68.065
c NEW SOLUTION FOUND: 1859343 @ 70.629
c NEW SOLUTION FOUND: 1859340 @ 71.203
c NEW SOLUTION FOUND: 1859339 @ 71.434
c NEW SOLUTION FOUND: 1859336 @ 72.17
c NEW SOLUTION FOUND: 1859335 @ 73.834
c NEW SOLUTION FOUND: 1859332 @ 80.431
c NEW SOLUTION FOUND: 1859331 @ 83.304
c NEW SOLUTION FOUND: 1859330 @ 109.286
c NEW SOLUTION FOUND: 1859329 @ 120.066
c NEW SOLUTION FOUND: 1859328 @ 1161.44
s SATISFIABLE
v -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -ANM1_bit0 ANM1_bit1 ANM1_bit2 -ANM1_bit3 -ANM1_bit4 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 -UE1_bit3 -UE1_bit4 -UE1_bit5 -UE1_bit6 -UE1_bit7 -UE1_bit8 -UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 STM2_bit0 STM2_bit1 -STM2_bit2 -STM2_bit3 -STM2_bit4 -ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 -UE2_bit3 -UE2_bit4 -UE2_bit5 -UE2_bit6 UE2_bit7 -UE2_bit8 UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 STM3_bit0 STM3_bit1 -STM3_bit2 -STM3_bit3 -STM3_bit4 -ANM3_bit0 -ANM3_bit1 -ANM3_bit2 -ANM3_bit3 ANM3_bit4 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 UE3_bit3 UE3_bit4 -UE3_bit5 UE3_bit6 -UE3_bit7 -UE3_bit8 UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 -UE4_bit3 -UE4_bit4 -UE4_bit5 -UE4_bit6 -UE4_bit7 UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 ANM5_bit0 -ANM5_bit1 -ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 STM6_bit0 STM6_bit1 STM6_bit2 STM6_bit3 -STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_7 -UE6_bit_6 -UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 -UE6_bit1 -UE6_bit2 -UE6_bit3 UE6_bit4 UE6_bit5 -UE6_bit6 UE6_bit7 -UE6_bit8 -UE6_bit9 UE6_bit10 -UE6_bit11 -UE6_bit12 
c Exit Code: 10
c Total time: 1175.38 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
Raw data (loadavg): 0.87 0.94 0.93 2/55 13308
Raw data (stat): 13308 (runsolver) R 13307 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 805547273 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.89 0.94 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 8085 0 0 0 957 38 0 0 25 0 1 0 805547273 9166848 1555 4294967295 134512640 134714508 3221221776 3221220128 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2238 1555 1111 63 0 2175 0
vsize: 8952
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.94 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 22821 0 0 0 1915 81 0 0 25 0 1 0 805547273 12161024 2242 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2969 2242 1111 63 0 2906 0
vsize: 11876
[startup+30.0011 s]
Raw data (loadavg): 0.92 0.94 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 46574 0 0 0 2855 140 0 0 25 0 1 0 805547273 16138240 3256 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3256 1111 63 0 3877 0
vsize: 15760
[startup+40.001 s]
Raw data (loadavg): 0.93 0.94 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 67513 0 0 0 3797 199 0 0 25 0 1 0 805547273 19124224 3938 4294967295 134512640 134714508 3221221776 3221218376 1075850761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3938 1111 63 0 4606 0
vsize: 18676
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 84108 0 0 0 4753 243 0 0 25 0 1 0 805547273 22372352 4726 4294967295 134512640 134714508 3221221776 3221217788 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5462 4726 1111 63 0 5399 0
vsize: 21848
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 100190 0 0 0 5713 283 0 0 25 0 1 0 805547273 23953408 5115 4294967295 134512640 134714508 3221221776 3221217804 1074788187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5848 5115 1111 63 0 5785 0
vsize: 23392
[startup+70.0029 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 113909 0 0 0 6677 319 0 0 25 0 1 0 805547273 24850432 5294 4294967295 134512640 134714508 3221221776 3221217836 1074788004 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6067 5294 1111 63 0 6004 0
vsize: 24268
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 131523 0 0 0 7632 364 0 0 25 0 1 0 805547273 26583040 5809 4294967295 134512640 134714508 3221221776 3221220556 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6490 5809 1111 63 0 6427 0
vsize: 25960
[startup+90.0042 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 146057 0 0 0 8595 401 0 0 25 0 1 0 805547273 28024832 6161 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6842 6161 1111 63 0 6779 0
vsize: 27368
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 159653 0 0 0 9561 436 0 0 25 0 1 0 805547273 29290496 6473 4294967295 134512640 134714508 3221221776 3221220288 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7151 6473 1111 63 0 7088 0
vsize: 28604
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 171270 0 0 0 10533 463 0 0 25 0 1 0 805547273 30240768 6699 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7383 6699 1111 63 0 7320 0
vsize: 29532
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 179946 0 0 0 11512 485 0 0 25 0 1 0 805547273 31117312 6853 4294967295 134512640 134714508 3221221776 3221220496 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7597 6853 1111 63 0 7534 0
vsize: 30388
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 209128 0 0 0 12444 553 0 0 25 0 1 0 805547273 33914880 7481 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8280 7481 1111 63 0 8217 0
vsize: 33120
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 242431 0 0 0 13370 628 0 0 25 0 1 0 805547273 37916672 8333 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9257 8333 1111 63 0 9194 0
vsize: 37028
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 266323 0 0 0 14317 681 0 0 25 0 1 0 805547273 38735872 8624 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8624 1111 63 0 9394 0
vsize: 37828
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 290220 0 0 0 15262 735 0 0 25 0 1 0 805547273 40775680 9116 4294967295 134512640 134714508 3221221776 3221219892 1077378716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9955 9116 1111 63 0 9892 0
vsize: 39820
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 306141 0 0 0 16222 775 0 0 25 0 1 0 805547273 42704896 9461 4294967295 134512640 134714508 3221221776 3221217912 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10426 9461 1111 63 0 10363 0
vsize: 41704
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 315224 0 0 0 17201 797 0 0 25 0 1 0 805547273 46346240 10250 4294967295 134512640 134714508 3221221776 3221217920 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11315 10250 1111 63 0 11252 0
vsize: 45260
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 13308
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 342048 0 0 0 18137 861 0 0 25 0 1 0 805547273 45744128 9975 4294967295 134512640 134714508 3221221776 3221217776 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11168 9975 1111 63 0 11105 0
vsize: 44672
[startup+200.095 s]
Raw data (loadavg): 1.07 0.98 0.94 3/58 13345
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 377951 0 0 0 19062 945 0 0 25 0 1 0 805547273 47255552 10353 4294967295 134512640 134714508 3221221776 3221218264 1075169397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11537 10353 1111 63 0 11474 0
vsize: 46148
[startup+210.095 s]
Raw data (loadavg): 1.21 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 404002 0 0 0 20001 1006 0 0 25 0 1 0 805547273 48357376 10646 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11806 10646 1111 63 0 11743 0
vsize: 47224
[startup+220.131 s]
Raw data (loadavg): 1.18 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 422665 0 0 0 20959 1052 0 0 25 0 1 0 805547273 50343936 11091 4294967295 134512640 134714508 3221221776 3221217804 1074788156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12291 11091 1111 63 0 12228 0
vsize: 49164
[startup+230.131 s]
Raw data (loadavg): 1.15 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 449387 0 0 0 21899 1112 0 0 25 0 1 0 805547273 48881664 11094 4294967295 134512640 134714508 3221221776 3221219856 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11934 11094 1111 63 0 11871 0
vsize: 47736
[startup+240.132 s]
Raw data (loadavg): 1.13 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 483327 0 0 0 22821 1190 0 0 25 0 1 0 805547273 50368512 11453 4294967295 134512640 134714508 3221221776 3221220580 134622303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12297 11453 1111 63 0 12234 0
vsize: 49188
[startup+250.132 s]
Raw data (loadavg): 1.11 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 515717 0 0 0 23745 1267 0 0 25 0 1 0 805547273 53227520 11682 4294967295 134512640 134714508 3221221776 3221218432 1075966874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12995 11682 1111 63 0 12932 0
vsize: 51980
[startup+260.131 s]
Raw data (loadavg): 1.09 1.01 0.95 2/55 13361
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 539788 0 0 0 24684 1327 0 0 25 0 1 0 805547273 52146176 11881 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12731 11881 1111 63 0 12668 0
vsize: 50924
[startup+270.131 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 546213 0 0 0 25669 1343 0 0 25 0 1 0 805547273 52551680 11982 4294967295 134512640 134714508 3221221776 3221219776 1074916479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12830 11982 1111 63 0 12767 0
vsize: 51320
[startup+280.132 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 566057 0 0 0 26621 1391 0 0 25 0 1 0 805547273 55103488 12236 4294967295 134512640 134714508 3221221776 3221218172 1075114064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13453 12236 1111 63 0 13390 0
vsize: 53812
[startup+290.132 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 586945 0 0 0 27570 1442 0 0 25 0 1 0 805547273 53452800 12203 4294967295 134512640 134714508 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13050 12203 1111 63 0 12987 0
vsize: 52200
[startup+300.132 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 604800 0 0 0 28525 1487 0 0 25 0 1 0 805547273 53911552 12315 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13162 12315 1111 63 0 13099 0
vsize: 52648
[startup+310.132 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 618367 0 0 0 29495 1517 0 0 25 0 1 0 805547273 58085376 13022 4294967295 134512640 134714508 3221221776 3221217984 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14181 13022 1111 63 0 14118 0
vsize: 56724
[startup+320.133 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 643353 0 0 0 30435 1577 0 0 25 0 1 0 805547273 56791040 12645 4294967295 134512640 134714508 3221221776 3221217712 1075965301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13865 12645 1111 63 0 13802 0
vsize: 55460
[startup+330.133 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 665593 0 0 0 31382 1631 0 0 25 0 1 0 805547273 56078336 12813 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13691 12813 1111 63 0 13628 0
vsize: 54764
[startup+340.133 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 680779 0 0 0 32342 1670 0 0 25 0 1 0 805547273 55902208 12802 4294967295 134512640 134714508 3221221776 3221220344 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13648 12802 1111 63 0 13585 0
vsize: 54592
[startup+350.133 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 694380 0 0 0 33308 1705 0 0 25 0 1 0 805547273 59555840 13339 4294967295 134512640 134714508 3221221776 3221217936 1075091205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14540 13339 1111 63 0 14477 0
vsize: 58160
[startup+360.133 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 708741 0 0 0 34271 1742 0 0 25 0 1 0 805547273 56635392 12981 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13827 12981 1111 63 0 13764 0
vsize: 55308
[startup+370.133 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 718004 0 0 0 35248 1766 0 0 25 0 1 0 805547273 57192448 13117 4294967295 134512640 134714508 3221221776 3221220592 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13963 13117 1111 63 0 13900 0
vsize: 55852
[startup+380.133 s]
Raw data (loadavg): 1.09 1.02 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 744984 0 0 0 36185 1828 0 0 25 0 1 0 805547273 57704448 13242 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14088 13242 1111 63 0 14025 0
vsize: 56352
[startup+390.132 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 762824 0 0 0 37139 1874 0 0 25 0 1 0 805547273 60100608 13367 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14673 13378 1111 63 0 14610 0
vsize: 58692
[startup+400.133 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 782165 0 0 0 38094 1920 0 0 25 0 1 0 805547273 61677568 13886 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15058 13886 1111 63 0 14995 0
vsize: 60232
[startup+410.133 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 792804 0 0 0 39066 1947 0 0 25 0 1 0 805547273 59351040 13645 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14490 13645 1111 63 0 14427 0
vsize: 57960
[startup+420.132 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 798016 0 0 0 40053 1961 0 0 25 0 1 0 805547273 59498496 13657 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 13657 1111 63 0 14463 0
vsize: 58104
[startup+430.132 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 801961 0 0 0 41044 1969 0 0 25 0 1 0 805547273 63705088 14442 4294967295 134512640 134714508 3221221776 3221217660 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15553 14442 1111 63 0 15490 0
vsize: 62212
[startup+440.133 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 821440 0 0 0 41996 2018 0 0 25 0 1 0 805547273 65830912 14613 4294967295 134512640 134714508 3221221776 3221217984 1074815482 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16072 14613 1111 63 0 16009 0
vsize: 64288
[startup+450.133 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 846792 0 0 0 42935 2080 0 0 25 0 1 0 805547273 63696896 14444 4294967295 134512640 134714508 3221221776 3221218528 1074247409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15672 14445 1111 63 0 15609 0
vsize: 62204
[startup+460.133 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 865205 0 0 0 43889 2125 0 0 25 0 1 0 805547273 64258048 14582 4294967295 134512640 134714508 3221221776 3221219888 1074206620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15688 14582 1111 63 0 15625 0
vsize: 62752
[startup+470.134 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 896321 0 0 0 44816 2199 0 0 25 0 1 0 805547273 67215360 14960 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16410 14960 1111 63 0 16347 0
vsize: 65640
[startup+480.134 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 919823 0 0 0 45759 2255 0 0 25 0 1 0 805547273 65970176 15001 4294967295 134512640 134714508 3221221776 3221219736 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16106 15001 1111 63 0 16043 0
vsize: 64424
[startup+490.134 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 933768 0 0 0 46728 2287 0 0 25 0 1 0 805547273 66367488 15098 4294967295 134512640 134714508 3221221776 3221220040 1073987069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16203 15098 1111 63 0 16140 0
vsize: 64812
[startup+500.135 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 940975 0 0 0 47712 2304 0 0 25 0 1 0 805547273 67100672 15274 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16382 15274 1111 63 0 16319 0
vsize: 65528
[startup+510.135 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 975895 0 0 0 48635 2380 0 0 25 0 1 0 805547273 68407296 15584 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16701 15584 1111 63 0 16638 0
vsize: 66804
[startup+520.135 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 995217 0 0 0 49590 2425 0 0 25 0 1 0 805547273 69390336 15793 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16941 15793 1111 63 0 16878 0
vsize: 67764
[startup+530.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1009980 0 0 0 50555 2461 0 0 25 0 1 0 805547273 69656576 15880 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17006 15880 1111 63 0 16943 0
vsize: 68024
[startup+540.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13363
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1014435 0 0 0 51544 2472 0 0 25 0 1 0 805547273 70201344 15981 4294967295 134512640 134714508 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17139 15981 1111 63 0 17076 0
vsize: 68556
[startup+550.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1031739 0 0 0 52504 2513 0 0 25 0 1 0 805547273 70172672 16002 4294967295 134512640 134714508 3221221776 3221220316 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17132 16002 1111 63 0 17069 0
vsize: 68528
[startup+560.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1045654 0 0 0 53472 2545 0 0 25 0 1 0 805547273 74833920 16614 4294967295 134512640 134714508 3221221776 3221218048 1074961129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18270 16614 1111 63 0 18207 0
vsize: 73080
[startup+570.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1055305 0 0 0 54446 2570 0 0 25 0 1 0 805547273 72732672 16260 4294967295 134512640 134714508 3221221776 3221218160 1076117299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16260 1111 63 0 17694 0
vsize: 71028
[startup+580.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1068407 0 0 0 55413 2603 0 0 25 0 1 0 805547273 74518528 16436 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18193 16436 1111 63 0 18130 0
vsize: 72772
[startup+590.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1084559 0 0 0 56372 2645 0 0 25 0 1 0 805547273 71544832 16335 4294967295 134512640 134714508 3221221776 3221219776 1074916531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17467 16335 1111 63 0 17404 0
vsize: 69868
[startup+600.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1094947 0 0 0 57347 2670 0 0 25 0 1 0 805547273 73003008 16634 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17823 16634 1111 63 0 17760 0
vsize: 71292
[startup+610.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1110464 0 0 0 58310 2707 0 0 25 0 1 0 805547273 75800576 16659 4294967295 134512640 134714508 3221221776 3221218896 1074834484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 16659 1111 63 0 18443 0
vsize: 74024
[startup+620.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1120630 0 0 0 59288 2730 0 0 25 0 1 0 805547273 73453568 16783 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17933 16783 1111 63 0 17870 0
vsize: 71732
[startup+630.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1135751 0 0 0 60252 2765 0 0 25 0 1 0 805547273 73437184 16795 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17929 16795 1111 63 0 17866 0
vsize: 71716
[startup+640.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1143236 0 0 0 61234 2784 0 0 25 0 1 0 805547273 73437184 16795 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17929 16795 1111 63 0 17866 0
vsize: 71716
[startup+650.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1148848 0 0 0 62222 2796 0 0 25 0 1 0 805547273 76910592 16964 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18777 16964 1111 63 0 18714 0
vsize: 75108
[startup+660.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1155380 0 0 0 63206 2812 0 0 25 0 1 0 805547273 76189696 16996 4294967295 134512640 134714508 3221221776 3221218976 1075967942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18601 16998 1111 63 0 18538 0
vsize: 74404
[startup+670.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1161761 0 0 0 64190 2828 0 0 25 0 1 0 805547273 73883648 16904 4294967295 134512640 134714508 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18038 16904 1111 63 0 17975 0
vsize: 72152
[startup+680.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1163315 0 0 0 65186 2833 0 0 25 0 1 0 805547273 76210176 17442 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18606 17442 1111 63 0 18543 0
vsize: 74424
[startup+690.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1168637 0 0 0 66173 2846 0 0 25 0 1 0 805547273 74297344 17006 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18139 17006 1111 63 0 18076 0
vsize: 72556
[startup+700.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1178136 0 0 0 67149 2869 0 0 25 0 1 0 805547273 75898880 17032 4294967295 134512640 134714508 3221221776 3221218040 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18530 17032 1111 63 0 18467 0
vsize: 74120
[startup+710.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1207086 0 0 0 68084 2935 0 0 25 0 1 0 805547273 75284480 17250 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18380 17250 1111 63 0 18317 0
vsize: 73520
[startup+720.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1225883 0 0 0 69038 2981 0 0 25 0 1 0 805547273 80080896 18130 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19551 18130 1111 63 0 19488 0
vsize: 78204
[startup+730.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1244102 0 0 0 69997 3023 0 0 25 0 1 0 805547273 76402688 17525 4294967295 134512640 134714508 3221221776 3221220012 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18774 17525 1111 63 0 18711 0
vsize: 74612
[startup+740.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1252771 0 0 0 70978 3042 0 0 25 0 1 0 805547273 77127680 17702 4294967295 134512640 134714508 3221221776 3221219888 1074867337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 17702 1111 63 0 18767 0
vsize: 75320
[startup+750.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1263659 0 0 0 71952 3068 0 0 25 0 1 0 805547273 79110144 17851 4294967295 134512640 134714508 3221221776 3221217980 1075564389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19314 17851 1111 63 0 19251 0
vsize: 77256
[startup+760.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1284661 0 0 0 72904 3116 0 0 25 0 1 0 805547273 79753216 17972 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19471 17972 1111 63 0 19408 0
vsize: 77884
[startup+770.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1301554 0 0 0 73866 3154 0 0 25 0 1 0 805547273 78577664 18057 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19184 18057 1111 63 0 19121 0
vsize: 76736
[startup+780.142 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1318147 0 0 0 74829 3191 0 0 25 0 1 0 805547273 78745600 18093 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18093 1111 63 0 19162 0
vsize: 76900
[startup+790.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1330336 0 0 0 75803 3218 0 0 25 0 1 0 805547273 82468864 18753 4294967295 134512640 134714508 3221221776 3221217744 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20134 18753 1111 63 0 20071 0
vsize: 80536
[startup+800.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1340491 0 0 0 76779 3242 0 0 25 0 1 0 805547273 79544320 18277 4294967295 134512640 134714508 3221221776 3221220056 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19420 18277 1111 63 0 19357 0
vsize: 77680
[startup+810.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1346746 0 0 0 77764 3256 0 0 25 0 1 0 805547273 79884288 18371 4294967295 134512640 134714508 3221221776 3221220556 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19503 18371 1111 63 0 19440 0
vsize: 78012
[startup+820.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1351833 0 0 0 78753 3268 0 0 25 0 1 0 805547273 79585280 18298 4294967295 134512640 134714508 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19430 18298 1111 63 0 19367 0
vsize: 77720
[startup+830.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1362084 0 0 0 79728 3293 0 0 25 0 1 0 805547273 79859712 18365 4294967295 134512640 134714508 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19497 18365 1111 63 0 19434 0
vsize: 77988
[startup+840.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1369670 0 0 0 80710 3311 0 0 25 0 1 0 805547273 80003072 18390 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19532 18390 1111 63 0 19469 0
vsize: 78128
[startup+850.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1376692 0 0 0 81694 3328 0 0 25 0 1 0 805547273 79712256 18329 4294967295 134512640 134714508 3221221776 3221220100 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19461 18329 1111 63 0 19398 0
vsize: 77844
[startup+860.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1394421 0 0 0 82651 3371 0 0 25 0 1 0 805547273 82186240 18563 4294967295 134512640 134714508 3221221776 3221218112 1075114289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20065 18563 1111 63 0 20002 0
vsize: 80260
[startup+870.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1414256 0 0 0 83603 3419 0 0 25 0 1 0 805547273 80601088 18558 4294967295 134512640 134714508 3221221776 3221220568 134536901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19678 18558 1111 63 0 19615 0
vsize: 78712
[startup+880.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1432713 0 0 0 84559 3463 0 0 25 0 1 0 805547273 84090880 18993 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20530 19002 1111 63 0 20467 0
vsize: 82120
[startup+890.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1439890 0 0 0 85543 3479 0 0 25 0 1 0 805547273 81465344 18772 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19889 18772 1111 63 0 19826 0
vsize: 79556
[startup+900.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1462281 0 0 0 86492 3530 0 0 25 0 1 0 805547273 82132992 18881 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20052 18881 1111 63 0 19989 0
vsize: 80208
[startup+910.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1492825 0 0 0 87422 3601 0 0 25 0 1 0 805547273 83271680 19162 4294967295 134512640 134714508 3221221776 3221220080 1074153893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20330 19162 1111 63 0 20267 0
vsize: 81320
[startup+920.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1505548 0 0 0 88393 3630 0 0 25 0 1 0 805547273 85913600 19335 4294967295 134512640 134714508 3221221776 3221218896 1074837200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20733 19329 1111 63 0 20670 0
vsize: 83900
[startup+930.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1517495 0 0 0 89364 3659 0 0 25 0 1 0 805547273 84639744 19454 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20664 19454 1111 63 0 20601 0
vsize: 82656
[startup+940.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1529341 0 0 0 90335 3688 0 0 25 0 1 0 805547273 84525056 19468 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20636 19468 1111 63 0 20573 0
vsize: 82544
[startup+950.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1543401 0 0 0 91301 3723 0 0 25 0 1 0 805547273 84606976 19488 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20656 19488 1111 63 0 20593 0
vsize: 82624
[startup+960.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1556316 0 0 0 92269 3754 0 0 25 0 1 0 805547273 86319104 19875 4294967295 134512640 134714508 3221221776 3221219776 1074918215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21074 19875 1111 63 0 21011 0
vsize: 84296
[startup+970.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1559353 0 0 0 93262 3762 0 0 25 0 1 0 805547273 85745664 19765 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20934 19765 1111 63 0 20871 0
vsize: 83736
[startup+980.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1571586 0 0 0 94233 3791 0 0 25 0 1 0 805547273 85823488 19780 4294967295 134512640 134714508 3221221776 3221220576 134622268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20953 19780 1111 63 0 20890 0
vsize: 83812
[startup+990.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1584030 0 0 0 95203 3821 0 0 25 0 1 0 805547273 87756800 19792 4294967295 134512640 134714508 3221221776 3221218544 1076083427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21425 19792 1111 63 0 21362 0
vsize: 85700
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1593906 0 0 0 96179 3845 0 0 25 0 1 0 805547273 86192128 19871 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21043 19871 1111 63 0 20980 0
vsize: 84172
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1595765 0 0 0 97175 3850 0 0 25 0 1 0 805547273 86532096 19932 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21126 19932 1111 63 0 21063 0
vsize: 84504
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1616879 0 0 0 98127 3898 0 0 25 0 1 0 805547273 86433792 19947 4294967295 134512640 134714508 3221221776 3221218880 1074138617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21102 19947 1111 63 0 21039 0
vsize: 84408
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1634697 0 0 0 99088 3937 0 0 25 0 1 0 805547273 87875584 20248 4294967295 134512640 134714508 3221221776 3221220592 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21454 20248 1111 63 0 21391 0
vsize: 85816
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1652926 0 0 0 100046 3979 0 0 25 0 1 0 805547273 91537408 20851 4294967295 134512640 134714508 3221221776 3221217876 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22348 20851 1111 63 0 22285 0
vsize: 89392
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1659209 0 0 0 101033 3992 0 0 25 0 1 0 805547273 91607040 20995 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22365 20995 1111 63 0 22302 0
vsize: 89460
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1662845 0 0 0 102024 4001 0 0 25 0 1 0 805547273 89264128 20572 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21793 20572 1111 63 0 21730 0
vsize: 87172
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1676856 0 0 0 102992 4034 0 0 25 0 1 0 805547273 88301568 20383 4294967295 134512640 134714508 3221221776 3221220056 1074138268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21558 20383 1111 63 0 21495 0
vsize: 86232
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1689181 0 0 0 103962 4064 0 0 25 0 1 0 805547273 91828224 20728 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22419 20737 1111 63 0 22356 0
vsize: 89676
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1695656 0 0 0 104947 4079 0 0 25 0 1 0 805547273 91770880 20897 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22405 20897 1111 63 0 22342 0
vsize: 89620
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1707727 0 0 0 105917 4110 0 0 25 0 1 0 805547273 92147712 20647 4294967295 134512640 134714508 3221221776 3221218004 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22497 20647 1111 63 0 22434 0
vsize: 89988
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1714268 0 0 0 106901 4125 0 0 25 0 1 0 805547273 92323840 20685 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22540 20686 1111 63 0 22477 0
vsize: 90160
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1726241 0 0 0 107872 4155 0 0 25 0 1 0 805547273 92577792 21101 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22602 21101 1111 63 0 22539 0
vsize: 90408
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1731029 0 0 0 108862 4165 0 0 25 0 1 0 805547273 92737536 20787 4294967295 134512640 134714508 3221221776 3221217920 1074969986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22641 20787 1111 63 0 22578 0
vsize: 90564
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1741330 0 0 0 109837 4190 0 0 25 0 1 0 805547273 90087424 20830 4294967295 134512640 134714508 3221221776 3221220576 134622273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21994 20830 1111 63 0 21931 0
vsize: 87976
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1744547 0 0 0 110829 4198 0 0 25 0 1 0 805547273 90841088 20971 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22178 20971 1111 63 0 22115 0
vsize: 88712
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1749596 0 0 0 111817 4210 0 0 25 0 1 0 805547273 90542080 20936 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22105 20936 1111 63 0 22042 0
vsize: 88420
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1751233 0 0 0 112812 4215 0 0 25 0 1 0 805547273 92188672 21332 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22507 21332 1111 63 0 22444 0
vsize: 90028
[startup+1175.32 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 13365
Raw data (stat): 13308 (bsolo_lpr_cuts) R 13307 7876 7672 0 -1 0 1751233 0 0 0 112812 4215 0 0 25 0 1 0 805547273 92188672 21332 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22507 21332 1111 63 0 22444 0
vsize: 0

Child status: 10
Real time (s): 1175.32
CPU time (s): 1175.44
CPU user time (s): 1133.19
CPU system time (s): 42.2556
CPU usage (%): 100.01
Max. virtual memory (Kb): 90564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1859328
#### END VERIFIER DATA ####