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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUM	de6e9dcd85d0fedc70e76c82543d6a33
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	11514
Biggest coefficient in the objective function	2949120
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	462466666
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	3870720
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	580921206
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	11514
Total number of constraints	1050
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	1050
Minimum length of a constraint	11
Maximum length of a constraint	11514
Trace number 29028

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 04:25:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10778 boxname=wulflinc18 idbench=830 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  de6e9dcd85d0fedc70e76c82543d6a33  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit1d.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit1d.opb
IDLAUNCH: 10778
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        882068 kB
Buffers:         21980 kB
Cached:         102008 kB
SwapCached:        588 kB
Active:          33356 kB
Inactive:        96000 kB
HighTotal:      131008 kB
HighFree:        39984 kB
LowTotal:       903652 kB
LowFree:        842084 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17564 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:45:01 (client local time) WITH STATUS 0 IN 1176.07 SECONDS
stats: 10778 7 1176.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11514 variables and 1051 constraints.
c After prepocess the problem consists of 11512 variables and 1050 constraints.
c preprocess terminated 181.299 s
c Initial Lower Bound: -30315768
c Lower Bound Elapsed time: 37.424
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.03 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.95 0.98 0.98 2/54 29962
Raw data (stat): 29962 (runsolver) R 29961 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835967941 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.0006 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 6630 0 0 0 983 14 0 0 25 0 1 0 835967941 40181760 6554 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9810 6554 1111 63 0 9747 0
vsize: 39240
[startup+20.0006 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 14194 0 0 0 1960 27 0 0 25 0 1 0 835967941 71159808 14118 4294967295 134512640 134714508 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17373 14118 1111 63 0 17310 0
vsize: 69492
[startup+30.0014 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 14726 0 0 0 2959 28 0 0 25 0 1 0 835967941 73330688 14648 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17903 14648 1111 63 0 17840 0
vsize: 71612
[startup+40.0022 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 14970 0 0 0 3958 29 0 0 25 0 1 0 835967941 74407936 14878 4294967295 134512640 134714508 3221224592 3221222868 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18166 14878 1111 63 0 18103 0
vsize: 72664
[startup+50.0032 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15135 0 0 0 4958 29 0 0 25 0 1 0 835967941 75145216 15035 4294967295 134512640 134714508 3221224592 3221222500 1076880129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18346 15035 1111 63 0 18283 0
vsize: 73384
[startup+60.0034 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15257 0 0 0 5957 30 0 0 25 0 1 0 835967941 75710464 15156 4294967295 134512640 134714508 3221224592 3221223240 1076647541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 15156 1111 63 0 18421 0
vsize: 73936
[startup+70.0032 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15381 0 0 0 6956 30 0 0 25 0 1 0 835967941 76234752 15274 4294967295 134512640 134714508 3221224592 3221223064 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18612 15274 1111 63 0 18549 0
vsize: 74448
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15569 0 0 0 7956 31 0 0 25 0 1 0 835967941 77066240 15455 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18815 15455 1111 63 0 18752 0
vsize: 75260
[startup+90.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15812 0 0 0 8956 32 0 0 25 0 1 0 835967941 78200832 15692 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19092 15692 1111 63 0 19029 0
vsize: 76368
[startup+100.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 15967 0 0 0 9955 32 0 0 25 0 1 0 835967941 78897152 15840 4294967295 134512640 134714508 3221224592 3221223312 134569445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19262 15840 1111 63 0 19199 0
vsize: 77048
[startup+110.013 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 16059 0 0 0 10955 32 0 0 25 0 1 0 835967941 79384576 15930 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19381 15930 1111 63 0 19318 0
vsize: 77524
[startup+120.018 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 16320 0 0 0 11955 33 0 0 25 0 1 0 835967941 80510976 16184 4294967295 134512640 134714508 3221224592 3221222868 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 16184 1111 63 0 19593 0
vsize: 78624
[startup+130.019 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 16534 0 0 0 12955 34 0 0 25 0 1 0 835967941 81440768 16392 4294967295 134512640 134714508 3221224592 3221222868 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19883 16392 1111 63 0 19820 0
vsize: 79532
[startup+140.019 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 16694 0 0 0 13954 34 0 0 25 0 1 0 835967941 82145280 16544 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20055 16544 1111 63 0 19992 0
vsize: 80220
[startup+150.02 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 17008 0 0 0 14953 35 0 0 25 0 1 0 835967941 83517440 16855 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20390 16855 1111 63 0 20327 0
vsize: 81560
[startup+160.02 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 46232 0 0 0 15882 106 0 0 25 0 1 0 835967941 78184448 17871 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19088 17876 1111 63 0 19025 0
vsize: 76352
[startup+170.02 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 206353 0 0 0 16583 405 0 0 25 0 1 0 835967941 78336000 17935 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19125 17935 1111 63 0 19062 0
vsize: 76500
[startup+180.022 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 213033 0 0 0 17568 421 0 0 25 0 1 0 835967941 79314944 18192 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19364 18192 1111 63 0 19301 0
vsize: 77456
[startup+190.023 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 218757 0 0 0 18557 431 0 0 25 0 1 0 835967941 95002624 22151 4294967295 134512640 134714508 3221224592 3221220380 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+200.024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 218757 0 0 0 19558 431 0 0 25 0 1 0 835967941 95002624 22151 4294967295 134512640 134714508 3221224592 3221220380 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+210.024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 218757 0 0 0 20558 431 0 0 25 0 1 0 835967941 95002624 22151 4294967295 134512640 134714508 3221224592 3221220380 1074787520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+220.024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221086 0 0 0 21553 437 0 0 25 0 1 0 835967941 90415104 21050 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21050 1111 63 0 22011 0
vsize: 88296
[startup+230.025 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221086 0 0 0 22553 437 0 0 25 0 1 0 835967941 90415104 21050 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21050 1111 63 0 22011 0
vsize: 88296
[startup+240.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221088 0 0 0 23552 437 0 0 25 0 1 0 835967941 90415104 21052 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21052 1111 63 0 22011 0
vsize: 88296
[startup+250.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221090 0 0 0 24552 437 0 0 25 0 1 0 835967941 90415104 21054 4294967295 134512640 134714508 3221224592 3221223392 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21054 1111 63 0 22011 0
vsize: 88296
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221092 0 0 0 25552 438 0 0 25 0 1 0 835967941 90415104 21056 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21056 1111 63 0 22011 0
vsize: 88296
[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221092 0 0 0 26552 438 0 0 25 0 1 0 835967941 90415104 21056 4294967295 134512640 134714508 3221224592 3221223352 134613522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21056 1111 63 0 22011 0
vsize: 88296
[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221096 0 0 0 27552 438 0 0 25 0 1 0 835967941 90415104 21060 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21060 1111 63 0 22011 0
vsize: 88296
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221098 0 0 0 28552 439 0 0 25 0 1 0 835967941 90415104 21062 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21062 1111 63 0 22011 0
vsize: 88296
[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 29551 439 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+310.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 30551 440 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 31551 440 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 32551 440 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 33550 442 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 34549 443 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 35548 444 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223376 134597580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 36548 444 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 37548 445 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 38548 445 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 39547 446 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 40547 446 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 41547 446 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 42547 447 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+440.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221099 0 0 0 43547 448 0 0 25 0 1 0 835967941 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+450.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221103 0 0 0 44547 449 0 0 25 0 1 0 835967941 90415104 21067 4294967295 134512640 134714508 3221224592 3221223284 134534132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21067 1111 63 0 22011 0
vsize: 88296
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221105 0 0 0 45546 450 0 0 25 0 1 0 835967941 90415104 21069 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21069 1111 63 0 22011 0
vsize: 88296
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221363 0 0 0 46544 451 0 0 25 0 1 0 835967941 91500544 21327 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22339 21327 1111 63 0 22276 0
vsize: 89356
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 47543 453 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 48541 454 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223368 134613501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 49541 455 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 50540 455 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 51540 455 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223324 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+530.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 52541 455 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+540.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 53541 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+550.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 54542 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+560.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 55543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+570.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 56543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+580.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 57543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+590.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 58543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+600.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 59543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+610.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 60543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+620.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 61543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+630.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 62543 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+640.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 63544 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+650.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 64544 456 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+660.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 65544 457 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 66544 457 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+680.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 67544 457 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 68544 457 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+700.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 69544 457 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+710.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 70544 458 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+720.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 71545 458 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+730.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 72544 458 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+740.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 73545 458 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+750.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 74545 458 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+760.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 75545 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+770.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 76544 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+780.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 77545 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+790.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 78545 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+800.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 79545 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+810.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221567 0 0 0 80545 459 0 0 25 0 1 0 835967941 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+820.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221617 0 0 0 81545 459 0 0 25 0 1 0 835967941 92475392 21556 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21556 1111 63 0 22514 0
vsize: 90308
[startup+830.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221621 0 0 0 82545 459 0 0 25 0 1 0 835967941 92475392 21560 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+840.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221621 0 0 0 83546 459 0 0 25 0 1 0 835967941 92475392 21560 4294967295 134512640 134714508 3221224592 3221223320 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+850.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221621 0 0 0 84546 459 0 0 25 0 1 0 835967941 92475392 21560 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+860.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221622 0 0 0 85546 459 0 0 25 0 1 0 835967941 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+870.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221622 0 0 0 86546 459 0 0 25 0 1 0 835967941 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+880.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221622 0 0 0 87546 459 0 0 25 0 1 0 835967941 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221622 0 0 0 88546 459 0 0 25 0 1 0 835967941 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+900.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221622 0 0 0 89547 459 0 0 25 0 1 0 835967941 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221625 0 0 0 90547 460 0 0 25 0 1 0 835967941 92475392 21564 4294967295 134512640 134714508 3221224592 3221222988 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+920.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221625 0 0 0 91547 460 0 0 25 0 1 0 835967941 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+930.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221625 0 0 0 92547 460 0 0 25 0 1 0 835967941 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221625 0 0 0 93546 460 0 0 25 0 1 0 835967941 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+950.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221625 0 0 0 94546 461 0 0 25 0 1 0 835967941 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+960.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221686 0 0 0 95546 461 0 0 25 0 1 0 835967941 92753920 21625 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22645 21625 1111 63 0 22582 0
vsize: 90580
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221715 0 0 0 96546 461 0 0 25 0 1 0 835967941 92708864 21625 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 21625 1111 63 0 22571 0
vsize: 90536
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221715 0 0 0 97546 462 0 0 25 0 1 0 835967941 92708864 21625 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 21625 1111 63 0 22571 0
vsize: 90536
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221715 0 0 0 98546 462 0 0 25 0 1 0 835967941 92573696 21596 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21596 1111 63 0 22538 0
vsize: 90404
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221773 0 0 0 99546 462 0 0 25 0 1 0 835967941 92708864 21625 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 21625 1111 63 0 22571 0
vsize: 90536
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221773 0 0 0 100546 462 0 0 25 0 1 0 835967941 92680192 21622 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22627 21622 1111 63 0 22564 0
vsize: 90508
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 101546 462 0 0 25 0 1 0 835967941 92815360 21625 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22660 21625 1111 63 0 22597 0
vsize: 90640
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 102546 462 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 103546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 104546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 105546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 106546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223260 134613400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 107546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 108546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 109546 463 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 110547 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 111548 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 112548 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 113548 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 114548 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 115548 464 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 116547 465 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1176.06 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 29962
Raw data (stat): 29962 (bsolo_lpr) R 29961 24172 24171 0 -1 0 221776 0 0 0 116547 465 0 0 25 0 1 0 835967941 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 0

Child status: 0
Real time (s): 1176.06
CPU time (s): 1176.07
CPU user time (s): 1171.38
CPU system time (s): 4.69129
CPU usage (%): 100.001
Max. virtual memory (Kb): 92776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####