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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
Number of variables	2100
Total number of constraints	120
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	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 41628

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 18:06:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29694 boxname=wulflinc2 idbench=1478 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c76102ddcf7f5ab3b2677033d320eaa3  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x10b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x10b.opb
IDLAUNCH: 29694
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        873948 kB
Buffers:         19312 kB
Cached:         120688 kB
SwapCached:       1440 kB
Active:          27708 kB
Inactive:       114292 kB
HighTotal:      131008 kB
HighFree:        49868 kB
LowTotal:       903652 kB
LowFree:        824080 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13012 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:25:37 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 29694 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1092 variables and 189 constraints.
c preprocess terminated 1.417 s
c Initial Lower Bound: 334533
c Lower Bound Elapsed time: 0.1122
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 31632
Raw data (stat): 31632 (runsolver) R 31631 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912306121 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.0001 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 8252 0 0 0 976 21 0 0 25 0 1 0 912306121 16670720 3288 4294967295 134512640 134716908 3221224560 3221221464 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3275 1111 63 0 3918 0
vsize: 16280
[startup+19.9997 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 14689 0 0 0 1958 39 0 0 25 0 1 0 912306121 16261120 3265 4294967295 134512640 134716908 3221224560 3221221856 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3265 1111 63 0 3907 0
vsize: 15880
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 20350 0 0 0 2943 55 0 0 25 0 1 0 912306121 16261120 3265 4294967295 134512640 134716908 3221224560 3221221944 1074057994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3265 1111 63 0 3907 0
vsize: 15880
[startup+40.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 25613 0 0 0 3926 71 0 0 25 0 1 0 912306121 16408576 3266 4294967295 134512640 134716908 3221224560 3221222288 1075828939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3266 1111 63 0 3943 0
vsize: 16024
[startup+49.9999 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 30816 0 0 0 4909 88 0 0 25 0 1 0 912306121 16351232 3279 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3992 3279 1111 63 0 3929 0
vsize: 15968
[startup+59.9999 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 35367 0 0 0 5895 103 0 0 25 0 1 0 912306121 16310272 3265 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 3265 1111 63 0 3919 0
vsize: 15928
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 42330 0 0 0 6873 125 0 0 25 0 1 0 912306121 16310272 3274 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 3274 1111 63 0 3919 0
vsize: 15928
[startup+80.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 51654 0 0 0 7850 149 0 0 25 0 1 0 912306121 16261120 3265 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3265 1111 63 0 3907 0
vsize: 15880
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 60306 0 0 0 8824 174 0 0 25 0 1 0 912306121 16261120 3265 4294967295 134512640 134716908 3221224560 3221222704 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3265 1111 63 0 3907 0
vsize: 15880
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 71202 0 0 0 9792 206 0 0 25 0 1 0 912306121 16392192 3275 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4002 3275 1111 63 0 3939 0
vsize: 16008
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 82965 0 0 0 10757 242 0 0 25 0 1 0 912306121 16556032 3337 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 3338 1111 63 0 4013 0
vsize: 16168
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 91742 0 0 0 11733 266 0 0 25 0 1 0 912306121 16556032 3337 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3337 1111 63 0 3979 0
vsize: 16168
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 100388 0 0 0 12708 291 0 0 25 0 1 0 912306121 16556032 3337 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3337 1111 63 0 3979 0
vsize: 16168
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 108799 0 0 0 13682 317 0 0 25 0 1 0 912306121 16556032 3337 4294967295 134512640 134716908 3221224560 3221222576 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3337 1111 63 0 3979 0
vsize: 16168
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 118003 0 0 0 14654 345 0 0 25 0 1 0 912306121 16560128 3338 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4043 3338 1111 63 0 3980 0
vsize: 16172
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 127313 0 0 0 15628 372 0 0 25 0 1 0 912306121 16826368 3372 4294967295 134512640 134716908 3221224560 3221221840 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3374 1111 63 0 4045 0
vsize: 16432
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 132313 0 0 0 16611 389 0 0 25 0 1 0 912306121 16961536 3402 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3402 1111 63 0 4078 0
vsize: 16564
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 135574 0 0 0 17600 400 0 0 25 0 1 0 912306121 16818176 3401 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 3401 1111 63 0 4043 0
vsize: 16424
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 139430 0 0 0 18587 413 0 0 25 0 1 0 912306121 16818176 3401 4294967295 134512640 134716908 3221224560 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 3401 1111 63 0 4043 0
vsize: 16424
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 144145 0 0 0 19571 430 0 0 25 0 1 0 912306121 16818176 3401 4294967295 134512640 134716908 3221224560 3221222568 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 3401 1111 63 0 4043 0
vsize: 16424
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 149917 0 0 0 20552 448 0 0 25 0 1 0 912306121 17145856 3404 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4186 3405 1111 63 0 4123 0
vsize: 16744
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 155406 0 0 0 21534 467 0 0 25 0 1 0 912306121 16936960 3411 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3411 1111 63 0 4072 0
vsize: 16540
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 161028 0 0 0 22515 486 0 0 25 0 1 0 912306121 16818176 3405 4294967295 134512640 134716908 3221224560 3221223184 134651188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 3405 1111 63 0 4043 0
vsize: 16424
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 166934 0 0 0 23495 506 0 0 25 0 1 0 912306121 17141760 3429 4294967295 134512640 134716908 3221224560 3221220832 1074961132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 3429 1111 63 0 4122 0
vsize: 16740
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 175125 0 0 0 24471 531 0 0 25 0 1 0 912306121 16818176 3405 4294967295 134512640 134716908 3221224560 3221222656 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 3405 1111 63 0 4043 0
vsize: 16424
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 186662 0 0 0 25441 561 0 0 25 0 1 0 912306121 16863232 3416 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3416 1111 63 0 4054 0
vsize: 16468
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 196677 0 0 0 26412 590 0 0 25 0 1 0 912306121 17084416 3436 4294967295 134512640 134716908 3221224560 3221221644 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4171 3439 1111 63 0 4108 0
vsize: 16684
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 205521 0 0 0 27383 619 0 0 25 0 1 0 912306121 17059840 3432 4294967295 134512640 134716908 3221224560 3221222288 1075828248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 3432 1111 63 0 4102 0
vsize: 16660
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 216618 0 0 0 28353 649 0 0 25 0 1 0 912306121 17031168 3457 4294967295 134512640 134716908 3221224560 3221222288 1075635916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3457 1111 63 0 4095 0
vsize: 16632
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 228559 0 0 0 29319 683 0 0 25 0 1 0 912306121 17141760 3457 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4226 3460 1111 63 0 4163 0
vsize: 16740
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 240434 0 0 0 30286 717 0 0 25 0 1 0 912306121 17342464 3454 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4234 3454 1111 63 0 4171 0
vsize: 16936
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 251743 0 0 0 31255 748 0 0 25 0 1 0 912306121 17027072 3456 4294967295 134512640 134716908 3221224560 3221223208 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4157 3456 1111 63 0 4094 0
vsize: 16628
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 260866 0 0 0 32227 776 0 0 25 0 1 0 912306121 17043456 3460 4294967295 134512640 134716908 3221224560 3221223200 134651097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4161 3460 1111 63 0 4098 0
vsize: 16644
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 268617 0 0 0 33202 801 0 0 25 0 1 0 912306121 17203200 3499 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3499 1111 63 0 4137 0
vsize: 16800
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 276110 0 0 0 34179 825 0 0 25 0 1 0 912306121 17375232 3500 4294967295 134512640 134716908 3221224560 3221222492 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4242 3500 1111 63 0 4179 0
vsize: 16968
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 284939 0 0 0 35155 849 0 0 25 0 1 0 912306121 17289216 3520 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3520 1111 63 0 4158 0
vsize: 16884
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 292281 0 0 0 36134 870 0 0 25 0 1 0 912306121 17289216 3520 4294967295 134512640 134716908 3221224560 3221223184 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3520 1111 63 0 4158 0
vsize: 16884
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 299439 0 0 0 37111 893 0 0 25 0 1 0 912306121 17289216 3520 4294967295 134512640 134716908 3221224560 3221222632 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3520 1111 63 0 4158 0
vsize: 16884
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 306341 0 0 0 38087 918 0 0 25 0 1 0 912306121 17289216 3520 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3520 1111 63 0 4158 0
vsize: 16884
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 313340 0 0 0 39064 940 0 0 25 0 1 0 912306121 17604608 3544 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 3544 1111 63 0 4235 0
vsize: 17192
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 320192 0 0 0 40043 962 0 0 25 0 1 0 912306121 17453056 3536 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 3528 1111 63 0 4169 0
vsize: 17044
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 327391 0 0 0 41019 986 0 0 25 0 1 0 912306121 17334272 3520 4294967295 134512640 134716908 3221224560 3221222560 1074915753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 3520 1111 63 0 4169 0
vsize: 16928
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 334572 0 0 0 41998 1008 0 0 25 0 1 0 912306121 17334272 3529 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 3529 1111 63 0 4169 0
vsize: 16928
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 342573 0 0 0 42973 1032 0 0 25 0 1 0 912306121 17473536 3521 4294967295 134512640 134716908 3221224560 3221222288 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3521 1111 63 0 4203 0
vsize: 17064
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 350169 0 0 0 43952 1054 0 0 25 0 1 0 912306121 17702912 3535 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3535 1111 63 0 4259 0
vsize: 17288
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 357325 0 0 0 44930 1075 0 0 25 0 1 0 912306121 17387520 3525 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 3525 1111 63 0 4182 0
vsize: 16980
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 364709 0 0 0 45908 1099 0 0 25 0 1 0 912306121 17289216 3520 4294967295 134512640 134716908 3221224560 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3520 1111 63 0 4158 0
vsize: 16884
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 372170 0 0 0 46883 1124 0 0 25 0 1 0 912306121 17473536 3521 4294967295 134512640 134716908 3221224560 3221222288 1075828248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3521 1111 63 0 4203 0
vsize: 17064
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 379761 0 0 0 47857 1151 0 0 25 0 1 0 912306121 17629184 3549 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4304 3549 1111 63 0 4241 0
vsize: 17216
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 389203 0 0 0 48831 1176 0 0 25 0 1 0 912306121 17371136 3540 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 3530 1111 63 0 4168 0
vsize: 16964
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 399814 0 0 0 49804 1203 0 0 25 0 1 0 912306121 17321984 3528 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4229 3528 1111 63 0 4166 0
vsize: 16916
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 410953 0 0 0 50773 1235 0 0 25 0 1 0 912306121 17408000 3529 4294967295 134512640 134716908 3221224560 3221222560 1074916448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3529 1111 63 0 4187 0
vsize: 17000
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 422627 0 0 0 51743 1265 0 0 25 0 1 0 912306121 17391616 3545 4294967295 134512640 134716908 3221224560 3221222976 1074117062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3545 1111 63 0 4183 0
vsize: 16984
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 429708 0 0 0 52719 1289 0 0 25 0 1 0 912306121 17391616 3545 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3545 1111 63 0 4183 0
vsize: 16984
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 436338 0 0 0 53700 1308 0 0 25 0 1 0 912306121 17588224 3563 4294967295 134512640 134716908 3221224560 3221222288 1075829025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4294 3563 1111 63 0 4231 0
vsize: 17176
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 442889 0 0 0 54677 1331 0 0 25 0 1 0 912306121 17719296 3592 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3594 1111 63 0 4319 0
vsize: 17304
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 449680 0 0 0 55655 1353 0 0 25 0 1 0 912306121 17539072 3581 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3581 1111 63 0 4219 0
vsize: 17128
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 456975 0 0 0 56631 1377 0 0 25 0 1 0 912306121 17539072 3581 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3581 1111 63 0 4219 0
vsize: 17128
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 464764 0 0 0 57604 1405 0 0 25 0 1 0 912306121 17539072 3581 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3581 1111 63 0 4219 0
vsize: 17128
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 474135 0 0 0 58577 1432 0 0 25 0 1 0 912306121 17584128 3592 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 3592 1111 63 0 4230 0
vsize: 17172
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 486081 0 0 0 59543 1466 0 0 25 0 1 0 912306121 17555456 3585 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3585 1111 63 0 4223 0
vsize: 17144
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 496518 0 0 0 60518 1492 0 0 25 0 1 0 912306121 17883136 3616 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 3616 1111 63 0 4303 0
vsize: 17464
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 497813 0 0 0 61512 1498 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 498279 0 0 0 62507 1503 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222824 1074138237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 498715 0 0 0 63503 1507 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 499301 0 0 0 64498 1513 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222976 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 500368 0 0 0 65491 1519 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 501086 0 0 0 66486 1524 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222656 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 501867 0 0 0 67481 1530 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222480 1075799774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 503482 0 0 0 68475 1536 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 505018 0 0 0 69466 1545 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 506421 0 0 0 70459 1552 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222960 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 507066 0 0 0 71454 1558 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222712 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 508559 0 0 0 72446 1566 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223008 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 509798 0 0 0 73438 1574 0 0 25 0 1 0 912306121 17903616 3616 4294967295 134512640 134716908 3221224560 3221220880 1075169856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 3616 1111 63 0 4308 0
vsize: 17484
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 510728 0 0 0 74433 1579 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 511508 0 0 0 75427 1585 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222240 1075894995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 512913 0 0 0 76419 1593 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222976 1074116570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 515035 0 0 0 77410 1602 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221221664 1074139086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 516377 0 0 0 78403 1610 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 518036 0 0 0 79395 1618 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222464 1075460122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 520274 0 0 0 80385 1628 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 522320 0 0 0 81376 1638 0 0 25 0 1 0 912306121 17821696 3620 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3620 1111 63 0 4288 0
vsize: 17404
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 523752 0 0 0 82369 1644 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 525763 0 0 0 83361 1653 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 527350 0 0 0 84352 1662 0 0 25 0 1 0 912306121 17821696 3618 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3618 1111 63 0 4288 0
vsize: 17404
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 528797 0 0 0 85345 1670 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222384 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 530243 0 0 0 86338 1677 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 531870 0 0 0 87329 1686 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222960 1074119046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 533615 0 0 0 88321 1694 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222548 1074138459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 535267 0 0 0 89313 1702 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 536636 0 0 0 90306 1709 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 538091 0 0 0 91298 1717 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 539465 0 0 0 92292 1724 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 541453 0 0 0 93282 1734 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222288 1075635512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 543905 0 0 0 94274 1742 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223000 1074020929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 549085 0 0 0 95258 1758 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 553696 0 0 0 96241 1775 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 557879 0 0 0 97228 1789 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 562618 0 0 0 98212 1805 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 567251 0 0 0 99195 1823 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 571602 0 0 0 100180 1837 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222604 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 576331 0 0 0 101163 1855 0 0 25 0 1 0 912306121 17977344 3635 4294967295 134512640 134716908 3221224560 3221220416 1074867680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4389 3635 1111 63 0 4326 0
vsize: 17556
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 581039 0 0 0 102145 1873 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222680 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 585901 0 0 0 103128 1890 0 0 25 0 1 0 912306121 17686528 3617 4294967295 134512640 134716908 3221224560 3221222288 1075635930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4318 3617 1111 63 0 4255 0
vsize: 17272
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 592381 0 0 0 104107 1911 0 0 25 0 1 0 912306121 17854464 3616 4294967295 134512640 134716908 3221224560 3221222288 1075828663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4359 3616 1111 63 0 4296 0
vsize: 17436
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 600208 0 0 0 105084 1935 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222800 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 605093 0 0 0 106065 1954 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222816 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 609938 0 0 0 107050 1969 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 615275 0 0 0 108029 1990 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 620384 0 0 0 109013 2006 0 0 25 0 1 0 912306121 17817600 3616 4294967295 134512640 134716908 3221224560 3221222384 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3616 1111 63 0 4287 0
vsize: 17400
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 625310 0 0 0 109996 2023 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222304 1075640367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 629606 0 0 0 110982 2037 0 0 25 0 1 0 912306121 18014208 3628 4294967295 134512640 134716908 3221224560 3221220584 1074860238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3628 1111 63 0 4335 0
vsize: 17592
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 633633 0 0 0 111967 2052 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 638028 0 0 0 112951 2068 0 0 25 0 1 0 912306121 18006016 3625 4294967295 134512640 134716908 3221224560 3221220724 1075964258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4396 3625 1111 63 0 4333 0
vsize: 17584
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 642889 0 0 0 113934 2086 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 647281 0 0 0 114918 2102 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 17264
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 31634
Raw data (stat): 31632 (bsolo_lpr_cuts-) R 31631 31399 31398 0 -1 0 647281 0 0 0 114918 2102 0 0 25 0 1 0 912306121 17678336 3615 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3615 1111 63 0 4253 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.04
CPU user time (s): 1153.91
CPU system time (s): 21.1278
CPU usage (%): 100.016
Max. virtual memory (Kb): 17592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####