PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.01884
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 27376

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 21:22:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17332 boxname=wulflinc7 idbench=1334 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 17332
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        620116 kB
Buffers:         35584 kB
Cached:         358240 kB
SwapCached:        100 kB
Active:          76380 kB
Inactive:       320128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        619864 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            12284 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:42:32 (client local time) WITH STATUS 10 IN 1175.11 SECONDS
stats: 17332 0 1175.11 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.102 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.104
c NEW SOLUTION FOUND: 35 @ 0.107
c NEW SOLUTION FOUND: 34 @ 0.112
c NEW SOLUTION FOUND: 33 @ 0.133
c NEW SOLUTION FOUND: 32 @ 0.16
c NEW SOLUTION FOUND: 31 @ 0.519
c NEW SOLUTION FOUND: 30 @ 3.896
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.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 31104
Raw data (stat): 31104 (runsolver) R 31103 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775233622 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 3373 0 0 0 987 11 0 0 25 0 1 0 775233622 17473536 3349 4294967295 134512640 134714540 3221224592 3221223280 134523956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3349 1111 63 0 4203 0
vsize: 17064
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 4679 0 0 0 1981 17 0 0 25 0 1 0 775233622 22835200 4653 4294967295 134512640 134714540 3221224592 3221223084 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5575 4653 1111 63 0 5512 0
vsize: 22300
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 5669 0 0 0 2978 21 0 0 25 0 1 0 775233622 26894336 5643 4294967295 134512640 134714540 3221224592 3221222948 1077378596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6566 5643 1111 63 0 6503 0
vsize: 26264
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 6481 0 0 0 3974 24 0 0 25 0 1 0 775233622 30281728 6455 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6455 1111 63 0 7330 0
vsize: 29572
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 7162 0 0 0 4971 28 0 0 25 0 1 0 775233622 33112064 7136 4294967295 134512640 134714540 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 7136 1111 63 0 8021 0
vsize: 32336
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 7675 0 0 0 5968 31 0 0 25 0 1 0 775233622 35295232 7649 4294967295 134512640 134714540 3221224592 3221223328 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8617 7649 1111 63 0 8554 0
vsize: 34468
[startup+70.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 8218 0 0 0 6967 32 0 0 25 0 1 0 775233622 37462016 8192 4294967295 134512640 134714540 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8192 1111 63 0 9083 0
vsize: 36584
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 8725 0 0 0 7965 35 0 0 25 0 1 0 775233622 39653376 8699 4294967295 134512640 134714540 3221224592 3221223248 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 8699 1111 63 0 9618 0
vsize: 38724
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 9229 0 0 0 8962 37 0 0 25 0 1 0 775233622 41713664 9200 4294967295 134512640 134714540 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10184 9200 1111 63 0 10121 0
vsize: 40736
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 9741 0 0 0 9962 38 0 0 25 0 1 0 775233622 43925504 9711 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10724 9711 1111 63 0 10661 0
vsize: 42896
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 10155 0 0 0 10959 41 0 0 25 0 1 0 775233622 45572096 10125 4294967295 134512640 134714540 3221224592 3221223336 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11126 10125 1111 63 0 11063 0
vsize: 44504
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 10618 0 0 0 11957 44 0 0 25 0 1 0 775233622 47464448 10588 4294967295 134512640 134714540 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11588 10588 1111 63 0 11525 0
vsize: 46352
[startup+130.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 10999 0 0 0 12955 45 0 0 25 0 1 0 775233622 48971776 10968 4294967295 134512640 134714540 3221224592 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11956 10968 1111 63 0 11893 0
vsize: 47824
[startup+140.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 11353 0 0 0 13954 46 0 0 25 0 1 0 775233622 50491392 11322 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12327 11322 1111 63 0 12264 0
vsize: 49308
[startup+150.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 11696 0 0 0 14953 48 0 0 25 0 1 0 775233622 51978240 11665 4294967295 134512640 134714540 3221224592 3221223204 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11665 1111 63 0 12627 0
vsize: 50760
[startup+160.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 12060 0 0 0 15952 50 0 0 25 0 1 0 775233622 53506048 12028 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13063 12028 1111 63 0 13000 0
vsize: 52252
[startup+170.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 12405 0 0 0 16949 52 0 0 25 0 1 0 775233622 54865920 12372 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13395 12372 1111 63 0 13332 0
vsize: 53580
[startup+180.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 12744 0 0 0 17948 54 0 0 25 0 1 0 775233622 56254464 12711 4294967295 134512640 134714540 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13734 12711 1111 63 0 13671 0
vsize: 54936
[startup+190.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 13358 0 0 0 18946 56 0 0 25 0 1 0 775233622 58195968 13199 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14208 13199 1111 63 0 14145 0
vsize: 56832
[startup+200.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 13678 0 0 0 19945 57 0 0 25 0 1 0 775233622 59547648 13519 4294967295 134512640 134714540 3221224592 3221223200 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 13519 1111 63 0 14475 0
vsize: 58152
[startup+210.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 13957 0 0 0 20944 59 0 0 25 0 1 0 775233622 60628992 13797 4294967295 134512640 134714540 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14802 13797 1111 63 0 14739 0
vsize: 59208
[startup+220.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 14209 0 0 0 21943 60 0 0 25 0 1 0 775233622 61767680 14048 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15080 14048 1111 63 0 15017 0
vsize: 60320
[startup+230.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 14525 0 0 0 22942 61 0 0 25 0 1 0 775233622 63123456 14363 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15411 14363 1111 63 0 15348 0
vsize: 61644
[startup+240.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 14845 0 0 0 23941 62 0 0 25 0 1 0 775233622 64487424 14683 4294967295 134512640 134714540 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14683 1111 63 0 15681 0
vsize: 62976
[startup+250.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 15117 0 0 0 24940 63 0 0 25 0 1 0 775233622 65568768 14955 4294967295 134512640 134714540 3221224592 3221223328 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16008 14955 1111 63 0 15945 0
vsize: 64032
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 15448 0 0 0 25938 65 0 0 25 0 1 0 775233622 66953216 15286 4294967295 134512640 134714540 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16346 15286 1111 63 0 16283 0
vsize: 65384
[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 15734 0 0 0 26937 67 0 0 25 0 1 0 775233622 68239360 15571 4294967295 134512640 134714540 3221224592 3221223100 134535626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16660 15571 1111 63 0 16597 0
vsize: 66640
[startup+280.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 15990 0 0 0 27936 68 0 0 25 0 1 0 775233622 69320704 15827 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16924 15827 1111 63 0 16861 0
vsize: 67696
[startup+290.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 16285 0 0 0 28935 69 0 0 25 0 1 0 775233622 70586368 16120 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 16120 1111 63 0 17170 0
vsize: 68932
[startup+300.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 16611 0 0 0 29933 71 0 0 25 0 1 0 775233622 71954432 16446 4294967295 134512640 134714540 3221224592 3221223280 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17567 16446 1111 63 0 17504 0
vsize: 70268
[startup+310.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 16903 0 0 0 30932 72 0 0 25 0 1 0 775233622 73220096 16737 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 16737 1111 63 0 17813 0
vsize: 71504
[startup+320.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 17209 0 0 0 31932 73 0 0 25 0 1 0 775233622 74436608 17043 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18173 17043 1111 63 0 18110 0
vsize: 72692
[startup+330.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 17464 0 0 0 32931 74 0 0 25 0 1 0 775233622 75386880 17297 4294967295 134512640 134714540 3221224592 3221223328 134529240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18405 17297 1111 63 0 18342 0
vsize: 73620
[startup+340.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 17656 0 0 0 33930 75 0 0 25 0 1 0 775233622 76218368 17488 4294967295 134512640 134714540 3221224592 3221223184 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18608 17488 1111 63 0 18545 0
vsize: 74432
[startup+350.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 17917 0 0 0 34930 75 0 0 25 0 1 0 775233622 77299712 17749 4294967295 134512640 134714540 3221224592 3221223120 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18872 17749 1111 63 0 18809 0
vsize: 75488
[startup+360.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 18153 0 0 0 35928 77 0 0 25 0 1 0 775233622 78245888 17985 4294967295 134512640 134714540 3221224592 3221223296 134528659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19103 17985 1111 63 0 19040 0
vsize: 76412
[startup+370.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 18376 0 0 0 36927 79 0 0 25 0 1 0 775233622 79138816 18208 4294967295 134512640 134714540 3221224592 3221223264 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19321 18208 1111 63 0 19258 0
vsize: 77284
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 18667 0 0 0 37925 80 0 0 25 0 1 0 775233622 80355328 18499 4294967295 134512640 134714540 3221224592 3221223136 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19618 18499 1111 63 0 19555 0
vsize: 78472
[startup+390.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 18910 0 0 0 38925 81 0 0 25 0 1 0 775233622 81436672 18742 4294967295 134512640 134714540 3221224592 3221223216 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19882 18742 1111 63 0 19819 0
vsize: 79528
[startup+400.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 19110 0 0 0 39924 82 0 0 25 0 1 0 775233622 82247680 18941 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20080 18941 1111 63 0 20017 0
vsize: 80320
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 19356 0 0 0 40924 83 0 0 25 0 1 0 775233622 83193856 19187 4294967295 134512640 134714540 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19187 1111 63 0 20248 0
vsize: 81244
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 19575 0 0 0 41923 83 0 0 25 0 1 0 775233622 84140032 19406 4294967295 134512640 134714540 3221224592 3221223328 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20542 19406 1111 63 0 20479 0
vsize: 82168
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 19763 0 0 0 42923 84 0 0 25 0 1 0 775233622 84881408 19593 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 19593 1111 63 0 20660 0
vsize: 82892
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 19933 0 0 0 43922 85 0 0 25 0 1 0 775233622 85557248 19763 4294967295 134512640 134714540 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20888 19763 1111 63 0 20825 0
vsize: 83552
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 20089 0 0 0 44921 86 0 0 25 0 1 0 775233622 86097920 19919 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21020 19919 1111 63 0 20957 0
vsize: 84080
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 20289 0 0 0 45921 86 0 0 25 0 1 0 775233622 86908928 20119 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21218 20119 1111 63 0 21155 0
vsize: 84872
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 20499 0 0 0 46920 87 0 0 25 0 1 0 775233622 87855104 20329 4294967295 134512640 134714540 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21449 20329 1111 63 0 21386 0
vsize: 85796
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 20709 0 0 0 47920 88 0 0 25 0 1 0 775233622 88666112 20539 4294967295 134512640 134714540 3221224592 3221223296 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21647 20539 1111 63 0 21584 0
vsize: 86588
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 20937 0 0 0 48919 89 0 0 25 0 1 0 775233622 89612288 20767 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21878 20767 1111 63 0 21815 0
vsize: 87512
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 21172 0 0 0 49918 90 0 0 25 0 1 0 775233622 90558464 21002 4294967295 134512640 134714540 3221224592 3221223308 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22109 21002 1111 63 0 22046 0
vsize: 88436
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 21382 0 0 0 50918 91 0 0 25 0 1 0 775233622 91504640 21211 4294967295 134512640 134714540 3221224592 3221223204 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22340 21211 1111 63 0 22277 0
vsize: 89360
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 21640 0 0 0 51917 92 0 0 25 0 1 0 775233622 92508160 21464 4294967295 134512640 134714540 3221224592 3221223328 134529184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22585 21464 1111 63 0 22522 0
vsize: 90340
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 21884 0 0 0 52916 93 0 0 25 0 1 0 775233622 93642752 21707 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22862 21707 1111 63 0 22799 0
vsize: 91448
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 22106 0 0 0 53916 93 0 0 25 0 1 0 775233622 94453760 21929 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23060 21929 1111 63 0 22997 0
vsize: 92240
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 22306 0 0 0 54915 95 0 0 25 0 1 0 775233622 95264768 22129 4294967295 134512640 134714540 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23258 22129 1111 63 0 23195 0
vsize: 93032
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 22507 0 0 0 55913 96 0 0 25 0 1 0 775233622 96075776 22330 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23456 22330 1111 63 0 23393 0
vsize: 93824
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 22742 0 0 0 56912 98 0 0 25 0 1 0 775233622 97161216 22563 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23721 22563 1111 63 0 23658 0
vsize: 94884
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 22950 0 0 0 57911 99 0 0 25 0 1 0 775233622 97972224 22771 4294967295 134512640 134714540 3221224592 3221223216 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23919 22771 1111 63 0 23856 0
vsize: 95676
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 23190 0 0 0 58910 100 0 0 25 0 1 0 775233622 98918400 23011 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24150 23011 1111 63 0 24087 0
vsize: 96600
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 23434 0 0 0 59909 101 0 0 25 0 1 0 775233622 99864576 23255 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24381 23255 1111 63 0 24318 0
vsize: 97524
[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 23626 0 0 0 60908 103 0 0 25 0 1 0 775233622 100696064 23447 4294967295 134512640 134714540 3221224592 3221223328 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24584 23447 1111 63 0 24521 0
vsize: 98336
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 23843 0 0 0 61908 103 0 0 25 0 1 0 775233622 101543936 23664 4294967295 134512640 134714540 3221224592 3221223248 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24791 23664 1111 63 0 24728 0
vsize: 99164
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 24056 0 0 0 62907 104 0 0 25 0 1 0 775233622 102498304 23875 4294967295 134512640 134714540 3221224592 3221223296 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25024 23875 1111 63 0 24961 0
vsize: 100096
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 24291 0 0 0 63907 104 0 0 25 0 1 0 775233622 103510016 24101 4294967295 134512640 134714540 3221224592 3221223136 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25271 24101 1111 63 0 25208 0
vsize: 101084
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 24515 0 0 0 64907 105 0 0 25 0 1 0 775233622 104456192 24325 4294967295 134512640 134714540 3221224592 3221223280 134529404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25502 24325 1111 63 0 25439 0
vsize: 102008
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 24721 0 0 0 65907 105 0 0 25 0 1 0 775233622 105336832 24531 4294967295 134512640 134714540 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25717 24531 1111 63 0 25654 0
vsize: 102868
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 24908 0 0 0 66906 106 0 0 25 0 1 0 775233622 106012672 24718 4294967295 134512640 134714540 3221224592 3221223256 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25882 24718 1111 63 0 25819 0
vsize: 103528
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 25085 0 0 0 67905 107 0 0 25 0 1 0 775233622 106897408 24895 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24895 1111 63 0 26035 0
vsize: 104392
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 25937 0 0 0 68903 109 0 0 25 0 1 0 775233622 109006848 25411 4294967295 134512640 134714540 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26613 25411 1111 63 0 26550 0
vsize: 106452
[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 26162 0 0 0 69902 110 0 0 25 0 1 0 775233622 109953024 25636 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26844 25636 1111 63 0 26781 0
vsize: 107376
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 26375 0 0 0 70901 112 0 0 25 0 1 0 775233622 110764032 25849 4294967295 134512640 134714540 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27042 25849 1111 63 0 26979 0
vsize: 108168
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 26570 0 0 0 71900 113 0 0 25 0 1 0 775233622 111640576 26044 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27256 26044 1111 63 0 27193 0
vsize: 109024
[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 26727 0 0 0 72900 114 0 0 25 0 1 0 775233622 112246784 26201 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27404 26201 1111 63 0 27341 0
vsize: 109616
[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 26948 0 0 0 73900 114 0 0 25 0 1 0 775233622 113229824 26419 4294967295 134512640 134714540 3221224592 3221223136 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27644 26419 1111 63 0 27581 0
vsize: 110576
[startup+750.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 27163 0 0 0 74899 115 0 0 25 0 1 0 775233622 114212864 26634 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27884 26634 1111 63 0 27821 0
vsize: 111536
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 27384 0 0 0 75898 116 0 0 25 0 1 0 775233622 115023872 26855 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28082 26855 1111 63 0 28019 0
vsize: 112328
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 27590 0 0 0 76897 117 0 0 25 0 1 0 775233622 115859456 27060 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28286 27060 1111 63 0 28223 0
vsize: 113144
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 27759 0 0 0 77897 118 0 0 25 0 1 0 775233622 116535296 27229 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28451 27229 1111 63 0 28388 0
vsize: 113804
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 27922 0 0 0 78896 118 0 0 25 0 1 0 775233622 117211136 27392 4294967295 134512640 134714540 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28616 27392 1111 63 0 28553 0
vsize: 114464
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 28097 0 0 0 79896 119 0 0 25 0 1 0 775233622 117886976 27567 4294967295 134512640 134714540 3221224592 3221223328 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28781 27567 1111 63 0 28718 0
vsize: 115124
[startup+810.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 28230 0 0 0 80895 120 0 0 25 0 1 0 775233622 118427648 27700 4294967295 134512640 134714540 3221224592 3221223180 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28913 27700 1111 63 0 28850 0
vsize: 115652
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 28452 0 0 0 81894 121 0 0 25 0 1 0 775233622 119463936 27918 4294967295 134512640 134714540 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29166 27918 1111 63 0 29103 0
vsize: 116664
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 28655 0 0 0 82893 122 0 0 25 0 1 0 775233622 120324096 28120 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29376 28120 1111 63 0 29313 0
vsize: 117504
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 28834 0 0 0 83892 123 0 0 25 0 1 0 775233622 121057280 28297 4294967295 134512640 134714540 3221224592 3221223200 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29555 28297 1111 63 0 29492 0
vsize: 118220
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29019 0 0 0 84891 124 0 0 25 0 1 0 775233622 121933824 28480 4294967295 134512640 134714540 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29769 28480 1111 63 0 29706 0
vsize: 119076
[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29189 0 0 0 85891 125 0 0 25 0 1 0 775233622 122609664 28650 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29934 28650 1111 63 0 29871 0
vsize: 119736
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29314 0 0 0 86890 126 0 0 25 0 1 0 775233622 123236352 28774 4294967295 134512640 134714540 3221224592 3221223136 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30087 28774 1111 63 0 30024 0
vsize: 120348
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29422 0 0 0 87890 127 0 0 25 0 1 0 775233622 123715584 28882 4294967295 134512640 134714540 3221224592 3221223280 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30204 28882 1111 63 0 30141 0
vsize: 120816
[startup+890.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29569 0 0 0 88889 127 0 0 25 0 1 0 775233622 124391424 29029 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30369 29029 1111 63 0 30306 0
vsize: 121476
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29730 0 0 0 89889 128 0 0 25 0 1 0 775233622 124932096 29190 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30501 29190 1111 63 0 30438 0
vsize: 122004
[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 29865 0 0 0 90889 128 0 0 25 0 1 0 775233622 125472768 29325 4294967295 134512640 134714540 3221224592 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30633 29325 1111 63 0 30570 0
vsize: 122532
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30008 0 0 0 91888 129 0 0 25 0 1 0 775233622 126148608 29468 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30798 29468 1111 63 0 30735 0
vsize: 123192
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30140 0 0 0 92887 130 0 0 25 0 1 0 775233622 126689280 29600 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30930 29600 1111 63 0 30867 0
vsize: 123720
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30274 0 0 0 93887 130 0 0 25 0 1 0 775233622 127291392 29734 4294967295 134512640 134714540 3221224592 3221223296 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31077 29734 1111 63 0 31014 0
vsize: 124308
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30447 0 0 0 94886 131 0 0 25 0 1 0 775233622 128012288 29903 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31253 29903 1111 63 0 31190 0
vsize: 125012
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30599 0 0 0 95886 132 0 0 25 0 1 0 775233622 128552960 30055 4294967295 134512640 134714540 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31385 30055 1111 63 0 31322 0
vsize: 125540
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30769 0 0 0 96886 132 0 0 25 0 1 0 775233622 129433600 30222 4294967295 134512640 134714540 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31600 30222 1111 63 0 31537 0
vsize: 126400
[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 30924 0 0 0 97885 133 0 0 25 0 1 0 775233622 129974272 30377 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31732 30377 1111 63 0 31669 0
vsize: 126928
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31083 0 0 0 98885 133 0 0 25 0 1 0 775233622 130650112 30536 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31897 30536 1111 63 0 31834 0
vsize: 127588
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31236 0 0 0 99884 134 0 0 25 0 1 0 775233622 131330048 30689 4294967295 134512640 134714540 3221224592 3221223280 134535829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32063 30689 1111 63 0 32000 0
vsize: 128252
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31400 0 0 0 100884 135 0 0 25 0 1 0 775233622 131870720 30853 4294967295 134512640 134714540 3221224592 3221223312 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32195 30853 1111 63 0 32132 0
vsize: 128780
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31563 0 0 0 101884 135 0 0 25 0 1 0 775233622 132558848 31016 4294967295 134512640 134714540 3221224592 3221223284 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32363 31016 1111 63 0 32300 0
vsize: 129452
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31720 0 0 0 102883 136 0 0 25 0 1 0 775233622 133238784 31173 4294967295 134512640 134714540 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32529 31173 1111 63 0 32466 0
vsize: 130116
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31851 0 0 0 103883 137 0 0 25 0 1 0 775233622 133844992 31304 4294967295 134512640 134714540 3221224592 3221223168 134549635 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 31979 0 0 0 104882 137 0 0 25 0 1 0 775233622 134385664 31432 4294967295 134512640 134714540 3221224592 3221223088 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32809 31432 1111 63 0 32746 0
vsize: 131236
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32142 0 0 0 105881 138 0 0 25 0 1 0 775233622 135307264 31592 4294967295 134512640 134714540 3221224592 3221223100 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33034 31592 1111 63 0 32971 0
vsize: 132136
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32244 0 0 0 106881 139 0 0 25 0 1 0 775233622 135577600 31694 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33100 31694 1111 63 0 33037 0
vsize: 132400
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32415 0 0 0 107880 139 0 0 25 0 1 0 775233622 136253440 31865 4294967295 134512640 134714540 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33265 31865 1111 63 0 33202 0
vsize: 133060
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32617 0 0 0 108880 140 0 0 25 0 1 0 775233622 137203712 32066 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33497 32066 1111 63 0 33434 0
vsize: 133988
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32811 0 0 0 109879 141 0 0 25 0 1 0 775233622 138014720 32260 4294967295 134512640 134714540 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33695 32260 1111 63 0 33632 0
vsize: 134780
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 32988 0 0 0 110878 142 0 0 25 0 1 0 775233622 138690560 32437 4294967295 134512640 134714540 3221224592 3221223136 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33860 32437 1111 63 0 33797 0
vsize: 135440
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 33143 0 0 0 111878 143 0 0 25 0 1 0 775233622 139231232 32592 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33992 32592 1111 63 0 33929 0
vsize: 135968
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 33341 0 0 0 112877 144 0 0 25 0 1 0 775233622 140242944 32781 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34239 32781 1111 63 0 34176 0
vsize: 136956
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 33526 0 0 0 113876 144 0 0 25 0 1 0 775233622 140984320 32960 4294967295 134512640 134714540 3221224592 3221223136 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34420 32960 1111 63 0 34357 0
vsize: 137680
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 33720 0 0 0 114876 145 0 0 25 0 1 0 775233622 141795328 33154 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34618 33154 1111 63 0 34555 0
vsize: 138472
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 33909 0 0 0 115875 146 0 0 25 0 1 0 775233622 142471168 33343 4294967295 134512640 134714540 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34783 33343 1111 63 0 34720 0
vsize: 139132
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 34073 0 0 0 116874 147 0 0 25 0 1 0 775233622 143147008 33507 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34948 33507 1111 63 0 34885 0
vsize: 139792
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 31104
Raw data (stat): 31104 (bsolo_mis) R 31103 24300 24299 0 -1 0 34073 0 0 0 116874 147 0 0 25 0 1 0 775233622 143147008 33507 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34948 33507 1111 63 0 34885 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.11
CPU user time (s): 1173.56
CPU system time (s): 1.54477
CPU usage (%): 100.017
Max. virtual memory (Kb): 139792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####