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/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM	60a85eb68562d07c063b16fa35f27512
Bench Category	optimization, big integers (OPTBIGINT)
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	27456
Biggest coefficient in the objective function	1310720000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	254165973806800
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1310720000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	254165973806800
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71616
Total number of constraints	3312
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	3312
Minimum length of a constraint	33
Maximum length of a constraint	545
Trace number 41489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 13:44:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29554 boxname=wulflinc4 idbench=1338 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 29554
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        883276 kB
Buffers:          7552 kB
Cached:         122928 kB
SwapCached:        896 kB
Active:          30504 kB
Inactive:       102036 kB
HighTotal:      131008 kB
HighFree:        22232 kB
LowTotal:       903652 kB
LowFree:        861044 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            13116 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:04:24 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 29554 7 1175.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71616 variables and 4560 constraints.
c After prepocess the problem consists of 59596 variables and 5084 constraints.
c preprocess terminated 338.451 s
c Initial Lower Bound: 716354236
c Lower Bound Elapsed time: 69.0347
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.92 0.95 0.90 1/54 17046
Raw data (stat): 17046 (runsolver) R 17045 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910725215 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1482 0 0 0 994 3 0 0 25 0 1 0 910725215 18743296 1402 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 1402 1111 63 0 4513 0
vsize: 18304
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2464 0 0 0 1992 5 0 0 25 0 1 0 910725215 22679552 2384 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5537 2384 1111 63 0 5474 0
vsize: 22148
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 3517 0 0 0 2991 7 0 0 25 0 1 0 910725215 27066368 3437 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6608 3437 1111 63 0 6545 0
vsize: 26432
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 4618 0 0 0 3989 9 0 0 25 0 1 0 910725215 31567872 4538 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4538 1111 63 0 7644 0
vsize: 30828
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 5803 0 0 0 4987 11 0 0 25 0 1 0 910725215 36356096 5723 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8876 5723 1111 63 0 8813 0
vsize: 35504
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 7164 0 0 0 5984 14 0 0 25 0 1 0 910725215 42004480 7084 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10255 7084 1111 63 0 10192 0
vsize: 41020
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 8558 0 0 0 6982 16 0 0 25 0 1 0 910725215 47775744 8478 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11664 8478 1111 63 0 11601 0
vsize: 46656
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 10033 0 0 0 7980 18 0 0 25 0 1 0 910725215 53690368 9953 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 9953 1111 63 0 13045 0
vsize: 52432
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 11568 0 0 0 8977 21 0 0 25 0 1 0 910725215 60026880 11488 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14655 11488 1111 63 0 14592 0
vsize: 58620
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 13149 0 0 0 9973 25 0 0 25 0 1 0 910725215 66580480 13069 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16255 13069 1111 63 0 16192 0
vsize: 65020
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 14790 0 0 0 10972 27 0 0 25 0 1 0 910725215 73338880 14710 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 14710 1111 63 0 17842 0
vsize: 71620
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 16480 0 0 0 11969 30 0 0 25 0 1 0 910725215 80240640 16400 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19590 16400 1111 63 0 19527 0
vsize: 78360
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 18246 0 0 0 12966 34 0 0 25 0 1 0 910725215 87482368 18166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21358 18166 1111 63 0 21295 0
vsize: 85432
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 36432 0 0 0 13928 71 0 0 25 0 1 0 910725215 161955840 36352 4294967295 134512640 134716908 3221224560 3221221036 1077196420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39540 36352 1111 63 0 39477 0
vsize: 158160
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 54101 0 0 0 14894 105 0 0 25 0 1 0 910725215 233549824 53679 4294967295 134512640 134716908 3221224560 3221222200 1077360690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57019 53679 1111 63 0 56956 0
vsize: 228076
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 68266 0 0 0 15860 138 0 0 25 0 1 0 910725215 262606848 62668 4294967295 134512640 134716908 3221224560 3221223288 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64113 62668 1111 63 0 64050 0
vsize: 256452
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 68327 0 0 0 16860 138 0 0 25 0 1 0 910725215 262742016 62729 4294967295 134512640 134716908 3221224560 3221223288 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64146 62729 1111 63 0 64083 0
vsize: 256584
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 93857 0 0 0 17804 194 0 0 25 0 1 0 910725215 266715136 63689 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65046 63619 1111 63 0 64983 0
vsize: 260464
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 275601 0 0 0 18410 588 0 0 25 0 1 0 910725215 266264576 63573 4294967295 134512640 134716908 3221224560 3221223288 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65006 63573 1111 63 0 64943 0
vsize: 260024
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 409557 0 0 0 19112 886 0 0 25 0 1 0 910725215 268075008 63969 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65448 63976 1111 63 0 65385 0
vsize: 261792
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 568442 0 0 0 19758 1241 0 0 25 0 1 0 910725215 267485184 63884 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65304 63884 1111 63 0 65241 0
vsize: 261216
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 718552 0 0 0 20429 1570 0 0 25 0 1 0 910725215 268886016 64054 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65646 64061 1111 63 0 65583 0
vsize: 262584
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 886578 0 0 0 21059 1940 0 0 25 0 1 0 910725215 268300288 64080 4294967295 134512640 134716908 3221224560 3221223360 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65503 64080 1111 63 0 65440 0
vsize: 262012
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1050130 0 0 0 21699 2300 0 0 25 0 1 0 910725215 269422592 64252 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65777 64259 1111 63 0 65714 0
vsize: 263108
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1219875 0 0 0 22326 2673 0 0 25 0 1 0 910725215 269557760 64317 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65810 64323 1111 63 0 65747 0
vsize: 263240
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1397573 0 0 0 22936 3064 0 0 25 0 1 0 910725215 269824000 64355 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65875 64361 1111 63 0 65812 0
vsize: 263500
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1603168 0 0 0 23482 3518 0 0 25 0 1 0 910725215 269824000 64360 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65875 64368 1111 63 0 65812 0
vsize: 263500
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693689 0 0 0 24290 3710 0 0 25 0 1 0 910725215 269520896 64371 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64371 1111 63 0 65738 0
vsize: 263204
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 25290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 26290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 27290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 28290 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1693705 0 0 0 29291 3710 0 0 25 0 1 0 910725215 269520896 64387 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1718430 0 0 0 30231 3769 0 0 25 0 1 0 910725215 283537408 67622 4294967295 134512640 134716908 3221224560 3221222752 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69223 67622 1111 63 0 69160 0
vsize: 276892
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1848027 0 0 0 30942 4058 0 0 25 0 1 0 910725215 283881472 67719 4294967295 134512640 134716908 3221224560 3221222464 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69307 67719 1111 63 0 69244 0
vsize: 277228
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 1956637 0 0 0 31695 4305 0 0 25 0 1 0 910725215 284127232 67792 4294967295 134512640 134716908 3221224560 3221222672 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69367 67792 1111 63 0 69304 0
vsize: 277468
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2050196 0 0 0 32474 4527 0 0 25 0 1 0 910725215 284897280 67860 4294967295 134512640 134716908 3221224560 3221222008 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69555 67871 1111 63 0 69492 0
vsize: 278220
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2127245 0 0 0 33285 4716 0 0 25 0 1 0 910725215 285376512 68049 4294967295 134512640 134716908 3221224560 3221222040 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69672 68054 1111 63 0 69609 0
vsize: 278688
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2194177 0 0 0 34121 4880 0 0 25 0 1 0 910725215 285511680 68131 4294967295 134512640 134716908 3221224560 3221221696 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69705 68131 1111 63 0 69642 0
vsize: 278820
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2252934 0 0 0 34977 5024 0 0 25 0 1 0 910725215 285904896 68228 4294967295 134512640 134716908 3221224560 3221222480 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69801 68228 1111 63 0 69738 0
vsize: 279204
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2307871 0 0 0 35840 5161 0 0 25 0 1 0 910725215 286138368 68285 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69858 68285 1111 63 0 69795 0
vsize: 279432
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2360151 0 0 0 36712 5289 0 0 25 0 1 0 910725215 286380032 68345 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69847 68275 1111 63 0 69784 0
vsize: 279668
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2409225 0 0 0 37593 5408 0 0 25 0 1 0 910725215 286396416 68349 4294967295 134512640 134716908 3221224560 3221222008 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70061 68353 1111 63 0 69998 0
vsize: 279684
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2418997 0 0 0 38571 5430 0 0 25 0 1 0 910725215 302456832 71706 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71706 1111 63 0 73779 0
vsize: 295368
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419014 0 0 0 39571 5430 0 0 25 0 1 0 910725215 302456832 71723 4294967295 134512640 134716908 3221224560 3221220736 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71723 1111 63 0 73779 0
vsize: 295368
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419019 0 0 0 40571 5431 0 0 25 0 1 0 910725215 302456832 71728 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71728 1111 63 0 73779 0
vsize: 295368
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419024 0 0 0 41571 5431 0 0 25 0 1 0 910725215 302456832 71733 4294967295 134512640 134716908 3221224560 3221221536 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71733 1111 63 0 73779 0
vsize: 295368
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419024 0 0 0 42571 5431 0 0 25 0 1 0 910725215 302456832 71733 4294967295 134512640 134716908 3221224560 3221220672 1076111666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71733 1111 63 0 73779 0
vsize: 295368
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419025 0 0 0 43572 5431 0 0 25 0 1 0 910725215 302456832 71734 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71734 1111 63 0 73779 0
vsize: 295368
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419028 0 0 0 44572 5431 0 0 25 0 1 0 910725215 302456832 71737 4294967295 134512640 134716908 3221224560 3221221232 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71737 1111 63 0 73779 0
vsize: 295368
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419048 0 0 0 45572 5431 0 0 25 0 1 0 910725215 302456832 71757 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71757 1111 63 0 73779 0
vsize: 295368
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419054 0 0 0 46572 5431 0 0 25 0 1 0 910725215 302456832 71763 4294967295 134512640 134716908 3221224560 3221220428 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73842 71763 1111 63 0 73779 0
vsize: 295368
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 47572 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 48572 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2419067 0 0 0 49573 5431 0 0 25 0 1 0 910725215 303194112 71776 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2423817 0 0 0 50562 5441 0 0 25 0 1 0 910725215 296804352 70274 4294967295 134512640 134716908 3221224560 3221220668 1075563081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72462 70274 1111 63 0 72399 0
vsize: 289848
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 51562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 52562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221221384 1074950096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2424031 0 0 0 53562 5442 0 0 25 0 1 0 910725215 296804352 70488 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2437250 0 0 0 54536 5468 0 0 25 0 1 0 910725215 308563968 73076 4294967295 134512640 134716908 3221224560 3221220600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75333 73076 1111 63 0 75270 0
vsize: 301332
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2441911 0 0 0 55527 5477 0 0 25 0 1 0 910725215 301973504 71702 4294967295 134512640 134716908 3221224560 3221221384 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73724 71702 1111 63 0 73661 0
vsize: 294896
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2441911 0 0 0 56527 5477 0 0 25 0 1 0 910725215 301973504 71702 4294967295 134512640 134716908 3221224560 3221220624 1074794686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73724 71702 1111 63 0 73661 0
vsize: 294896
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460661 0 0 0 57487 5518 0 0 25 0 1 0 910725215 302092288 71761 4294967295 134512640 134716908 3221224560 3221221400 1075066488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71761 1111 63 0 73690 0
vsize: 295012
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460668 0 0 0 58487 5518 0 0 25 0 1 0 910725215 302092288 71768 4294967295 134512640 134716908 3221224560 3221220684 1075116586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71768 1111 63 0 73690 0
vsize: 295012
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 59487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71769 1111 63 0 73690 0
vsize: 295012
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 60487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71769 1111 63 0 73690 0
vsize: 295012
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 61487 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71769 1111 63 0 73690 0
vsize: 295012
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2460669 0 0 0 62488 5518 0 0 25 0 1 0 910725215 302092288 71769 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73753 71769 1111 63 0 73690 0
vsize: 295012
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2473777 0 0 0 63459 5547 0 0 25 0 1 0 910725215 296427520 70803 4294967295 134512640 134716908 3221224560 3221222376 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72370 70803 1111 63 0 72307 0
vsize: 289480
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476875 0 0 0 64453 5553 0 0 25 0 1 0 910725215 302387200 71822 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71822 1111 63 0 73762 0
vsize: 295300
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476877 0 0 0 65453 5553 0 0 25 0 1 0 910725215 302387200 71824 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71824 1111 63 0 73762 0
vsize: 295300
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476886 0 0 0 66453 5553 0 0 25 0 1 0 910725215 302387200 71833 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71833 1111 63 0 73762 0
vsize: 295300
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 67454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221221056 1074885325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71836 1111 63 0 73762 0
vsize: 295300
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 68454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221221456 1075338960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71836 1111 63 0 73762 0
vsize: 295300
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2476889 0 0 0 69454 5553 0 0 25 0 1 0 910725215 302387200 71836 4294967295 134512640 134716908 3221224560 3221220428 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73825 71836 1111 63 0 73762 0
vsize: 295300
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2485070 0 0 0 70434 5573 0 0 25 0 1 0 910725215 301756416 72025 4294967295 134512640 134716908 3221224560 3221222912 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73671 72033 1111 63 0 73608 0
vsize: 294684
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496941 0 0 0 71410 5597 0 0 25 0 1 0 910725215 302403584 71843 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73829 71843 1111 63 0 73766 0
vsize: 295316
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496944 0 0 0 72410 5597 0 0 25 0 1 0 910725215 302403584 71846 4294967295 134512640 134716908 3221224560 3221221368 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73829 71846 1111 63 0 73766 0
vsize: 295316
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2496956 0 0 0 73410 5598 0 0 25 0 1 0 910725215 302403584 71858 4294967295 134512640 134716908 3221224560 3221220460 1074860993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73829 71858 1111 63 0 73766 0
vsize: 295316
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518319 0 0 0 74365 5642 0 0 25 0 1 0 910725215 302555136 71863 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73866 71863 1111 63 0 73803 0
vsize: 295464
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518351 0 0 0 75365 5643 0 0 25 0 1 0 910725215 302555136 71895 4294967295 134512640 134716908 3221224560 3221220624 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73866 71895 1111 63 0 73803 0
vsize: 295464
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518352 0 0 0 76365 5643 0 0 25 0 1 0 910725215 302555136 71896 4294967295 134512640 134716908 3221224560 3221221232 1076083814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73866 71896 1111 63 0 73803 0
vsize: 295464
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2518361 0 0 0 77365 5643 0 0 25 0 1 0 910725215 302555136 71905 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73866 71905 1111 63 0 73803 0
vsize: 295464
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2536152 0 0 0 78324 5685 0 0 25 0 1 0 910725215 308813824 73322 4294967295 134512640 134716908 3221224560 3221220800 1075113561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75394 73322 1111 63 0 75331 0
vsize: 301576
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2536170 0 0 0 79324 5685 0 0 25 0 1 0 910725215 309551104 73340 4294967295 134512640 134716908 3221224560 3221220624 1074794582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75574 73340 1111 63 0 75511 0
vsize: 302296
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541186 0 0 0 80314 5695 0 0 25 0 1 0 910725215 302891008 71938 4294967295 134512640 134716908 3221224560 3221220624 1074794655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73948 71938 1111 63 0 73885 0
vsize: 295792
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541191 0 0 0 81314 5695 0 0 25 0 1 0 910725215 302891008 71943 4294967295 134512640 134716908 3221224560 3221220328 1074789653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73948 71943 1111 63 0 73885 0
vsize: 295792
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2541191 0 0 0 82314 5695 0 0 25 0 1 0 910725215 302891008 71943 4294967295 134512640 134716908 3221224560 3221221528 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73948 71943 1111 63 0 73885 0
vsize: 295792
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2560455 0 0 0 83269 5740 0 0 25 0 1 0 910725215 308998144 73326 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75439 73326 1111 63 0 75376 0
vsize: 301756
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565178 0 0 0 84259 5750 0 0 25 0 1 0 910725215 303042560 71970 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73985 71970 1111 63 0 73922 0
vsize: 295940
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17046
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565218 0 0 0 85259 5751 0 0 25 0 1 0 910725215 303403008 72010 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74073 72010 1111 63 0 74010 0
vsize: 296292
[startup+920.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2565230 0 0 0 86259 5751 0 0 25 0 1 0 910725215 303403008 72022 4294967295 134512640 134716908 3221224560 3221221392 1075960284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74073 72022 1111 63 0 74010 0
vsize: 296292
[startup+930.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2570271 0 0 0 87247 5763 0 0 25 0 1 0 910725215 297488384 71035 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72629 71035 1111 63 0 72566 0
vsize: 290516
[startup+940.023 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589303 0 0 0 88206 5804 0 0 25 0 1 0 910725215 303562752 72013 4294967295 134512640 134716908 3221224560 3221220972 1074971924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72013 1111 63 0 74049 0
vsize: 296448
[startup+950.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 89206 5804 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221221504 1075971273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72028 1111 63 0 74049 0
vsize: 296448
[startup+960.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 90206 5804 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72028 1111 63 0 74049 0
vsize: 296448
[startup+970.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589318 0 0 0 91205 5805 0 0 25 0 1 0 910725215 303562752 72028 4294967295 134512640 134716908 3221224560 3221221120 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72028 1111 63 0 74049 0
vsize: 296448
[startup+980.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17099
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589328 0 0 0 92205 5805 0 0 25 0 1 0 910725215 303562752 72038 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72038 1111 63 0 74049 0
vsize: 296448
[startup+990.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2589328 0 0 0 93205 5806 0 0 25 0 1 0 910725215 303562752 72038 4294967295 134512640 134716908 3221224560 3221220736 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74112 72038 1111 63 0 74049 0
vsize: 296448
[startup+1000.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2601591 0 0 0 94177 5834 0 0 25 0 1 0 910725215 307728384 72782 4294967295 134512640 134716908 3221224560 3221222192 1075829963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75129 72782 1111 63 0 75066 0
vsize: 300516
[startup+1010.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609806 0 0 0 95158 5853 0 0 25 0 1 0 910725215 303575040 72039 4294967295 134512640 134716908 3221224560 3221220736 1074805815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74115 72039 1111 63 0 74052 0
vsize: 296460
[startup+1020.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609806 0 0 0 96158 5853 0 0 25 0 1 0 910725215 303575040 72039 4294967295 134512640 134716908 3221224560 3221220536 1074950180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74115 72039 1111 63 0 74052 0
vsize: 296460
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 97157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71621 70205 1111 63 0 71558 0
vsize: 286484
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 98157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70205 1111 63 0 71558 0
vsize: 286484
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609811 0 0 0 99157 5854 0 0 25 0 1 0 910725215 293359616 70205 4294967295 134512640 134716908 3221224560 3221223336 134600361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70205 1111 63 0 71558 0
vsize: 286484
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 100157 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 101158 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 102159 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 103159 5854 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 104159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 105159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 106159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 107159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609812 0 0 0 108159 5855 0 0 25 0 1 0 910725215 293359616 70206 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70206 1111 63 0 71558 0
vsize: 286484
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 109159 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70208 1111 63 0 71558 0
vsize: 286484
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 110159 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70208 1111 63 0 71558 0
vsize: 286484
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 111160 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70208 1111 63 0 71558 0
vsize: 286484
[startup+1175.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 17101
Raw data (stat): 17046 (bsolo_lpr_cuts-) R 17045 21152 21151 0 -1 0 2609814 0 0 0 111160 5855 0 0 25 0 1 0 910725215 293359616 70208 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71621 70208 1111 63 0 71558 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.2
CPU user time (s): 1116.51
CPU system time (s): 58.6861
CPU usage (%): 100.01
Max. virtual memory (Kb): 302296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####