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-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
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	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 41533

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 14:59:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29595 boxname=wulflinc4 idbench=1379 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 29595
/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:        908516 kB
Buffers:         13560 kB
Cached:          87132 kB
SwapCached:       5932 kB
Active:          23724 kB
Inactive:        84072 kB
HighTotal:      131008 kB
HighFree:        41244 kB
LowTotal:       903652 kB
LowFree:        867272 kB
SwapTotal:     2097136 kB
SwapFree:      2090176 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            12680 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:19:27 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29595 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3584 variables and 200 constraints.
c After prepocess the problem consists of 3288 variables and 219 constraints.
c preprocess terminated 1.389 s
c Initial Lower Bound: 351832
c Lower Bound Elapsed time: 0.4338
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.84 0.94 0.90 2/54 17753
Raw data (stat): 17753 (runsolver) R 17752 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911175624 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0021 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17753
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 9940 0 0 0 974 24 0 0 25 0 1 0 911175624 21770240 4608 4294967295 134512640 134716908 3221224560 3221221716 1077374505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4608 1111 63 0 5252 0
vsize: 21260
[startup+20.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 15536 0 0 0 1960 38 0 0 25 0 1 0 911175624 22544384 4744 4294967295 134512640 134716908 3221224560 3221221624 1075007310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5504 4744 1111 63 0 5441 0
vsize: 22016
[startup+30.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 20878 0 0 0 2946 51 0 0 25 0 1 0 911175624 22491136 4708 4294967295 134512640 134716908 3221224560 3221222672 1074867311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5491 4708 1111 63 0 5428 0
vsize: 21964
[startup+40.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 26235 0 0 0 3933 65 0 0 25 0 1 0 911175624 21770240 4609 4294967295 134512640 134716908 3221224560 3221222800 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4609 1111 63 0 5252 0
vsize: 21260
[startup+50.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 31117 0 0 0 4922 76 0 0 25 0 1 0 911175624 22601728 4758 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4758 1111 63 0 5455 0
vsize: 22072
[startup+60.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 35103 0 0 0 5912 86 0 0 25 0 1 0 911175624 22597632 4757 4294967295 134512640 134716908 3221224560 3221220524 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5517 4757 1111 63 0 5454 0
vsize: 22068
[startup+70.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 39504 0 0 0 6901 98 0 0 25 0 1 0 911175624 22593536 4757 4294967295 134512640 134716908 3221224560 3221220788 1075114991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4757 1111 63 0 5453 0
vsize: 22064
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17806
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 43674 0 0 0 7890 109 0 0 25 0 1 0 911175624 21770240 4609 4294967295 134512640 134716908 3221224560 3221221832 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4609 1111 63 0 5252 0
vsize: 21260
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 48167 0 0 0 8880 119 0 0 25 0 1 0 911175624 22581248 4753 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4753 1111 63 0 5450 0
vsize: 22052
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 52897 0 0 0 9867 132 0 0 25 0 1 0 911175624 21770240 4609 4294967295 134512640 134716908 3221224560 3221221808 1074146279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4609 1111 63 0 5252 0
vsize: 21260
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 57725 0 0 0 10857 143 0 0 25 0 1 0 911175624 22175744 4706 4294967295 134512640 134716908 3221224560 3221221664 1074139041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 4706 1111 63 0 5351 0
vsize: 21656
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 62403 0 0 0 11845 154 0 0 25 0 1 0 911175624 22196224 4681 4294967295 134512640 134716908 3221224560 3221222560 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4681 1111 63 0 5356 0
vsize: 21676
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 67133 0 0 0 12833 167 0 0 25 0 1 0 911175624 22130688 4669 4294967295 134512640 134716908 3221224560 3221221544 1074831488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5403 4669 1111 63 0 5340 0
vsize: 21612
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 71910 0 0 0 13821 179 0 0 25 0 1 0 911175624 22413312 4739 4294967295 134512640 134716908 3221224560 3221220524 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5472 4739 1111 63 0 5409 0
vsize: 21888
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 76675 0 0 0 14809 192 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222672 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 81156 0 0 0 15798 203 0 0 25 0 1 0 911175624 22372352 4680 4294967295 134512640 134716908 3221224560 3221222480 1075799640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 4680 1111 63 0 5399 0
vsize: 21848
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 85448 0 0 0 16786 214 0 0 25 0 1 0 911175624 21999616 4666 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5371 4666 1111 63 0 5308 0
vsize: 21484
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 89785 0 0 0 17775 225 0 0 25 0 1 0 911175624 22368256 4728 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5461 4728 1111 63 0 5398 0
vsize: 21844
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 93752 0 0 0 18766 235 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222192 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 97806 0 0 0 19756 245 0 0 25 0 1 0 911175624 21991424 4664 4294967295 134512640 134716908 3221224560 3221222840 1074138319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4664 1111 63 0 5306 0
vsize: 21476
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 101808 0 0 0 20746 255 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222096 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 105819 0 0 0 21735 266 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222472 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 109722 0 0 0 22725 277 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222568 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 113751 0 0 0 23716 286 0 0 25 0 1 0 911175624 22376448 4730 4294967295 134512640 134716908 3221224560 3221220896 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5463 4730 1111 63 0 5400 0
vsize: 21852
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 117994 0 0 0 24706 296 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221221904 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 122322 0 0 0 25694 308 0 0 25 0 1 0 911175624 22347776 4722 4294967295 134512640 134716908 3221224560 3221221600 1075860117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4722 1111 63 0 5393 0
vsize: 21824
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 127416 0 0 0 26682 320 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221223304 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 132562 0 0 0 27671 332 0 0 25 0 1 0 911175624 22323200 4716 4294967295 134512640 134716908 3221224560 3221220588 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4716 1111 63 0 5387 0
vsize: 21800
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 137892 0 0 0 28657 346 0 0 25 0 1 0 911175624 21770240 4610 4294967295 134512640 134716908 3221224560 3221222384 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4610 1111 63 0 5252 0
vsize: 21260
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 143272 0 0 0 29644 359 0 0 25 0 1 0 911175624 22241280 4651 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5430 4651 1111 63 0 5367 0
vsize: 21720
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 148208 0 0 0 30632 371 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222368 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 153541 0 0 0 31620 384 0 0 25 0 1 0 911175624 22401024 4710 4294967295 134512640 134716908 3221224560 3221220560 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 4710 1111 63 0 5406 0
vsize: 21876
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17808
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 158785 0 0 0 32607 397 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 163960 0 0 0 33594 410 0 0 25 0 1 0 911175624 22212608 4646 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4646 1111 63 0 5360 0
vsize: 21692
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 169037 0 0 0 34581 423 0 0 25 0 1 0 911175624 21962752 4626 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4627 1111 63 0 5299 0
vsize: 21448
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 173734 0 0 0 35569 435 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222336 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 178698 0 0 0 36556 448 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222312 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 183648 0 0 0 37545 460 0 0 25 0 1 0 911175624 22192128 4626 4294967295 134512640 134716908 3221224560 3221222492 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5418 4626 1111 63 0 5355 0
vsize: 21672
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 188287 0 0 0 38531 474 0 0 25 0 1 0 911175624 22335488 4694 4294967295 134512640 134716908 3221224560 3221220824 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4694 1111 63 0 5390 0
vsize: 21812
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 192868 0 0 0 39519 486 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222560 1074918585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 197340 0 0 0 40508 497 0 0 25 0 1 0 911175624 22310912 4680 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4680 1111 63 0 5384 0
vsize: 21788
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 201551 0 0 0 41495 510 0 0 25 0 1 0 911175624 21770240 4611 4294967295 134512640 134716908 3221224560 3221222384 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4611 1111 63 0 5252 0
vsize: 21260
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 205714 0 0 0 42485 521 0 0 25 0 1 0 911175624 22065152 4653 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4658 1111 63 0 5324 0
vsize: 21548
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 209669 0 0 0 43473 533 0 0 25 0 1 0 911175624 22257664 4659 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 4665 1111 63 0 5371 0
vsize: 21736
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 213504 0 0 0 44463 543 0 0 25 0 1 0 911175624 21770240 4612 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4612 1111 63 0 5252 0
vsize: 21260
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 217241 0 0 0 45454 552 0 0 25 0 1 0 911175624 21770240 4612 4294967295 134512640 134716908 3221224560 3221223024 1074121060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4612 1111 63 0 5252 0
vsize: 21260
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 221004 0 0 0 46444 562 0 0 25 0 1 0 911175624 21770240 4612 4294967295 134512640 134716908 3221224560 3221223312 134624822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4612 1111 63 0 5252 0
vsize: 21260
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 224895 0 0 0 47434 573 0 0 25 0 1 0 911175624 21770240 4612 4294967295 134512640 134716908 3221224560 3221222188 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4612 1111 63 0 5252 0
vsize: 21260
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 228825 0 0 0 48422 585 0 0 25 0 1 0 911175624 21839872 4625 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4625 1111 63 0 5269 0
vsize: 21328
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 232733 0 0 0 49411 596 0 0 25 0 1 0 911175624 21770240 4612 4294967295 134512640 134716908 3221224560 3221222560 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4612 1111 63 0 5252 0
vsize: 21260
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 236715 0 0 0 50400 607 0 0 25 0 1 0 911175624 22257664 4660 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 4664 1111 63 0 5371 0
vsize: 21736
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 240462 0 0 0 51389 619 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222704 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 244074 0 0 0 52379 629 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222272 1074153040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 247600 0 0 0 53370 638 0 0 25 0 1 0 911175624 21913600 4616 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5350 4616 1111 63 0 5287 0
vsize: 21400
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 250942 0 0 0 54359 649 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 254229 0 0 0 55348 660 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222440 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 257603 0 0 0 56337 671 0 0 25 0 1 0 911175624 22011904 4614 4294967295 134512640 134716908 3221224560 3221222356 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4614 1111 63 0 5311 0
vsize: 21496
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 260793 0 0 0 57328 681 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 263776 0 0 0 58319 690 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222560 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 267458 0 0 0 59308 701 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222520 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5359 4613 1111 63 0 5296 0
vsize: 21260
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 270577 0 0 0 60299 711 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 274123 0 0 0 61289 721 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222632 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 277425 0 0 0 62280 730 0 0 25 0 1 0 911175624 21950464 4614 4294967295 134512640 134716908 3221224560 3221222288 1075828459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5359 4614 1111 63 0 5296 0
vsize: 21436
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 280548 0 0 0 63270 740 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222440 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 284194 0 0 0 64259 751 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 287129 0 0 0 65250 760 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222752 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 290703 0 0 0 66239 772 0 0 25 0 1 0 911175624 22241280 4657 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5430 4657 1111 63 0 5367 0
vsize: 21720
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 293994 0 0 0 67230 781 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222336 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 297447 0 0 0 68221 790 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222960 1074118811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 301084 0 0 0 69210 801 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222912 1074115328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 304916 0 0 0 70198 813 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 308785 0 0 0 71186 825 0 0 25 0 1 0 911175624 22274048 4661 4294967295 134512640 134716908 3221224560 3221220632 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5438 4663 1111 63 0 5375 0
vsize: 21752
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 313044 0 0 0 72174 838 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222632 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 321285 0 0 0 73150 862 0 0 25 0 1 0 911175624 21770240 4613 4294967295 134512640 134716908 3221224560 3221222176 1074207188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4613 1111 63 0 5252 0
vsize: 21260
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 328909 0 0 0 74131 881 0 0 25 0 1 0 911175624 22216704 4709 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5424 4709 1111 63 0 5361 0
vsize: 21696
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 334613 0 0 0 75116 896 0 0 25 0 1 0 911175624 22077440 4688 4294967295 134512640 134716908 3221224560 3221222568 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4688 1111 63 0 5327 0
vsize: 21560
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 340105 0 0 0 76100 913 0 0 25 0 1 0 911175624 22077440 4688 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4688 1111 63 0 5327 0
vsize: 21560
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 345498 0 0 0 77085 927 0 0 25 0 1 0 911175624 22409216 4714 4294967295 134512640 134716908 3221224560 3221221664 1074138844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5471 4714 1111 63 0 5408 0
vsize: 21884
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 350419 0 0 0 78070 943 0 0 25 0 1 0 911175624 22114304 4697 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4697 1111 63 0 5336 0
vsize: 21596
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 355557 0 0 0 79054 959 0 0 25 0 1 0 911175624 22077440 4688 4294967295 134512640 134716908 3221224560 3221222480 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4688 1111 63 0 5327 0
vsize: 21560
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 360951 0 0 0 80039 974 0 0 25 0 1 0 911175624 22155264 4707 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5409 4707 1111 63 0 5346 0
vsize: 21636
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 369201 0 0 0 81019 995 0 0 25 0 1 0 911175624 22151168 4706 4294967295 134512640 134716908 3221224560 3221222588 1074063728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4706 1111 63 0 5345 0
vsize: 21632
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 379549 0 0 0 81994 1019 0 0 25 0 1 0 911175624 23371776 4920 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4920 1111 63 0 5643 0
vsize: 22824
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 389912 0 0 0 82968 1045 0 0 25 0 1 0 911175624 22982656 4909 4294967295 134512640 134716908 3221224560 3221222752 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 4909 1111 63 0 5548 0
vsize: 22444
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 397302 0 0 0 83949 1065 0 0 25 0 1 0 911175624 23351296 4998 4294967295 134512640 134716908 3221224560 3221222992 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5701 4998 1111 63 0 5638 0
vsize: 22804
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 404089 0 0 0 84931 1083 0 0 25 0 1 0 911175624 23633920 4995 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4995 1111 63 0 5707 0
vsize: 23080
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 410911 0 0 0 85912 1102 0 0 25 0 1 0 911175624 23314432 4990 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4990 1111 63 0 5629 0
vsize: 22768
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 417348 0 0 0 86894 1120 0 0 25 0 1 0 911175624 23629824 4993 4294967295 134512640 134716908 3221224560 3221222288 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5769 4993 1111 63 0 5706 0
vsize: 23076
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 423545 0 0 0 87878 1136 0 0 25 0 1 0 911175624 23506944 5025 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 5025 1111 63 0 5676 0
vsize: 22956
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 429646 0 0 0 88862 1153 0 0 25 0 1 0 911175624 23351296 4999 4294967295 134512640 134716908 3221224560 3221222960 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5701 4999 1111 63 0 5638 0
vsize: 22804
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 435979 0 0 0 89841 1174 0 0 25 0 1 0 911175624 23793664 5053 4294967295 134512640 134716908 3221224560 3221220720 1075084539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5809 5053 1111 63 0 5746 0
vsize: 23236
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 442628 0 0 0 90823 1192 0 0 25 0 1 0 911175624 23994368 5079 4294967295 134512640 134716908 3221224560 3221220556 1074860948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 5079 1111 63 0 5795 0
vsize: 23432
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 450781 0 0 0 91800 1215 0 0 25 0 1 0 911175624 23633920 5023 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 5023 1111 63 0 5707 0
vsize: 23080
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 459582 0 0 0 92775 1240 0 0 25 0 1 0 911175624 23875584 5087 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 5089 1111 63 0 5766 0
vsize: 23316
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 467329 0 0 0 93756 1260 0 0 25 0 1 0 911175624 23908352 5131 4294967295 134512640 134716908 3221224560 3221222560 1074918514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5837 5131 1111 63 0 5774 0
vsize: 23348
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 474466 0 0 0 94737 1278 0 0 25 0 1 0 911175624 24334336 5239 4294967295 134512640 134716908 3221224560 3221222288 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5941 5239 1111 63 0 5878 0
vsize: 23764
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 478358 0 0 0 95726 1290 0 0 25 0 1 0 911175624 24563712 5295 4294967295 134512640 134716908 3221224560 3221222528 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5997 5295 1111 63 0 5934 0
vsize: 23988
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 482136 0 0 0 96716 1300 0 0 25 0 1 0 911175624 24637440 5313 4294967295 134512640 134716908 3221224560 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5313 1111 63 0 5952 0
vsize: 24060
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 484139 0 0 0 97709 1308 0 0 25 0 1 0 911175624 24637440 5313 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5313 1111 63 0 5952 0
vsize: 24060
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 485422 0 0 0 98706 1311 0 0 25 0 1 0 911175624 24944640 5388 4294967295 134512640 134716908 3221224560 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5388 1111 63 0 6027 0
vsize: 24360
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 487583 0 0 0 99698 1319 0 0 25 0 1 0 911175624 25174016 5444 4294967295 134512640 134716908 3221224560 3221222044 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6146 5444 1111 63 0 6083 0
vsize: 24584
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 489952 0 0 0 100690 1327 0 0 25 0 1 0 911175624 25255936 5458 4294967295 134512640 134716908 3221224560 3221222560 1074918562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 5458 1111 63 0 6103 0
vsize: 24664
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 492240 0 0 0 101682 1336 0 0 25 0 1 0 911175624 25468928 5516 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6209 5507 1111 63 0 6146 0
vsize: 24872
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 494774 0 0 0 102674 1343 0 0 25 0 1 0 911175624 25968640 5575 4294967295 134512640 134716908 3221224560 3221220556 1074860998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6340 5575 1111 63 0 6277 0
vsize: 25360
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 497066 0 0 0 103668 1350 0 0 25 0 1 0 911175624 25853952 5610 4294967295 134512640 134716908 3221224560 3221222416 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 5610 1111 63 0 6249 0
vsize: 25248
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 499518 0 0 0 104660 1358 0 0 25 0 1 0 911175624 26525696 5774 4294967295 134512640 134716908 3221224560 3221222424 1077378613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5774 1111 63 0 6413 0
vsize: 25904
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 501575 0 0 0 105654 1365 0 0 25 0 1 0 911175624 27185152 5931 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6637 5931 1111 63 0 6574 0
vsize: 26548
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 503634 0 0 0 106646 1373 0 0 25 0 1 0 911175624 27602944 6037 4294967295 134512640 134716908 3221224560 3221223024 1073990306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6739 6037 1111 63 0 6676 0
vsize: 26956
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 505645 0 0 0 107641 1377 0 0 25 0 1 0 911175624 27717632 6065 4294967295 134512640 134716908 3221224560 3221222976 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6767 6065 1111 63 0 6704 0
vsize: 27068
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 508319 0 0 0 108634 1385 0 0 25 0 1 0 911175624 28110848 6161 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6161 1111 63 0 6800 0
vsize: 27452
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 510346 0 0 0 109627 1393 0 0 25 0 1 0 911175624 28749824 6263 4294967295 134512640 134716908 3221224560 3221220624 1074788835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7019 6263 1111 63 0 6956 0
vsize: 28076
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 513360 0 0 0 110619 1400 0 0 25 0 1 0 911175624 28352512 6220 4294967295 134512640 134716908 3221224560 3221222552 1074138452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6922 6220 1111 63 0 6859 0
vsize: 27688
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 516230 0 0 0 111611 1409 0 0 25 0 1 0 911175624 28745728 6316 4294967295 134512640 134716908 3221224560 3221222320 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7018 6316 1111 63 0 6955 0
vsize: 28072
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 519213 0 0 0 112603 1417 0 0 25 0 1 0 911175624 29470720 6493 4294967295 134512640 134716908 3221224560 3221222560 1074917025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7195 6493 1111 63 0 7132 0
vsize: 28780
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 522070 0 0 0 113596 1424 0 0 25 0 1 0 911175624 29446144 6487 4294967295 134512640 134716908 3221224560 3221222520 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7189 6487 1111 63 0 7126 0
vsize: 28756
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 525161 0 0 0 114587 1433 0 0 25 0 1 0 911175624 29790208 6571 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6571 1111 63 0 7210 0
vsize: 29092
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 527919 0 0 0 115579 1441 0 0 25 0 1 0 911175624 30040064 6627 4294967295 134512640 134716908 3221224560 3221222560 1074918811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7334 6627 1111 63 0 7271 0
vsize: 29336
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17810
Raw data (stat): 17753 (bsolo_lpr_cuts-) R 17752 21152 21151 0 -1 0 527919 0 0 0 115579 1441 0 0 25 0 1 0 911175624 30040064 6627 4294967295 134512640 134716908 3221224560 3221222560 1074918811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7334 6627 1111 63 0 7271 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1160.62
CPU system time (s): 14.4698
CPU usage (%): 100.014
Max. virtual memory (Kb): 29336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####