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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
MD5SUM	c822b1c022f6bb2b01940173213da6e2
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.85756
Number of variables	2060
Total number of constraints	104
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	104
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 26004

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 20:52:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16121 boxname=wulflinc31 idbench=1241 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c822b1c022f6bb2b01940173213da6e2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb
IDLAUNCH: 16121
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907224 kB
Buffers:          4788 kB
Cached:         101980 kB
SwapCached:       1352 kB
Active:          83388 kB
Inactive:        25904 kB
HighTotal:      131008 kB
HighFree:        26124 kB
LowTotal:       903652 kB
LowFree:        881100 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12496 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 21:12:17 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 16121 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2060 variables and 149 constraints.
c After prepocess the problem consists of 1726 variables and 191 constraints.
c preprocess terminated 0.931 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 0.22
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.92 0.97 0.93 2/55 14597
Raw data (stat): 14597 (runsolver) R 14596 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824604761 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 7091 0 1 0 971 21 0 0 25 0 1 0 824604761 16773120 3400 4294967295 134512640 134714508 3221221776 3221219752 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4095 3400 1111 63 0 4032 0
vsize: 16380
[startup+20.004 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 11581 0 1 0 1960 33 0 0 25 0 1 0 824604761 16916480 3435 4294967295 134512640 134714508 3221221776 3221219672 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4130 3435 1111 63 0 4067 0
vsize: 16520
[startup+30.0049 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 17478 0 1 0 2944 49 0 0 25 0 1 0 824604761 17084416 3476 4294967295 134512640 134714508 3221221776 3221219824 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4171 3476 1111 63 0 4108 0
vsize: 16684
[startup+40.0049 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 24500 0 1 0 3924 69 0 0 25 0 1 0 824604761 17420288 3558 4294967295 134512640 134714508 3221221776 3221219824 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3558 1111 63 0 4190 0
vsize: 17012
[startup+50.0048 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 30077 0 1 0 4910 84 0 0 25 0 1 0 824604761 18182144 3741 4294967295 134512640 134714508 3221221776 3221219712 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4439 3741 1111 63 0 4376 0
vsize: 17756
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 35587 0 1 0 5894 100 0 0 25 0 1 0 824604761 19116032 3972 4294967295 134512640 134714508 3221221776 3221220064 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3972 1111 63 0 4604 0
vsize: 18668
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 38156 0 1 0 6883 111 0 0 25 0 1 0 824604761 19181568 3988 4294967295 134512640 134714508 3221221776 3221219744 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4683 3988 1111 63 0 4620 0
vsize: 18732
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 41099 0 1 0 7872 122 0 0 25 0 1 0 824604761 19501056 4066 4294967295 134512640 134714508 3221221776 3221219896 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4761 4066 1111 63 0 4698 0
vsize: 19044
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 43387 0 1 0 8863 131 0 0 25 0 1 0 824604761 19529728 4068 4294967295 134512640 134714508 3221221776 3221220240 1074121052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 4068 1111 63 0 4705 0
vsize: 19072
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 44856 0 1 0 9855 139 0 0 25 0 1 0 824604761 19808256 4084 4294967295 134512640 134714508 3221221776 3221219824 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 4084 1111 63 0 4773 0
vsize: 19344
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 47904 0 1 0 10847 148 0 0 25 0 1 0 824604761 19582976 4079 4294967295 134512640 134714508 3221221776 3221219464 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4781 4079 1111 63 0 4718 0
vsize: 19124
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 51581 0 1 0 11836 159 0 0 25 0 1 0 824604761 20189184 4164 4294967295 134512640 134714508 3221221776 3221218816 1075860321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4929 4164 1111 63 0 4866 0
vsize: 19716
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 55537 0 1 0 12825 170 0 0 25 0 1 0 824604761 20344832 4273 4294967295 134512640 134714508 3221221776 3221219744 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4967 4273 1111 63 0 4904 0
vsize: 19868
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 55580 0 1 0 13824 171 0 0 25 0 1 0 824604761 20344832 4273 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4967 4273 1111 63 0 4904 0
vsize: 19868
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 55978 0 1 0 14822 173 0 0 25 0 1 0 824604761 20635648 4290 4294967295 134512640 134714508 3221221776 3221218952 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5038 4292 1111 63 0 4975 0
vsize: 20152
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 58781 0 1 0 15813 183 0 0 25 0 1 0 824604761 20344832 4273 4294967295 134512640 134714508 3221221776 3221219496 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4967 4273 1111 63 0 4904 0
vsize: 19868
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 63470 0 1 0 16798 198 0 0 25 0 1 0 824604761 20574208 4329 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5023 4329 1111 63 0 4960 0
vsize: 20092
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 68302 0 1 0 17783 213 0 0 25 0 1 0 824604761 20566016 4327 4294967295 134512640 134714508 3221221776 3221219832 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5021 4327 1111 63 0 4958 0
vsize: 20084
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 72102 0 1 0 18772 224 0 0 25 0 1 0 824604761 20881408 4367 4294967295 134512640 134714508 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5098 4367 1111 63 0 5035 0
vsize: 20392
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 76715 0 1 0 19759 237 0 0 25 0 1 0 824604761 20893696 4334 4294967295 134512640 134714508 3221221776 3221219616 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5101 4334 1111 63 0 5038 0
vsize: 20404
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 81257 0 1 0 20742 254 0 0 25 0 1 0 824604761 20733952 4323 4294967295 134512640 134714508 3221221776 3221219696 1075802507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4323 1111 63 0 4999 0
vsize: 20248
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 86485 0 1 0 21727 269 0 0 25 0 1 0 824604761 21045248 4408 4294967295 134512640 134714508 3221221776 3221219888 1074867331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5138 4408 1111 63 0 5075 0
vsize: 20552
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 91463 0 1 0 22713 284 0 0 25 0 1 0 824604761 21012480 4398 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5130 4398 1111 63 0 5067 0
vsize: 20520
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 96509 0 1 0 23698 298 0 0 25 0 1 0 824604761 21291008 4469 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5198 4469 1111 63 0 5135 0
vsize: 20792
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 101567 0 1 0 24684 313 0 0 25 0 1 0 824604761 20979712 4428 4294967295 134512640 134714508 3221221776 3221220192 1074117059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5122 4428 1111 63 0 5059 0
vsize: 20488
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 104908 0 1 0 25673 325 0 0 25 0 1 0 824604761 21114880 4461 4294967295 134512640 134714508 3221221776 3221219768 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4461 1111 63 0 5092 0
vsize: 20620
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 108235 0 1 0 26663 335 0 0 25 0 1 0 824604761 21590016 4514 4294967295 134512640 134714508 3221221776 3221220224 1073990032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4514 1111 63 0 5208 0
vsize: 21084
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 110352 0 1 0 27655 342 0 0 25 0 1 0 824604761 21393408 4489 4294967295 134512640 134714508 3221221776 3221219696 1075799689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4489 1111 63 0 5160 0
vsize: 20892
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 111650 0 1 0 28650 347 0 0 25 0 1 0 824604761 21295104 4499 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4499 1111 63 0 5136 0
vsize: 20796
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 111938 0 1 0 29647 350 0 0 25 0 1 0 824604761 21295104 4500 4294967295 134512640 134714508 3221221776 3221219736 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4500 1111 63 0 5136 0
vsize: 20796
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 112376 0 1 0 30645 353 0 0 25 0 1 0 824604761 21295104 4505 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4505 1111 63 0 5136 0
vsize: 20796
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 112952 0 1 0 31641 357 0 0 25 0 1 0 824604761 21446656 4506 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4506 1111 63 0 5173 0
vsize: 20944
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 113505 0 1 0 32637 361 0 0 25 0 1 0 824604761 21295104 4500 4294967295 134512640 134714508 3221221776 3221220080 1074115296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4500 1111 63 0 5136 0
vsize: 20796
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114150 0 1 0 33634 365 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221219504 1075829570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114260 0 1 0 34632 367 0 0 25 0 1 0 824604761 21381120 4525 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4525 1111 63 0 5157 0
vsize: 20880
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114404 0 1 0 35630 368 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221218760 1074831544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114550 0 1 0 36629 370 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221220512 134556523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114674 0 1 0 37627 372 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221219496 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114845 0 1 0 38626 374 0 0 25 0 1 0 824604761 21360640 4521 4294967295 134512640 134714508 3221221776 3221220108 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5215 4521 1111 63 0 5152 0
vsize: 20860
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114853 0 1 0 39625 375 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221220200 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 114989 0 1 0 40624 376 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221220004 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 115259 0 1 0 41622 378 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221219924 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 115470 0 1 0 42619 381 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221219880 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14597
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 115792 0 1 0 43618 382 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221219504 1075828584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 115979 0 1 0 44617 384 0 0 25 0 1 0 824604761 21360640 4521 4294967295 134512640 134714508 3221221776 3221219888 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5215 4521 1111 63 0 5152 0
vsize: 20860
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 116064 0 1 0 45615 386 0 0 25 0 1 0 824604761 21360640 4521 4294967295 134512640 134714508 3221221776 3221218672 1074620288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5215 4521 1111 63 0 5152 0
vsize: 20860
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 116184 0 1 0 46613 387 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221218384 1075966765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 116348 0 1 0 47612 389 0 0 25 0 1 0 824604761 21360640 4521 4294967295 134512640 134714508 3221221776 3221217936 1075090534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5215 4521 1111 63 0 5152 0
vsize: 20860
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 116509 0 1 0 48609 392 0 0 25 0 1 0 824604761 21536768 4522 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4522 1111 63 0 5195 0
vsize: 21032
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 116718 0 1 0 49607 394 0 0 25 0 1 0 824604761 21590016 4522 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4522 1111 63 0 5208 0
vsize: 21084
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14650
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 117020 0 1 0 50604 398 0 0 25 0 1 0 824604761 21360640 4521 4294967295 134512640 134714508 3221221776 3221219360 1074052264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5215 4521 1111 63 0 5152 0
vsize: 20860
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 117447 0 1 0 51600 401 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221219472 1075646735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 117998 0 1 0 52596 406 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221219472 1075640226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 119184 0 1 0 53590 413 0 0 25 0 1 0 824604761 21487616 4541 4294967295 134512640 134714508 3221221776 3221219776 1074918288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5246 4541 1111 63 0 5183 0
vsize: 20984
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 119991 0 1 0 54586 416 0 0 25 0 1 0 824604761 21381120 4521 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4521 1111 63 0 5157 0
vsize: 20880
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 120978 0 1 0 55583 420 0 0 25 0 1 0 824604761 21544960 4535 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4535 1111 63 0 5197 0
vsize: 21040
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 123598 0 1 0 56574 429 0 0 25 0 1 0 824604761 21549056 4536 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4536 1111 63 0 5198 0
vsize: 21044
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 124884 0 1 0 57569 434 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221219088 1075006843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 125993 0 1 0 58564 439 0 0 25 0 1 0 824604761 21549056 4542 4294967295 134512640 134714508 3221221776 3221220176 1074118818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4543 1111 63 0 5198 0
vsize: 21044
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 127114 0 1 0 59558 446 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 128234 0 1 0 60552 452 0 0 25 0 1 0 824604761 21590016 4532 4294967295 134512640 134714508 3221221776 3221219952 134650508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4532 1111 63 0 5208 0
vsize: 21084
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 129891 0 1 0 61544 460 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221218896 1074865804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 133368 0 1 0 62532 472 0 0 25 0 1 0 824604761 21671936 4541 4294967295 134512640 134714508 3221221776 3221217772 1074860953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5291 4541 1111 63 0 5228 0
vsize: 21164
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 135919 0 1 0 63521 483 0 0 25 0 1 0 824604761 21528576 4524 4294967295 134512640 134714508 3221221776 3221219424 1075818361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4524 1111 63 0 5193 0
vsize: 21024
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 138746 0 1 0 64511 493 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 141936 0 1 0 65500 505 0 0 25 0 1 0 824604761 21729280 4549 4294967295 134512640 134714508 3221221776 3221217940 1075964290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5305 4549 1111 63 0 5242 0
vsize: 21220
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 145155 0 1 0 66489 516 0 0 25 0 1 0 824604761 21430272 4537 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4537 1111 63 0 5169 0
vsize: 20928
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 148879 0 1 0 67477 528 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221219728 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 152470 0 1 0 68465 540 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221220176 1074119066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 156075 0 1 0 69453 552 0 0 25 0 1 0 824604761 21528576 4534 4294967295 134512640 134714508 3221221776 3221220080 134650472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4534 1111 63 0 5193 0
vsize: 21024
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 159361 0 1 0 70443 562 0 0 25 0 1 0 824604761 21676032 4563 4294967295 134512640 134714508 3221221776 3221219936 1074050818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4563 1111 63 0 5229 0
vsize: 21168
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 163080 0 1 0 71431 574 0 0 25 0 1 0 824604761 21819392 4567 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4567 1111 63 0 5264 0
vsize: 21308
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 167087 0 1 0 72418 588 0 0 25 0 1 0 824604761 21676032 4536 4294967295 134512640 134714508 3221221776 3221220080 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4536 1111 63 0 5229 0
vsize: 21168
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 171464 0 1 0 73401 604 0 0 25 0 1 0 824604761 21725184 4542 4294967295 134512640 134714508 3221221776 3221219680 1075809068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5304 4542 1111 63 0 5241 0
vsize: 21216
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 176326 0 1 0 74386 620 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221220064 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 180548 0 1 0 75371 636 0 0 25 0 1 0 824604761 21381120 4526 4294967295 134512640 134714508 3221221776 3221219792 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4526 1111 63 0 5157 0
vsize: 20880
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14652
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 186437 0 1 0 76353 653 0 0 25 0 1 0 824604761 22003712 4610 4294967295 134512640 134714508 3221221776 3221219400 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5372 4610 1111 63 0 5309 0
vsize: 21488
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 190507 0 1 0 77340 667 0 0 25 0 1 0 824604761 21659648 4594 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4594 1111 63 0 5225 0
vsize: 21152
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 193400 0 1 0 78330 677 0 0 25 0 1 0 824604761 21864448 4617 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4617 1111 63 0 5275 0
vsize: 21352
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 195531 0 1 0 79322 685 0 0 25 0 1 0 824604761 21659648 4594 4294967295 134512640 134714508 3221221776 3221218880 1074138850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4594 1111 63 0 5225 0
vsize: 21152
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 197779 0 1 0 80314 693 0 0 25 0 1 0 824604761 21864448 4616 4294967295 134512640 134714508 3221221776 3221219776 1074918823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4616 1111 63 0 5275 0
vsize: 21352
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 200017 0 1 0 81306 701 0 0 25 0 1 0 824604761 21864448 4611 4294967295 134512640 134714508 3221221776 3221219504 1075828565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4611 1111 63 0 5275 0
vsize: 21352
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 202437 0 1 0 82298 710 0 0 25 0 1 0 824604761 21999616 4608 4294967295 134512640 134714508 3221221776 3221217888 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5371 4608 1111 63 0 5308 0
vsize: 21484
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 204781 0 1 0 83289 719 0 0 25 0 1 0 824604761 21659648 4594 4294967295 134512640 134714508 3221221776 3221219888 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4594 1111 63 0 5225 0
vsize: 21152
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 207222 0 1 0 84280 728 0 0 25 0 1 0 824604761 21803008 4598 4294967295 134512640 134714508 3221221776 3221217740 1074860620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4598 1111 63 0 5260 0
vsize: 21292
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 210273 0 1 0 85269 739 0 0 25 0 1 0 824604761 21835776 4612 4294967295 134512640 134714508 3221221776 3221219496 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5331 4612 1111 63 0 5268 0
vsize: 21324
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 213917 0 1 0 86258 751 0 0 25 0 1 0 824604761 21680128 4599 4294967295 134512640 134714508 3221221776 3221219056 1074139953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4599 1111 63 0 5230 0
vsize: 21172
[startup+880.029 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 217772 0 1 0 87246 762 0 0 25 0 1 0 824604761 21680128 4599 4294967295 134512640 134714508 3221221776 3221218880 1074138608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4599 1111 63 0 5230 0
vsize: 21172
[startup+890.029 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 222199 0 1 0 88232 777 0 0 25 0 1 0 824604761 22126592 4628 4294967295 134512640 134714508 3221221776 3221217888 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5402 4628 1111 63 0 5339 0
vsize: 21608
[startup+900.029 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 227457 0 1 0 89219 790 0 0 25 0 1 0 824604761 21749760 4616 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4616 1111 63 0 5247 0
vsize: 21240
[startup+910.03 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 233363 0 1 0 90203 806 0 0 25 0 1 0 824604761 22155264 4643 4294967295 134512640 134714508 3221221776 3221219440 1075828198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5409 4643 1111 63 0 5346 0
vsize: 21636
[startup+920.03 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 238306 0 1 0 91191 819 0 0 25 0 1 0 824604761 22237184 4669 4294967295 134512640 134714508 3221221776 3221218320 1074888246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5429 4669 1111 63 0 5366 0
vsize: 21716
[startup+930.031 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 241805 0 1 0 92177 832 0 0 25 0 1 0 824604761 22196224 4659 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4659 1111 63 0 5356 0
vsize: 21676
[startup+940.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 244746 0 1 0 93167 843 0 0 25 0 1 0 824604761 21835776 4637 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5331 4637 1111 63 0 5268 0
vsize: 21324
[startup+950.03 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 247799 0 1 0 94157 853 0 0 25 0 1 0 824604761 21860352 4643 4294967295 134512640 134714508 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4643 1111 63 0 5274 0
vsize: 21348
[startup+960.031 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 250808 0 1 0 95146 864 0 0 25 0 1 0 824604761 22085632 4666 4294967295 134512640 134714508 3221221776 3221219976 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5392 4666 1111 63 0 5329 0
vsize: 21568
[startup+970.031 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 253894 0 1 0 96135 875 0 0 25 0 1 0 824604761 21835776 4637 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5331 4637 1111 63 0 5268 0
vsize: 21324
[startup+980.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 257006 0 1 0 97124 886 0 0 25 0 1 0 824604761 21999616 4646 4294967295 134512640 134714508 3221221776 3221219656 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5371 4646 1111 63 0 5308 0
vsize: 21484
[startup+990.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 260188 0 1 0 98114 897 0 0 25 0 1 0 824604761 21860352 4643 4294967295 134512640 134714508 3221221776 3221219984 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4643 1111 63 0 5274 0
vsize: 21348
[startup+1000.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 263355 0 1 0 99103 908 0 0 25 0 1 0 824604761 21860352 4643 4294967295 134512640 134714508 3221221776 3221219920 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4643 1111 63 0 5274 0
vsize: 21348
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 266602 0 1 0 100092 919 0 0 25 0 1 0 824604761 22048768 4644 4294967295 134512640 134714508 3221221776 3221219840 1075961651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5383 4644 1111 63 0 5320 0
vsize: 21532
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 270168 0 1 0 101080 931 0 0 25 0 1 0 824604761 21860352 4643 4294967295 134512640 134714508 3221221776 3221219400 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4643 1111 63 0 5274 0
vsize: 21348
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 273753 0 1 0 102068 944 0 0 25 0 1 0 824604761 21860352 4643 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5337 4643 1111 63 0 5274 0
vsize: 21348
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 278176 0 1 0 103055 956 0 0 25 0 1 0 824604761 21954560 4651 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5360 4651 1111 63 0 5297 0
vsize: 21440
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 283191 0 1 0 104040 972 0 0 25 0 1 0 824604761 21950464 4660 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5359 4660 1111 63 0 5296 0
vsize: 21436
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 288429 0 1 0 105025 987 0 0 25 0 1 0 824604761 22245376 4704 4294967295 134512640 134714508 3221221776 3221219312 1074050966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5431 4704 1111 63 0 5368 0
vsize: 21724
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 292892 0 1 0 106011 1001 0 0 25 0 1 0 824604761 22241280 4669 4294967295 134512640 134714508 3221221776 3221219904 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5430 4669 1111 63 0 5367 0
vsize: 21720
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 297857 0 1 0 106995 1018 0 0 25 0 1 0 824604761 22085632 4658 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5392 4661 1111 63 0 5329 0
vsize: 21568
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 303131 0 1 0 107980 1032 0 0 25 0 1 0 824604761 21975040 4671 4294967295 134512640 134714508 3221221776 3221219992 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4671 1111 63 0 5302 0
vsize: 21460
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 309490 0 1 0 108961 1052 0 0 25 0 1 0 824604761 22306816 4681 4294967295 134512640 134714508 3221221776 3221219936 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5446 4681 1111 63 0 5383 0
vsize: 21784
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 315114 0 1 0 109945 1068 0 0 25 0 1 0 824604761 21983232 4673 4294967295 134512640 134714508 3221221776 3221219840 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4673 1111 63 0 5304 0
vsize: 21468
[startup+1120.04 s]
Raw data (loadavg): 1.08 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 320398 0 1 0 110929 1085 0 0 25 0 1 0 824604761 21909504 4655 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4655 1111 63 0 5286 0
vsize: 21396
[startup+1130.04 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 325381 0 1 0 111915 1099 0 0 25 0 1 0 824604761 22257664 4708 4294967295 134512640 134714508 3221221776 3221219688 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5434 4708 1111 63 0 5371 0
vsize: 21736
[startup+1140.04 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 330541 0 1 0 112899 1114 0 0 25 0 1 0 824604761 22028288 4672 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5378 4672 1111 63 0 5315 0
vsize: 21512
[startup+1150.04 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 335318 0 1 0 113885 1129 0 0 25 0 1 0 824604761 22233088 4672 4294967295 134512640 134714508 3221221776 3221219176 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4672 1111 63 0 5365 0
vsize: 21712
[startup+1160.04 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 339976 0 1 0 114873 1141 0 0 25 0 1 0 824604761 21909504 4655 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4655 1111 63 0 5286 0
vsize: 21396
[startup+1170.04 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 345151 0 1 0 115858 1157 0 0 25 0 1 0 824604761 21909504 4655 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4655 1111 63 0 5286 0
vsize: 21396
[startup+1175.01 s]
Raw data (loadavg): 1.03 1.00 0.94 1/54 14654
Raw data (stat): 14597 (bsolo_lpr) R 14596 7876 7672 0 -1 0 345151 0 1 0 115858 1157 0 0 25 0 1 0 824604761 21909504 4655 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4655 1111 63 0 5286 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.12
CPU user time (s): 1163.48
CPU system time (s): 11.6452
CPU usage (%): 100.009
Max. virtual memory (Kb): 21784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####