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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 40109

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 02:29:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28167 boxname=wulflinc5 idbench=1123 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 28167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        836308 kB
Buffers:         12764 kB
Cached:         163600 kB
SwapCached:        708 kB
Active:          21472 kB
Inactive:       156992 kB
HighTotal:      131008 kB
HighFree:         2464 kB
LowTotal:       903652 kB
LowFree:        833844 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            14236 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:49:11 (client local time) WITH STATUS 0 IN 1175.59 SECONDS
stats: 28167 7 1175.59 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.571 s
c Initial Lower Bound: 95
c Lower Bound Elapsed time: 0.15875
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.57 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.95 0.91 2/54 12237
Raw data (stat): 12237 (runsolver) R 12236 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898041860 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 6179 0 0 0 982 15 0 0 25 0 1 0 898041860 16068608 3228 4294967295 134512640 134716908 3221224576 3221222652 1077379913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3923 3228 1111 63 0 3860 0
vsize: 15692
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 8600 0 0 0 1976 21 0 0 25 0 1 0 898041860 16289792 3283 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 3283 1111 63 0 3914 0
vsize: 15908
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 11347 0 0 0 2971 26 0 0 25 0 1 0 898041860 16277504 3280 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3974 3280 1111 63 0 3911 0
vsize: 15896
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 14289 0 0 0 3963 34 0 0 25 0 1 0 898041860 17088512 3330 4294967295 134512640 134716908 3221224576 3221220736 1074883536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 3330 1111 63 0 4109 0
vsize: 16688
[startup+50.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 17541 0 0 0 4956 42 0 0 25 0 1 0 898041860 16502784 3335 4294967295 134512640 134716908 3221224576 3221222912 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3335 1111 63 0 3966 0
vsize: 16116
[startup+60.0101 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 20501 0 0 0 5949 50 0 0 25 0 1 0 898041860 16642048 3365 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4063 3365 1111 63 0 4000 0
vsize: 16252
[startup+70.0109 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 23590 0 0 0 6941 58 0 0 25 0 1 0 898041860 17362944 3426 4294967295 134512640 134716908 3221224576 3221220888 1075522565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4239 3426 1111 63 0 4176 0
vsize: 16956
[startup+80.0112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 26598 0 0 0 7933 66 0 0 25 0 1 0 898041860 17436672 3429 4294967295 134512640 134716908 3221224576 3221220472 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3429 1111 63 0 4194 0
vsize: 17028
[startup+90.0113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 29540 0 0 0 8924 75 0 0 25 0 1 0 898041860 17440768 3481 4294967295 134512640 134716908 3221224576 3221220620 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4258 3481 1111 63 0 4195 0
vsize: 17032
[startup+100.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 32492 0 0 0 9916 83 0 0 25 0 1 0 898041860 16707584 3387 4294967295 134512640 134716908 3221224576 3221222912 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3387 1111 63 0 4016 0
vsize: 16316
[startup+110.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 35551 0 0 0 10909 91 0 0 25 0 1 0 898041860 16736256 3394 4294967295 134512640 134716908 3221224576 3221222892 1074063728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3394 1111 63 0 4023 0
vsize: 16344
[startup+120.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 38658 0 0 0 11901 99 0 0 25 0 1 0 898041860 16822272 3416 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3416 1111 63 0 4044 0
vsize: 16428
[startup+130.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 41761 0 0 0 12892 109 0 0 25 0 1 0 898041860 16814080 3414 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3414 1111 63 0 4042 0
vsize: 16420
[startup+140.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 44621 0 0 0 13884 116 0 0 25 0 1 0 898041860 17502208 3471 4294967295 134512640 134716908 3221224576 3221220912 1075113487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4273 3471 1111 63 0 4210 0
vsize: 17092
[startup+150.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 47744 0 0 0 14876 125 0 0 25 0 1 0 898041860 17043456 3470 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 3470 1111 63 0 4098 0
vsize: 16644
[startup+160.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 50727 0 0 0 15868 133 0 0 25 0 1 0 898041860 18034688 3611 4294967295 134512640 134716908 3221224576 3221220536 1074789795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3611 1111 63 0 4340 0
vsize: 17612
[startup+170.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 53935 0 0 0 16861 140 0 0 25 0 1 0 898041860 17309696 3535 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 3535 1111 63 0 4163 0
vsize: 16904
[startup+180.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 57135 0 0 0 17853 148 0 0 25 0 1 0 898041860 18169856 3614 4294967295 134512640 134716908 3221224576 3221220780 1076079120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4436 3614 1111 63 0 4373 0
vsize: 17744
[startup+190.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 60199 0 0 0 18845 156 0 0 25 0 1 0 898041860 17584128 3569 4294967295 134512640 134716908 3221224576 3221222304 1075828680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4293 3569 1111 63 0 4230 0
vsize: 17172
[startup+200.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 63030 0 0 0 19837 165 0 0 25 0 1 0 898041860 17506304 3576 4294967295 134512640 134716908 3221224576 3221221856 1074140055 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4274 3576 1111 63 0 4211 0
vsize: 17096
[startup+210.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 66694 0 0 0 20828 174 0 0 25 0 1 0 898041860 18345984 3642 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3643 1111 63 0 4416 0
vsize: 17916
[startup+220.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 69931 0 0 0 21822 180 0 0 25 0 1 0 898041860 18456576 3686 4294967295 134512640 134716908 3221224576 3221220756 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3686 1111 63 0 4443 0
vsize: 18024
[startup+230.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 72971 0 0 0 22815 188 0 0 25 0 1 0 898041860 18227200 3718 4294967295 134512640 134716908 3221224576 3221220492 1074788048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4450 3718 1111 63 0 4387 0
vsize: 17800
[startup+240.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 75739 0 0 0 23808 194 0 0 25 0 1 0 898041860 18264064 3664 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3664 1111 63 0 4396 0
vsize: 17836
[startup+250.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 78821 0 0 0 24802 201 0 0 25 0 1 0 898041860 18485248 3683 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3683 1111 63 0 4450 0
vsize: 18052
[startup+260.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 81998 0 0 0 25794 209 0 0 25 0 1 0 898041860 17764352 3648 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4337 3648 1111 63 0 4274 0
vsize: 17348
[startup+270.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 84795 0 0 0 26787 216 0 0 25 0 1 0 898041860 18501632 3725 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3725 1111 63 0 4454 0
vsize: 18068
[startup+280.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 87574 0 0 0 27780 224 0 0 25 0 1 0 898041860 18509824 3725 4294967295 134512640 134716908 3221224576 3221221616 1075860056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3725 1111 63 0 4456 0
vsize: 18076
[startup+290.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 90619 0 0 0 28772 232 0 0 25 0 1 0 898041860 18509824 3688 4294967295 134512640 134716908 3221224576 3221221840 1075894372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3688 1111 63 0 4456 0
vsize: 18076
[startup+300.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 93589 0 0 0 29765 239 0 0 25 0 1 0 898041860 18055168 3701 4294967295 134512640 134716908 3221224576 3221222992 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4360 3671 1111 63 0 4297 0
vsize: 17632
[startup+310.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 96945 0 0 0 30757 247 0 0 25 0 1 0 898041860 18636800 3747 4294967295 134512640 134716908 3221224576 3221220536 1074789530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4550 3747 1111 63 0 4487 0
vsize: 18200
[startup+320.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 100246 0 0 0 31750 255 0 0 25 0 1 0 898041860 17907712 3683 4294967295 134512640 134716908 3221224576 3221223296 134556668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 3683 1111 63 0 4309 0
vsize: 17488
[startup+330.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 103459 0 0 0 32742 263 0 0 25 0 1 0 898041860 17903616 3682 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4371 3682 1111 63 0 4308 0
vsize: 17484
[startup+340.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 106427 0 0 0 33736 269 0 0 25 0 1 0 898041860 18001920 3706 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3706 1111 63 0 4332 0
vsize: 17580
[startup+350.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 109346 0 0 0 34730 276 0 0 25 0 1 0 898041860 18751488 3762 4294967295 134512640 134716908 3221224576 3221220572 1074873509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3762 1111 63 0 4515 0
vsize: 18312
[startup+360.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 112382 0 0 0 35722 283 0 0 25 0 1 0 898041860 18640896 3817 4294967295 134512640 134716908 3221224576 3221220896 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4551 3817 1111 63 0 4488 0
vsize: 18204
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 115256 0 0 0 36715 290 0 0 25 0 1 0 898041860 18092032 3728 4294967295 134512640 134716908 3221224576 3221222780 1077404744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3728 1111 63 0 4354 0
vsize: 17668
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 118340 0 0 0 37708 298 0 0 25 0 1 0 898041860 18362368 3763 4294967295 134512640 134716908 3221224576 3221222304 1075828581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4483 3763 1111 63 0 4420 0
vsize: 17932
[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 121962 0 0 0 38699 306 0 0 25 0 1 0 898041860 19558400 4036 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4775 4036 1111 63 0 4712 0
vsize: 19100
[startup+400.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 125324 0 0 0 39691 315 0 0 25 0 1 0 898041860 18587648 3856 4294967295 134512640 134716908 3221224576 3221222956 1074153411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3856 1111 63 0 4475 0
vsize: 18152
[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 128154 0 0 0 40685 321 0 0 25 0 1 0 898041860 19136512 3844 4294967295 134512640 134716908 3221224576 3221220720 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3844 1111 63 0 4609 0
vsize: 18688
[startup+420.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 130735 0 0 0 41679 327 0 0 25 0 1 0 898041860 19415040 3863 4294967295 134512640 134716908 3221224576 3221221108 1074260540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3863 1111 63 0 4677 0
vsize: 18960
[startup+430.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 133390 0 0 0 42672 334 0 0 25 0 1 0 898041860 19275776 3865 4294967295 134512640 134716908 3221224576 3221220720 1074969091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4706 3865 1111 63 0 4643 0
vsize: 18824
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 136270 0 0 0 43664 342 0 0 25 0 1 0 898041860 18448384 3822 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3822 1111 63 0 4441 0
vsize: 18016
[startup+450.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 138992 0 0 0 44657 350 0 0 25 0 1 0 898041860 18448384 3822 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3822 1111 63 0 4441 0
vsize: 18016
[startup+460.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 141406 0 0 0 45650 357 0 0 25 0 1 0 898041860 18448384 3822 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3822 1111 63 0 4441 0
vsize: 18016
[startup+470.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 144292 0 0 0 46643 364 0 0 25 0 1 0 898041860 18436096 3819 4294967295 134512640 134716908 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 3819 1111 63 0 4438 0
vsize: 18004
[startup+480.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 147580 0 0 0 47635 372 0 0 25 0 1 0 898041860 19460096 3904 4294967295 134512640 134716908 3221224576 3221220804 1075114912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4751 3904 1111 63 0 4688 0
vsize: 19004
[startup+490.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 151021 0 0 0 48626 381 0 0 25 0 1 0 898041860 19456000 3915 4294967295 134512640 134716908 3221224576 3221220660 1075964431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3915 1111 63 0 4687 0
vsize: 19000
[startup+500.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 154212 0 0 0 49619 389 0 0 25 0 1 0 898041860 19374080 3933 4294967295 134512640 134716908 3221224576 3221220344 1074788452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3933 1111 63 0 4667 0
vsize: 18920
[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 157734 0 0 0 50610 398 0 0 25 0 1 0 898041860 19357696 3968 4294967295 134512640 134716908 3221224576 3221220636 1074797346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3968 1111 63 0 4663 0
vsize: 18904
[startup+520.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 161235 0 0 0 51600 408 0 0 25 0 1 0 898041860 18968576 3949 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4631 3949 1111 63 0 4568 0
vsize: 18524
[startup+530.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 164552 0 0 0 52594 414 0 0 25 0 1 0 898041860 18841600 3918 4294967295 134512640 134716908 3221224576 3221222716 1077404766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+540.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 167141 0 0 0 53587 421 0 0 25 0 1 0 898041860 19668992 3957 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3957 1111 63 0 4739 0
vsize: 19208
[startup+550.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 169744 0 0 0 54582 427 0 0 25 0 1 0 898041860 18841600 3918 4294967295 134512640 134716908 3221224576 3221222304 1075828966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+560.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 172478 0 0 0 55576 433 0 0 25 0 1 0 898041860 18841600 3918 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+570.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 177195 0 0 0 56566 443 0 0 25 0 1 0 898041860 20287488 4111 4294967295 134512640 134716908 3221224576 3221220476 1074787553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4111 1111 63 0 4890 0
vsize: 19812
[startup+580.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 180365 0 0 0 57558 451 0 0 25 0 1 0 898041860 19177472 4000 4294967295 134512640 134716908 3221224576 3221222224 1075818184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 4000 1111 63 0 4619 0
vsize: 18728
[startup+590.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 183268 0 0 0 58550 459 0 0 25 0 1 0 898041860 20074496 4034 4294967295 134512640 134716908 3221224576 3221220544 1074872838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4034 1111 63 0 4838 0
vsize: 19604
[startup+600.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 186459 0 0 0 59542 468 0 0 25 0 1 0 898041860 20189184 4056 4294967295 134512640 134716908 3221224576 3221220804 1075115023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4056 1111 63 0 4866 0
vsize: 19716
[startup+610.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 189452 0 0 0 60534 475 0 0 25 0 1 0 898041860 19165184 3997 4294967295 134512640 134716908 3221224576 3221222876 1074206848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 3997 1111 63 0 4616 0
vsize: 18716
[startup+620.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 192530 0 0 0 61527 483 0 0 25 0 1 0 898041860 19165184 3997 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 3997 1111 63 0 4616 0
vsize: 18716
[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 195770 0 0 0 62519 491 0 0 25 0 1 0 898041860 19247104 4017 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4699 4017 1111 63 0 4636 0
vsize: 18796
[startup+640.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 199682 0 0 0 63510 501 0 0 25 0 1 0 898041860 20287488 4077 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4077 1111 63 0 4890 0
vsize: 19812
[startup+650.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 203209 0 0 0 64502 509 0 0 25 0 1 0 898041860 20152320 4055 4294967295 134512640 134716908 3221224576 3221220848 1074806555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 4055 1111 63 0 4857 0
vsize: 19680
[startup+660.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 206816 0 0 0 65493 518 0 0 25 0 1 0 898041860 19595264 4102 4294967295 134512640 134716908 3221224576 3221223248 134652326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4784 4102 1111 63 0 4721 0
vsize: 19136
[startup+670.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 210074 0 0 0 66484 526 0 0 25 0 1 0 898041860 19595264 4102 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4784 4102 1111 63 0 4721 0
vsize: 19136
[startup+680.027 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 213895 0 0 0 67474 537 0 0 25 0 1 0 898041860 20774912 4183 4294967295 134512640 134716908 3221224576 3221220848 1074961271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5072 4183 1111 63 0 5009 0
vsize: 20288
[startup+690.027 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 217712 0 0 0 68464 547 0 0 25 0 1 0 898041860 20697088 4210 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4210 1111 63 0 4990 0
vsize: 20212
[startup+700.028 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 221588 0 0 0 69454 557 0 0 25 0 1 0 898041860 19922944 4182 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 4182 1111 63 0 4801 0
vsize: 19456
[startup+710.028 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 225017 0 0 0 70445 566 0 0 25 0 1 0 898041860 20078592 4220 4294967295 134512640 134716908 3221224576 3221222200 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4220 1111 63 0 4839 0
vsize: 19608
[startup+720.027 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 228553 0 0 0 71437 574 0 0 25 0 1 0 898041860 21106688 4290 4294967295 134512640 134716908 3221224576 3221220632 1074789815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5153 4290 1111 63 0 5090 0
vsize: 20612
[startup+730.027 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 232226 0 0 0 72429 583 0 0 25 0 1 0 898041860 21098496 4419 4294967295 134512640 134716908 3221224576 3221220732 1075564188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5151 4419 1111 63 0 5088 0
vsize: 20604
[startup+740.027 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 235524 0 0 0 73421 591 0 0 25 0 1 0 898041860 20545536 4334 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4334 1111 63 0 4953 0
vsize: 20064
[startup+750.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 239074 0 0 0 74413 599 0 0 25 0 1 0 898041860 21368832 4378 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4378 1111 63 0 5154 0
vsize: 20868
[startup+760.027 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 241736 0 0 0 75408 605 0 0 25 0 1 0 898041860 20496384 4322 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4322 1111 63 0 4941 0
vsize: 20016
[startup+770.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 244906 0 0 0 76399 614 0 0 25 0 1 0 898041860 21819392 4484 4294967295 134512640 134716908 3221224576 3221220704 1075561105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5327 4484 1111 63 0 5264 0
vsize: 21308
[startup+780.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 247908 0 0 0 77390 622 0 0 25 0 1 0 898041860 21323776 4361 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4361 1111 63 0 5143 0
vsize: 20824
[startup+790.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 251105 0 0 0 78382 630 0 0 25 0 1 0 898041860 21577728 4400 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5268 4400 1111 63 0 5205 0
vsize: 21072
[startup+800.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 254670 0 0 0 79374 639 0 0 25 0 1 0 898041860 21774336 4560 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5316 4560 1111 63 0 5253 0
vsize: 21264
[startup+810.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 258412 0 0 0 80364 649 0 0 25 0 1 0 898041860 21770240 4541 4294967295 134512640 134716908 3221224576 3221220572 1074873471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4541 1111 63 0 5252 0
vsize: 21260
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 261664 0 0 0 81356 657 0 0 25 0 1 0 898041860 21680128 4410 4294967295 134512640 134716908 3221224576 3221220896 1075169689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4410 1111 63 0 5230 0
vsize: 21172
[startup+830.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 264768 0 0 0 82349 664 0 0 25 0 1 0 898041860 21458944 4387 4294967295 134512640 134716908 3221224576 3221220896 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5239 4388 1111 63 0 5176 0
vsize: 20956
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 267750 0 0 0 83342 672 0 0 25 0 1 0 898041860 21680128 4429 4294967295 134512640 134716908 3221224576 3221220536 1074789767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4429 1111 63 0 5230 0
vsize: 21172
[startup+850.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 270937 0 0 0 84334 680 0 0 25 0 1 0 898041860 20656128 4361 4294967295 134512640 134716908 3221224576 3221222880 1073978447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5043 4361 1111 63 0 4980 0
vsize: 20172
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 274453 0 0 0 85325 689 0 0 25 0 1 0 898041860 21770240 4531 4294967295 134512640 134716908 3221224576 3221220848 1074960847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5248 4464 1111 63 0 5185 0
vsize: 21260
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 277962 0 0 0 86319 695 0 0 25 0 1 0 898041860 21032960 4453 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5135 4453 1111 63 0 5072 0
vsize: 20540
[startup+880.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 281256 0 0 0 87311 703 0 0 25 0 1 0 898041860 21270528 4511 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 4511 1111 63 0 5130 0
vsize: 20772
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 284379 0 0 0 88303 711 0 0 25 0 1 0 898041860 21360640 4533 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5215 4533 1111 63 0 5152 0
vsize: 20860
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 287668 0 0 0 89297 718 0 0 25 0 1 0 898041860 21807104 4488 4294967295 134512640 134716908 3221224576 3221220848 1074961347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5324 4488 1111 63 0 5261 0
vsize: 21296
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 290385 0 0 0 90291 724 0 0 25 0 1 0 898041860 20893696 4419 4294967295 134512640 134716908 3221224576 3221222576 1074918220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5101 4419 1111 63 0 5038 0
vsize: 20404
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 294241 0 0 0 91282 733 0 0 25 0 1 0 898041860 21045248 4456 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5138 4456 1111 63 0 5075 0
vsize: 20552
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 298104 0 0 0 92273 742 0 0 25 0 1 0 898041860 22274048 4607 4294967295 134512640 134716908 3221224576 3221220620 1074873347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5438 4607 1111 63 0 5375 0
vsize: 21752
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 301046 0 0 0 93265 750 0 0 25 0 1 0 898041860 22048768 4512 4294967295 134512640 134716908 3221224576 3221220932 1075522646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4512 1111 63 0 5320 0
vsize: 21532
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 304181 0 0 0 94257 758 0 0 25 0 1 0 898041860 21237760 4464 4294967295 134512640 134716908 3221224576 3221222688 1074867311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5185 4464 1111 63 0 5122 0
vsize: 20740
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 307584 0 0 0 95249 767 0 0 25 0 1 0 898041860 21237760 4500 4294967295 134512640 134716908 3221224576 3221222576 1074918777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5185 4500 1111 63 0 5122 0
vsize: 20740
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 311289 0 0 0 96241 775 0 0 25 0 1 0 898041860 22073344 4518 4294967295 134512640 134716908 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4518 1111 63 0 5326 0
vsize: 21556
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 314229 0 0 0 97236 781 0 0 25 0 1 0 898041860 21901312 4493 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4493 1111 63 0 5284 0
vsize: 21388
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 317904 0 0 0 98226 790 0 0 25 0 1 0 898041860 21135360 4478 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5160 4478 1111 63 0 5097 0
vsize: 20640
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 321735 0 0 0 99216 801 0 0 25 0 1 0 898041860 22253568 4654 4294967295 134512640 134716908 3221224576 3221220544 1074872824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5433 4654 1111 63 0 5370 0
vsize: 21732
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 325626 0 0 0 100207 810 0 0 25 0 1 0 898041860 22454272 4627 4294967295 134512640 134716908 3221224576 3221220784 1074815290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4627 1111 63 0 5419 0
vsize: 21928
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 329452 0 0 0 101197 820 0 0 25 0 1 0 898041860 21458944 4557 4294967295 134512640 134716908 3221224576 3221222320 1075636575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5239 4557 1111 63 0 5176 0
vsize: 20956
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 333055 0 0 0 102189 829 0 0 25 0 1 0 898041860 22462464 4576 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5484 4581 1111 63 0 5421 0
vsize: 21936
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 336892 0 0 0 103180 837 0 0 25 0 1 0 898041860 22646784 4680 4294967295 134512640 134716908 3221224576 3221220816 1075115732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5529 4680 1111 63 0 5466 0
vsize: 22116
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 340446 0 0 0 104173 845 0 0 25 0 1 0 898041860 22654976 4665 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5531 4665 1111 63 0 5468 0
vsize: 22124
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 344671 0 0 0 105162 856 0 0 25 0 1 0 898041860 22622208 4692 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 4692 1111 63 0 5460 0
vsize: 22092
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 348028 0 0 0 106153 866 0 0 25 0 1 0 898041860 22577152 4627 4294967295 134512640 134716908 3221224576 3221220724 1075964441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5512 4627 1111 63 0 5449 0
vsize: 22048
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 351507 0 0 0 107144 874 0 0 25 0 1 0 898041860 21663744 4607 4294967295 134512640 134716908 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4607 1111 63 0 5226 0
vsize: 21156
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 354911 0 0 0 108136 882 0 0 25 0 1 0 898041860 21663744 4607 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4607 1111 63 0 5226 0
vsize: 21156
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 358771 0 0 0 109125 893 0 0 25 0 1 0 898041860 22683648 4677 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4677 1111 63 0 5475 0
vsize: 22152
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 362787 0 0 0 110115 904 0 0 25 0 1 0 898041860 21807104 4642 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5324 4642 1111 63 0 5261 0
vsize: 21296
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 366241 0 0 0 111107 912 0 0 25 0 1 0 898041860 21807104 4642 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5324 4642 1111 63 0 5261 0
vsize: 21296
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 370176 0 0 0 112096 923 0 0 25 0 1 0 898041860 22925312 4751 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 4751 1111 63 0 5534 0
vsize: 22388
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 373586 0 0 0 113088 932 0 0 25 0 1 0 898041860 22925312 4757 4294967295 134512640 134716908 3221224576 3221221108 1074260601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 4757 1111 63 0 5534 0
vsize: 22388
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 376790 0 0 0 114079 940 0 0 25 0 1 0 898041860 23269376 4817 4294967295 134512640 134716908 3221224576 3221220572 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4817 1111 63 0 5618 0
vsize: 22724
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 380264 0 0 0 115071 949 0 0 25 0 1 0 898041860 22097920 4713 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5395 4713 1111 63 0 5332 0
vsize: 21580
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 383432 0 0 0 116062 958 0 0 25 0 1 0 898041860 22097920 4713 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5395 4713 1111 63 0 5332 0
vsize: 21580
[startup+1175.42 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 12237
Raw data (stat): 12237 (bsolo_lpr-v2) R 12236 7266 7265 0 -1 0 383432 0 0 0 116062 958 0 0 25 0 1 0 898041860 22097920 4713 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5395 4713 1111 63 0 5332 0
vsize: 0

Child status: 0
Real time (s): 1175.42
CPU time (s): 1175.59
CPU user time (s): 1165.95
CPU system time (s): 9.63654
CPU usage (%): 100.015
Max. virtual memory (Kb): 22724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####