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/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 41604

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 16:51:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29660 boxname=wulflinc1 idbench=1444 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 29660
/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:        912508 kB
Buffers:         11324 kB
Cached:          87100 kB
SwapCached:       1128 kB
Active:          25264 kB
Inactive:        75344 kB
HighTotal:      131008 kB
HighFree:        41272 kB
LowTotal:       903652 kB
LowFree:        871236 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            15728 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:10:58 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29660 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 3.964 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 1.3875
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.91 0.95 0.93 2/55 8159
Raw data (stat): 8159 (runsolver) R 8158 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854997421 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6314 0 0 0 982 16 0 0 25 0 1 0 854997421 21696512 4588 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4588 1111 63 0 5234 0
vsize: 21188
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6320 0 0 0 1978 19 0 0 25 0 1 0 854997421 21696512 4594 4294967295 134512640 134716908 3221224560 3221223472 134588521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4594 1111 63 0 5234 0
vsize: 21188
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6320 0 0 0 2975 21 0 0 25 0 1 0 854997421 21696512 4594 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4594 1111 63 0 5234 0
vsize: 21188
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6360 0 0 0 3972 24 0 0 25 0 1 0 854997421 21966848 4634 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5363 4634 1111 63 0 5300 0
vsize: 21452
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6423 0 0 0 4970 27 0 0 25 0 1 0 854997421 22237184 4697 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5429 4697 1111 63 0 5366 0
vsize: 21716
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6485 0 0 0 5967 30 0 0 25 0 1 0 854997421 22372352 4759 4294967295 134512640 134716908 3221224560 3221223360 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5462 4759 1111 63 0 5399 0
vsize: 21848
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6591 0 0 0 6964 33 0 0 25 0 1 0 854997421 22913024 4865 4294967295 134512640 134716908 3221224560 3221223320 134613531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5594 4865 1111 63 0 5531 0
vsize: 22376
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6700 0 0 0 7962 35 0 0 25 0 1 0 854997421 23318528 4974 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5693 4974 1111 63 0 5630 0
vsize: 22772
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6763 0 0 0 8960 37 0 0 25 0 1 0 854997421 23588864 5037 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5759 5037 1111 63 0 5696 0
vsize: 23036
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6824 0 0 0 9957 40 0 0 25 0 1 0 854997421 23859200 5098 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5825 5098 1111 63 0 5762 0
vsize: 23300
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6886 0 0 0 10955 43 0 0 25 0 1 0 854997421 24129536 5160 4294967295 134512640 134716908 3221224560 3221223336 134600349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5891 5160 1111 63 0 5828 0
vsize: 23564
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 6944 0 0 0 11952 45 0 0 25 0 1 0 854997421 24264704 5218 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5924 5218 1111 63 0 5861 0
vsize: 23696
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7002 0 0 0 12950 48 0 0 25 0 1 0 854997421 24535040 5276 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 5276 1111 63 0 5927 0
vsize: 23960
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7064 0 0 0 13946 52 0 0 25 0 1 0 854997421 24805376 5338 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6056 5338 1111 63 0 5993 0
vsize: 24224
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7123 0 0 0 14944 54 0 0 25 0 1 0 854997421 25075712 5397 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6122 5397 1111 63 0 6059 0
vsize: 24488
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7183 0 0 0 15940 58 0 0 25 0 1 0 854997421 25346048 5457 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6188 5457 1111 63 0 6125 0
vsize: 24752
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7263 0 0 0 16937 62 0 0 25 0 1 0 854997421 25616384 5537 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6254 5537 1111 63 0 6191 0
vsize: 25016
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7326 0 0 0 17934 64 0 0 25 0 1 0 854997421 25886720 5600 4294967295 134512640 134716908 3221224560 3221223360 134597761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6320 5600 1111 63 0 6257 0
vsize: 25280
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7399 0 0 0 18933 66 0 0 25 0 1 0 854997421 26157056 5673 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 5673 1111 63 0 6323 0
vsize: 25544
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7458 0 0 0 19930 69 0 0 25 0 1 0 854997421 26427392 5732 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6452 5732 1111 63 0 6389 0
vsize: 25808
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7563 0 0 0 20926 73 0 0 25 0 1 0 854997421 26832896 5837 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6551 5837 1111 63 0 6488 0
vsize: 26204
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7675 0 0 0 21923 77 0 0 25 0 1 0 854997421 27373568 5949 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5949 1111 63 0 6620 0
vsize: 26732
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7786 0 0 0 22918 81 0 0 25 0 1 0 854997421 27779072 6060 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6060 1111 63 0 6719 0
vsize: 27128
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7888 0 0 0 23915 85 0 0 25 0 1 0 854997421 28184576 6162 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6881 6162 1111 63 0 6818 0
vsize: 27524
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 7996 0 0 0 24911 88 0 0 25 0 1 0 854997421 28590080 6270 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6980 6270 1111 63 0 6917 0
vsize: 27920
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8096 0 0 0 25909 90 0 0 25 0 1 0 854997421 28995584 6370 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7079 6370 1111 63 0 7016 0
vsize: 28316
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8204 0 0 0 26906 94 0 0 25 0 1 0 854997421 29536256 6478 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7211 6478 1111 63 0 7148 0
vsize: 28844
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8310 0 0 0 27902 98 0 0 25 0 1 0 854997421 29941760 6584 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6584 1111 63 0 7247 0
vsize: 29240
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8411 0 0 0 28899 101 0 0 25 0 1 0 854997421 30347264 6685 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 6685 1111 63 0 7346 0
vsize: 29636
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8508 0 0 0 29897 103 0 0 25 0 1 0 854997421 30752768 6782 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7508 6782 1111 63 0 7445 0
vsize: 30032
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8607 0 0 0 30894 107 0 0 25 0 1 0 854997421 31158272 6881 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7607 6881 1111 63 0 7544 0
vsize: 30428
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8710 0 0 0 31891 110 0 0 25 0 1 0 854997421 31563776 6984 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7706 6984 1111 63 0 7643 0
vsize: 30824
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8814 0 0 0 32887 113 0 0 25 0 1 0 854997421 31973376 7088 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7806 7088 1111 63 0 7743 0
vsize: 31224
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 8916 0 0 0 33884 117 0 0 25 0 1 0 854997421 32378880 7190 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7905 7190 1111 63 0 7842 0
vsize: 31620
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 9014 0 0 0 34881 120 0 0 25 0 1 0 854997421 32784384 7288 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8004 7288 1111 63 0 7941 0
vsize: 32016
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 9122 0 0 0 35879 122 0 0 25 0 1 0 854997421 33189888 7396 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8103 7396 1111 63 0 8040 0
vsize: 32412
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 9576 0 0 0 36873 128 0 0 25 0 1 0 854997421 35082240 7850 4294967295 134512640 134716908 3221224560 3221223336 134613525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8565 7850 1111 63 0 8502 0
vsize: 34260
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 9941 0 0 0 37869 132 0 0 25 0 1 0 854997421 36569088 8215 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8928 8215 1111 63 0 8865 0
vsize: 35712
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 10297 0 0 0 38865 137 0 0 25 0 1 0 854997421 38055936 8571 4294967295 134512640 134716908 3221224560 3221223152 134698475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8571 1111 63 0 9228 0
vsize: 37164
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 10667 0 0 0 39860 142 0 0 25 0 1 0 854997421 39542784 8941 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8941 1111 63 0 9591 0
vsize: 38616
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 11012 0 0 0 40855 147 0 0 25 0 1 0 854997421 41029632 9286 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10017 9286 1111 63 0 9954 0
vsize: 40068
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 11371 0 0 0 41850 152 0 0 25 0 1 0 854997421 42516480 9645 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9645 1111 63 0 10317 0
vsize: 41520
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 11716 0 0 0 42846 156 0 0 25 0 1 0 854997421 43868160 9990 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9990 1111 63 0 10647 0
vsize: 42840
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 12071 0 0 0 43841 161 0 0 25 0 1 0 854997421 45355008 10345 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11073 10345 1111 63 0 11010 0
vsize: 44292
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 12428 0 0 0 44838 165 0 0 25 0 1 0 854997421 46845952 10702 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11437 10702 1111 63 0 11374 0
vsize: 45748
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 12765 0 0 0 45834 169 0 0 25 0 1 0 854997421 48197632 11039 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 11039 1111 63 0 11704 0
vsize: 47068
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 13070 0 0 0 46831 172 0 0 25 0 1 0 854997421 49414144 11344 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12064 11344 1111 63 0 12001 0
vsize: 48256
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 13358 0 0 0 47826 177 0 0 25 0 1 0 854997421 50630656 11632 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12361 11632 1111 63 0 12298 0
vsize: 49444
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 13731 0 0 0 48823 180 0 0 25 0 1 0 854997421 52117504 12005 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12724 12005 1111 63 0 12661 0
vsize: 50896
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 14060 0 0 0 49819 184 0 0 25 0 1 0 854997421 53477376 12334 4294967295 134512640 134716908 3221224560 3221223320 134613531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13056 12334 1111 63 0 12993 0
vsize: 52224
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 14405 0 0 0 50815 189 0 0 25 0 1 0 854997421 54829056 12679 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13386 12679 1111 63 0 13323 0
vsize: 53544
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8159
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 14743 0 0 0 51811 193 0 0 25 0 1 0 854997421 56315904 13017 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13749 13017 1111 63 0 13686 0
vsize: 54996
[startup+529.999 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 8212
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 15033 0 0 0 52803 200 0 0 25 0 1 0 854997421 57397248 13307 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14013 13307 1111 63 0 13950 0
vsize: 56052
[startup+540 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 8212
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 15369 0 0 0 53798 204 0 0 25 0 1 0 854997421 58884096 13643 4294967295 134512640 134716908 3221224560 3221223212 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14376 13643 1111 63 0 14313 0
vsize: 57504
[startup+550 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 8212
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 15692 0 0 0 54794 209 0 0 25 0 1 0 854997421 60100608 13966 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14673 13966 1111 63 0 14610 0
vsize: 58692
[startup+560 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 8212
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 16006 0 0 0 55790 213 0 0 25 0 1 0 854997421 61452288 14280 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15003 14280 1111 63 0 14940 0
vsize: 60012
[startup+570 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 8212
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 16330 0 0 0 56786 217 0 0 25 0 1 0 854997421 62803968 14604 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 14604 1111 63 0 15270 0
vsize: 61332
[startup+580 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 8214
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 16654 0 0 0 57781 223 0 0 25 0 1 0 854997421 64155648 14928 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 14928 1111 63 0 15600 0
vsize: 62652
[startup+590.001 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 16991 0 0 0 58778 226 0 0 25 0 1 0 854997421 65507328 15265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15993 15265 1111 63 0 15930 0
vsize: 63972
[startup+600.001 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 17327 0 0 0 59774 230 0 0 25 0 1 0 854997421 66859008 15601 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16323 15601 1111 63 0 16260 0
vsize: 65292
[startup+610 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 17671 0 0 0 60770 234 0 0 25 0 1 0 854997421 68349952 15945 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15945 1111 63 0 16624 0
vsize: 66748
[startup+620 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 18006 0 0 0 61766 238 0 0 25 0 1 0 854997421 69701632 16280 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 16280 1111 63 0 16954 0
vsize: 68068
[startup+630 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 18339 0 0 0 62762 242 0 0 25 0 1 0 854997421 71053312 16613 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17347 16613 1111 63 0 17284 0
vsize: 69388
[startup+640.001 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 18678 0 0 0 63757 248 0 0 25 0 1 0 854997421 72404992 16952 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17677 16952 1111 63 0 17614 0
vsize: 70708
[startup+650.001 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 19027 0 0 0 64753 251 0 0 25 0 1 0 854997421 73908224 17301 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18044 17301 1111 63 0 17981 0
vsize: 72176
[startup+660 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 19365 0 0 0 65749 255 0 0 25 0 1 0 854997421 75259904 17639 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18374 17639 1111 63 0 18311 0
vsize: 73496
[startup+670.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 19702 0 0 0 66746 259 0 0 25 0 1 0 854997421 76611584 17975 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 17975 1111 63 0 18641 0
vsize: 74816
[startup+680.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 20032 0 0 0 67742 263 0 0 25 0 1 0 854997421 77963264 18305 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19034 18305 1111 63 0 18971 0
vsize: 76136
[startup+690.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 20353 0 0 0 68738 267 0 0 25 0 1 0 854997421 79314944 18626 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19364 18626 1111 63 0 19301 0
vsize: 77456
[startup+700.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 20666 0 0 0 69734 272 0 0 25 0 1 0 854997421 80531456 18939 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19661 18939 1111 63 0 19598 0
vsize: 78644
[startup+710 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 20988 0 0 0 70730 276 0 0 25 0 1 0 854997421 81883136 19261 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19991 19261 1111 63 0 19928 0
vsize: 79964
[startup+720 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 21345 0 0 0 71725 281 0 0 25 0 1 0 854997421 83369984 19618 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20354 19618 1111 63 0 20291 0
vsize: 81416
[startup+730 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 21701 0 0 0 72721 285 0 0 25 0 1 0 854997421 84856832 19974 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20717 19974 1111 63 0 20654 0
vsize: 82868
[startup+740 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 22059 0 0 0 73716 290 0 0 25 0 1 0 854997421 86343680 20332 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21080 20332 1111 63 0 21017 0
vsize: 84320
[startup+750 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 22419 0 0 0 74712 294 0 0 25 0 1 0 854997421 87695360 20692 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21410 20692 1111 63 0 21347 0
vsize: 85640
[startup+760 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 22713 0 0 0 75709 298 0 0 25 0 1 0 854997421 88911872 20986 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21707 20986 1111 63 0 21644 0
vsize: 86828
[startup+770 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 23002 0 0 0 76705 301 0 0 25 0 1 0 854997421 90165248 21274 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22013 21274 1111 63 0 21950 0
vsize: 88052
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 23365 0 0 0 77702 304 0 0 25 0 1 0 854997421 91652096 21637 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22376 21637 1111 63 0 22313 0
vsize: 89504
[startup+790.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 23728 0 0 0 78699 308 0 0 25 0 1 0 854997421 93138944 22000 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22739 22000 1111 63 0 22676 0
vsize: 90956
[startup+800 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 24080 0 0 0 79694 313 0 0 25 0 1 0 854997421 94625792 22352 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23102 22352 1111 63 0 23039 0
vsize: 92408
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 24431 0 0 0 80690 317 0 0 25 0 1 0 854997421 95977472 22703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23432 22703 1111 63 0 23369 0
vsize: 93728
[startup+820.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 24781 0 0 0 81688 320 0 0 25 0 1 0 854997421 97464320 23053 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23053 1111 63 0 23732 0
vsize: 95180
[startup+830.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 25118 0 0 0 82684 324 0 0 25 0 1 0 854997421 98816000 23388 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24125 23388 1111 63 0 24062 0
vsize: 96500
[startup+840.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8216
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 25432 0 0 0 83680 327 0 0 25 0 1 0 854997421 100167680 23702 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24455 23702 1111 63 0 24392 0
vsize: 97820
[startup+850.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 25759 0 0 0 84677 331 0 0 25 0 1 0 854997421 101523456 24029 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24786 24029 1111 63 0 24723 0
vsize: 99144
[startup+860.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 26107 0 0 0 85673 336 0 0 25 0 1 0 854997421 102875136 24377 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25116 24377 1111 63 0 25053 0
vsize: 100464
[startup+870.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 26411 0 0 0 86669 339 0 0 25 0 1 0 854997421 104091648 24681 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25413 24681 1111 63 0 25350 0
vsize: 101652
[startup+880.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 26724 0 0 0 87665 343 0 0 25 0 1 0 854997421 105463808 24993 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25748 24993 1111 63 0 25685 0
vsize: 102992
[startup+890.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 27051 0 0 0 88663 346 0 0 25 0 1 0 854997421 106815488 25320 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26078 25320 1111 63 0 26015 0
vsize: 104312
[startup+900.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 27412 0 0 0 89660 349 0 0 25 0 1 0 854997421 108302336 25681 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26441 25681 1111 63 0 26378 0
vsize: 105764
[startup+910.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 27818 0 0 0 90656 353 0 0 25 0 1 0 854997421 109924352 26087 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26837 26087 1111 63 0 26774 0
vsize: 107348
[startup+920.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 28217 0 0 0 91652 357 0 0 25 0 1 0 854997421 111546368 26486 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27233 26486 1111 63 0 27170 0
vsize: 108932
[startup+930.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 28639 0 0 0 92647 362 0 0 25 0 1 0 854997421 113303552 26908 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27662 26908 1111 63 0 27599 0
vsize: 110648
[startup+940.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 29050 0 0 0 93643 366 0 0 25 0 1 0 854997421 115060736 27318 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28091 27318 1111 63 0 28028 0
vsize: 112364
[startup+950.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 29349 0 0 0 94640 370 0 0 25 0 1 0 854997421 116277248 27617 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28388 27617 1111 63 0 28325 0
vsize: 113552
[startup+960.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 29495 0 0 0 95637 373 0 0 25 0 1 0 854997421 116817920 27763 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28520 27763 1111 63 0 28457 0
vsize: 114080
[startup+970.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 29738 0 0 0 96634 376 0 0 25 0 1 0 854997421 117899264 28006 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28784 28006 1111 63 0 28721 0
vsize: 115136
[startup+980.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 29996 0 0 0 97631 380 0 0 25 0 1 0 854997421 118845440 28264 4294967295 134512640 134716908 3221224560 3221223328 134597639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29015 28264 1111 63 0 28952 0
vsize: 116060
[startup+990.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 30260 0 0 0 98628 383 0 0 25 0 1 0 854997421 119926784 28528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29279 28528 1111 63 0 29216 0
vsize: 117116
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 30496 0 0 0 99626 385 0 0 25 0 1 0 854997421 121008128 28764 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28764 1111 63 0 29480 0
vsize: 118172
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 30731 0 0 0 100623 388 0 0 25 0 1 0 854997421 121954304 28999 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29774 28999 1111 63 0 29711 0
vsize: 119096
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 30945 0 0 0 101621 390 0 0 25 0 1 0 854997421 122765312 29213 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29972 29213 1111 63 0 29909 0
vsize: 119888
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 31177 0 0 0 102618 393 0 0 25 0 1 0 854997421 123711488 29445 4294967295 134512640 134716908 3221224560 3221223344 134597624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30203 29445 1111 63 0 30140 0
vsize: 120812
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 31392 0 0 0 103615 396 0 0 25 0 1 0 854997421 124657664 29660 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30434 29660 1111 63 0 30371 0
vsize: 121736
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 31609 0 0 0 104613 399 0 0 25 0 1 0 854997421 125468672 29877 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30632 29877 1111 63 0 30569 0
vsize: 122528
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 31821 0 0 0 105610 401 0 0 25 0 1 0 854997421 126414848 30089 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30863 30089 1111 63 0 30800 0
vsize: 123452
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 31999 0 0 0 106607 404 0 0 25 0 1 0 854997421 127090688 30267 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31028 30267 1111 63 0 30965 0
vsize: 124112
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 32189 0 0 0 107605 407 0 0 25 0 1 0 854997421 127901696 30457 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31226 30457 1111 63 0 31163 0
vsize: 124904
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 32337 0 0 0 108604 408 0 0 25 0 1 0 854997421 128442368 30605 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31358 30605 1111 63 0 31295 0
vsize: 125432
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 32527 0 0 0 109602 411 0 0 25 0 1 0 854997421 129327104 30793 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31574 30793 1111 63 0 31511 0
vsize: 126296
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 32736 0 0 0 110599 413 0 0 25 0 1 0 854997421 130142208 31002 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31773 31002 1111 63 0 31710 0
vsize: 127092
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 32945 0 0 0 111598 415 0 0 25 0 1 0 854997421 130953216 31211 4294967295 134512640 134716908 3221224560 3221223336 134613551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31971 31211 1111 63 0 31908 0
vsize: 127884
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33151 0 0 0 112597 416 0 0 25 0 1 0 854997421 131899392 31416 4294967295 134512640 134716908 3221224560 3221223360 134597718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32202 31416 1111 63 0 32139 0
vsize: 128808
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33349 0 0 0 113595 418 0 0 25 0 1 0 854997421 132710400 31614 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32400 31614 1111 63 0 32337 0
vsize: 129600
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33550 0 0 0 114593 420 0 0 25 0 1 0 854997421 133521408 31815 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32598 31815 1111 63 0 32535 0
vsize: 130392
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33747 0 0 0 115591 422 0 0 25 0 1 0 854997421 134332416 32012 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32796 32012 1111 63 0 32733 0
vsize: 131184
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33954 0 0 0 116590 424 0 0 25 0 1 0 854997421 135143424 32219 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32994 32219 1111 63 0 32931 0
vsize: 131976
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 8218
Raw data (stat): 8159 (bsolo_lpr_cuts-) R 8158 8378 8377 0 -1 0 33954 0 0 0 116590 424 0 0 25 0 1 0 854997421 135143424 32219 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32994 32219 1111 63 0 32931 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1170.75
CPU system time (s): 4.31934
CPU usage (%): 100.012
Max. virtual memory (Kb): 131976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####