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/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 25072

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 12:31:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5019 boxname=wulflinc31 idbench=387 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
IDLAUNCH: 5019
/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:        793196 kB
Buffers:         49152 kB
Cached:         170032 kB
SwapCached:       1952 kB
Active:         178320 kB
Inactive:        44124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792944 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13340 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 12:50:51 (client local time) WITH STATUS 10 IN 1179.65 SECONDS
stats: 5019 0 1179.65 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.047 s
c Initial Lower Bound: 777
c Lower Bound Elapsed time: 0.0101667
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3071 @ 0.545
c NEW SOLUTION FOUND: 2833 @ 0.55
c NEW SOLUTION FOUND: 2704 @ 0.63
c NEW SOLUTION FOUND: 2701 @ 0.633
c NEW SOLUTION FOUND: 2640 @ 1.026
c NEW SOLUTION FOUND: 2637 @ 1.114
c NEW SOLUTION FOUND: 2633 @ 1.159
c NEW SOLUTION FOUND: 2630 @ 1.246
c NEW SOLUTION FOUND: 2620 @ 1.494
c NEW SOLUTION FOUND: 2440 @ 1.842
c NEW SOLUTION FOUND: 2369 @ 4.246
c NEW SOLUTION FOUND: 2324 @ 4.259
c NEW SOLUTION FOUND: 2286 @ 4.286
c NEW SOLUTION FOUND: 2277 @ 4.286
c NEW SOLUTION FOUND: 2219 @ 4.308
c NEW SOLUTION FOUND: 2218 @ 4.321
c NEW SOLUTION FOUND: 2199 @ 5.215
c NEW SOLUTION FOUND: 2198 @ 5.244
c NEW SOLUTION FOUND: 2111 @ 12.768
c NEW SOLUTION FOUND: 2103 @ 17.963
c NEW SOLUTION FOUND: 2057 @ 21.026
c NEW SOLUTION FOUND: 1972 @ 73.084
c NEW SOLUTION FOUND: 1942 @ 96.514
c NEW SOLUTION FOUND: 1846 @ 97.466
c NEW SOLUTION FOUND: 1845 @ 97.56
c NEW SOLUTION FOUND: 1836 @ 100.001
c NEW SOLUTION FOUND: 1831 @ 100.058
c NEW SOLUTION FOUND: 1650 @ 100.341
c NEW SOLUTION FOUND: 1649 @ 100.555
c NEW SOLUTION FOUND: 1639 @ 743.16
c NEW SOLUTION FOUND: 1604 @ 1016.2
c NEW SOLUTION FOUND: 1576 @ 1017.21
c NEW SOLUTION FOUND: 1530 @ 1079.62
s SATISFIABLE
v x0 x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 
c Exit Code: 10
c Total time: 1179.58 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.86 0.97 0.99 2/55 13065
Raw data (stat): 13065 (runsolver) R 13064 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761108368 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 6561 0 0 0 967 29 0 0 25 0 1 0 761108368 9359360 1545 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2285 1546 1111 63 0 2222 0
vsize: 9140
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 12914 0 0 0 1943 52 0 0 25 0 1 0 761108368 13275136 2560 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2560 1111 63 0 3178 0
vsize: 12964
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 18069 0 0 0 2922 73 0 0 25 0 1 0 761108368 16588800 3370 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4050 3370 1111 63 0 3987 0
vsize: 16200
[startup+40.0024 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 26048 0 0 0 3903 93 0 0 25 0 1 0 761108368 16625664 3364 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3364 1111 63 0 3996 0
vsize: 16236
[startup+50.0033 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 28379 0 0 0 4897 99 0 0 25 0 1 0 761108368 16633856 3387 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4061 3387 1111 63 0 3998 0
vsize: 16244
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 55133 0 0 0 5837 159 0 0 25 0 1 0 761108368 20271104 3760 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3774 1111 63 0 4886 0
vsize: 19796
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 84494 0 0 0 6770 226 0 0 25 0 1 0 761108368 20271104 4262 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4262 1111 63 0 4886 0
vsize: 19796
[startup+80.0047 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 105518 0 0 0 7721 276 0 0 25 0 1 0 761108368 21303296 4504 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5201 4504 1111 63 0 5138 0
vsize: 20804
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 118005 0 0 0 8692 305 0 0 25 0 1 0 761108368 21360640 4528 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5215 4528 1111 63 0 5152 0
vsize: 20860
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 147151 0 0 0 9622 374 0 0 25 0 1 0 761108368 24887296 5357 4294967295 134512640 134714508 3221221792 3221219632 1075798481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6076 5357 1111 63 0 6013 0
vsize: 24304
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 162848 0 0 0 10583 414 0 0 25 0 1 0 761108368 28762112 6268 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7022 6268 1111 63 0 6959 0
vsize: 28088
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 164395 0 0 0 11579 418 0 0 25 0 1 0 761108368 27353088 5937 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 5937 1111 63 0 6615 0
vsize: 26712
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 166274 0 0 0 12574 423 0 0 25 0 1 0 761108368 26931200 5834 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5834 1111 63 0 6512 0
vsize: 26300
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 175724 0 0 0 13552 445 0 0 25 0 1 0 761108368 27119616 5883 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6621 5883 1111 63 0 6558 0
vsize: 26484
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 179677 0 0 0 14544 454 0 0 25 0 1 0 761108368 26951680 5843 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6580 5843 1111 63 0 6517 0
vsize: 26320
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 190932 0 0 0 15516 482 0 0 25 0 1 0 761108368 29298688 6387 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7153 6387 1111 63 0 7090 0
vsize: 28612
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 193038 0 0 0 16512 486 0 0 25 0 1 0 761108368 27357184 5944 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6679 5944 1111 63 0 6616 0
vsize: 26716
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 205977 0 0 0 17480 518 0 0 25 0 1 0 761108368 28123136 6124 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6124 1111 63 0 6803 0
vsize: 27464
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 208423 0 0 0 18474 525 0 0 25 0 1 0 761108368 27574272 5997 4294967295 134512640 134714508 3221221792 3221220264 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6732 5997 1111 63 0 6669 0
vsize: 26928
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 223975 0 0 0 19439 560 0 0 25 0 1 0 761108368 28086272 6127 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6857 6127 1111 63 0 6794 0
vsize: 27428
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 225017 0 0 0 20434 565 0 0 25 0 1 0 761108368 29102080 6375 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7105 6375 1111 63 0 7042 0
vsize: 28420
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 225123 0 0 0 21432 567 0 0 25 0 1 0 761108368 29564928 6481 4294967295 134512640 134714508 3221221792 3221219936 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7218 6481 1111 63 0 7155 0
vsize: 28872
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 226145 0 0 0 22430 570 0 0 25 0 1 0 761108368 32423936 7172 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7916 7172 1111 63 0 7853 0
vsize: 31664
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 226145 0 0 0 23429 570 0 0 25 0 1 0 761108368 32423936 7172 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7916 7172 1111 63 0 7853 0
vsize: 31664
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 229128 0 0 0 24423 576 0 0 25 0 1 0 761108368 29728768 6528 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6528 1111 63 0 7195 0
vsize: 29032
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 229128 0 0 0 25423 577 0 0 25 0 1 0 761108368 29728768 6528 4294967295 134512640 134714508 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6528 1111 63 0 7195 0
vsize: 29032
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 229128 0 0 0 26422 578 0 0 25 0 1 0 761108368 29728768 6528 4294967295 134512640 134714508 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6528 1111 63 0 7195 0
vsize: 29032
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 229571 0 0 0 27420 580 0 0 25 0 1 0 761108368 29736960 6525 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6525 1111 63 0 7197 0
vsize: 29040
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 232088 0 0 0 28415 585 0 0 25 0 1 0 761108368 28585984 6217 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6979 6217 1111 63 0 6916 0
vsize: 27916
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 240079 0 0 0 29396 605 0 0 25 0 1 0 761108368 28401664 6205 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6934 6205 1111 63 0 6871 0
vsize: 27736
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 246107 0 0 0 30380 621 0 0 25 0 1 0 761108368 28700672 6278 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7007 6278 1111 63 0 6944 0
vsize: 28028
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 253457 0 0 0 31362 639 0 0 25 0 1 0 761108368 28737536 6282 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7016 6282 1111 63 0 6953 0
vsize: 28064
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 257766 0 0 0 32351 650 0 0 25 0 1 0 761108368 28700672 6274 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7007 6274 1111 63 0 6944 0
vsize: 28028
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 263231 0 0 0 33336 665 0 0 25 0 1 0 761108368 28573696 6247 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6976 6247 1111 63 0 6913 0
vsize: 27904
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 270762 0 0 0 34318 683 0 0 25 0 1 0 761108368 29384704 6418 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7174 6418 1111 63 0 7111 0
vsize: 28696
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 271498 0 0 0 35315 686 0 0 25 0 1 0 761108368 31465472 6943 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7682 6943 1111 63 0 7619 0
vsize: 30728
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 273712 0 0 0 36310 692 0 0 25 0 1 0 761108368 29724672 6528 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7257 6528 1111 63 0 7194 0
vsize: 29028
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 273712 0 0 0 37310 692 0 0 25 0 1 0 761108368 29724672 6528 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7257 6528 1111 63 0 7194 0
vsize: 29028
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 275201 0 0 0 38306 696 0 0 25 0 1 0 761108368 29122560 6381 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7110 6381 1111 63 0 7047 0
vsize: 28440
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 280136 0 0 0 39293 709 0 0 25 0 1 0 761108368 28712960 6281 4294967295 134512640 134714508 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7010 6281 1111 63 0 6947 0
vsize: 28040
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 288825 0 0 0 40272 730 0 0 25 0 1 0 761108368 28966912 6336 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7072 6336 1111 63 0 7009 0
vsize: 28288
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 292377 0 0 0 41262 740 0 0 25 0 1 0 761108368 30932992 6796 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7552 6796 1111 63 0 7489 0
vsize: 30208
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 294913 0 0 0 42257 746 0 0 25 0 1 0 761108368 29229056 6407 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7136 6407 1111 63 0 7073 0
vsize: 28544
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 305599 0 0 0 43231 772 0 0 25 0 1 0 761108368 30130176 6630 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6630 1111 63 0 7293 0
vsize: 29424
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 313316 0 0 0 44213 790 0 0 25 0 1 0 761108368 30429184 6674 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7429 6674 1111 63 0 7366 0
vsize: 29716
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 319414 0 0 0 45198 805 0 0 25 0 1 0 761108368 29855744 6563 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7289 6563 1111 63 0 7226 0
vsize: 29156
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 328644 0 0 0 46176 827 0 0 25 0 1 0 761108368 29745152 6536 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7262 6536 1111 63 0 7199 0
vsize: 29048
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 335748 0 0 0 47160 844 0 0 25 0 1 0 761108368 30289920 6672 4294967295 134512640 134714508 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7395 6672 1111 63 0 7332 0
vsize: 29580
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 350221 0 0 0 48124 880 0 0 25 0 1 0 761108368 30633984 6748 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6748 1111 63 0 7416 0
vsize: 29916
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 359268 0 0 0 49103 901 0 0 25 0 1 0 761108368 30994432 6839 4294967295 134512640 134714508 3221221792 3221220568 134542421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7567 6839 1111 63 0 7504 0
vsize: 30268
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 367989 0 0 0 50081 923 0 0 25 0 1 0 761108368 31223808 6892 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7623 6892 1111 63 0 7560 0
vsize: 30492
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 371343 0 0 0 51073 932 0 0 25 0 1 0 761108368 32092160 7107 4294967295 134512640 134714508 3221221792 3221219904 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7835 7107 1111 63 0 7772 0
vsize: 31340
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 371450 0 0 0 52072 933 0 0 25 0 1 0 761108368 32661504 7214 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7974 7214 1111 63 0 7911 0
vsize: 31896
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 372466 0 0 0 53070 935 0 0 25 0 1 0 761108368 35401728 7906 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8643 7906 1111 63 0 8580 0
vsize: 34572
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 372466 0 0 0 54070 935 0 0 25 0 1 0 761108368 35401728 7906 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8643 7906 1111 63 0 8580 0
vsize: 34572
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 373897 0 0 0 55066 939 0 0 25 0 1 0 761108368 39481344 8620 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9639 8620 1111 63 0 9576 0
vsize: 38556
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 375616 0 0 0 56063 942 0 0 25 0 1 0 761108368 32821248 7285 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8013 7285 1111 63 0 7950 0
vsize: 32052
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 375616 0 0 0 57063 942 0 0 25 0 1 0 761108368 32821248 7285 4294967295 134512640 134714508 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8013 7285 1111 63 0 7950 0
vsize: 32052
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 375616 0 0 0 58063 942 0 0 25 0 1 0 761108368 32821248 7285 4294967295 134512640 134714508 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8013 7285 1111 63 0 7950 0
vsize: 32052
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 377325 0 0 0 59059 947 0 0 25 0 1 0 761108368 31850496 7048 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7776 7048 1111 63 0 7713 0
vsize: 31104
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 380975 0 0 0 60050 955 0 0 25 0 1 0 761108368 31981568 7080 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7808 7080 1111 63 0 7745 0
vsize: 31232
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 383811 0 0 0 61044 962 0 0 25 0 1 0 761108368 31514624 6966 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7694 6966 1111 63 0 7631 0
vsize: 30776
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 389313 0 0 0 62031 975 0 0 25 0 1 0 761108368 31698944 7011 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7739 7011 1111 63 0 7676 0
vsize: 30956
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 392794 0 0 0 63024 982 0 0 25 0 1 0 761108368 32313344 7161 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7889 7161 1111 63 0 7826 0
vsize: 31556
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 393412 0 0 0 64023 984 0 0 25 0 1 0 761108368 34123776 7581 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8331 7581 1111 63 0 8268 0
vsize: 33324
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 395437 0 0 0 65018 989 0 0 25 0 1 0 761108368 32550912 7219 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7947 7219 1111 63 0 7884 0
vsize: 31788
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 395437 0 0 0 66018 989 0 0 25 0 1 0 761108368 32550912 7219 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7947 7219 1111 63 0 7884 0
vsize: 31788
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 397392 0 0 0 67014 994 0 0 25 0 1 0 761108368 33734656 7506 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8236 7506 1111 63 0 8173 0
vsize: 32944
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 398884 0 0 0 68010 997 0 0 25 0 1 0 761108368 32415744 7186 4294967295 134512640 134714508 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7914 7186 1111 63 0 7851 0
vsize: 31656
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 399360 0 0 0 69009 999 0 0 25 0 1 0 761108368 33193984 7376 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8104 7376 1111 63 0 8041 0
vsize: 32416
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 402553 0 0 0 70002 1006 0 0 25 0 1 0 761108368 32354304 7171 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7899 7171 1111 63 0 7836 0
vsize: 31596
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 402606 0 0 0 71002 1006 0 0 25 0 1 0 761108368 31948800 7072 4294967295 134512640 134714508 3221221792 3221219952 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7800 7072 1111 63 0 7737 0
vsize: 31200
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 404458 0 0 0 71997 1010 0 0 25 0 1 0 761108368 32149504 7094 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7849 7094 1111 63 0 7786 0
vsize: 31396
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 420674 0 0 0 72959 1049 0 0 25 0 1 0 761108368 32669696 7219 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7976 7219 1111 63 0 7913 0
vsize: 31904
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 463958 0 0 0 73855 1153 0 0 25 0 1 0 761108368 40562688 8622 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9408 8616 1111 63 0 9345 0
vsize: 39612
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 481503 0 0 0 74813 1195 0 0 25 0 1 0 761108368 41938944 9439 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10239 9439 1111 63 0 10176 0
vsize: 40956
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 487793 0 0 0 75800 1208 0 0 25 0 1 0 761108368 40280064 9034 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9834 9034 1111 63 0 9771 0
vsize: 39336
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 499363 0 0 0 76774 1234 0 0 25 0 1 0 761108368 40349696 9077 4294967295 134512640 134714508 3221221792 3221220592 134622487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9851 9077 1111 63 0 9788 0
vsize: 39404
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 534379 0 0 0 77688 1320 0 0 25 0 1 0 761108368 47300608 10668 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11548 10668 1111 63 0 11485 0
vsize: 46192
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 538311 0 0 0 78678 1330 0 0 25 0 1 0 761108368 46391296 10452 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11326 10452 1111 63 0 11263 0
vsize: 45304
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 543119 0 0 0 79667 1342 0 0 25 0 1 0 761108368 46809088 10549 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11428 10549 1111 63 0 11365 0
vsize: 45712
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 560654 0 0 0 80628 1381 0 0 25 0 1 0 761108368 48549888 10511 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11853 10523 1111 63 0 11790 0
vsize: 47412
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 566732 0 0 0 81614 1395 0 0 25 0 1 0 761108368 52383744 11175 4294967295 134512640 134714508 3221221792 3221218864 1074867203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12789 11176 1111 63 0 12726 0
vsize: 51156
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 573670 0 0 0 82597 1412 0 0 25 0 1 0 761108368 47075328 10587 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11493 10587 1111 63 0 11430 0
vsize: 45972
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 581987 0 0 0 83578 1431 0 0 25 0 1 0 761108368 47882240 10815 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11690 10815 1111 63 0 11627 0
vsize: 46760
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 584431 0 0 0 84572 1438 0 0 25 0 1 0 761108368 48099328 10866 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11743 10866 1111 63 0 11680 0
vsize: 46972
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 586865 0 0 0 85566 1444 0 0 25 0 1 0 761108368 47992832 10842 4294967295 134512640 134714508 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11717 10842 1111 63 0 11654 0
vsize: 46868
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 595226 0 0 0 86544 1467 0 0 25 0 1 0 761108368 48144384 10880 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11754 10880 1111 63 0 11691 0
vsize: 47016
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 608646 0 0 0 87511 1500 0 0 25 0 1 0 761108368 49553408 11179 4294967295 134512640 134714508 3221221792 3221219776 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12098 11179 1111 63 0 12035 0
vsize: 48392
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 614376 0 0 0 88497 1513 0 0 25 0 1 0 761108368 49995776 11291 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12206 11291 1111 63 0 12143 0
vsize: 48824
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 615019 0 0 0 89495 1516 0 0 25 0 1 0 761108368 51855360 11735 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12660 11735 1111 63 0 12597 0
vsize: 50640
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 617134 0 0 0 90491 1520 0 0 25 0 1 0 761108368 49438720 11155 4294967295 134512640 134714508 3221221792 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12070 11155 1111 63 0 12007 0
vsize: 48280
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 642796 0 0 0 91427 1584 0 0 25 0 1 0 761108368 52510720 11788 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12820 11788 1111 63 0 12757 0
vsize: 51280
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 651176 0 0 0 92410 1601 0 0 25 0 1 0 761108368 52854784 11874 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12904 11874 1111 63 0 12841 0
vsize: 51616
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 668334 0 0 0 93372 1640 0 0 25 0 1 0 761108368 53796864 12116 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13134 12116 1111 63 0 13071 0
vsize: 52536
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 676997 0 0 0 94351 1661 0 0 25 0 1 0 761108368 53972992 12159 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13177 12159 1111 63 0 13114 0
vsize: 52708
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 692571 0 0 0 95315 1697 0 0 25 0 1 0 761108368 53878784 12137 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13154 12137 1111 63 0 13091 0
vsize: 52616
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 719143 0 0 0 96252 1760 0 0 25 0 1 0 761108368 55173120 12452 4294967295 134512640 134714508 3221221792 3221220072 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13470 12452 1111 63 0 13407 0
vsize: 53880
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 758173 0 0 0 97154 1858 0 0 25 0 1 0 761108368 62201856 13635 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14691 13629 1111 63 0 14628 0
vsize: 60744
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 791497 0 0 0 98070 1942 0 0 25 0 1 0 761108368 64499712 14597 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15747 14597 1111 63 0 15684 0
vsize: 62988
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 815485 0 0 0 99015 1997 0 0 25 0 1 0 761108368 67710976 14915 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16531 14915 1111 63 0 16468 0
vsize: 66124
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 858375 0 0 0 99908 2104 0 0 25 0 1 0 761108368 74698752 16895 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18732 16901 1111 63 0 18669 0
vsize: 72948
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 897473 0 0 0 100811 2201 0 0 25 0 1 0 761108368 83058688 18461 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 18472 1111 63 0 20215 0
vsize: 81112
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 928375 0 0 0 101738 2274 0 0 25 0 1 0 761108368 83517440 18950 4294967295 134512640 134714508 3221221792 3221220512 134622761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20390 18950 1111 63 0 20327 0
vsize: 81560
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 947363 0 0 0 102693 2320 0 0 25 0 1 0 761108368 86016000 19568 4294967295 134512640 134714508 3221221792 3221219504 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21000 19568 1111 63 0 20937 0
vsize: 84000
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 948082 0 0 0 103691 2321 0 0 25 0 1 0 761108368 88088576 20062 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21506 20062 1111 63 0 21443 0
vsize: 86024
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 950520 0 0 0 104685 2328 0 0 25 0 1 0 761108368 85639168 19476 4294967295 134512640 134714508 3221221792 3221219456 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20908 19476 1111 63 0 20845 0
vsize: 83632
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 966848 0 0 0 105646 2368 0 0 25 0 1 0 761108368 87080960 19806 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21755 19812 1111 63 0 21692 0
vsize: 85040
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1001952 0 0 0 106564 2449 0 0 25 0 1 0 761108368 91480064 20770 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22334 20770 1111 63 0 22271 0
vsize: 89336
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1006070 0 0 0 107554 2459 0 0 25 0 1 0 761108368 91852800 20891 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22425 20891 1111 63 0 22362 0
vsize: 89700
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1036609 0 0 0 108486 2527 0 0 25 0 1 0 761108368 94220288 21464 4294967295 134512640 134714508 3221221792 3221219792 1074917108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23003 21464 1111 63 0 22940 0
vsize: 92012
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1054088 0 0 0 109448 2565 0 0 25 0 1 0 761108368 95780864 21841 4294967295 134512640 134714508 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23384 21841 1111 63 0 23321 0
vsize: 93536
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1097101 0 0 0 110349 2665 0 0 25 0 1 0 761108368 99704832 22728 4294967295 134512640 134714508 3221221792 3221219896 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24342 22728 1111 63 0 24279 0
vsize: 97368
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1100199 0 0 0 111342 2672 0 0 25 0 1 0 761108368 100667392 22967 4294967295 134512640 134714508 3221221792 3221220576 134622534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24577 22967 1111 63 0 24514 0
vsize: 98308
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1103278 0 0 0 112334 2680 0 0 25 0 1 0 761108368 100462592 22917 4294967295 134512640 134714508 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24527 22917 1111 63 0 24464 0
vsize: 98108
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1110547 0 0 0 113317 2697 0 0 25 0 1 0 761108368 100065280 22801 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24430 22801 1111 63 0 24367 0
vsize: 97720
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1114062 0 0 0 114308 2707 0 0 25 0 1 0 761108368 100999168 23047 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24658 23047 1111 63 0 24595 0
vsize: 98632
[startup+1179.53 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 13065
Raw data (stat): 13065 (bsolo_lpr) R 13064 7876 7672 0 -1 0 1114062 0 0 0 114308 2707 0 0 25 0 1 0 761108368 100999168 23047 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24658 23047 1111 63 0 24595 0
vsize: 0

Child status: 10
Real time (s): 1179.53
CPU time (s): 1179.65
CPU user time (s): 1152.5
CPU system time (s): 27.1459
CPU usage (%): 100.01
Max. virtual memory (Kb): 98632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1530
#### END VERIFIER DATA ####