PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.02808
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 41662

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 19:08:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29724 boxname=wulflinc5 idbench=1508 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 29724
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        916760 kB
Buffers:          4580 kB
Cached:          92040 kB
SwapCached:        620 kB
Active:          22972 kB
Inactive:        75656 kB
HighTotal:      131008 kB
HighFree:        38948 kB
LowTotal:       903652 kB
LowFree:        877812 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13476 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:28:30 (client local time) WITH STATUS 0 IN 1175.3 SECONDS
stats: 29724 7 1175.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.572 s
c Initial Lower Bound: 95
c Lower Bound Elapsed time: 0.253
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.28 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.81 0.91 0.90 1/54 5729
Raw data (stat): 5729 (runsolver) R 5728 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912679742 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.84 0.91 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 6868 0 0 0 980 17 0 0 25 0 1 0 912679742 16465920 3332 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3332 1111 63 0 3957 0
vsize: 16080
[startup+20.0011 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 8960 0 0 0 1974 23 0 0 25 0 1 0 912679742 16461824 3328 4294967295 134512640 134716908 3221224560 3221223008 1074039267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3328 1111 63 0 3956 0
vsize: 16076
[startup+30.0023 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 11330 0 0 0 2968 29 0 0 25 0 1 0 912679742 16490496 3331 4294967295 134512640 134716908 3221224560 3221222616 1077377425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3331 1111 63 0 3963 0
vsize: 16104
[startup+40.003 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 13772 0 0 0 3962 36 0 0 25 0 1 0 912679742 16482304 3336 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3336 1111 63 0 3961 0
vsize: 16096
[startup+50.0043 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 16666 0 0 0 4953 45 0 0 25 0 1 0 912679742 17264640 3380 4294967295 134512640 134716908 3221224560 3221220740 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3380 1111 63 0 4152 0
vsize: 16860
[startup+60.0045 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 19693 0 0 0 5946 52 0 0 25 0 1 0 912679742 16924672 3412 4294967295 134512640 134716908 3221224560 3221222736 1074208179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4132 3412 1111 63 0 4069 0
vsize: 16528
[startup+70.0052 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 22841 0 0 0 6938 60 0 0 25 0 1 0 912679742 16695296 3388 4294967295 134512640 134716908 3221224560 3221223208 134675437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 3388 1111 63 0 4013 0
vsize: 16304
[startup+80.0056 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 26313 0 0 0 7928 70 0 0 25 0 1 0 912679742 17711104 3497 4294967295 134512640 134716908 3221224560 3221220688 1075561092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 3497 1111 63 0 4261 0
vsize: 17296
[startup+90.0058 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 28636 0 0 0 8922 77 0 0 25 0 1 0 912679742 17530880 3466 4294967295 134512640 134716908 3221224560 3221220704 1074971426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3466 1111 63 0 4217 0
vsize: 17120
[startup+100.007 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 31382 0 0 0 9914 85 0 0 25 0 1 0 912679742 17293312 3484 4294967295 134512640 134716908 3221224560 3221220752 1075115765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3484 1111 63 0 4159 0
vsize: 16888
[startup+110.007 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 35331 0 0 0 10904 95 0 0 25 0 1 0 912679742 16973824 3456 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3456 1111 63 0 4081 0
vsize: 16576
[startup+120.007 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 38818 0 0 0 11894 105 0 0 25 0 1 0 912679742 17068032 3479 4294967295 134512640 134716908 3221224560 3221222940 1074152822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4167 3479 1111 63 0 4104 0
vsize: 16668
[startup+130.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 43512 0 0 0 12882 117 0 0 25 0 1 0 912679742 17326080 3508 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3508 1111 63 0 4167 0
vsize: 16920
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 49090 0 0 0 13868 131 0 0 25 0 1 0 912679742 17645568 3535 4294967295 134512640 134716908 3221224560 3221221600 1075860474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4308 3535 1111 63 0 4245 0
vsize: 17232
[startup+150.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 54814 0 0 0 14853 146 0 0 25 0 1 0 912679742 17502208 3585 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4273 3585 1111 63 0 4210 0
vsize: 17092
[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 59163 0 0 0 15842 157 0 0 25 0 1 0 912679742 17977344 3701 4294967295 134512640 134716908 3221224560 3221222896 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3701 1111 63 0 4326 0
vsize: 17556
[startup+170.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 62420 0 0 0 16834 165 0 0 25 0 1 0 912679742 17887232 3680 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3680 1111 63 0 4304 0
vsize: 17468
[startup+180.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 66104 0 0 0 17825 174 0 0 25 0 1 0 912679742 18694144 3766 4294967295 134512640 134716908 3221224560 3221220892 1075113009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3766 1111 63 0 4501 0
vsize: 18256
[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 69437 0 0 0 18815 185 0 0 25 0 1 0 912679742 18640896 3724 4294967295 134512640 134716908 3221224560 3221220708 1075964431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4551 3724 1111 63 0 4488 0
vsize: 18204
[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 74004 0 0 0 19803 197 0 0 25 0 1 0 912679742 18006016 3709 4294967295 134512640 134716908 3221224560 3221222704 1074206536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 3709 1111 63 0 4333 0
vsize: 17584
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 78358 0 0 0 20791 210 0 0 25 0 1 0 912679742 18034688 3716 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3716 1111 63 0 4340 0
vsize: 17612
[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 82207 0 0 0 21779 221 0 0 25 0 1 0 912679742 18956288 3843 4294967295 134512640 134716908 3221224560 3221220472 1074788452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4628 3843 1111 63 0 4565 0
vsize: 18512
[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 86781 0 0 0 22766 235 0 0 25 0 1 0 912679742 18538496 3772 4294967295 134512640 134716908 3221224560 3221220784 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3772 1111 63 0 4463 0
vsize: 18104
[startup+240.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 91325 0 0 0 23754 247 0 0 25 0 1 0 912679742 19050496 3827 4294967295 134512640 134716908 3221224560 3221220440 1074788452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 3827 1111 63 0 4588 0
vsize: 18604
[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 95116 0 0 0 24745 256 0 0 25 0 1 0 912679742 18665472 3786 4294967295 134512640 134716908 3221224560 3221221632 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4557 3786 1111 63 0 4494 0
vsize: 18228
[startup+260.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 99724 0 0 0 25734 267 0 0 25 0 1 0 912679742 18280448 3776 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3776 1111 63 0 4400 0
vsize: 17852
[startup+270.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 103563 0 0 0 26723 278 0 0 25 0 1 0 912679742 18411520 3808 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3808 1111 63 0 4432 0
vsize: 17980
[startup+280.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 107439 0 0 0 27712 289 0 0 25 0 1 0 912679742 19222528 3891 4294967295 134512640 134716908 3221224560 3221221136 1076047814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3891 1111 63 0 4630 0
vsize: 18772
[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 110664 0 0 0 28703 298 0 0 25 0 1 0 912679742 18612224 3857 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 3857 1111 63 0 4481 0
vsize: 18176
[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 114936 0 0 0 29691 310 0 0 25 0 1 0 912679742 19271680 3914 4294967295 134512640 134716908 3221224560 3221220620 1075084403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4705 3914 1111 63 0 4642 0
vsize: 18820
[startup+310.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 118239 0 0 0 30682 320 0 0 25 0 1 0 912679742 19402752 3902 4294967295 134512640 134716908 3221224560 3221221632 1074867337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4737 3902 1111 63 0 4674 0
vsize: 18948
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 122464 0 0 0 31670 331 0 0 25 0 1 0 912679742 19197952 3997 4294967295 134512640 134716908 3221224560 3221221752 1074138309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 3997 1111 63 0 4624 0
vsize: 18748
[startup+330.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 126124 0 0 0 32662 340 0 0 25 0 1 0 912679742 19648512 3999 4294967295 134512640 134716908 3221224560 3221221216 1075967413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 3999 1111 63 0 4734 0
vsize: 19188
[startup+340.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 130000 0 0 0 33651 351 0 0 25 0 1 0 912679742 19623936 4002 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4791 4002 1111 63 0 4728 0
vsize: 19164
[startup+350.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 133723 0 0 0 34641 361 0 0 25 0 1 0 912679742 19689472 4014 4294967295 134512640 134716908 3221224560 3221221104 1076043295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4807 4014 1111 63 0 4744 0
vsize: 19228
[startup+360.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 138161 0 0 0 35630 372 0 0 25 0 1 0 912679742 20021248 4068 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4888 4068 1111 63 0 4825 0
vsize: 19552
[startup+370.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 141632 0 0 0 36621 382 0 0 25 0 1 0 912679742 19353600 4044 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4725 4044 1111 63 0 4662 0
vsize: 18900
[startup+380.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 145010 0 0 0 37611 391 0 0 25 0 1 0 912679742 19468288 4072 4294967295 134512640 134716908 3221224560 3221222844 1074208192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4753 4072 1111 63 0 4690 0
vsize: 19012
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 148888 0 0 0 38602 400 0 0 25 0 1 0 912679742 19582976 4101 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4781 4101 1111 63 0 4718 0
vsize: 19124
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 152131 0 0 0 39593 410 0 0 25 0 1 0 912679742 19410944 4059 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4059 1111 63 0 4676 0
vsize: 18956
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 155432 0 0 0 40584 419 0 0 25 0 1 0 912679742 19410944 4059 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4059 1111 63 0 4676 0
vsize: 18956
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 158607 0 0 0 41575 428 0 0 25 0 1 0 912679742 19447808 4068 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4748 4068 1111 63 0 4685 0
vsize: 18992
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 161809 0 0 0 42565 438 0 0 25 0 1 0 912679742 19664896 4121 4294967295 134512640 134716908 3221224560 3221222552 1077377633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4121 1111 63 0 4738 0
vsize: 19204
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 164534 0 0 0 43557 447 0 0 25 0 1 0 912679742 20242432 4135 4294967295 134512640 134716908 3221224560 3221220604 1074873439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4135 1111 63 0 4879 0
vsize: 19768
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 167357 0 0 0 44549 454 0 0 25 0 1 0 912679742 20533248 4223 4294967295 134512640 134716908 3221224560 3221220832 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5013 4223 1111 63 0 4950 0
vsize: 20052
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 170731 0 0 0 45541 463 0 0 25 0 1 0 912679742 20512768 4269 4294967295 134512640 134716908 3221224560 3221220768 1074815482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5008 4269 1111 63 0 4945 0
vsize: 20032
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 173848 0 0 0 46532 472 0 0 25 0 1 0 912679742 19619840 4110 4294967295 134512640 134716908 3221224560 3221222472 1077379572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 177464 0 0 0 47521 483 0 0 25 0 1 0 912679742 20340736 4144 4294967295 134512640 134716908 3221224560 3221220720 1074883634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4966 4144 1111 63 0 4903 0
vsize: 19864
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 182187 0 0 0 48509 495 0 0 25 0 1 0 912679742 19619840 4110 4294967295 134512640 134716908 3221224560 3221222472 1074138312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 186613 0 0 0 49499 506 0 0 25 0 1 0 912679742 19730432 4137 4294967295 134512640 134716908 3221224560 3221222808 1077410281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 4137 1111 63 0 4754 0
vsize: 19268
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 192101 0 0 0 50484 520 0 0 25 0 1 0 912679742 20398080 4244 4294967295 134512640 134716908 3221224560 3221220672 1074794694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4244 1111 63 0 4917 0
vsize: 19920
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 196640 0 0 0 51470 534 0 0 25 0 1 0 912679742 20815872 4272 4294967295 134512640 134716908 3221224560 3221220832 1074961129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4272 1111 63 0 5019 0
vsize: 20328
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 200407 0 0 0 52462 542 0 0 25 0 1 0 912679742 21086208 4407 4294967295 134512640 134716908 3221224560 3221220720 1075091380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5148 4407 1111 63 0 5085 0
vsize: 20592
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 204266 0 0 0 53451 553 0 0 25 0 1 0 912679742 20885504 4310 4294967295 134512640 134716908 3221224560 3221220568 1074789590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5099 4310 1111 63 0 5036 0
vsize: 20396
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 207538 0 0 0 54443 561 0 0 25 0 1 0 912679742 20336640 4285 4294967295 134512640 134716908 3221224560 3221223056 134652836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4965 4285 1111 63 0 4902 0
vsize: 19860
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 211073 0 0 0 55434 570 0 0 25 0 1 0 912679742 20475904 4319 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 4319 1111 63 0 4936 0
vsize: 19996
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 214618 0 0 0 56425 579 0 0 25 0 1 0 912679742 20844544 4397 4294967295 134512640 134716908 3221224560 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4397 1111 63 0 5026 0
vsize: 20356
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 217655 0 0 0 57417 587 0 0 25 0 1 0 912679742 20811776 4401 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 4401 1111 63 0 5018 0
vsize: 20324
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 221328 0 0 0 58405 598 0 0 25 0 1 0 912679742 21270528 4437 4294967295 134512640 134716908 3221224560 3221220764 1076079123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 4437 1111 63 0 5130 0
vsize: 20772
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 225208 0 0 0 59393 611 0 0 25 0 1 0 912679742 20869120 4415 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4415 1111 63 0 5032 0
vsize: 20380
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 228941 0 0 0 60383 621 0 0 25 0 1 0 912679742 21024768 4423 4294967295 134512640 134716908 3221224560 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5133 4423 1111 63 0 5070 0
vsize: 20532
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 232913 0 0 0 61372 631 0 0 25 0 1 0 912679742 21041152 4457 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 4457 1111 63 0 5074 0
vsize: 20548
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 237925 0 0 0 62360 644 0 0 25 0 1 0 912679742 21188608 4493 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5173 4493 1111 63 0 5110 0
vsize: 20692
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 241509 0 0 0 63350 654 0 0 25 0 1 0 912679742 21291008 4518 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4518 1111 63 0 5135 0
vsize: 20792
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 245048 0 0 0 64340 663 0 0 25 0 1 0 912679742 21483520 4565 4294967295 134512640 134716908 3221224560 3221222896 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5245 4565 1111 63 0 5182 0
vsize: 20980
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 248600 0 0 0 65331 673 0 0 25 0 1 0 912679742 21606400 4595 4294967295 134512640 134716908 3221224560 3221222400 1075798481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4595 1111 63 0 5212 0
vsize: 21100
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 252118 0 0 0 66321 682 0 0 25 0 1 0 912679742 22302720 4711 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5445 4711 1111 63 0 5382 0
vsize: 21780
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 256041 0 0 0 67312 692 0 0 25 0 1 0 912679742 21954560 4680 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5360 4680 1111 63 0 5297 0
vsize: 21440
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 259186 0 0 0 68301 702 0 0 25 0 1 0 912679742 22093824 4687 4294967295 134512640 134716908 3221224560 3221222400 1075798481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4687 1111 63 0 5331 0
vsize: 21576
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 262998 0 0 0 69292 712 0 0 25 0 1 0 912679742 21921792 4672 4294967295 134512640 134716908 3221224560 3221222908 1074146096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5352 4672 1111 63 0 5289 0
vsize: 21408
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 266899 0 0 0 70282 723 0 0 25 0 1 0 912679742 22933504 4755 4294967295 134512640 134716908 3221224560 3221220704 1074971460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5599 4755 1111 63 0 5536 0
vsize: 22396
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 270950 0 0 0 71269 735 0 0 25 0 1 0 912679742 23007232 4810 4294967295 134512640 134716908 3221224560 3221221328 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5617 4810 1111 63 0 5554 0
vsize: 22468
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 274118 0 0 0 72261 744 0 0 25 0 1 0 912679742 22171648 4733 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 4733 1111 63 0 5350 0
vsize: 21652
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 278583 0 0 0 73249 755 0 0 25 0 1 0 912679742 23220224 4855 4294967295 134512640 134716908 3221224560 3221220672 1075093818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5669 4855 1111 63 0 5606 0
vsize: 22676
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 282324 0 0 0 74240 765 0 0 25 0 1 0 912679742 22704128 4863 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 4863 1111 63 0 5480 0
vsize: 22172
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 286569 0 0 0 75229 776 0 0 25 0 1 0 912679742 22839296 4886 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 4886 1111 63 0 5513 0
vsize: 22304
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 290005 0 0 0 76221 784 0 0 25 0 1 0 912679742 23887872 5033 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5832 5040 1111 63 0 5769 0
vsize: 23328
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 293878 0 0 0 77210 795 0 0 25 0 1 0 912679742 23949312 4968 4294967295 134512640 134716908 3221224560 3221220604 1074873534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5847 4968 1111 63 0 5784 0
vsize: 23388
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 297297 0 0 0 78200 805 0 0 25 0 1 0 912679742 23871488 4967 4294967295 134512640 134716908 3221224560 3221221488 1075960342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5828 4967 1111 63 0 5765 0
vsize: 23312
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 302342 0 0 0 79187 819 0 0 25 0 1 0 912679742 23826432 5038 4294967295 134512640 134716908 3221224560 3221220768 1074815176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5038 1111 63 0 5754 0
vsize: 23268
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 307719 0 0 0 80174 833 0 0 25 0 1 0 912679742 22900736 4911 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4911 1111 63 0 5528 0
vsize: 22364
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 313307 0 0 0 81160 847 0 0 25 0 1 0 912679742 22929408 4914 4294967295 134512640 134716908 3221224560 3221222728 1077377504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5598 4914 1111 63 0 5535 0
vsize: 22392
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 319192 0 0 0 82144 862 0 0 25 0 1 0 912679742 23605248 4983 4294967295 134512640 134716908 3221224560 3221220800 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4983 1111 63 0 5700 0
vsize: 23052
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 324867 0 0 0 83130 877 0 0 25 0 1 0 912679742 23134208 4968 4294967295 134512640 134716908 3221224560 3221222912 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5648 4968 1111 63 0 5585 0
vsize: 22592
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 331480 0 0 0 84115 892 0 0 25 0 1 0 912679742 23146496 4971 4294967295 134512640 134716908 3221224560 3221222728 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5651 4971 1111 63 0 5588 0
vsize: 22604
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 337104 0 0 0 85100 907 0 0 25 0 1 0 912679742 24506368 5073 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5073 1111 63 0 5920 0
vsize: 23932
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 342622 0 0 0 86087 921 0 0 25 0 1 0 912679742 24780800 5157 4294967295 134512640 134716908 3221224560 3221220688 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5157 1111 63 0 5987 0
vsize: 24200
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 347067 0 0 0 87075 932 0 0 25 0 1 0 912679742 23707648 5108 4294967295 134512640 134716908 3221224560 3221221664 1074139041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5111 1111 63 0 5760 0
vsize: 23152
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 352228 0 0 0 88063 945 0 0 25 0 1 0 912679742 24539136 5172 4294967295 134512640 134716908 3221224560 3221220740 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5991 5172 1111 63 0 5928 0
vsize: 23964
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 356190 0 0 0 89052 956 0 0 25 0 1 0 912679742 24907776 5211 4294967295 134512640 134716908 3221224560 3221221680 1074835546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5211 1111 63 0 6018 0
vsize: 24324
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 361803 0 0 0 90036 972 0 0 25 0 1 0 912679742 25157632 5243 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 5243 1111 63 0 6079 0
vsize: 24568
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 367518 0 0 0 91020 988 0 0 25 0 1 0 912679742 24010752 5182 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5862 5182 1111 63 0 5799 0
vsize: 23448
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 373392 0 0 0 92006 1002 0 0 25 0 1 0 912679742 24104960 5205 4294967295 134512640 134716908 3221224560 3221222520 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5205 1111 63 0 5822 0
vsize: 23540
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 377521 0 0 0 92996 1013 0 0 25 0 1 0 912679742 25497600 5345 4294967295 134512640 134716908 3221224560 3221220832 1074961278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5345 1111 63 0 6162 0
vsize: 24900
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 380742 0 0 0 93987 1022 0 0 25 0 1 0 912679742 24678400 5313 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 5313 1111 63 0 5962 0
vsize: 24100
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 384875 0 0 0 94977 1032 0 0 25 0 1 0 912679742 25731072 5390 4294967295 134512640 134716908 3221224560 3221220800 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 5390 1111 63 0 6219 0
vsize: 25128
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 388424 0 0 0 95968 1041 0 0 25 0 1 0 912679742 24805376 5376 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6056 5376 1111 63 0 5993 0
vsize: 24224
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 392562 0 0 0 96957 1053 0 0 25 0 1 0 912679742 26112000 5493 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 5493 1111 63 0 6312 0
vsize: 25500
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 396466 0 0 0 97947 1063 0 0 25 0 1 0 912679742 25137152 5457 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6137 5457 1111 63 0 6074 0
vsize: 24548
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 399870 0 0 0 98937 1073 0 0 25 0 1 0 912679742 26136576 5638 4294967295 134512640 134716908 3221224560 3221220832 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6381 5638 1111 63 0 6318 0
vsize: 25524
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 403501 0 0 0 99927 1083 0 0 25 0 1 0 912679742 25128960 5455 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6135 5455 1111 63 0 6072 0
vsize: 24540
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 406871 0 0 0 100918 1092 0 0 25 0 1 0 912679742 25145344 5459 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5459 1111 63 0 6076 0
vsize: 24556
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 411196 0 0 0 101907 1104 0 0 25 0 1 0 912679742 25411584 5524 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6204 5524 1111 63 0 6141 0
vsize: 24816
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 414875 0 0 0 102896 1114 0 0 25 0 1 0 912679742 25567232 5527 4294967295 134512640 134716908 3221224560 3221222528 1075810662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6242 5527 1111 63 0 6179 0
vsize: 24968
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 419262 0 0 0 103885 1126 0 0 25 0 1 0 912679742 25726976 5572 4294967295 134512640 134716908 3221224560 3221222384 1075823435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6281 5572 1111 63 0 6218 0
vsize: 25124
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 423050 0 0 0 104878 1133 0 0 25 0 1 0 912679742 25538560 5555 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6235 5555 1111 63 0 6172 0
vsize: 24940
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 426822 0 0 0 105868 1143 0 0 25 0 1 0 912679742 25604096 5571 4294967295 134512640 134716908 3221224560 3221223276 134558607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6251 5571 1111 63 0 6188 0
vsize: 25004
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 430846 0 0 0 106857 1154 0 0 25 0 1 0 912679742 27041792 5723 4294967295 134512640 134716908 3221224560 3221220832 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6602 5723 1111 63 0 6539 0
vsize: 26408
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 433927 0 0 0 107848 1164 0 0 25 0 1 0 912679742 26038272 5667 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6357 5667 1111 63 0 6294 0
vsize: 25428
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 437417 0 0 0 108839 1172 0 0 25 0 1 0 912679742 27004928 5723 4294967295 134512640 134716908 3221224560 3221221216 1075968828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6593 5723 1111 63 0 6530 0
vsize: 26372
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 441003 0 0 0 109830 1182 0 0 25 0 1 0 912679742 27181056 5773 4294967295 134512640 134716908 3221224560 3221220528 1074872864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 5773 1111 63 0 6573 0
vsize: 26544
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 444552 0 0 0 110821 1192 0 0 25 0 1 0 912679742 27095040 5785 4294967295 134512640 134716908 3221224560 3221221168 1075967910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6615 5785 1111 63 0 6552 0
vsize: 26460
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 448477 0 0 0 111809 1203 0 0 25 0 1 0 912679742 26365952 5757 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6437 5757 1111 63 0 6374 0
vsize: 25748
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 452229 0 0 0 112800 1213 0 0 25 0 1 0 912679742 27369472 5807 4294967295 134512640 134716908 3221224560 3221220896 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6682 5807 1111 63 0 6619 0
vsize: 26728
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 455693 0 0 0 113791 1222 0 0 25 0 1 0 912679742 27107328 5819 4294967295 134512640 134716908 3221224560 3221221044 1075863632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6618 5819 1111 63 0 6555 0
vsize: 26472
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 459495 0 0 0 114782 1231 0 0 25 0 1 0 912679742 26710016 5841 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6521 5841 1111 63 0 6458 0
vsize: 26084
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 463682 0 0 0 115771 1243 0 0 25 0 1 0 912679742 27598848 5959 4294967295 134512640 134716908 3221224560 3221220688 1075112097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6738 5959 1111 63 0 6675 0
vsize: 26952
[startup+1175.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5729
Raw data (stat): 5729 (bsolo_lpr_cuts-) R 5728 7266 7265 0 -1 0 463682 0 0 0 115771 1243 0 0 25 0 1 0 912679742 27598848 5959 4294967295 134512640 134716908 3221224560 3221220688 1075112097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6738 5959 1111 63 0 6675 0
vsize: 0

Child status: 0
Real time (s): 1175.21
CPU time (s): 1175.3
CPU user time (s): 1162.81
CPU system time (s): 12.4901
CPU usage (%): 100.008
Max. virtual memory (Kb): 26952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####