PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
MD5SUM	d1a63d8d6fb70cfa129ffc4588721d0f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.19282
Number of variables	960
Total number of constraints	49
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	49
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 41402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 11:33:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29459 boxname=wulflinc3 idbench=1243 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d1a63d8d6fb70cfa129ffc4588721d0f  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sc50a.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sc50a.opb
IDLAUNCH: 29459
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        722984 kB
Buffers:         19204 kB
Cached:         272692 kB
SwapCached:        708 kB
Active:          32224 kB
Inactive:       261668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        722732 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12116 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:53:07 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29459 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 960 variables and 69 constraints.
c After prepocess the problem consists of 727 variables and 98 constraints.
c preprocess terminated 0.416 s
c Initial Lower Bound: -8265
c Lower Bound Elapsed time: 0.06875
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.91 0.95 0.90 1/54 8857
Raw data (stat): 8857 (runsolver) R 8856 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909938491 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.0016 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 10295 0 0 0 967 30 0 0 25 0 1 0 909938491 10919936 1921 4294967295 134512640 134716908 3221224560 3221220800 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1921 1111 63 0 2580 0
vsize: 10664
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 23927 0 0 0 1925 72 0 0 25 0 1 0 909938491 13262848 2543 4294967295 134512640 134716908 3221224560 3221223008 1073990086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3238 2543 1111 63 0 3175 0
vsize: 12952
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 35304 0 0 0 2895 103 0 0 25 0 1 0 909938491 15011840 2980 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2980 1111 63 0 3602 0
vsize: 14660
[startup+40.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 46470 0 0 0 3867 131 0 0 25 0 1 0 909938491 16855040 3346 4294967295 134512640 134716908 3221224560 3221220928 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4115 3346 1111 63 0 4052 0
vsize: 16460
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 59161 0 0 0 4836 162 0 0 25 0 1 0 909938491 18317312 3793 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4472 3793 1111 63 0 4409 0
vsize: 17888
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 68306 0 0 0 5813 185 0 0 25 0 1 0 909938491 19345408 3794 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 3801 1111 63 0 4660 0
vsize: 18892
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 95742 0 0 0 6753 246 0 0 25 0 1 0 909938491 21143552 4469 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4469 1111 63 0 5099 0
vsize: 20648
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 118568 0 0 0 7698 300 0 0 25 0 1 0 909938491 23429120 5043 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 5043 1111 63 0 5657 0
vsize: 22880
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 137891 0 0 0 8655 344 0 0 25 0 1 0 909938491 23744512 5120 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5797 5120 1111 63 0 5734 0
vsize: 23188
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 163180 0 0 0 9597 402 0 0 25 0 1 0 909938491 26116096 5658 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6376 5658 1111 63 0 6313 0
vsize: 25504
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 186029 0 0 0 10544 456 0 0 25 0 1 0 909938491 27365376 5958 4294967295 134512640 134716908 3221224560 3221223036 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6681 5958 1111 63 0 6618 0
vsize: 26724
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 209946 0 0 0 11488 512 0 0 25 0 1 0 909938491 28561408 6261 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6263 1111 63 0 7032 0
vsize: 27892
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 228930 0 0 0 12446 554 0 0 25 0 1 0 909938491 29556736 6506 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7216 6506 1111 63 0 7153 0
vsize: 28864
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 249680 0 0 0 13397 603 0 0 25 0 1 0 909938491 31858688 6837 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7778 6849 1111 63 0 7715 0
vsize: 31112
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 275586 0 0 0 14336 664 0 0 25 0 1 0 909938491 32251904 7162 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7162 1111 63 0 7811 0
vsize: 31496
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 298005 0 0 0 15287 714 0 0 25 0 1 0 909938491 33374208 7434 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8148 7434 1111 63 0 8085 0
vsize: 32592
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 318188 0 0 0 16240 761 0 0 25 0 1 0 909938491 34418688 7700 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8403 7700 1111 63 0 8340 0
vsize: 33612
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 334565 0 0 0 17203 797 0 0 25 0 1 0 909938491 35282944 7911 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8614 7911 1111 63 0 8551 0
vsize: 34456
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 353076 0 0 0 18164 837 0 0 25 0 1 0 909938491 36331520 8161 4294967295 134512640 134716908 3221224560 3221222960 1074119107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8870 8161 1111 63 0 8807 0
vsize: 35480
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 375825 0 0 0 19113 888 0 0 25 0 1 0 909938491 38457344 8498 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9389 8498 1111 63 0 9326 0
vsize: 37556
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 391909 0 0 0 20075 926 0 0 25 0 1 0 909938491 39047168 8637 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 8647 1111 63 0 9470 0
vsize: 38132
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 398777 0 0 0 21058 943 0 0 25 0 1 0 909938491 41611264 9406 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10159 9406 1111 63 0 10096 0
vsize: 40636
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 401226 0 0 0 22053 949 0 0 25 0 1 0 909938491 39309312 8892 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9597 8892 1111 63 0 9534 0
vsize: 38388
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 410395 0 0 0 23033 969 0 0 25 0 1 0 909938491 38518784 8700 4294967295 134512640 134716908 3221224560 3221222548 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 8700 1111 63 0 9341 0
vsize: 37616
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 422144 0 0 0 24006 996 0 0 25 0 1 0 909938491 39063552 8833 4294967295 134512640 134716908 3221224560 3221222384 1075823427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9537 8833 1111 63 0 9474 0
vsize: 38148
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 432447 0 0 0 24983 1020 0 0 25 0 1 0 909938491 40488960 9009 4294967295 134512640 134716908 3221224560 3221220704 1074969469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9885 9009 1111 63 0 9822 0
vsize: 39540
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 444872 0 0 0 25951 1052 0 0 25 0 1 0 909938491 40562688 9165 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9903 9165 1111 63 0 9840 0
vsize: 39612
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 447327 0 0 0 26945 1057 0 0 25 0 1 0 909938491 41648128 9429 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10168 9429 1111 63 0 10105 0
vsize: 40672
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 460660 0 0 0 27915 1087 0 0 25 0 1 0 909938491 42024960 9457 4294967295 134512640 134716908 3221224560 3221223356 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10260 9457 1111 63 0 10197 0
vsize: 41040
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 479801 0 0 0 28872 1130 0 0 25 0 1 0 909938491 43114496 9729 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10526 9729 1111 63 0 10463 0
vsize: 42104
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 501239 0 0 0 29823 1180 0 0 25 0 1 0 909938491 44118016 9963 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10771 9963 1111 63 0 10708 0
vsize: 43084
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 517670 0 0 0 30783 1220 0 0 25 0 1 0 909938491 45809664 10143 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11184 10156 1111 63 0 11121 0
vsize: 44736
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 534221 0 0 0 31744 1259 0 0 25 0 1 0 909938491 45268992 10261 4294967295 134512640 134716908 3221224560 3221222836 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11052 10261 1111 63 0 10989 0
vsize: 44208
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 557357 0 0 0 32689 1315 0 0 25 0 1 0 909938491 46702592 10611 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11402 10611 1111 63 0 11339 0
vsize: 45608
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 577067 0 0 0 33641 1363 0 0 25 0 1 0 909938491 47677440 10826 4294967295 134512640 134716908 3221224560 3221222288 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11631 10826 1111 63 0 11568 0
vsize: 46560
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 596572 0 0 0 34596 1408 0 0 25 0 1 0 909938491 48627712 11080 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11080 1111 63 0 11809 0
vsize: 47488
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 616398 0 0 0 35548 1455 0 0 25 0 1 0 909938491 49213440 11217 4294967295 134512640 134716908 3221224560 3221223344 134528801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12015 11217 1111 63 0 11952 0
vsize: 48060
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 627782 0 0 0 36522 1482 0 0 25 0 1 0 909938491 50634752 11380 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12362 11381 1111 63 0 12299 0
vsize: 49448
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 643525 0 0 0 37487 1518 0 0 25 0 1 0 909938491 50425856 11515 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12311 11515 1111 63 0 12248 0
vsize: 49244
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 655083 0 0 0 38461 1544 0 0 25 0 1 0 909938491 50659328 11578 4294967295 134512640 134716908 3221224560 3221223228 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12368 11578 1111 63 0 12305 0
vsize: 49472
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 668994 0 0 0 39430 1575 0 0 25 0 1 0 909938491 51372032 11754 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12542 11754 1111 63 0 12479 0
vsize: 50168
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 683047 0 0 0 40399 1606 0 0 25 0 1 0 909938491 52948992 11948 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 11948 1111 63 0 12864 0
vsize: 51708
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 691815 0 0 0 41380 1625 0 0 25 0 1 0 909938491 52674560 12041 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12860 12041 1111 63 0 12797 0
vsize: 51440
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 706245 0 0 0 42344 1661 0 0 25 0 1 0 909938491 52461568 12019 4294967295 134512640 134716908 3221224560 3221223200 134651249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12808 12019 1111 63 0 12745 0
vsize: 51232
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 722302 0 0 0 43306 1700 0 0 25 0 1 0 909938491 53063680 12165 4294967295 134512640 134716908 3221224560 3221222960 1074119048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12955 12165 1111 63 0 12892 0
vsize: 51820
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 736543 0 0 0 44272 1734 0 0 25 0 1 0 909938491 53678080 12318 4294967295 134512640 134716908 3221224560 3221222864 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13105 12318 1111 63 0 13042 0
vsize: 52420
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 750803 0 0 0 45238 1768 0 0 25 0 1 0 909938491 54288384 12467 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13254 12467 1111 63 0 13191 0
vsize: 53016
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 762296 0 0 0 46210 1797 0 0 25 0 1 0 909938491 55668736 12614 4294967295 134512640 134716908 3221224560 3221220592 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13591 12614 1111 63 0 13528 0
vsize: 54364
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 774940 0 0 0 47179 1828 0 0 25 0 1 0 909938491 55701504 12767 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13599 12767 1111 63 0 13536 0
vsize: 54396
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 790316 0 0 0 48143 1863 0 0 25 0 1 0 909938491 56713216 12832 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12834 1111 63 0 13783 0
vsize: 55384
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 807596 0 0 0 49104 1903 0 0 25 0 1 0 909938491 56188928 12909 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 12914 1111 63 0 13923 0
vsize: 54872
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 824436 0 0 0 50067 1941 0 0 25 0 1 0 909938491 57036800 13113 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13925 13113 1111 63 0 13862 0
vsize: 55700
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 836064 0 0 0 51040 1967 0 0 25 0 1 0 909938491 57360384 13194 4294967295 134512640 134716908 3221224560 3221222844 1073952152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14004 13194 1111 63 0 13941 0
vsize: 56016
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 845717 0 0 0 52017 1990 0 0 25 0 1 0 909938491 57597952 13252 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14062 13252 1111 63 0 13999 0
vsize: 56248
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 856975 0 0 0 52989 2018 0 0 25 0 1 0 909938491 57790464 13299 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14109 13299 1111 63 0 14046 0
vsize: 56436
[startup+560.02 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 867994 0 0 0 53961 2047 0 0 25 0 1 0 909938491 58048512 13362 4294967295 134512640 134716908 3221224560 3221223136 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14172 13362 1111 63 0 14109 0
vsize: 56688
[startup+570.022 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 884421 0 0 0 54923 2085 0 0 25 0 1 0 909938491 60190720 13698 4294967295 134512640 134716908 3221224560 3221220720 1075093818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14695 13698 1111 63 0 14632 0
vsize: 58780
[startup+580.022 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 893720 0 0 0 55900 2108 0 0 25 0 1 0 909938491 58978304 13591 4294967295 134512640 134716908 3221224560 3221222560 1074917025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14399 13591 1111 63 0 14336 0
vsize: 57596
[startup+590.023 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 907940 0 0 0 56867 2141 0 0 25 0 1 0 909938491 59449344 13707 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14514 13707 1111 63 0 14451 0
vsize: 58056
[startup+600.023 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 918838 0 0 0 57842 2167 0 0 25 0 1 0 909938491 61087744 13905 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13905 1111 63 0 14851 0
vsize: 59656
[startup+610.024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 927064 0 0 0 58823 2187 0 0 25 0 1 0 909938491 59957248 13835 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14638 13835 1111 63 0 14575 0
vsize: 58552
[startup+620.023 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 934823 0 0 0 59805 2204 0 0 25 0 1 0 909938491 60137472 13879 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14682 13879 1111 63 0 14619 0
vsize: 58728
[startup+630.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 943144 0 0 0 60786 2223 0 0 25 0 1 0 909938491 60137472 13879 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14682 13879 1111 63 0 14619 0
vsize: 58728
[startup+640.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 953236 0 0 0 61764 2246 0 0 25 0 1 0 909938491 62267392 14005 4294967295 134512640 134716908 3221224560 3221221328 1076083512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15202 14005 1111 63 0 15139 0
vsize: 60808
[startup+650.024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 964018 0 0 0 62738 2272 0 0 25 0 1 0 909938491 60731392 14024 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14827 14024 1111 63 0 14764 0
vsize: 59308
[startup+660.024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 974967 0 0 0 63712 2298 0 0 25 0 1 0 909938491 62140416 14185 4294967295 134512640 134716908 3221224560 3221220788 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15171 14185 1111 63 0 15108 0
vsize: 60684
[startup+670.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 984144 0 0 0 64690 2320 0 0 25 0 1 0 909938491 61108224 14116 4294967295 134512640 134716908 3221224560 3221222384 1075823654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14919 14116 1111 63 0 14856 0
vsize: 59676
[startup+680.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 995505 0 0 0 65662 2348 0 0 25 0 1 0 909938491 61386752 14184 4294967295 134512640 134716908 3221224560 3221223232 134652561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14987 14184 1111 63 0 14924 0
vsize: 59948
[startup+690.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1007054 0 0 0 66635 2376 0 0 25 0 1 0 909938491 61730816 14269 4294967295 134512640 134716908 3221224560 3221223360 134622284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15071 14269 1111 63 0 15008 0
vsize: 60284
[startup+700.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1018514 0 0 0 67608 2402 0 0 25 0 1 0 909938491 62754816 14487 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15321 14487 1111 63 0 15258 0
vsize: 61284
[startup+710.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1028142 0 0 0 68586 2425 0 0 25 0 1 0 909938491 63418368 14652 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15483 14652 1111 63 0 15420 0
vsize: 61932
[startup+720.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1031066 0 0 0 69580 2432 0 0 25 0 1 0 909938491 63885312 14766 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15597 14766 1111 63 0 15534 0
vsize: 62388
[startup+730.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1035528 0 0 0 70570 2442 0 0 25 0 1 0 909938491 63852544 14726 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15589 14726 1111 63 0 15526 0
vsize: 62356
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1046402 0 0 0 71543 2468 0 0 25 0 1 0 909938491 63614976 14700 4294967295 134512640 134716908 3221224560 3221222352 1074206323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15531 14700 1111 63 0 15468 0
vsize: 62124
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1057238 0 0 0 72520 2491 0 0 25 0 1 0 909938491 64016384 14801 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15629 14801 1111 63 0 15566 0
vsize: 62516
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1067616 0 0 0 73496 2516 0 0 25 0 1 0 909938491 64610304 14947 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15774 14947 1111 63 0 15711 0
vsize: 63096
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1080111 0 0 0 74468 2544 0 0 25 0 1 0 909938491 66056192 15125 4294967295 134512640 134716908 3221224560 3221220592 1074790218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16127 15125 1111 63 0 16064 0
vsize: 64508
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1089142 0 0 0 75447 2565 0 0 25 0 1 0 909938491 67481600 15499 4294967295 134512640 134716908 3221224560 3221220660 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16475 15499 1111 63 0 16412 0
vsize: 65900
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1099078 0 0 0 76423 2590 0 0 25 0 1 0 909938491 66269184 15159 4294967295 134512640 134716908 3221224560 3221220524 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16179 15159 1111 63 0 16116 0
vsize: 64716
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1111980 0 0 0 77395 2617 0 0 25 0 1 0 909938491 67018752 15327 4294967295 134512640 134716908 3221224560 3221220800 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16362 15327 1111 63 0 16299 0
vsize: 65448
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1121984 0 0 0 78370 2643 0 0 25 0 1 0 909938491 65867776 15257 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16081 15257 1111 63 0 16018 0
vsize: 64324
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1132853 0 0 0 79346 2667 0 0 25 0 1 0 909938491 67485696 15467 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16476 15467 1111 63 0 16413 0
vsize: 65904
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1142184 0 0 0 80323 2691 0 0 25 0 1 0 909938491 66772992 15451 4294967295 134512640 134716908 3221224560 3221221840 1074140001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16302 15451 1111 63 0 16239 0
vsize: 65208
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1152165 0 0 0 81300 2714 0 0 25 0 1 0 909938491 67960832 15550 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16592 15550 1111 63 0 16529 0
vsize: 66368
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1167368 0 0 0 82266 2748 0 0 25 0 1 0 909938491 67448832 15648 4294967295 134512640 134716908 3221224560 3221223280 134622900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 15648 1111 63 0 16404 0
vsize: 65868
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1178286 0 0 0 83241 2773 0 0 25 0 1 0 909938491 67874816 15756 4294967295 134512640 134716908 3221224560 3221222288 1075828567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16571 15756 1111 63 0 16508 0
vsize: 66284
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1187326 0 0 0 84220 2794 0 0 25 0 1 0 909938491 68075520 15806 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16620 15806 1111 63 0 16557 0
vsize: 66480
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1198064 0 0 0 85195 2820 0 0 25 0 1 0 909938491 68530176 15917 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16731 15917 1111 63 0 16668 0
vsize: 66924
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1208586 0 0 0 86170 2844 0 0 25 0 1 0 909938491 68804608 15984 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16798 15984 1111 63 0 16735 0
vsize: 67192
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1213823 0 0 0 87157 2858 0 0 25 0 1 0 909938491 69111808 16059 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16873 16059 1111 63 0 16810 0
vsize: 67492
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1219853 0 0 0 88145 2870 0 0 25 0 1 0 909938491 69054464 16045 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16859 16045 1111 63 0 16796 0
vsize: 67436
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1229115 0 0 0 89123 2892 0 0 25 0 1 0 909938491 69279744 16101 4294967295 134512640 134716908 3221224560 3221223284 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16914 16101 1111 63 0 16851 0
vsize: 67656
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1240442 0 0 0 90097 2918 0 0 25 0 1 0 909938491 69320704 16110 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16924 16110 1111 63 0 16861 0
vsize: 67696
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1253405 0 0 0 91068 2948 0 0 25 0 1 0 909938491 69758976 16218 4294967295 134512640 134716908 3221224560 3221223288 134622898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17031 16218 1111 63 0 16968 0
vsize: 68124
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1268921 0 0 0 92032 2984 0 0 25 0 1 0 909938491 70504448 16400 4294967295 134512640 134716908 3221224560 3221223280 134622876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17213 16400 1111 63 0 17150 0
vsize: 68852
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1278595 0 0 0 93011 3005 0 0 25 0 1 0 909938491 70606848 16425 4294967295 134512640 134716908 3221224560 3221222680 1077377881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17238 16425 1111 63 0 17175 0
vsize: 68952
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1289335 0 0 0 93985 3031 0 0 25 0 1 0 909938491 71286784 16591 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17404 16591 1111 63 0 17341 0
vsize: 69616
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1295895 0 0 0 94969 3048 0 0 25 0 1 0 909938491 71114752 16539 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17362 16539 1111 63 0 17299 0
vsize: 69448
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1305174 0 0 0 95945 3072 0 0 25 0 1 0 909938491 71475200 16622 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17450 16622 1111 63 0 17387 0
vsize: 69800
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1314646 0 0 0 96922 3094 0 0 25 0 1 0 909938491 71479296 16638 4294967295 134512640 134716908 3221224560 3221222728 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17451 16638 1111 63 0 17388 0
vsize: 69804
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1322448 0 0 0 97904 3113 0 0 25 0 1 0 909938491 71528448 16650 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17463 16650 1111 63 0 17400 0
vsize: 69852
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1330588 0 0 0 98884 3133 0 0 25 0 1 0 909938491 71876608 16726 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17548 16726 1111 63 0 17485 0
vsize: 70192
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1340735 0 0 0 99861 3157 0 0 25 0 1 0 909938491 72032256 16773 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17586 16773 1111 63 0 17523 0
vsize: 70344
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1346308 0 0 0 100847 3171 0 0 25 0 1 0 909938491 72802304 16953 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17774 16953 1111 63 0 17711 0
vsize: 71096
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1348559 0 0 0 101840 3177 0 0 25 0 1 0 909938491 75485184 17460 4294967295 134512640 134716908 3221224560 3221220672 1074790226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18429 17460 1111 63 0 18366 0
vsize: 73716
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1353233 0 0 0 102829 3189 0 0 25 0 1 0 909938491 72441856 16873 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17686 16873 1111 63 0 17623 0
vsize: 70744
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1366041 0 0 0 103798 3220 0 0 25 0 1 0 909938491 74584064 17103 4294967295 134512640 134716908 3221224560 3221221328 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18209 17103 1111 63 0 18146 0
vsize: 72836
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1383642 0 0 0 104756 3262 0 0 25 0 1 0 909938491 74047488 17165 4294967295 134512640 134716908 3221224560 3221222560 1074917951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18078 17165 1111 63 0 18015 0
vsize: 72312
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1396486 0 0 0 105727 3291 0 0 25 0 1 0 909938491 75481088 17328 4294967295 134512640 134716908 3221224560 3221220524 1074788217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18428 17328 1111 63 0 18365 0
vsize: 73712
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1412391 0 0 0 106691 3328 0 0 25 0 1 0 909938491 76087296 17476 4294967295 134512640 134716908 3221224560 3221221088 1075397221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17476 1111 63 0 18513 0
vsize: 74304
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1426459 0 0 0 107660 3359 0 0 25 0 1 0 909938491 76308480 17649 4294967295 134512640 134716908 3221224560 3221223284 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18630 17649 1111 63 0 18567 0
vsize: 74520
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1439765 0 0 0 108629 3391 0 0 25 0 1 0 909938491 77127680 17855 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18830 17855 1111 63 0 18767 0
vsize: 75320
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1451935 0 0 0 109601 3419 0 0 25 0 1 0 909938491 77152256 17861 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18836 17861 1111 63 0 18773 0
vsize: 75344
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1466120 0 0 0 110568 3452 0 0 25 0 1 0 909938491 78577664 18130 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18130 1111 63 0 19121 0
vsize: 76736
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1477696 0 0 0 111540 3480 0 0 25 0 1 0 909938491 80408576 18371 4294967295 134512640 134716908 3221224560 3221220764 1075564172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19631 18371 1111 63 0 19568 0
vsize: 78524
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1486084 0 0 0 112521 3499 0 0 25 0 1 0 909938491 79360000 18321 4294967295 134512640 134716908 3221224560 3221223272 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19375 18321 1111 63 0 19312 0
vsize: 77500
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1498405 0 0 0 113492 3529 0 0 25 0 1 0 909938491 80629760 18424 4294967295 134512640 134716908 3221224560 3221220720 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19685 18424 1111 63 0 19622 0
vsize: 78740
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 8857
Raw data (stat): 8857 (bsolo_lpr_cuts-) R 8856 20224 20223 0 -1 0 1498405 0 0 0 113492 3529 0 0 25 0 1 0 909938491 80629760 18424 4294967295 134512640 134716908 3221224560 3221220720 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19685 18424 1111 63 0 19622 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.09
CPU user time (s): 1139.61
CPU system time (s): 35.4846
CPU usage (%): 100.014
Max. virtual memory (Kb): 78740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####