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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.14
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 41082

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 05:17:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29143 boxname=wulflinc3 idbench=927 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 29143
/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:        766428 kB
Buffers:         29576 kB
Cached:         215692 kB
SwapCached:       3476 kB
Active:          39708 kB
Inactive:       210336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766176 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12444 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:37:10 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29143 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.649 s
c Initial Lower Bound: 6541
c Lower Bound Elapsed time: 1.628
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.97 0.92 1/54 4150
Raw data (stat): 4150 (runsolver) R 4149 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907682477 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.0007 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 20070 0 0 0 957 40 0 0 25 0 1 0 907682477 85303296 19975 4294967295 134512640 134716908 3221224560 3221223336 134586773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20826 19975 1111 63 0 20763 0
vsize: 83304
[startup+20.002 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21245 0 0 0 1953 44 0 0 25 0 1 0 907682477 90046464 21150 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21984 21150 1111 63 0 21921 0
vsize: 87936
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21265 0 0 0 2953 44 0 0 25 0 1 0 907682477 90181632 21170 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.0026 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21281 0 0 0 3952 45 0 0 25 0 1 0 907682477 90316800 21186 4294967295 134512640 134716908 3221224560 3221223220 134627213 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.0035 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21303 0 0 0 4952 45 0 0 25 0 1 0 907682477 90316800 21208 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22050 21208 1111 63 0 21987 0
vsize: 88200
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21329 0 0 0 5952 45 0 0 25 0 1 0 907682477 90451968 21234 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22083 21234 1111 63 0 22020 0
vsize: 88332
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21351 0 0 0 6952 45 0 0 25 0 1 0 907682477 90587136 21256 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22116 21256 1111 63 0 22053 0
vsize: 88464
[startup+80.005 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 21812 0 0 0 7952 46 0 0 25 0 1 0 907682477 92372992 21717 4294967295 134512640 134716908 3221224560 3221222192 1075829967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22552 21717 1111 63 0 22489 0
vsize: 90208
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23166 0 0 0 8947 50 0 0 25 0 1 0 907682477 92565504 21905 4294967295 134512640 134716908 3221224560 3221223328 134592116 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.007 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23250 0 0 0 9946 51 0 0 25 0 1 0 907682477 92921856 21986 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22686 21986 1111 63 0 22623 0
vsize: 90744
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23250 0 0 0 10946 51 0 0 25 0 1 0 907682477 92921856 21986 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22686 21986 1111 63 0 22623 0
vsize: 90744
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23288 0 0 0 11945 53 0 0 25 0 1 0 907682477 93057024 22024 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22719 22024 1111 63 0 22656 0
vsize: 90876
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23342 0 0 0 12945 53 0 0 25 0 1 0 907682477 93331456 22078 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22786 22078 1111 63 0 22723 0
vsize: 91144
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23441 0 0 0 13943 54 0 0 25 0 1 0 907682477 93646848 22174 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22863 22174 1111 63 0 22800 0
vsize: 91452
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23547 0 0 0 14943 54 0 0 25 0 1 0 907682477 94138368 22280 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22983 22280 1111 63 0 22920 0
vsize: 91932
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23632 0 0 0 15943 55 0 0 25 0 1 0 907682477 94244864 22320 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23009 22320 1111 63 0 22946 0
vsize: 92036
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23673 0 0 0 16942 56 0 0 25 0 1 0 907682477 94515200 22361 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23075 22361 1111 63 0 23012 0
vsize: 92300
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23745 0 0 0 17942 56 0 0 25 0 1 0 907682477 94826496 22432 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23151 22432 1111 63 0 23088 0
vsize: 92604
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23805 0 0 0 18942 57 0 0 25 0 1 0 907682477 95039488 22492 4294967295 134512640 134716908 3221224560 3221223188 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23203 22492 1111 63 0 23140 0
vsize: 92812
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23866 0 0 0 19941 58 0 0 25 0 1 0 907682477 95088640 22526 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23215 22526 1111 63 0 23152 0
vsize: 92860
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23883 0 0 0 20941 58 0 0 25 0 1 0 907682477 95223808 22543 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23248 22543 1111 63 0 23185 0
vsize: 92992
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23905 0 0 0 21941 59 0 0 25 0 1 0 907682477 95358976 22565 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23281 22565 1111 63 0 23218 0
vsize: 93124
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23915 0 0 0 22941 59 0 0 25 0 1 0 907682477 95305728 22575 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23268 22575 1111 63 0 23205 0
vsize: 93072
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23938 0 0 0 23940 60 0 0 25 0 1 0 907682477 95305728 22579 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23268 22579 1111 63 0 23205 0
vsize: 93072
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23944 0 0 0 24940 60 0 0 25 0 1 0 907682477 95432704 22585 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23299 22585 1111 63 0 23236 0
vsize: 93196
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23959 0 0 0 25939 61 0 0 25 0 1 0 907682477 95432704 22600 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23299 22600 1111 63 0 23236 0
vsize: 93196
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 23960 0 0 0 26939 61 0 0 25 0 1 0 907682477 95432704 22601 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23299 22601 1111 63 0 23236 0
vsize: 93196
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24011 0 0 0 27938 63 0 0 25 0 1 0 907682477 95703040 22652 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23365 22652 1111 63 0 23302 0
vsize: 93460
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24011 0 0 0 28938 63 0 0 25 0 1 0 907682477 95662080 22652 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23355 22652 1111 63 0 23292 0
vsize: 93420
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24011 0 0 0 29937 64 0 0 25 0 1 0 907682477 95662080 22652 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23355 22652 1111 63 0 23292 0
vsize: 93420
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24035 0 0 0 30937 64 0 0 25 0 1 0 907682477 95797248 22676 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24035 0 0 0 31937 64 0 0 25 0 1 0 907682477 95797248 22676 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24035 0 0 0 32936 65 0 0 25 0 1 0 907682477 95797248 22676 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24035 0 0 0 33936 66 0 0 25 0 1 0 907682477 95797248 22676 4294967295 134512640 134716908 3221224560 3221223084 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23388 22676 1111 63 0 23325 0
vsize: 93552
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24059 0 0 0 34935 67 0 0 25 0 1 0 907682477 95932416 22700 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24059 0 0 0 35935 67 0 0 25 0 1 0 907682477 95932416 22700 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24059 0 0 0 36934 68 0 0 25 0 1 0 907682477 95932416 22700 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22700 1111 63 0 23358 0
vsize: 93684
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24072 0 0 0 37934 68 0 0 25 0 1 0 907682477 95932416 22713 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22713 1111 63 0 23358 0
vsize: 93684
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24082 0 0 0 38934 69 0 0 25 0 1 0 907682477 95932416 22723 4294967295 134512640 134716908 3221224560 3221223132 134539208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22723 1111 63 0 23358 0
vsize: 93684
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 39933 70 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 40933 70 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 41933 71 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 42932 71 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 43932 72 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 44931 73 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24088 0 0 0 45931 73 0 0 25 0 1 0 907682477 95932416 22729 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22729 1111 63 0 23358 0
vsize: 93684
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24091 0 0 0 46930 74 0 0 25 0 1 0 907682477 95932416 22732 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23421 22732 1111 63 0 23358 0
vsize: 93684
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24098 0 0 0 47930 74 0 0 25 0 1 0 907682477 96067584 22739 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 22739 1111 63 0 23391 0
vsize: 93816
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24110 0 0 0 48930 75 0 0 25 0 1 0 907682477 96067584 22751 4294967295 134512640 134716908 3221224560 3221223144 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 22751 1111 63 0 23391 0
vsize: 93816
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24161 0 0 0 49929 76 0 0 25 0 1 0 907682477 96337920 22802 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23520 22802 1111 63 0 23457 0
vsize: 94080
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24161 0 0 0 50929 77 0 0 25 0 1 0 907682477 96337920 22802 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23520 22802 1111 63 0 23457 0
vsize: 94080
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24161 0 0 0 51928 77 0 0 25 0 1 0 907682477 96337920 22802 4294967295 134512640 134716908 3221224560 3221223176 1077377140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23520 22802 1111 63 0 23457 0
vsize: 94080
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24163 0 0 0 52928 78 0 0 25 0 1 0 907682477 96337920 22804 4294967295 134512640 134716908 3221224560 3221223184 134698586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23520 22804 1111 63 0 23457 0
vsize: 94080
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24195 0 0 0 53927 78 0 0 25 0 1 0 907682477 96473088 22836 4294967295 134512640 134716908 3221224560 3221223120 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23553 22836 1111 63 0 23490 0
vsize: 94212
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24203 0 0 0 54927 79 0 0 25 0 1 0 907682477 96473088 22844 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23553 22844 1111 63 0 23490 0
vsize: 94212
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24232 0 0 0 55927 79 0 0 25 0 1 0 907682477 96608256 22873 4294967295 134512640 134716908 3221224560 3221223360 134597771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23586 22873 1111 63 0 23523 0
vsize: 94344
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24244 0 0 0 56927 80 0 0 25 0 1 0 907682477 96608256 22885 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23586 22885 1111 63 0 23523 0
vsize: 94344
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 57926 80 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 58925 81 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 59925 82 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 60924 83 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 61924 84 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 62923 85 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 63923 85 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 64922 86 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 65922 86 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223304 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 66921 87 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 67921 87 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223296 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 68921 88 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 69921 88 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 70920 89 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 71920 89 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223292 1076647540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 72920 90 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223144 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 73919 91 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223312 134591938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 74919 91 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 75918 92 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223200 134543073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24276 0 0 0 76917 93 0 0 25 0 1 0 907682477 96743424 22917 4294967295 134512640 134716908 3221224560 3221223032 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22917 1111 63 0 23556 0
vsize: 94476
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24296 0 0 0 77917 94 0 0 25 0 1 0 907682477 96874496 22937 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24296 0 0 0 78916 94 0 0 25 0 1 0 907682477 96874496 22937 4294967295 134512640 134716908 3221224560 3221223248 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24296 0 0 0 79916 95 0 0 25 0 1 0 907682477 96874496 22937 4294967295 134512640 134716908 3221224560 3221223316 134655248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24296 0 0 0 80915 96 0 0 25 0 1 0 907682477 96874496 22937 4294967295 134512640 134716908 3221224560 3221223292 134518132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22937 1111 63 0 23588 0
vsize: 94604
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24306 0 0 0 81914 97 0 0 25 0 1 0 907682477 96874496 22947 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22947 1111 63 0 23588 0
vsize: 94604
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 82914 98 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 83913 99 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 84913 99 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 85913 100 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223120 134698929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 86912 100 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 87912 101 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24317 0 0 0 88912 101 0 0 25 0 1 0 907682477 96874496 22958 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22958 1111 63 0 23588 0
vsize: 94604
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24321 0 0 0 89911 102 0 0 25 0 1 0 907682477 96874496 22962 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23651 22962 1111 63 0 23588 0
vsize: 94604
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24354 0 0 0 90910 103 0 0 25 0 1 0 907682477 97009664 22995 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23684 22995 1111 63 0 23621 0
vsize: 94736
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24354 0 0 0 91910 103 0 0 25 0 1 0 907682477 97009664 22995 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23684 22995 1111 63 0 23621 0
vsize: 94736
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24358 0 0 0 92909 104 0 0 25 0 1 0 907682477 97140736 22999 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24358 0 0 0 93909 105 0 0 25 0 1 0 907682477 97140736 22999 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24358 0 0 0 94908 106 0 0 25 0 1 0 907682477 97140736 22999 4294967295 134512640 134716908 3221224560 3221223248 134542884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24358 0 0 0 95908 106 0 0 25 0 1 0 907682477 97140736 22999 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24366 0 0 0 96907 107 0 0 25 0 1 0 907682477 97140736 23007 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24366 0 0 0 97907 108 0 0 25 0 1 0 907682477 97140736 23007 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24366 0 0 0 98905 109 0 0 25 0 1 0 907682477 97140736 23007 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23007 1111 63 0 23653 0
vsize: 94864
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24382 0 0 0 99905 110 0 0 25 0 1 0 907682477 97140736 23023 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24382 0 0 0 100904 111 0 0 25 0 1 0 907682477 97140736 23023 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24382 0 0 0 101903 112 0 0 25 0 1 0 907682477 97140736 23023 4294967295 134512640 134716908 3221224560 3221223328 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23023 1111 63 0 23653 0
vsize: 94864
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24384 0 0 0 102903 112 0 0 25 0 1 0 907682477 97140736 23025 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 23025 1111 63 0 23653 0
vsize: 94864
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24442 0 0 0 103903 113 0 0 25 0 1 0 907682477 97402880 23083 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24442 0 0 0 104902 114 0 0 25 0 1 0 907682477 97402880 23083 4294967295 134512640 134716908 3221224560 3221223184 134542312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24442 0 0 0 105902 114 0 0 25 0 1 0 907682477 97402880 23083 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23780 23083 1111 63 0 23717 0
vsize: 95120
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24457 0 0 0 106902 114 0 0 25 0 1 0 907682477 97538048 23098 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 23098 1111 63 0 23750 0
vsize: 95252
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24457 0 0 0 107902 115 0 0 25 0 1 0 907682477 97525760 23098 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23810 23098 1111 63 0 23747 0
vsize: 95240
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24468 0 0 0 108901 115 0 0 25 0 1 0 907682477 97525760 23109 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23810 23109 1111 63 0 23747 0
vsize: 95240
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24473 0 0 0 109901 116 0 0 25 0 1 0 907682477 97525760 23114 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23810 23114 1111 63 0 23747 0
vsize: 95240
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24519 0 0 0 110901 116 0 0 25 0 1 0 907682477 97779712 23160 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23872 23160 1111 63 0 23809 0
vsize: 95488
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24520 0 0 0 111900 117 0 0 25 0 1 0 907682477 97779712 23161 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23872 23161 1111 63 0 23809 0
vsize: 95488
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 24752 0 0 0 112899 118 0 0 25 0 1 0 907682477 98689024 23393 4294967295 134512640 134716908 3221224560 3221223304 134675304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24094 23393 1111 63 0 24031 0
vsize: 96376
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 25086 0 0 0 113899 119 0 0 25 0 1 0 907682477 100032512 23727 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24422 23727 1111 63 0 24359 0
vsize: 97688
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 25340 0 0 0 114898 120 0 0 25 0 1 0 907682477 101109760 23981 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24685 23981 1111 63 0 24622 0
vsize: 98740
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 25432 0 0 0 115897 121 0 0 25 0 1 0 907682477 101515264 24073 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24784 24073 1111 63 0 24721 0
vsize: 99136
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 25586 0 0 0 116896 122 0 0 25 0 1 0 907682477 102105088 24227 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24928 24227 1111 63 0 24865 0
vsize: 99712
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 4150
Raw data (stat): 4150 (bsolo_lpr_cuts-) R 4149 20224 20223 0 -1 0 25586 0 0 0 116896 122 0 0 25 0 1 0 907682477 102105088 24227 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24928 24227 1111 63 0 24865 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.06
CPU user time (s): 1173.78
CPU system time (s): 1.27481
CPU usage (%): 100.012
Max. virtual memory (Kb): 99712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####