PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.78
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 41466

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 13:05:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29527 boxname=wulflinc5 idbench=1311 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 29527
/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:        506832 kB
Buffers:         26316 kB
Cached:         480232 kB
SwapCached:        664 kB
Active:          31692 kB
Inactive:       476864 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        506580 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13672 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:25:08 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29527 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2655 variables and 291 constraints.
c After prepocess the problem consists of 2463 variables and 535 constraints.
c preprocess terminated 79.712 s
c Initial Lower Bound: 6541
c Lower Bound Elapsed time: 1.57
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.85 0.95 0.90 2/54 2414
Raw data (stat): 2414 (runsolver) R 2413 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910499210 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0008 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 2414
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 20088 0 0 0 954 43 0 0 25 0 1 0 910499210 85303296 19993 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20826 19993 1111 63 0 20763 0
vsize: 83304
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21246 0 0 0 1951 46 0 0 25 0 1 0 910499210 90046464 21151 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21984 21151 1111 63 0 21921 0
vsize: 87936
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21265 0 0 0 2951 47 0 0 25 0 1 0 910499210 90181632 21170 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22017 21170 1111 63 0 21954 0
vsize: 88068
[startup+40.002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21281 0 0 0 3951 47 0 0 25 0 1 0 910499210 90316800 21186 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22050 21186 1111 63 0 21987 0
vsize: 88200
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21304 0 0 0 4950 48 0 0 25 0 1 0 910499210 90316800 21209 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22050 21209 1111 63 0 21987 0
vsize: 88200
[startup+60.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21329 0 0 0 5950 48 0 0 25 0 1 0 910499210 90451968 21234 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22083 21234 1111 63 0 22020 0
vsize: 88332
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21351 0 0 0 6950 48 0 0 25 0 1 0 910499210 90587136 21256 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22116 21256 1111 63 0 22053 0
vsize: 88464
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 21661 0 0 0 7949 49 0 0 25 0 1 0 910499210 91791360 21566 4294967295 134512640 134716908 3221224560 3221222000 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22410 21566 1111 63 0 22347 0
vsize: 89640
[startup+90.0043 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23166 0 0 0 8946 53 0 0 25 0 1 0 910499210 92565504 21905 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22599 21905 1111 63 0 22536 0
vsize: 90396
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23250 0 0 0 9945 53 0 0 25 0 1 0 910499210 92921856 21986 4294967295 134512640 134716908 3221224560 3221223296 134535725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22686 21986 1111 63 0 22623 0
vsize: 90744
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23250 0 0 0 10945 54 0 0 25 0 1 0 910499210 92921856 21986 4294967295 134512640 134716908 3221224560 3221223272 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22686 21986 1111 63 0 22623 0
vsize: 90744
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23295 0 0 0 11944 55 0 0 25 0 1 0 910499210 93192192 22031 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22752 22031 1111 63 0 22689 0
vsize: 91008
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23342 0 0 0 12943 56 0 0 25 0 1 0 910499210 93331456 22078 4294967295 134512640 134716908 3221224560 3221223172 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22786 22078 1111 63 0 22723 0
vsize: 91144
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23441 0 0 0 13941 58 0 0 25 0 1 0 910499210 93646848 22174 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22863 22174 1111 63 0 22800 0
vsize: 91452
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23560 0 0 0 14939 60 0 0 25 0 1 0 910499210 94138368 22293 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22983 22293 1111 63 0 22920 0
vsize: 91932
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23633 0 0 0 15939 61 0 0 25 0 1 0 910499210 94380032 22321 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23042 22321 1111 63 0 22979 0
vsize: 92168
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23673 0 0 0 16938 61 0 0 25 0 1 0 910499210 94515200 22361 4294967295 134512640 134716908 3221224560 3221223184 134698676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23075 22361 1111 63 0 23012 0
vsize: 92300
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23745 0 0 0 17937 62 0 0 25 0 1 0 910499210 94826496 22432 4294967295 134512640 134716908 3221224560 3221223188 134698579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23151 22432 1111 63 0 23088 0
vsize: 92604
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23805 0 0 0 18936 63 0 0 25 0 1 0 910499210 95039488 22492 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23203 22492 1111 63 0 23140 0
vsize: 92812
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23866 0 0 0 19935 64 0 0 25 0 1 0 910499210 95088640 22526 4294967295 134512640 134716908 3221224560 3221223200 134698654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22526 1111 63 0 23152 0
vsize: 92860
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23883 0 0 0 20934 65 0 0 25 0 1 0 910499210 95223808 22543 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23248 22543 1111 63 0 23185 0
vsize: 92992
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23898 0 0 0 21933 66 0 0 25 0 1 0 910499210 95223808 22558 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23248 22558 1111 63 0 23185 0
vsize: 92992
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23915 0 0 0 22932 67 0 0 25 0 1 0 910499210 95305728 22575 4294967295 134512640 134716908 3221224560 3221223120 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23268 22575 1111 63 0 23205 0
vsize: 93072
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23917 0 0 0 23932 68 0 0 25 0 1 0 910499210 95305728 22577 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23268 22577 1111 63 0 23205 0
vsize: 93072
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23944 0 0 0 24931 69 0 0 25 0 1 0 910499210 95432704 22585 4294967295 134512640 134716908 3221224560 3221223208 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23299 22585 1111 63 0 23236 0
vsize: 93196
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23959 0 0 0 25930 70 0 0 25 0 1 0 910499210 95432704 22600 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23299 22600 1111 63 0 23236 0
vsize: 93196
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 23960 0 0 0 26929 71 0 0 25 0 1 0 910499210 95432704 22601 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23299 22601 1111 63 0 23236 0
vsize: 93196
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24011 0 0 0 27928 72 0 0 25 0 1 0 910499210 95703040 22652 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23365 22652 1111 63 0 23302 0
vsize: 93460
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24011 0 0 0 28927 73 0 0 25 0 1 0 910499210 95662080 22652 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23355 22652 1111 63 0 23292 0
vsize: 93420
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24011 0 0 0 29927 73 0 0 25 0 1 0 910499210 95662080 22652 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23355 22652 1111 63 0 23292 0
vsize: 93420
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24035 0 0 0 30926 75 0 0 25 0 1 0 910499210 95797248 22676 4294967295 134512640 134716908 3221224560 3221223016 1077374433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24035 0 0 0 31925 76 0 0 25 0 1 0 910499210 95797248 22676 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24035 0 0 0 32923 77 0 0 25 0 1 0 910499210 95797248 22676 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24035 0 0 0 33923 78 0 0 25 0 1 0 910499210 95797248 22676 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24059 0 0 0 34922 79 0 0 25 0 1 0 910499210 95932416 22700 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24059 0 0 0 35921 80 0 0 25 0 1 0 910499210 95932416 22700 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24059 0 0 0 36921 81 0 0 25 0 1 0 910499210 95932416 22700 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24072 0 0 0 37920 81 0 0 25 0 1 0 910499210 95932416 22713 4294967295 134512640 134716908 3221224560 3221223084 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22713 1111 63 0 23358 0
vsize: 93684
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24082 0 0 0 38919 82 0 0 25 0 1 0 910499210 95932416 22723 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22723 1111 63 0 23358 0
vsize: 93684
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 39918 84 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223356 134554978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 40917 85 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 41916 86 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 42915 87 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 43914 88 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 44913 89 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221222956 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24088 0 0 0 45913 90 0 0 25 0 1 0 910499210 95932416 22729 4294967295 134512640 134716908 3221224560 3221223120 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24091 0 0 0 46911 92 0 0 25 0 1 0 910499210 95932416 22732 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23421 22732 1111 63 0 23358 0
vsize: 93684
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24098 0 0 0 47910 92 0 0 25 0 1 0 910499210 96067584 22739 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23454 22739 1111 63 0 23391 0
vsize: 93816
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24110 0 0 0 48910 93 0 0 25 0 1 0 910499210 96067584 22751 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23454 22751 1111 63 0 23391 0
vsize: 93816
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24141 0 0 0 49909 94 0 0 25 0 1 0 910499210 96202752 22782 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23487 22782 1111 63 0 23424 0
vsize: 93948
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24161 0 0 0 50908 95 0 0 25 0 1 0 910499210 96337920 22802 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23520 22802 1111 63 0 23457 0
vsize: 94080
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24161 0 0 0 51908 95 0 0 25 0 1 0 910499210 96337920 22802 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23520 22802 1111 63 0 23457 0
vsize: 94080
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24163 0 0 0 52907 96 0 0 25 0 1 0 910499210 96337920 22804 4294967295 134512640 134716908 3221224560 3221223184 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23520 22804 1111 63 0 23457 0
vsize: 94080
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24163 0 0 0 53906 98 0 0 25 0 1 0 910499210 96337920 22804 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23520 22804 1111 63 0 23457 0
vsize: 94080
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24195 0 0 0 54905 99 0 0 25 0 1 0 910499210 96473088 22836 4294967295 134512640 134716908 3221224560 3221223068 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23553 22836 1111 63 0 23490 0
vsize: 94212
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24215 0 0 0 55904 100 0 0 25 0 1 0 910499210 96473088 22856 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23553 22856 1111 63 0 23490 0
vsize: 94212
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24232 0 0 0 56903 101 0 0 25 0 1 0 910499210 96608256 22873 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23586 22873 1111 63 0 23523 0
vsize: 94344
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24255 0 0 0 57902 102 0 0 25 0 1 0 910499210 96608256 22896 4294967295 134512640 134716908 3221224560 3221223140 1077378607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23586 22896 1111 63 0 23523 0
vsize: 94344
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 58901 103 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 59901 104 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 60901 104 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223116 134539337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 61900 105 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 62899 106 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 63898 107 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 64898 108 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223240 134524426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 65897 109 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223152 134549616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 66896 110 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 67895 111 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223100 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 68894 112 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223376 134590266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 69894 113 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223104 134543051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 70893 114 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223056 134535460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 71892 115 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 72891 116 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 73889 118 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 74888 119 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 75887 120 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221222952 134613777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24276 0 0 0 76886 121 0 0 25 0 1 0 910499210 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24283 0 0 0 77886 122 0 0 25 0 1 0 910499210 96743424 22924 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23619 22924 1111 63 0 23556 0
vsize: 94476
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24296 0 0 0 78885 123 0 0 25 0 1 0 910499210 96874496 22937 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24296 0 0 0 79884 124 0 0 25 0 1 0 910499210 96874496 22937 4294967295 134512640 134716908 3221224560 3221223328 134592320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24296 0 0 0 80883 125 0 0 25 0 1 0 910499210 96874496 22937 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24296 0 0 0 81882 126 0 0 25 0 1 0 910499210 96874496 22937 4294967295 134512640 134716908 3221224560 3221223296 134529333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24306 0 0 0 82882 126 0 0 25 0 1 0 910499210 96874496 22947 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22947 1111 63 0 23588 0
vsize: 94604
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 83881 127 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 84881 128 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223248 134542836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 85879 129 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 86878 131 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223100 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 87878 131 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 88877 133 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24317 0 0 0 89876 133 0 0 25 0 1 0 910499210 96874496 22958 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24321 0 0 0 90875 135 0 0 25 0 1 0 910499210 96874496 22962 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22962 1111 63 0 23588 0
vsize: 94604
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24354 0 0 0 91874 136 0 0 25 0 1 0 910499210 97009664 22995 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23684 22995 1111 63 0 23621 0
vsize: 94736
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24354 0 0 0 92873 137 0 0 25 0 1 0 910499210 97009664 22995 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23684 22995 1111 63 0 23621 0
vsize: 94736
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24358 0 0 0 93872 138 0 0 25 0 1 0 910499210 97140736 22999 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24358 0 0 0 94872 138 0 0 25 0 1 0 910499210 97140736 22999 4294967295 134512640 134716908 3221224560 3221223212 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24358 0 0 0 95871 140 0 0 25 0 1 0 910499210 97140736 22999 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24358 0 0 0 96870 140 0 0 25 0 1 0 910499210 97140736 22999 4294967295 134512640 134716908 3221224560 3221223264 134524477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24366 0 0 0 97869 141 0 0 25 0 1 0 910499210 97140736 23007 4294967295 134512640 134716908 3221224560 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24366 0 0 0 98868 142 0 0 25 0 1 0 910499210 97140736 23007 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24366 0 0 0 99868 143 0 0 25 0 1 0 910499210 97140736 23007 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24382 0 0 0 100867 144 0 0 25 0 1 0 910499210 97140736 23023 4294967295 134512640 134716908 3221224560 3221222792 134613973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24382 0 0 0 101867 144 0 0 25 0 1 0 910499210 97140736 23023 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24382 0 0 0 102866 145 0 0 25 0 1 0 910499210 97140736 23023 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24384 0 0 0 103864 147 0 0 25 0 1 0 910499210 97140736 23025 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23716 23025 1111 63 0 23653 0
vsize: 94864
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24442 0 0 0 104862 149 0 0 25 0 1 0 910499210 97402880 23083 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24442 0 0 0 105862 149 0 0 25 0 1 0 910499210 97402880 23083 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24442 0 0 0 106862 150 0 0 25 0 1 0 910499210 97402880 23083 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24457 0 0 0 107861 151 0 0 25 0 1 0 910499210 97538048 23098 4294967295 134512640 134716908 3221224560 3221223260 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23813 23098 1111 63 0 23750 0
vsize: 95252
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24457 0 0 0 108860 152 0 0 25 0 1 0 910499210 97525760 23098 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23810 23098 1111 63 0 23747 0
vsize: 95240
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24468 0 0 0 109860 152 0 0 25 0 1 0 910499210 97525760 23109 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23810 23109 1111 63 0 23747 0
vsize: 95240
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24473 0 0 0 110860 153 0 0 25 0 1 0 910499210 97525760 23114 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23810 23114 1111 63 0 23747 0
vsize: 95240
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24519 0 0 0 111859 154 0 0 25 0 1 0 910499210 97779712 23160 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23872 23160 1111 63 0 23809 0
vsize: 95488
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24520 0 0 0 112858 155 0 0 25 0 1 0 910499210 97779712 23161 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23872 23161 1111 63 0 23809 0
vsize: 95488
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 24775 0 0 0 113857 156 0 0 25 0 1 0 910499210 98824192 23416 4294967295 134512640 134716908 3221224560 3221223080 134675177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24127 23416 1111 63 0 24064 0
vsize: 96508
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 25086 0 0 0 114854 158 0 0 25 0 1 0 910499210 100032512 23727 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24422 23727 1111 63 0 24359 0
vsize: 97688
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 25340 0 0 0 115854 159 0 0 25 0 1 0 910499210 101109760 23981 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24685 23981 1111 63 0 24622 0
vsize: 98740
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 25432 0 0 0 116852 161 0 0 25 0 1 0 910499210 101515264 24073 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24784 24073 1111 63 0 24721 0
vsize: 99136
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2416
Raw data (stat): 2414 (bsolo_lpr_cuts-) R 2413 7266 7265 0 -1 0 25432 0 0 0 116852 161 0 0 25 0 1 0 910499210 101515264 24073 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24784 24073 1111 63 0 24721 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.06
CPU user time (s): 1173.39
CPU system time (s): 1.66375
CPU usage (%): 100.009
Max. virtual memory (Kb): 99136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####