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/miplib3/normalized-mps-v2-20-10-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
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	1176.54
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 41214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 08:00:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29266 boxname=wulflinc1 idbench=1050 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 29266
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        900044 kB
Buffers:         13276 kB
Cached:          97580 kB
SwapCached:       1140 kB
Active:          26344 kB
Inactive:        86644 kB
HighTotal:      131008 kB
HighFree:        31192 kB
LowTotal:       903652 kB
LowFree:        868852 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            15844 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:20:27 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29266 7 1175.07 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.869 s
c Initial Lower Bound: 6541
c Lower Bound Elapsed time: 1.6355
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/55 1343
Raw data (stat): 1343 (runsolver) D 1342 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 851813982 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 1346
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 20051 0 0 0 945 46 0 0 25 0 1 0 851813982 85164032 19956 4294967295 134512640 134716908 3221224560 3221222976 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20792 19956 1111 63 0 20729 0
vsize: 83168
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21245 0 0 0 1941 50 0 0 25 0 1 0 851813982 90046464 21150 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21984 21150 1111 63 0 21921 0
vsize: 87936
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21265 0 0 0 2941 50 0 0 25 0 1 0 851813982 90181632 21170 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22017 21170 1111 63 0 21954 0
vsize: 88068
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21281 0 0 0 3941 50 0 0 25 0 1 0 851813982 90316800 21186 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22050 21186 1111 63 0 21987 0
vsize: 88200
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21303 0 0 0 4941 50 0 0 25 0 1 0 851813982 90316800 21208 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22050 21208 1111 63 0 21987 0
vsize: 88200
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21329 0 0 0 5941 50 0 0 25 0 1 0 851813982 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.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21351 0 0 0 6941 50 0 0 25 0 1 0 851813982 90587136 21256 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 21542 0 0 0 7941 50 0 0 25 0 1 0 851813982 91267072 21447 4294967295 134512640 134716908 3221224560 3221222368 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22282 21447 1111 63 0 22219 0
vsize: 89128
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23166 0 0 0 8936 55 0 0 25 0 1 0 851813982 92565504 21905 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22599 21905 1111 63 0 22536 0
vsize: 90396
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23250 0 0 0 9935 55 0 0 25 0 1 0 851813982 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+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23250 0 0 0 10935 56 0 0 25 0 1 0 851813982 92921856 21986 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23288 0 0 0 11935 56 0 0 25 0 1 0 851813982 93057024 22024 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23342 0 0 0 12934 57 0 0 25 0 1 0 851813982 93331456 22078 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23441 0 0 0 13934 58 0 0 25 0 1 0 851813982 93646848 22174 4294967295 134512640 134716908 3221224560 3221223264 134528595 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23547 0 0 0 14934 58 0 0 25 0 1 0 851813982 94138368 22280 4294967295 134512640 134716908 3221224560 3221223200 134536653 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23632 0 0 0 15933 59 0 0 25 0 1 0 851813982 94244864 22320 4294967295 134512640 134716908 3221224560 3221223168 134548843 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23673 0 0 0 16932 60 0 0 25 0 1 0 851813982 94515200 22361 4294967295 134512640 134716908 3221224560 3221223200 134613438 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23745 0 0 0 17931 61 0 0 25 0 1 0 851813982 94826496 22432 4294967295 134512640 134716908 3221224560 3221223168 134549474 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23805 0 0 0 18931 62 0 0 25 0 1 0 851813982 94838784 22465 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23154 22465 1111 63 0 23091 0
vsize: 92616
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23866 0 0 0 19930 62 0 0 25 0 1 0 851813982 95088640 22526 4294967295 134512640 134716908 3221224560 3221223148 134543615 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23883 0 0 0 20930 63 0 0 25 0 1 0 851813982 95223808 22543 4294967295 134512640 134716908 3221224560 3221223296 134535745 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23905 0 0 0 21929 64 0 0 25 0 1 0 851813982 95358976 22565 4294967295 134512640 134716908 3221224560 3221223120 134549700 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23915 0 0 0 22929 65 0 0 25 0 1 0 851813982 95305728 22575 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23938 0 0 0 23928 65 0 0 25 0 1 0 851813982 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23944 0 0 0 24927 66 0 0 25 0 1 0 851813982 95432704 22585 4294967295 134512640 134716908 3221224560 3221223152 134549689 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23959 0 0 0 25927 67 0 0 25 0 1 0 851813982 95432704 22600 4294967295 134512640 134716908 3221224560 3221223120 134542368 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1348
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 23960 0 0 0 26926 68 0 0 25 0 1 0 851813982 95432704 22601 4294967295 134512640 134716908 3221224560 3221223168 134549457 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24011 0 0 0 27925 69 0 0 25 0 1 0 851813982 95703040 22652 4294967295 134512640 134716908 3221224560 3221223248 134523184 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24011 0 0 0 28924 70 0 0 25 0 1 0 851813982 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24011 0 0 0 29924 71 0 0 25 0 1 0 851813982 95662080 22652 4294967295 134512640 134716908 3221224560 3221223232 134551963 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24035 0 0 0 30923 71 0 0 25 0 1 0 851813982 95797248 22676 4294967295 134512640 134716908 3221224560 3221223232 134543740 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24035 0 0 0 31923 72 0 0 25 0 1 0 851813982 95797248 22676 4294967295 134512640 134716908 3221224560 3221223152 134542677 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24035 0 0 0 32922 73 0 0 25 0 1 0 851813982 95797248 22676 4294967295 134512640 134716908 3221224560 3221223200 134542352 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24035 0 0 0 33921 74 0 0 25 0 1 0 851813982 95797248 22676 4294967295 134512640 134716908 3221224560 3221223296 134535745 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24059 0 0 0 34921 75 0 0 25 0 1 0 851813982 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+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24059 0 0 0 35920 75 0 0 25 0 1 0 851813982 95932416 22700 4294967295 134512640 134716908 3221224560 3221223128 1077378356 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24059 0 0 0 36920 76 0 0 25 0 1 0 851813982 95932416 22700 4294967295 134512640 134716908 3221224560 3221223168 134549463 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24072 0 0 0 37919 77 0 0 25 0 1 0 851813982 95932416 22713 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24082 0 0 0 38919 77 0 0 25 0 1 0 851813982 95932416 22723 4294967295 134512640 134716908 3221224560 3221223328 134592116 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 39918 78 0 0 25 0 1 0 851813982 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+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 40917 79 0 0 25 0 1 0 851813982 95932416 22729 4294967295 134512640 134716908 3221224560 3221223328 134592104 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 41917 80 0 0 25 0 1 0 851813982 95932416 22729 4294967295 134512640 134716908 3221224560 3221223216 134536638 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 42916 81 0 0 25 0 1 0 851813982 95932416 22729 4294967295 134512640 134716908 3221224560 3221223168 134549313 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 43915 82 0 0 25 0 1 0 851813982 95932416 22729 4294967295 134512640 134716908 3221224560 3221223216 134536638 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 44914 83 0 0 25 0 1 0 851813982 95932416 22729 4294967295 134512640 134716908 3221224560 3221223248 134534110 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24088 0 0 0 45914 84 0 0 25 0 1 0 851813982 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+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24091 0 0 0 46913 85 0 0 25 0 1 0 851813982 95932416 22732 4294967295 134512640 134716908 3221224560 3221223120 134549700 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24098 0 0 0 47912 85 0 0 25 0 1 0 851813982 96067584 22739 4294967295 134512640 134716908 3221224560 3221223200 134613447 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24110 0 0 0 48912 86 0 0 25 0 1 0 851813982 96067584 22751 4294967295 134512640 134716908 3221224560 3221223180 134613972 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24161 0 0 0 49911 87 0 0 25 0 1 0 851813982 96337920 22802 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24161 0 0 0 50910 88 0 0 25 0 1 0 851813982 96337920 22802 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24161 0 0 0 51909 89 0 0 25 0 1 0 851813982 96337920 22802 4294967295 134512640 134716908 3221224560 3221223168 134549327 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24163 0 0 0 52909 90 0 0 25 0 1 0 851813982 96337920 22804 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24195 0 0 0 53908 91 0 0 25 0 1 0 851813982 96473088 22836 4294967295 134512640 134716908 3221224560 3221223168 134549463 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24215 0 0 0 54908 91 0 0 25 0 1 0 851813982 96473088 22856 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23553 22856 1111 63 0 23490 0
vsize: 94212
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24232 0 0 0 55907 93 0 0 25 0 1 0 851813982 96608256 22873 4294967295 134512640 134716908 3221224560 3221223168 134549327 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24244 0 0 0 56906 93 0 0 25 0 1 0 851813982 96608256 22885 4294967295 134512640 134716908 3221224560 3221223144 134543614 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 57906 94 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549305 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 58905 95 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223304 134558492 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 59905 95 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549474 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 60904 96 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223100 134539235 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 61904 97 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223368 134558593 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 62903 97 0 0 25 0 1 0 851813982 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+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 63903 98 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223128 134543614 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 64902 99 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549497 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 65902 99 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223152 134549689 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 66901 100 0 0 25 0 1 0 851813982 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 67900 101 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223216 134536630 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 68900 101 0 0 25 0 1 0 851813982 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+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 69900 102 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223168 134549296 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 70899 103 0 0 25 0 1 0 851813982 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+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 71899 104 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223308 134558476 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 72899 104 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223296 134523980 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 73898 105 0 0 25 0 1 0 851813982 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+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 74898 105 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223248 134542848 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24276 0 0 0 75897 106 0 0 25 0 1 0 851813982 96743424 22917 4294967295 134512640 134716908 3221224560 3221223308 134675288 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24283 0 0 0 76896 107 0 0 25 0 1 0 851813982 96743424 22924 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22924 1111 63 0 23556 0
vsize: 94476
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24296 0 0 0 77896 108 0 0 25 0 1 0 851813982 96874496 22937 4294967295 134512640 134716908 3221224560 3221223304 134558492 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24296 0 0 0 78895 109 0 0 25 0 1 0 851813982 96874496 22937 4294967295 134512640 134716908 3221224560 3221223168 134549474 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24296 0 0 0 79895 109 0 0 25 0 1 0 851813982 96874496 22937 4294967295 134512640 134716908 3221224560 3221223344 134528896 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24296 0 0 0 80894 110 0 0 25 0 1 0 851813982 96874496 22937 4294967295 134512640 134716908 3221224560 3221223204 134536649 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24306 0 0 0 81893 111 0 0 25 0 1 0 851813982 96874496 22947 4294967295 134512640 134716908 3221224560 3221223168 134549318 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 82893 111 0 0 25 0 1 0 851813982 96874496 22958 4294967295 134512640 134716908 3221224560 3221223184 134698710 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 83893 112 0 0 25 0 1 0 851813982 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+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 84892 113 0 0 25 0 1 0 851813982 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 85892 113 0 0 25 0 1 0 851813982 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+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 86890 115 0 0 25 0 1 0 851813982 96874496 22958 4294967295 134512640 134716908 3221224560 3221223336 134529371 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 87890 115 0 0 25 0 1 0 851813982 96874496 22958 4294967295 134512640 134716908 3221224560 3221223184 134543686 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24317 0 0 0 88889 117 0 0 25 0 1 0 851813982 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+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24322 0 0 0 89888 117 0 0 25 0 1 0 851813982 97009664 22963 4294967295 134512640 134716908 3221224560 3221223284 1076647544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23684 22963 1111 63 0 23621 0
vsize: 94736
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24354 0 0 0 90888 118 0 0 25 0 1 0 851813982 97009664 22995 4294967295 134512640 134716908 3221224560 3221223168 134536653 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24358 0 0 0 91887 119 0 0 25 0 1 0 851813982 97140736 22999 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23716 22999 1111 63 0 23653 0
vsize: 94864
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24358 0 0 0 92886 120 0 0 25 0 1 0 851813982 97140736 22999 4294967295 134512640 134716908 3221224560 3221223296 134523936 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24358 0 0 0 93886 121 0 0 25 0 1 0 851813982 97140736 22999 4294967295 134512640 134716908 3221224560 3221223144 134543628 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24358 0 0 0 94885 122 0 0 25 0 1 0 851813982 97140736 22999 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24358 0 0 0 95885 122 0 0 25 0 1 0 851813982 97140736 22999 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24366 0 0 0 96884 123 0 0 25 0 1 0 851813982 97140736 23007 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24366 0 0 0 97883 124 0 0 25 0 1 0 851813982 97140736 23007 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24366 0 0 0 98883 125 0 0 25 0 1 0 851813982 97140736 23007 4294967295 134512640 134716908 3221224560 3221223168 134549467 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24382 0 0 0 99882 126 0 0 25 0 1 0 851813982 97140736 23023 4294967295 134512640 134716908 3221224560 3221223160 134549411 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24382 0 0 0 100881 126 0 0 25 0 1 0 851813982 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+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24382 0 0 0 101880 128 0 0 25 0 1 0 851813982 97140736 23023 4294967295 134512640 134716908 3221224560 3221223264 134528595 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24392 0 0 0 102879 129 0 0 25 0 1 0 851813982 97275904 23033 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23749 23033 1111 63 0 23686 0
vsize: 94996
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24442 0 0 0 103879 129 0 0 25 0 1 0 851813982 97402880 23083 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24442 0 0 0 104879 130 0 0 25 0 1 0 851813982 97402880 23083 4294967295 134512640 134716908 3221224560 3221223144 134543614 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24442 0 0 0 105878 130 0 0 25 0 1 0 851813982 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+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24457 0 0 0 106878 131 0 0 25 0 1 0 851813982 97538048 23098 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24457 0 0 0 107878 131 0 0 25 0 1 0 851813982 97525760 23098 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24471 0 0 0 108878 132 0 0 25 0 1 0 851813982 97525760 23112 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23810 23112 1111 63 0 23747 0
vsize: 95240
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24473 0 0 0 109877 132 0 0 25 0 1 0 851813982 97525760 23114 4294967295 134512640 134716908 3221224560 3221223168 134549305 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24520 0 0 0 110876 133 0 0 25 0 1 0 851813982 97779712 23161 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23872 23161 1111 63 0 23809 0
vsize: 95488
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 24598 0 0 0 111876 134 0 0 25 0 1 0 851813982 98054144 23239 4294967295 134512640 134716908 3221224560 3221223100 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23939 23239 1111 63 0 23876 0
vsize: 95756
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25011 0 0 0 112875 135 0 0 25 0 1 0 851813982 99766272 23652 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24357 23652 1111 63 0 24294 0
vsize: 97428
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25147 0 0 0 113874 136 0 0 25 0 1 0 851813982 100298752 23788 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24487 23788 1111 63 0 24424 0
vsize: 97948
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25347 0 0 0 114873 137 0 0 25 0 1 0 851813982 101109760 23988 4294967295 134512640 134716908 3221224560 3221223212 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24685 23988 1111 63 0 24622 0
vsize: 98740
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25466 0 0 0 115873 138 0 0 25 0 1 0 851813982 101638144 24107 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 24107 1111 63 0 24751 0
vsize: 99256
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25601 0 0 0 116872 139 0 0 25 0 1 0 851813982 102240256 24242 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24961 24242 1111 63 0 24898 0
vsize: 99844
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1350
Raw data (stat): 1343 (bsolo_lpr_cuts-) R 1342 8378 8377 0 -1 0 25601 0 0 0 116872 139 0 0 25 0 1 0 851813982 102240256 24242 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24961 24242 1111 63 0 24898 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.07
CPU user time (s): 1173.62
CPU system time (s): 1.44978
CPU usage (%): 100.008
Max. virtual memory (Kb): 99844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####