PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 28559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 03:02:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12340 boxname=wulflinc2 idbench=950 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 12340
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        662248 kB
Buffers:         13636 kB
Cached:         338588 kB
SwapCached:        696 kB
Active:          21416 kB
Inactive:       333196 kB
HighTotal:      131008 kB
HighFree:        23156 kB
LowTotal:       903652 kB
LowFree:        639092 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12008 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:21:57 (client local time) WITH STATUS 10 IN 1175.14 SECONDS
stats: 12340 0 1175.14 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.103 s
c Initial Lower Bound: 13
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.104
c NEW SOLUTION FOUND: 36 @ 0.105
c NEW SOLUTION FOUND: 35 @ 0.107
c NEW SOLUTION FOUND: 34 @ 0.112
c NEW SOLUTION FOUND: 33 @ 0.134
c NEW SOLUTION FOUND: 32 @ 0.16
c NEW SOLUTION FOUND: 31 @ 0.518
c NEW SOLUTION FOUND: 30 @ 3.926
s SATISFIABLE
v -V0001_bit0 -V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 -V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 -V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 -V0039_bit0 V0040_bit0 -V0041_bit0 V0042_bit0 V0043_bit0 -V0044_bit0 V0045_bit0 
c Exit Code: 10
c Total time: 1175.07 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.93 0.97 0.93 2/54 7756
Raw data (stat): 7756 (runsolver) R 7755 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777265440 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 3360 0 0 0 985 13 0 0 25 0 1 0 777265440 17338368 3336 4294967295 134512640 134714540 3221224592 3221223304 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3336 1111 63 0 4170 0
vsize: 16932
[startup+20.005 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 4643 0 0 0 1980 18 0 0 25 0 1 0 777265440 22700032 4617 4294967295 134512640 134714540 3221224592 3221223100 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5542 4617 1111 63 0 5479 0
vsize: 22168
[startup+30.0047 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 5622 0 0 0 2976 22 0 0 25 0 1 0 777265440 26759168 5596 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6533 5596 1111 63 0 6470 0
vsize: 26132
[startup+40.0051 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 6434 0 0 0 3972 27 0 0 25 0 1 0 777265440 30011392 6408 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7327 6408 1111 63 0 7264 0
vsize: 29308
[startup+50.0151 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 7110 0 0 0 4970 30 0 0 25 0 1 0 777265440 32841728 7084 4294967295 134512640 134714540 3221224592 3221223216 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8018 7084 1111 63 0 7955 0
vsize: 32072
[startup+60.0158 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 7634 0 0 0 5968 32 0 0 25 0 1 0 777265440 35024896 7608 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 7608 1111 63 0 8488 0
vsize: 34204
[startup+70.0162 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 8169 0 0 0 6966 34 0 0 25 0 1 0 777265440 37326848 8143 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9113 8143 1111 63 0 9050 0
vsize: 36452
[startup+80.0162 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 8666 0 0 0 7963 37 0 0 25 0 1 0 777265440 39383040 8640 4294967295 134512640 134714540 3221224592 3221223244 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9615 8641 1111 63 0 9552 0
vsize: 38460
[startup+90.0169 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 9143 0 0 0 8962 38 0 0 25 0 1 0 777265440 41443328 9115 4294967295 134512640 134714540 3221224592 3221223200 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10118 9115 1111 63 0 10055 0
vsize: 40472
[startup+100.016 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 9669 0 0 0 9960 41 0 0 25 0 1 0 777265440 43634688 9639 4294967295 134512640 134714540 3221224592 3221223184 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10653 9639 1111 63 0 10590 0
vsize: 42612
[startup+110.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10081 0 0 0 10961 42 0 0 25 0 1 0 777265440 45301760 10051 4294967295 134512640 134714540 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11060 10051 1111 63 0 10997 0
vsize: 44240
[startup+120.105 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10552 0 0 0 11967 44 0 0 25 0 1 0 777265440 47194112 10522 4294967295 134512640 134714540 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11522 10522 1111 63 0 11459 0
vsize: 46088
[startup+130.104 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 10948 0 0 0 12965 46 0 0 25 0 1 0 777265440 48836608 10917 4294967295 134512640 134714540 3221224592 3221223228 134549858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11923 10917 1111 63 0 11860 0
vsize: 47692
[startup+140.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 11295 0 0 0 13964 48 0 0 25 0 1 0 777265440 50356224 11264 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 11264 1111 63 0 12231 0
vsize: 49176
[startup+150.137 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 11637 0 0 0 14965 49 0 0 25 0 1 0 777265440 51707904 11606 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12624 11606 1111 63 0 12561 0
vsize: 50496
[startup+160.138 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12011 0 0 0 15963 51 0 0 25 0 1 0 777265440 53235712 11979 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12997 11979 1111 63 0 12934 0
vsize: 51988
[startup+170.137 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7756
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12337 0 0 0 16962 53 0 0 25 0 1 0 777265440 54591488 12304 4294967295 134512640 134714540 3221224592 3221223312 134529279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13328 12304 1111 63 0 13265 0
vsize: 53312
[startup+180.149 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 12687 0 0 0 17961 55 0 0 25 0 1 0 777265440 56119296 12654 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13701 12654 1111 63 0 13638 0
vsize: 54804
[startup+190.159 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13295 0 0 0 18960 57 0 0 25 0 1 0 777265440 58060800 13136 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14175 13136 1111 63 0 14112 0
vsize: 56700
[startup+200.158 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13627 0 0 0 19959 58 0 0 25 0 1 0 777265440 59412480 13468 4294967295 134512640 134714540 3221224592 3221223308 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14505 13468 1111 63 0 14442 0
vsize: 58020
[startup+210.159 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 13903 0 0 0 20958 59 0 0 25 0 1 0 777265440 60493824 13744 4294967295 134512640 134714540 3221224592 3221223180 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14769 13744 1111 63 0 14706 0
vsize: 59076
[startup+220.16 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14162 0 0 0 21957 60 0 0 25 0 1 0 777265440 61632512 14001 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15047 14001 1111 63 0 14984 0
vsize: 60188
[startup+230.159 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14454 0 0 0 22956 62 0 0 25 0 1 0 777265440 62717952 14292 4294967295 134512640 134714540 3221224592 3221223136 134549754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15312 14292 1111 63 0 15249 0
vsize: 61248
[startup+240.16 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 14787 0 0 0 23955 63 0 0 25 0 1 0 777265440 64217088 14625 4294967295 134512640 134714540 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15678 14625 1111 63 0 15615 0
vsize: 62712
[startup+250.16 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15062 0 0 0 24953 65 0 0 25 0 1 0 777265440 65298432 14900 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15942 14900 1111 63 0 15879 0
vsize: 63768
[startup+260.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15378 0 0 0 25951 67 0 0 25 0 1 0 777265440 66682880 15216 4294967295 134512640 134714540 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16280 15216 1111 63 0 16217 0
vsize: 65120
[startup+270.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15678 0 0 0 26950 68 0 0 25 0 1 0 777265440 67969024 15515 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16594 15515 1111 63 0 16531 0
vsize: 66376
[startup+280.16 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 15926 0 0 0 27949 70 0 0 25 0 1 0 777265440 69050368 15763 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16858 15763 1111 63 0 16795 0
vsize: 67432
[startup+290.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16233 0 0 0 28949 70 0 0 25 0 1 0 777265440 70316032 16068 4294967295 134512640 134714540 3221224592 3221223224 134552678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17167 16068 1111 63 0 17104 0
vsize: 68668
[startup+300.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16555 0 0 0 29948 71 0 0 25 0 1 0 777265440 71684096 16390 4294967295 134512640 134714540 3221224592 3221223280 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17501 16390 1111 63 0 17438 0
vsize: 70004
[startup+310.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 16847 0 0 0 30946 73 0 0 25 0 1 0 777265440 72949760 16681 4294967295 134512640 134714540 3221224592 3221223268 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17810 16681 1111 63 0 17747 0
vsize: 71240
[startup+320.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17143 0 0 0 31945 74 0 0 25 0 1 0 777265440 74166272 16977 4294967295 134512640 134714540 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18107 16977 1111 63 0 18044 0
vsize: 72428
[startup+330.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17419 0 0 0 32944 75 0 0 25 0 1 0 777265440 75251712 17252 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18372 17252 1111 63 0 18309 0
vsize: 73488
[startup+340.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17608 0 0 0 33944 76 0 0 25 0 1 0 777265440 75948032 17440 4294967295 134512640 134714540 3221224592 3221223288 134523854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18542 17440 1111 63 0 18479 0
vsize: 74168
[startup+350.161 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 17862 0 0 0 34943 77 0 0 25 0 1 0 777265440 77029376 17694 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18806 17694 1111 63 0 18743 0
vsize: 75224
[startup+360.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18101 0 0 0 35942 78 0 0 25 0 1 0 777265440 77975552 17933 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19037 17933 1111 63 0 18974 0
vsize: 76148
[startup+370.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18304 0 0 0 36940 80 0 0 25 0 1 0 777265440 78868480 18136 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19255 18136 1111 63 0 19192 0
vsize: 77020
[startup+380.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18614 0 0 0 37939 81 0 0 25 0 1 0 777265440 80084992 18446 4294967295 134512640 134714540 3221224592 3221223224 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 18446 1111 63 0 19489 0
vsize: 78208
[startup+390.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 18855 0 0 0 38939 82 0 0 25 0 1 0 777265440 81166336 18687 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19816 18687 1111 63 0 19753 0
vsize: 79264
[startup+400.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19055 0 0 0 39938 83 0 0 25 0 1 0 777265440 81977344 18886 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20014 18886 1111 63 0 19951 0
vsize: 80056
[startup+410.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19293 0 0 0 40937 84 0 0 25 0 1 0 777265440 82923520 19124 4294967295 134512640 134714540 3221224592 3221223268 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20245 19124 1111 63 0 20182 0
vsize: 80980
[startup+420.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19528 0 0 0 41936 85 0 0 25 0 1 0 777265440 83869696 19359 4294967295 134512640 134714540 3221224592 3221223200 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20476 19359 1111 63 0 20413 0
vsize: 81904
[startup+430.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19723 0 0 0 42935 86 0 0 25 0 1 0 777265440 84746240 19553 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20690 19553 1111 63 0 20627 0
vsize: 82760
[startup+440.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 19896 0 0 0 43935 87 0 0 25 0 1 0 777265440 85422080 19726 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20855 19726 1111 63 0 20792 0
vsize: 83420
[startup+450.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20054 0 0 0 44934 88 0 0 25 0 1 0 777265440 85962752 19884 4294967295 134512640 134714540 3221224592 3221223280 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20987 19884 1111 63 0 20924 0
vsize: 83948
[startup+460.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20244 0 0 0 45934 88 0 0 25 0 1 0 777265440 86773760 20074 4294967295 134512640 134714540 3221224592 3221223136 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21185 20074 1111 63 0 21122 0
vsize: 84740
[startup+470.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20452 0 0 0 46934 89 0 0 25 0 1 0 777265440 87584768 20282 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21383 20282 1111 63 0 21320 0
vsize: 85532
[startup+480.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20643 0 0 0 47933 90 0 0 25 0 1 0 777265440 88395776 20473 4294967295 134512640 134714540 3221224592 3221223088 134535471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21581 20473 1111 63 0 21518 0
vsize: 86324
[startup+490.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 20879 0 0 0 48932 91 0 0 25 0 1 0 777265440 89341952 20709 4294967295 134512640 134714540 3221224592 3221223136 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21812 20709 1111 63 0 21749 0
vsize: 87248
[startup+500.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21114 0 0 0 49931 92 0 0 25 0 1 0 777265440 90288128 20944 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22043 20944 1111 63 0 21980 0
vsize: 88172
[startup+510.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21327 0 0 0 50930 93 0 0 25 0 1 0 777265440 91234304 21156 4294967295 134512640 134714540 3221224592 3221223280 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22274 21156 1111 63 0 22211 0
vsize: 89096
[startup+520.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21590 0 0 0 51930 93 0 0 25 0 1 0 777265440 92336128 21415 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22543 21415 1111 63 0 22480 0
vsize: 90172
[startup+530.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 21831 0 0 0 52929 95 0 0 25 0 1 0 777265440 93372416 21654 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22796 21654 1111 63 0 22733 0
vsize: 91184
[startup+540.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22040 0 0 0 53928 95 0 0 25 0 1 0 777265440 94183424 21863 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22994 21863 1111 63 0 22931 0
vsize: 91976
[startup+550.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22253 0 0 0 54928 96 0 0 25 0 1 0 777265440 95129600 22076 4294967295 134512640 134714540 3221224592 3221223088 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23225 22076 1111 63 0 23162 0
vsize: 92900
[startup+560.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22456 0 0 0 55927 97 0 0 25 0 1 0 777265440 95940608 22279 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23423 22279 1111 63 0 23360 0
vsize: 93692
[startup+570.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22693 0 0 0 56926 98 0 0 25 0 1 0 777265440 96890880 22514 4294967295 134512640 134714540 3221224592 3221223216 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23655 22514 1111 63 0 23592 0
vsize: 94620
[startup+580.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 22891 0 0 0 57925 100 0 0 25 0 1 0 777265440 97701888 22712 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22712 1111 63 0 23790 0
vsize: 95412
[startup+590.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23129 0 0 0 58923 101 0 0 25 0 1 0 777265440 98648064 22950 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24084 22950 1111 63 0 24021 0
vsize: 96336
[startup+600.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23373 0 0 0 59923 102 0 0 25 0 1 0 777265440 99594240 23194 4294967295 134512640 134714540 3221224592 3221223304 134552573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24315 23194 1111 63 0 24252 0
vsize: 97260
[startup+610.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23574 0 0 0 60922 102 0 0 25 0 1 0 777265440 100560896 23395 4294967295 134512640 134714540 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24551 23395 1111 63 0 24488 0
vsize: 98204
[startup+620.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23796 0 0 0 61922 103 0 0 25 0 1 0 777265440 101408768 23617 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24758 23617 1111 63 0 24695 0
vsize: 99032
[startup+630.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 23996 0 0 0 62921 104 0 0 25 0 1 0 777265440 102227968 23815 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24958 23815 1111 63 0 24895 0
vsize: 99832
[startup+640.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24238 0 0 0 63920 105 0 0 25 0 1 0 777265440 103374848 24048 4294967295 134512640 134714540 3221224592 3221223248 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25238 24048 1111 63 0 25175 0
vsize: 100952
[startup+650.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24465 0 0 0 64919 106 0 0 25 0 1 0 777265440 104185856 24275 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25436 24275 1111 63 0 25373 0
vsize: 101744
[startup+660.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24688 0 0 0 65919 107 0 0 25 0 1 0 777265440 105201664 24498 4294967295 134512640 134714540 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25684 24498 1111 63 0 25621 0
vsize: 102736
[startup+670.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 24861 0 0 0 66918 108 0 0 25 0 1 0 777265440 105877504 24671 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25849 24671 1111 63 0 25786 0
vsize: 103396
[startup+680.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 25044 0 0 0 67917 108 0 0 25 0 1 0 777265440 106688512 24854 4294967295 134512640 134714540 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26047 24854 1111 63 0 25984 0
vsize: 104188
[startup+690.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 25892 0 0 0 68915 111 0 0 25 0 1 0 777265440 108871680 25366 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26580 25366 1111 63 0 26517 0
vsize: 106320
[startup+700.162 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26118 0 0 0 69915 112 0 0 25 0 1 0 777265440 109817856 25592 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 25592 1111 63 0 26748 0
vsize: 107244
[startup+710.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26329 0 0 0 70914 112 0 0 25 0 1 0 777265440 110628864 25803 4294967295 134512640 134714540 3221224592 3221223308 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27009 25803 1111 63 0 26946 0
vsize: 108036
[startup+720.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26522 0 0 0 71914 113 0 0 25 0 1 0 777265440 111304704 25996 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27174 25996 1111 63 0 27111 0
vsize: 108696
[startup+730.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26697 0 0 0 72913 114 0 0 25 0 1 0 777265440 112246784 26171 4294967295 134512640 134714540 3221224592 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27404 26171 1111 63 0 27341 0
vsize: 109616
[startup+740.163 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 26902 0 0 0 73912 115 0 0 25 0 1 0 777265440 113094656 26373 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27611 26373 1111 63 0 27548 0
vsize: 110444
[startup+750.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27100 0 0 0 74912 115 0 0 25 0 1 0 777265440 113905664 26571 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27809 26571 1111 63 0 27746 0
vsize: 111236
[startup+760.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27337 0 0 0 75911 116 0 0 25 0 1 0 777265440 114888704 26808 4294967295 134512640 134714540 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28049 26808 1111 63 0 27986 0
vsize: 112196
[startup+770.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27549 0 0 0 76911 117 0 0 25 0 1 0 777265440 115724288 27019 4294967295 134512640 134714540 3221224592 3221223156 134535880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28253 27019 1111 63 0 28190 0
vsize: 113012
[startup+780.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27720 0 0 0 77910 118 0 0 25 0 1 0 777265440 116400128 27190 4294967295 134512640 134714540 3221224592 3221223196 134549858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27190 1111 63 0 28355 0
vsize: 113672
[startup+790.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 27872 0 0 0 78910 118 0 0 25 0 1 0 777265440 117075968 27342 4294967295 134512640 134714540 3221224592 3221223120 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28583 27342 1111 63 0 28520 0
vsize: 114332
[startup+800.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28050 0 0 0 79910 119 0 0 25 0 1 0 777265440 117751808 27520 4294967295 134512640 134714540 3221224592 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28748 27520 1111 63 0 28685 0
vsize: 114992
[startup+810.164 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28206 0 0 0 80909 119 0 0 25 0 1 0 777265440 118427648 27676 4294967295 134512640 134714540 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28913 27676 1111 63 0 28850 0
vsize: 115652
[startup+820.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28406 0 0 0 81908 120 0 0 25 0 1 0 777265440 119328768 27872 4294967295 134512640 134714540 3221224592 3221223176 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29133 27872 1111 63 0 29070 0
vsize: 116532
[startup+830.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28606 0 0 0 82907 121 0 0 25 0 1 0 777265440 120004608 28072 4294967295 134512640 134714540 3221224592 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29298 28072 1111 63 0 29235 0
vsize: 117192
[startup+840.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28792 0 0 0 83907 122 0 0 25 0 1 0 777265440 120922112 28255 4294967295 134512640 134714540 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28255 1111 63 0 29459 0
vsize: 118088
[startup+850.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 28977 0 0 0 84906 123 0 0 25 0 1 0 777265440 121798656 28438 4294967295 134512640 134714540 3221224592 3221223168 134542773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29736 28438 1111 63 0 29673 0
vsize: 118944
[startup+860.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29156 0 0 0 85905 124 0 0 25 0 1 0 777265440 122474496 28617 4294967295 134512640 134714540 3221224592 3221223136 134549517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29901 28617 1111 63 0 29838 0
vsize: 119604
[startup+870.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29299 0 0 0 86905 125 0 0 25 0 1 0 777265440 123236352 28759 4294967295 134512640 134714540 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30087 28759 1111 63 0 30024 0
vsize: 120348
[startup+880.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29392 0 0 0 87904 126 0 0 25 0 1 0 777265440 123506688 28852 4294967295 134512640 134714540 3221224592 3221223148 134535652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30153 28852 1111 63 0 30090 0
vsize: 120612
[startup+890.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29532 0 0 0 88904 126 0 0 25 0 1 0 777265440 124121088 28992 4294967295 134512640 134714540 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30303 28992 1111 63 0 30240 0
vsize: 121212
[startup+900.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29701 0 0 0 89903 127 0 0 25 0 1 0 777265440 124932096 29161 4294967295 134512640 134714540 3221224592 3221223260 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30501 29161 1111 63 0 30438 0
vsize: 122004
[startup+910.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29838 0 0 0 90903 128 0 0 25 0 1 0 777265440 125472768 29298 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30633 29298 1111 63 0 30570 0
vsize: 122532
[startup+920.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 29986 0 0 0 91902 129 0 0 25 0 1 0 777265440 126013440 29446 4294967295 134512640 134714540 3221224592 3221223148 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30765 29446 1111 63 0 30702 0
vsize: 123060
[startup+930.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30108 0 0 0 92902 129 0 0 25 0 1 0 777265440 126554112 29568 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30897 29568 1111 63 0 30834 0
vsize: 123588
[startup+940.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30242 0 0 0 93901 130 0 0 25 0 1 0 777265440 127156224 29702 4294967295 134512640 134714540 3221224592 3221223248 134536724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31044 29702 1111 63 0 30981 0
vsize: 124176
[startup+950.166 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30403 0 0 0 94900 131 0 0 25 0 1 0 777265440 127877120 29859 4294967295 134512640 134714540 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31220 29859 1111 63 0 31157 0
vsize: 124880
[startup+960.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30564 0 0 0 95900 131 0 0 25 0 1 0 777265440 128417792 30020 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31352 30020 1111 63 0 31289 0
vsize: 125408
[startup+970.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30725 0 0 0 96900 132 0 0 25 0 1 0 777265440 129241088 30179 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31553 30179 1111 63 0 31490 0
vsize: 126212
[startup+980.167 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 30891 0 0 0 97899 133 0 0 25 0 1 0 777265440 129839104 30344 4294967295 134512640 134714540 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31699 30344 1111 63 0 31636 0
vsize: 126796
[startup+990.168 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31044 0 0 0 98898 134 0 0 25 0 1 0 777265440 130514944 30497 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31864 30497 1111 63 0 31801 0
vsize: 127456
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31205 0 0 0 99898 135 0 0 25 0 1 0 777265440 131194880 30658 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32030 30658 1111 63 0 31967 0
vsize: 128120
[startup+1010.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31360 0 0 0 100897 135 0 0 25 0 1 0 777265440 131735552 30813 4294967295 134512640 134714540 3221224592 3221223104 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32162 30813 1111 63 0 32099 0
vsize: 128648
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31528 0 0 0 101897 136 0 0 25 0 1 0 777265440 132411392 30981 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32327 30981 1111 63 0 32264 0
vsize: 129308
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31676 0 0 0 102897 136 0 0 25 0 1 0 777265440 132968448 31129 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32463 31129 1111 63 0 32400 0
vsize: 129852
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31851 0 0 0 103896 137 0 0 25 0 1 0 777265440 133844992 31304 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32677 31304 1111 63 0 32614 0
vsize: 130708
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 31949 0 0 0 104896 137 0 0 25 0 1 0 777265440 134250496 31402 4294967295 134512640 134714540 3221224592 3221223160 134535491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32776 31402 1111 63 0 32713 0
vsize: 131104
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32095 0 0 0 105896 138 0 0 25 0 1 0 777265440 134991872 31546 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32957 31546 1111 63 0 32894 0
vsize: 131828
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32221 0 0 0 106895 138 0 0 25 0 1 0 777265440 135577600 31671 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33100 31671 1111 63 0 33037 0
vsize: 132400
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32379 0 0 0 107895 139 0 0 25 0 1 0 777265440 136118272 31829 4294967295 134512640 134714540 3221224592 3221223124 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33232 31829 1111 63 0 33169 0
vsize: 132928
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32573 0 0 0 108895 139 0 0 25 0 1 0 777265440 137068544 32022 4294967295 134512640 134714540 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33464 32022 1111 63 0 33401 0
vsize: 133856
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32778 0 0 0 109894 140 0 0 25 0 1 0 777265440 137879552 32227 4294967295 134512640 134714540 3221224592 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33662 32227 1111 63 0 33599 0
vsize: 134648
[startup+1110.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 32951 0 0 0 110893 141 0 0 25 0 1 0 777265440 138555392 32400 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33827 32400 1111 63 0 33764 0
vsize: 135308
[startup+1120.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33112 0 0 0 111893 141 0 0 25 0 1 0 777265440 139231232 32561 4294967295 134512640 134714540 3221224592 3221223040 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33992 32561 1111 63 0 33929 0
vsize: 135968
[startup+1130.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33274 0 0 0 112892 142 0 0 25 0 1 0 777265440 139771904 32723 4294967295 134512640 134714540 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34124 32723 1111 63 0 34061 0
vsize: 136496
[startup+1140.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33499 0 0 0 113890 144 0 0 25 0 1 0 777265440 140849152 32935 4294967295 134512640 134714540 3221224592 3221223296 134528625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34387 32935 1111 63 0 34324 0
vsize: 137548
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33667 0 0 0 114889 146 0 0 25 0 1 0 777265440 141524992 33101 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34552 33101 1111 63 0 34489 0
vsize: 138208
[startup+1160.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 33866 0 0 0 115888 147 0 0 25 0 1 0 777265440 142336000 33300 4294967295 134512640 134714540 3221224592 3221223328 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34750 33300 1111 63 0 34687 0
vsize: 139000
[startup+1170.17 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 34041 0 0 0 116887 148 0 0 25 0 1 0 777265440 143011840 33475 4294967295 134512640 134714540 3221224592 3221223040 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34915 33475 1111 63 0 34852 0
vsize: 139660
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 7758
Raw data (stat): 7756 (bsolo_mis) R 7755 31399 31398 0 -1 0 34041 0 0 0 116887 148 0 0 25 0 1 0 777265440 143011840 33475 4294967295 134512640 134714540 3221224592 3221223040 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34915 33475 1111 63 0 34852 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.14
CPU user time (s): 1173.6
CPU system time (s): 1.54676
CPU usage (%): 100.016
Max. virtual memory (Kb): 139660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####