PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 19:11:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18760 boxname=wulflinc3 idbench=1444 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 18760
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        881364 kB
Buffers:          9428 kB
Cached:         122312 kB
SwapCached:        112 kB
Active:          25692 kB
Inactive:       109024 kB
HighTotal:      131008 kB
HighFree:         4284 kB
LowTotal:       903652 kB
LowFree:        877080 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12780 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:31:02 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 18760 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 3.899 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 1.195
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.92 2/54 24191
Raw data (stat): 24191 (runsolver) R 24190 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774429044 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6064 0 3 0 976 15 0 0 25 0 1 0 774429044 21430272 4530 4294967295 134512640 134714508 3221224592 3221223392 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4530 1111 63 0 5169 0
vsize: 20928
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6069 0 3 0 1973 18 0 0 25 0 1 0 774429044 21430272 4535 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4535 1111 63 0 5169 0
vsize: 20928
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6100 0 3 0 2970 21 0 0 25 0 1 0 774429044 21565440 4566 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5265 4566 1111 63 0 5202 0
vsize: 21060
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6215 0 3 0 3967 25 0 0 25 0 1 0 774429044 22106112 4681 4294967295 134512640 134714508 3221224592 3221223488 134595134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4681 1111 63 0 5334 0
vsize: 21588
[startup+50.003 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6333 0 3 0 4963 29 0 0 25 0 1 0 774429044 22511616 4799 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5496 4799 1111 63 0 5433 0
vsize: 21984
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6444 0 3 0 5958 34 0 0 25 0 1 0 774429044 23052288 4910 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4910 1111 63 0 5565 0
vsize: 22512
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6549 0 3 0 6954 38 0 0 25 0 1 0 774429044 23457792 5015 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 5015 1111 63 0 5664 0
vsize: 22908
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6660 0 3 0 7952 41 0 0 25 0 1 0 774429044 23863296 5126 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 5126 1111 63 0 5763 0
vsize: 23304
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6774 0 3 0 8948 45 0 0 25 0 1 0 774429044 24403968 5240 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5958 5240 1111 63 0 5895 0
vsize: 23832
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 6886 0 3 0 9945 48 0 0 25 0 1 0 774429044 24809472 5352 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6057 5352 1111 63 0 5994 0
vsize: 24228
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7006 0 3 0 10941 52 0 0 25 0 1 0 774429044 25350144 5472 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 5472 1111 63 0 6126 0
vsize: 24756
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7127 0 3 0 11937 56 0 0 25 0 1 0 774429044 25890816 5593 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6321 5593 1111 63 0 6258 0
vsize: 25284
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7256 0 3 0 12934 60 0 0 25 0 1 0 774429044 26296320 5722 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6420 5722 1111 63 0 6357 0
vsize: 25680
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7378 0 3 0 13931 63 0 0 25 0 1 0 774429044 26836992 5844 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5844 1111 63 0 6489 0
vsize: 26208
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7485 0 3 0 14928 66 0 0 25 0 1 0 774429044 27242496 5951 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 5951 1111 63 0 6588 0
vsize: 26604
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7597 0 3 0 15924 70 0 0 25 0 1 0 774429044 27783168 6063 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6063 1111 63 0 6720 0
vsize: 27132
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7716 0 3 0 16919 75 0 0 25 0 1 0 774429044 28323840 6182 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6915 6182 1111 63 0 6852 0
vsize: 27660
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7823 0 3 0 17917 78 0 0 25 0 1 0 774429044 28729344 6289 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7014 6289 1111 63 0 6951 0
vsize: 28056
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 7933 0 3 0 18914 81 0 0 25 0 1 0 774429044 29134848 6399 4294967295 134512640 134714508 3221224592 3221223392 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7113 6399 1111 63 0 7050 0
vsize: 28452
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8052 0 3 0 19911 84 0 0 25 0 1 0 774429044 29675520 6518 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6518 1111 63 0 7182 0
vsize: 28980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8160 0 3 0 20908 87 0 0 25 0 1 0 774429044 30081024 6626 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7344 6626 1111 63 0 7281 0
vsize: 29376
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8273 0 3 0 21905 90 0 0 25 0 1 0 774429044 30486528 6739 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6739 1111 63 0 7380 0
vsize: 29772
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8367 0 3 0 22901 94 0 0 25 0 1 0 774429044 30892032 6833 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7542 6833 1111 63 0 7479 0
vsize: 30168
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8499 0 3 0 23897 98 0 0 25 0 1 0 774429044 31440896 6964 4294967295 134512640 134714508 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7676 6964 1111 63 0 7613 0
vsize: 30704
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8615 0 3 0 24894 102 0 0 25 0 1 0 774429044 31981568 7080 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7808 7080 1111 63 0 7745 0
vsize: 31232
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8719 0 3 0 25891 105 0 0 25 0 1 0 774429044 32387072 7184 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7907 7184 1111 63 0 7844 0
vsize: 31628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8834 0 3 0 26888 109 0 0 25 0 1 0 774429044 32927744 7299 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8039 7299 1111 63 0 7976 0
vsize: 32156
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 8961 0 3 0 27884 112 0 0 25 0 1 0 774429044 33333248 7426 4294967295 134512640 134714508 3221224592 3221223408 134587513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7426 1111 63 0 8075 0
vsize: 32552
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9076 0 3 0 28881 116 0 0 25 0 1 0 774429044 33873920 7541 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 7541 1111 63 0 8207 0
vsize: 33080
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9176 0 3 0 29878 119 0 0 25 0 1 0 774429044 34279424 7641 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8369 7641 1111 63 0 8306 0
vsize: 33476
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9266 0 3 0 30873 124 0 0 25 0 1 0 774429044 34684928 7731 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8468 7731 1111 63 0 8405 0
vsize: 33872
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9352 0 3 0 31869 128 0 0 25 0 1 0 774429044 34955264 7817 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7817 1111 63 0 8471 0
vsize: 34136
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9440 0 3 0 32864 133 0 0 25 0 1 0 774429044 35360768 7905 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 7905 1111 63 0 8570 0
vsize: 34532
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9530 0 3 0 33860 138 0 0 25 0 1 0 774429044 35766272 7995 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8732 7995 1111 63 0 8669 0
vsize: 34928
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9624 0 3 0 34856 142 0 0 25 0 1 0 774429044 36171776 8089 4294967295 134512640 134714508 3221224592 3221223392 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8831 8089 1111 63 0 8768 0
vsize: 35324
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9718 0 3 0 35853 145 0 0 25 0 1 0 774429044 36442112 8183 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8897 8183 1111 63 0 8834 0
vsize: 35588
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9807 0 3 0 36851 147 0 0 25 0 1 0 774429044 36847616 8272 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 8272 1111 63 0 8933 0
vsize: 35984
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9891 0 3 0 37847 152 0 0 25 0 1 0 774429044 37253120 8356 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9095 8356 1111 63 0 9032 0
vsize: 36380
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 9977 0 3 0 38844 155 0 0 25 0 1 0 774429044 37523456 8442 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9161 8442 1111 63 0 9098 0
vsize: 36644
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10061 0 3 0 39840 159 0 0 25 0 1 0 774429044 37928960 8526 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9260 8526 1111 63 0 9197 0
vsize: 37040
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10141 0 3 0 40837 162 0 0 25 0 1 0 774429044 38199296 8606 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8606 1111 63 0 9263 0
vsize: 37304
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10239 0 3 0 41833 167 0 0 25 0 1 0 774429044 38604800 8704 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9425 8704 1111 63 0 9362 0
vsize: 37700
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10325 0 3 0 42829 171 0 0 25 0 1 0 774429044 39010304 8790 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9524 8790 1111 63 0 9461 0
vsize: 38096
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10404 0 3 0 43826 174 0 0 25 0 1 0 774429044 39280640 8869 4294967295 134512640 134714508 3221224592 3221223368 134600349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8869 1111 63 0 9527 0
vsize: 38360
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10493 0 3 0 44822 178 0 0 25 0 1 0 774429044 39686144 8958 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9689 8958 1111 63 0 9626 0
vsize: 38756
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10578 0 3 0 45818 182 0 0 25 0 1 0 774429044 39956480 9043 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 9043 1111 63 0 9692 0
vsize: 39020
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10671 0 3 0 46815 185 0 0 25 0 1 0 774429044 40361984 9136 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9854 9136 1111 63 0 9791 0
vsize: 39416
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10759 0 3 0 47811 189 0 0 25 0 1 0 774429044 40767488 9224 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9953 9224 1111 63 0 9890 0
vsize: 39812
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10839 0 3 0 48807 194 0 0 25 0 1 0 774429044 41037824 9304 4294967295 134512640 134714508 3221224592 3221223376 134597575 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10019 9304 1111 63 0 9956 0
vsize: 40076
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 10922 0 3 0 49804 197 0 0 25 0 1 0 774429044 41443328 9387 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10118 9387 1111 63 0 10055 0
vsize: 40472
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11002 0 3 0 50801 200 0 0 25 0 1 0 774429044 41713664 9467 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10184 9467 1111 63 0 10121 0
vsize: 40736
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11097 0 3 0 51797 204 0 0 25 0 1 0 774429044 42119168 9562 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10283 9562 1111 63 0 10220 0
vsize: 41132
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11211 0 3 0 52795 207 0 0 25 0 1 0 774429044 42659840 9676 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10415 9676 1111 63 0 10352 0
vsize: 41660
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11295 0 3 0 53792 210 0 0 25 0 1 0 774429044 42930176 9760 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10481 9760 1111 63 0 10418 0
vsize: 41924
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11380 0 3 0 54788 214 0 0 25 0 1 0 774429044 43335680 9845 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9845 1111 63 0 10517 0
vsize: 42320
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11462 0 3 0 55785 217 0 0 25 0 1 0 774429044 43606016 9927 4294967295 134512640 134714508 3221224592 3221223324 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9927 1111 63 0 10583 0
vsize: 42584
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11554 0 3 0 56782 221 0 0 25 0 1 0 774429044 44011520 10019 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10745 10019 1111 63 0 10682 0
vsize: 42980
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11644 0 3 0 57778 224 0 0 25 0 1 0 774429044 44417024 10109 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10844 10109 1111 63 0 10781 0
vsize: 43376
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11734 0 3 0 58774 228 0 0 25 0 1 0 774429044 44822528 10199 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10943 10199 1111 63 0 10880 0
vsize: 43772
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11819 0 3 0 59771 232 0 0 25 0 1 0 774429044 45092864 10284 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11009 10284 1111 63 0 10946 0
vsize: 44036
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 11909 0 3 0 60767 236 0 0 25 0 1 0 774429044 45498368 10374 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11108 10374 1111 63 0 11045 0
vsize: 44432
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12000 0 3 0 61762 241 0 0 25 0 1 0 774429044 45903872 10465 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11207 10465 1111 63 0 11144 0
vsize: 44828
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12086 0 3 0 62759 244 0 0 25 0 1 0 774429044 46174208 10551 4294967295 134512640 134714508 3221224592 3221223132 134539287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11273 10551 1111 63 0 11210 0
vsize: 45092
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12166 0 3 0 63756 247 0 0 25 0 1 0 774429044 46579712 10631 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11372 10631 1111 63 0 11309 0
vsize: 45488
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12245 0 3 0 64753 251 0 0 25 0 1 0 774429044 46850048 10709 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11438 10709 1111 63 0 11375 0
vsize: 45752
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12344 0 3 0 65749 255 0 0 25 0 1 0 774429044 47255552 10807 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11537 10807 1111 63 0 11474 0
vsize: 46148
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12422 0 3 0 66746 258 0 0 25 0 1 0 774429044 47525888 10885 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11603 10885 1111 63 0 11540 0
vsize: 46412
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12509 0 3 0 67743 262 0 0 25 0 1 0 774429044 47931392 10972 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11702 10972 1111 63 0 11639 0
vsize: 46808
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12596 0 3 0 68739 266 0 0 25 0 1 0 774429044 48336896 11059 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11801 11059 1111 63 0 11738 0
vsize: 47204
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12676 0 3 0 69735 269 0 0 25 0 1 0 774429044 48607232 11139 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11867 11139 1111 63 0 11804 0
vsize: 47468
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12763 0 3 0 70733 272 0 0 25 0 1 0 774429044 49012736 11226 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11966 11226 1111 63 0 11903 0
vsize: 47864
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12847 0 3 0 71729 276 0 0 25 0 1 0 774429044 49283072 11310 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12032 11310 1111 63 0 11969 0
vsize: 48128
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 12930 0 3 0 72725 280 0 0 25 0 1 0 774429044 49688576 11393 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12131 11393 1111 63 0 12068 0
vsize: 48524
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13016 0 3 0 73720 285 0 0 25 0 1 0 774429044 50094080 11479 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 11479 1111 63 0 12167 0
vsize: 48920
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13104 0 3 0 74717 289 0 0 25 0 1 0 774429044 50364416 11567 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12296 11567 1111 63 0 12233 0
vsize: 49184
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13197 0 3 0 75713 292 0 0 25 0 1 0 774429044 50769920 11659 4294967295 134512640 134714508 3221224592 3221223376 134597580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12395 11659 1111 63 0 12332 0
vsize: 49580
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13284 0 3 0 76710 296 0 0 25 0 1 0 774429044 51175424 11746 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12494 11746 1111 63 0 12431 0
vsize: 49976
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13368 0 3 0 77706 300 0 0 25 0 1 0 774429044 51445760 11830 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12560 11830 1111 63 0 12497 0
vsize: 50240
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13461 0 3 0 78703 303 0 0 25 0 1 0 774429044 51851264 11923 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12659 11923 1111 63 0 12596 0
vsize: 50636
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13551 0 3 0 79700 307 0 0 25 0 1 0 774429044 52256768 12013 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12758 12013 1111 63 0 12695 0
vsize: 51032
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13642 0 3 0 80697 310 0 0 25 0 1 0 774429044 52662272 12103 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12857 12103 1111 63 0 12794 0
vsize: 51428
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13731 0 3 0 81693 314 0 0 25 0 1 0 774429044 52932608 12192 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12923 12192 1111 63 0 12860 0
vsize: 51692
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13815 0 3 0 82690 317 0 0 25 0 1 0 774429044 53338112 12276 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13022 12276 1111 63 0 12959 0
vsize: 52088
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13897 0 3 0 83685 322 0 0 25 0 1 0 774429044 53608448 12358 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13088 12358 1111 63 0 13025 0
vsize: 52352
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 13985 0 3 0 84680 327 0 0 25 0 1 0 774429044 54013952 12446 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13187 12446 1111 63 0 13124 0
vsize: 52748
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14072 0 3 0 85677 331 0 0 25 0 1 0 774429044 54419456 12533 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13286 12533 1111 63 0 13223 0
vsize: 53144
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14146 0 3 0 86673 335 0 0 25 0 1 0 774429044 54689792 12607 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13352 12607 1111 63 0 13289 0
vsize: 53408
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14234 0 3 0 87670 338 0 0 25 0 1 0 774429044 55095296 12695 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 12695 1111 63 0 13388 0
vsize: 53804
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14319 0 3 0 88666 342 0 0 25 0 1 0 774429044 55365632 12780 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13517 12780 1111 63 0 13454 0
vsize: 54068
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14409 0 3 0 89663 346 0 0 25 0 1 0 774429044 55771136 12870 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13616 12870 1111 63 0 13553 0
vsize: 54464
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14573 0 3 0 90658 350 0 0 25 0 1 0 774429044 56442880 13034 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13780 13034 1111 63 0 13717 0
vsize: 55120
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14747 0 3 0 91653 355 0 0 25 0 1 0 774429044 57118720 13208 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13945 13208 1111 63 0 13882 0
vsize: 55780
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 14911 0 3 0 92649 360 0 0 25 0 1 0 774429044 57794560 13372 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14110 13372 1111 63 0 14047 0
vsize: 56440
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15077 0 3 0 93645 364 0 0 25 0 1 0 774429044 58470400 13538 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14275 13538 1111 63 0 14212 0
vsize: 57100
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15244 0 3 0 94641 369 0 0 25 0 1 0 774429044 59146240 13705 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14440 13705 1111 63 0 14377 0
vsize: 57760
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15412 0 3 0 95636 373 0 0 25 0 1 0 774429044 59822080 13873 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14605 13873 1111 63 0 14542 0
vsize: 58420
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15519 0 3 0 96633 376 0 0 25 0 1 0 774429044 60362752 13980 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14737 13980 1111 63 0 14674 0
vsize: 58948
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15630 0 3 0 97629 381 0 0 25 0 1 0 774429044 60768256 14091 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14836 14091 1111 63 0 14773 0
vsize: 59344
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15799 0 3 0 98625 385 0 0 25 0 1 0 774429044 61444096 14260 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 14260 1111 63 0 14938 0
vsize: 60004
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 15961 0 3 0 99621 389 0 0 25 0 1 0 774429044 62119936 14422 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15166 14422 1111 63 0 15103 0
vsize: 60664
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16120 0 3 0 100617 393 0 0 25 0 1 0 774429044 62795776 14581 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15331 14581 1111 63 0 15268 0
vsize: 61324
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16285 0 3 0 101614 397 0 0 25 0 1 0 774429044 63471616 14746 4294967295 134512640 134714508 3221224592 3221223392 134597759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15496 14746 1111 63 0 15433 0
vsize: 61984
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16449 0 3 0 102610 401 0 0 25 0 1 0 774429044 64147456 14910 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15661 14910 1111 63 0 15598 0
vsize: 62644
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16612 0 3 0 103606 405 0 0 25 0 1 0 774429044 64823296 15073 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15826 15073 1111 63 0 15763 0
vsize: 63304
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16787 0 3 0 104603 408 0 0 25 0 1 0 774429044 65499136 15248 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15991 15248 1111 63 0 15928 0
vsize: 63964
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 16955 0 3 0 105599 412 0 0 25 0 1 0 774429044 66174976 15416 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16156 15416 1111 63 0 16093 0
vsize: 64624
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17120 0 3 0 106594 417 0 0 25 0 1 0 774429044 66850816 15581 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16321 15581 1111 63 0 16258 0
vsize: 65284
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17287 0 3 0 107590 421 0 0 25 0 1 0 774429044 67526656 15748 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16486 15748 1111 63 0 16423 0
vsize: 65944
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17448 0 3 0 108587 425 0 0 25 0 1 0 774429044 68202496 15909 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16651 15909 1111 63 0 16588 0
vsize: 66604
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17590 0 3 0 109584 428 0 0 25 0 1 0 774429044 68743168 16051 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16783 16051 1111 63 0 16720 0
vsize: 67132
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17749 0 3 0 110580 433 0 0 25 0 1 0 774429044 69419008 16210 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16948 16210 1111 63 0 16885 0
vsize: 67792
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 17920 0 3 0 111575 438 0 0 25 0 1 0 774429044 70098944 16381 4294967295 134512640 134714508 3221224592 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17114 16381 1111 63 0 17051 0
vsize: 68456
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18081 0 3 0 112572 441 0 0 25 0 1 0 774429044 70774784 16542 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17279 16542 1111 63 0 17216 0
vsize: 69116
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18243 0 3 0 113567 446 0 0 25 0 1 0 774429044 71450624 16704 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17444 16704 1111 63 0 17381 0
vsize: 69776
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18408 0 3 0 114563 451 0 0 25 0 1 0 774429044 72126464 16868 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17609 16868 1111 63 0 17546 0
vsize: 70436
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18573 0 3 0 115559 455 0 0 25 0 1 0 774429044 72802304 17033 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17774 17033 1111 63 0 17711 0
vsize: 71096
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18730 0 3 0 116555 459 0 0 25 0 1 0 774429044 73478144 17190 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17939 17190 1111 63 0 17876 0
vsize: 71756
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 24191
Raw data (stat): 24191 (bsolo_lpr) R 24190 20224 20223 0 -1 0 18730 0 3 0 116555 459 0 0 25 0 1 0 774429044 73478144 17190 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17939 17190 1111 63 0 17876 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1170.4
CPU system time (s): 4.64429
CPU usage (%): 100.01
Max. virtual memory (Kb): 71756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####