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/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM	02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.3155
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 28569

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        789352 kB
Buffers:          5232 kB
Cached:         219272 kB
SwapCached:       1052 kB
Active:          24364 kB
Inactive:       202708 kB
HighTotal:      131008 kB
HighFree:         4060 kB
LowTotal:       903652 kB
LowFree:        785292 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            12744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:27:44 (client local time) WITH STATUS 0 IN 1175.34 SECONDS
stats: 12535 7 1175.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.131 s
c Initial Lower Bound: 2794000
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.98 0.91 2/54 832
Raw data (stat): 832 (runsolver) R 831 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835524559 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.0005 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 12242 0 0 0 969 29 0 0 25 0 1 0 835524559 53886976 12213 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13156 12213 1111 63 0 13093 0
vsize: 52624
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 19567 0 0 0 1949 50 0 0 25 0 1 0 835524559 84434944 19449 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19449 1111 63 0 20551 0
vsize: 82456
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 26808 0 0 0 2931 68 0 0 25 0 1 0 835524559 115044352 26537 4294967295 134512640 134714540 3221224592 3221223388 134542436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28087 26537 1111 63 0 28024 0
vsize: 112348
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 32811 0 0 0 3913 86 0 0 25 0 1 0 835524559 138964992 32524 4294967295 134512640 134714540 3221224592 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33927 32524 1111 63 0 33864 0
vsize: 135708
[startup+50.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 40464 0 0 0 4895 104 0 0 25 0 1 0 835524559 173367296 39838 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42326 39838 1111 63 0 42263 0
vsize: 169304
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 45853 0 0 0 5882 117 0 0 25 0 1 0 835524559 195121152 45191 4294967295 134512640 134714540 3221224592 3221223364 134624782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47637 45191 1111 63 0 47574 0
vsize: 190548
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 51433 0 0 0 6870 129 0 0 25 0 1 0 835524559 217075712 50765 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52997 50765 1111 63 0 52934 0
vsize: 211988
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 56442 0 0 0 7858 142 0 0 25 0 1 0 835524559 236843008 55770 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57823 55770 1111 63 0 57760 0
vsize: 231292
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 61196 0 0 0 8846 154 0 0 25 0 1 0 835524559 255827968 60524 4294967295 134512640 134714540 3221224592 3221223036 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62458 60528 1111 63 0 62395 0
vsize: 249832
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 71252 0 0 0 9826 174 0 0 25 0 1 0 835524559 296538112 67783 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72397 67783 1111 63 0 72334 0
vsize: 289588
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 77649 0 0 0 10811 189 0 0 25 0 1 0 835524559 321433600 73843 4294967295 134512640 134714540 3221224592 3221223456 134558535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78475 73843 1111 63 0 78412 0
vsize: 313900
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 82278 0 0 0 11800 201 0 0 25 0 1 0 835524559 339603456 78390 4294967295 134512640 134714540 3221224592 3221223264 134553189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82911 78390 1111 63 0 82848 0
vsize: 331644
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 88051 0 0 0 12785 216 0 0 25 0 1 0 835524559 362311680 84163 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88455 84163 1111 63 0 88392 0
vsize: 353820
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 93630 0 0 0 13769 232 0 0 25 0 1 0 835524559 384131072 89660 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93782 89660 1111 63 0 93719 0
vsize: 375128
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 99387 0 0 0 14753 248 0 0 25 0 1 0 835524559 406626304 95335 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99274 95335 1111 63 0 99211 0
vsize: 397096
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 105440 0 0 0 15737 264 0 0 25 0 1 0 835524559 430338048 101306 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105063 101306 1111 63 0 105000 0
vsize: 420252
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 110804 0 0 0 16724 278 0 0 25 0 1 0 835524559 451289088 106670 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110178 106670 1111 63 0 110115 0
vsize: 440712
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 115036 0 0 0 17713 289 0 0 25 0 1 0 835524559 467914752 110902 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114237 110902 1111 63 0 114174 0
vsize: 456948
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 129767 0 0 0 18683 318 0 0 25 0 1 0 835524559 521519104 118667 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127324 118667 1111 63 0 127261 0
vsize: 509296
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 136523 0 0 0 19667 335 0 0 25 0 1 0 835524559 547221504 124451 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133599 124451 1111 63 0 133536 0
vsize: 534396
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 142399 0 0 0 20651 351 0 0 25 0 1 0 835524559 569892864 130003 4294967295 134512640 134714540 3221224592 3221223308 134558630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139134 130003 1111 63 0 139071 0
vsize: 556536
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 148346 0 0 0 21634 368 0 0 25 0 1 0 835524559 593121280 135788 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144805 135788 1111 63 0 144742 0
vsize: 579220
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 153895 0 0 0 22619 384 0 0 25 0 1 0 835524559 614887424 141337 4294967295 134512640 134714540 3221224592 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150119 141337 1111 63 0 150056 0
vsize: 600476
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 159336 0 0 0 23606 396 0 0 25 0 1 0 835524559 636088320 146616 4294967295 134512640 134714540 3221224592 3221223296 134556763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155295 146616 1111 63 0 155232 0
vsize: 621180
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 165528 0 0 0 24588 415 0 0 25 0 1 0 835524559 659972096 152484 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161126 152484 1111 63 0 161063 0
vsize: 644504
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 171130 0 0 0 25573 430 0 0 25 0 1 0 835524559 682004480 158086 4294967295 134512640 134714540 3221224592 3221223300 134556890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166505 158086 1111 63 0 166442 0
vsize: 666020
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 176574 0 0 0 26558 446 0 0 25 0 1 0 835524559 703229952 163530 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171687 163530 1111 63 0 171624 0
vsize: 686748
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 182197 0 0 0 27542 461 0 0 25 0 1 0 835524559 725397504 169153 4294967295 134512640 134714540 3221224592 3221223296 134556513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177099 169153 1111 63 0 177036 0
vsize: 708396
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184277 0 0 0 28537 466 0 0 25 0 1 0 835524559 733495296 171233 4294967295 134512640 134714540 3221224592 3221223188 1077374168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179076 171233 1111 63 0 179013 0
vsize: 716304
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184277 0 0 0 29536 468 0 0 25 0 1 0 835524559 733495296 171233 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179076 171233 1111 63 0 179013 0
vsize: 716304
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184318 0 0 0 30535 469 0 0 25 0 1 0 835524559 733630464 171274 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179109 171274 1111 63 0 179046 0
vsize: 716436
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184327 0 0 0 31535 470 0 0 25 0 1 0 835524559 733630464 171283 4294967295 134512640 134714540 3221224592 3221223200 134538819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179109 171283 1111 63 0 179046 0
vsize: 716436
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184336 0 0 0 32533 471 0 0 25 0 1 0 835524559 733630464 171292 4294967295 134512640 134714540 3221224592 3221223200 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179109 171292 1111 63 0 179046 0
vsize: 716436
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184336 0 0 0 33532 472 0 0 25 0 1 0 835524559 733630464 171292 4294967295 134512640 134714540 3221224592 3221223124 1077378603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179109 171292 1111 63 0 179046 0
vsize: 716436
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184356 0 0 0 34532 473 0 0 25 0 1 0 835524559 733765632 171312 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179142 171312 1111 63 0 179079 0
vsize: 716568
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184378 0 0 0 35532 473 0 0 25 0 1 0 835524559 733900800 171334 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171334 1111 63 0 179112 0
vsize: 716700
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184378 0 0 0 36531 475 0 0 25 0 1 0 835524559 733900800 171334 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171334 1111 63 0 179112 0
vsize: 716700
[startup+380.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184378 0 0 0 37529 476 0 0 25 0 1 0 835524559 733900800 171334 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171334 1111 63 0 179112 0
vsize: 716700
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184378 0 0 0 38528 477 0 0 25 0 1 0 835524559 733900800 171334 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171334 1111 63 0 179112 0
vsize: 716700
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 39527 478 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 40526 480 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223328 134556832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 41525 481 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 42525 481 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223184 134613442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 43524 483 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 44523 484 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223136 134696117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 45522 485 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223296 134556927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 46521 486 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223224 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 47520 488 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223264 134591842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 48519 489 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223208 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 49517 490 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223128 1077377720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184379 0 0 0 50517 491 0 0 25 0 1 0 835524559 733900800 171335 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171335 1111 63 0 179112 0
vsize: 716700
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184387 0 0 0 51516 492 0 0 25 0 1 0 835524559 733900800 171343 4294967295 134512640 134714540 3221224592 3221223348 134624799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179175 171343 1111 63 0 179112 0
vsize: 716700
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184420 0 0 0 52515 493 0 0 25 0 1 0 835524559 734035968 171376 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171376 1111 63 0 179145 0
vsize: 716832
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184423 0 0 0 53514 494 0 0 25 0 1 0 835524559 734035968 171379 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171379 1111 63 0 179145 0
vsize: 716832
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184423 0 0 0 54513 496 0 0 25 0 1 0 835524559 734035968 171379 4294967295 134512640 134714540 3221224592 3221223220 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171379 1111 63 0 179145 0
vsize: 716832
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184423 0 0 0 55512 496 0 0 25 0 1 0 835524559 734035968 171379 4294967295 134512640 134714540 3221224592 3221223352 134556493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171379 1111 63 0 179145 0
vsize: 716832
[startup+570.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184423 0 0 0 56512 497 0 0 25 0 1 0 835524559 734035968 171379 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171379 1111 63 0 179145 0
vsize: 716832
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184423 0 0 0 57511 498 0 0 25 0 1 0 835524559 734035968 171379 4294967295 134512640 134714540 3221224592 3221223272 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179208 171379 1111 63 0 179145 0
vsize: 716832
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184436 0 0 0 58511 499 0 0 25 0 1 0 835524559 734171136 171392 4294967295 134512640 134714540 3221224592 3221223168 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179241 171392 1111 63 0 179178 0
vsize: 716964
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184506 0 0 0 59509 500 0 0 25 0 1 0 835524559 734388224 171449 4294967295 134512640 134714540 3221224592 3221223188 134535329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179294 171449 1111 63 0 179231 0
vsize: 717176
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184506 0 0 0 60509 501 0 0 25 0 1 0 835524559 734375936 171449 4294967295 134512640 134714540 3221224592 3221223104 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179291 171449 1111 63 0 179228 0
vsize: 717164
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184606 0 0 0 61508 502 0 0 25 0 1 0 835524559 734756864 171549 4294967295 134512640 134714540 3221224592 3221223128 1077378425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179384 171549 1111 63 0 179321 0
vsize: 717536
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184636 0 0 0 62507 503 0 0 25 0 1 0 835524559 734748672 171565 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179382 171565 1111 63 0 179319 0
vsize: 717528
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184682 0 0 0 63506 505 0 0 25 0 1 0 835524559 734945280 171611 4294967295 134512640 134714540 3221224592 3221223188 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179430 171611 1111 63 0 179367 0
vsize: 717720
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184740 0 0 0 64505 506 0 0 25 0 1 0 835524559 735215616 171669 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179496 171669 1111 63 0 179433 0
vsize: 717984
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184740 0 0 0 65504 507 0 0 25 0 1 0 835524559 735215616 171669 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179496 171669 1111 63 0 179433 0
vsize: 717984
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184740 0 0 0 66504 508 0 0 25 0 1 0 835524559 735215616 171669 4294967295 134512640 134714540 3221224592 3221223172 134696291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179496 171669 1111 63 0 179433 0
vsize: 717984
[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184740 0 0 0 67503 508 0 0 25 0 1 0 835524559 735215616 171669 4294967295 134512640 134714540 3221224592 3221223264 134553605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179496 171669 1111 63 0 179433 0
vsize: 717984
[startup+690.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184769 0 0 0 68503 509 0 0 25 0 1 0 835524559 735342592 171698 4294967295 134512640 134714540 3221224592 3221223384 134558576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171698 1111 63 0 179464 0
vsize: 718108
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184769 0 0 0 69501 510 0 0 25 0 1 0 835524559 735342592 171698 4294967295 134512640 134714540 3221224592 3221223164 1077377137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171698 1111 63 0 179464 0
vsize: 718108
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184769 0 0 0 70501 511 0 0 25 0 1 0 835524559 735342592 171698 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171698 1111 63 0 179464 0
vsize: 718108
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184769 0 0 0 71499 513 0 0 25 0 1 0 835524559 735342592 171698 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171698 1111 63 0 179464 0
vsize: 718108
[startup+730.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184775 0 0 0 72499 514 0 0 25 0 1 0 835524559 735342592 171704 4294967295 134512640 134714540 3221224592 3221223308 134558607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171704 1111 63 0 179464 0
vsize: 718108
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184781 0 0 0 73497 515 0 0 25 0 1 0 835524559 735342592 171710 4294967295 134512640 134714540 3221224592 3221223360 134624789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179527 171710 1111 63 0 179464 0
vsize: 718108
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184790 0 0 0 74496 517 0 0 25 0 1 0 835524559 735256576 171689 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179506 171689 1111 63 0 179443 0
vsize: 718024
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184790 0 0 0 75495 518 0 0 25 0 1 0 835524559 735256576 171689 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179506 171689 1111 63 0 179443 0
vsize: 718024
[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184790 0 0 0 76495 518 0 0 25 0 1 0 835524559 735256576 171689 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179506 171689 1111 63 0 179443 0
vsize: 718024
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184809 0 0 0 77494 520 0 0 25 0 1 0 835524559 735391744 171708 4294967295 134512640 134714540 3221224592 3221223300 134556757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179539 171708 1111 63 0 179476 0
vsize: 718156
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184814 0 0 0 78493 521 0 0 25 0 1 0 835524559 735453184 171713 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179554 171713 1111 63 0 179491 0
vsize: 718216
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184814 0 0 0 79492 521 0 0 25 0 1 0 835524559 735453184 171713 4294967295 134512640 134714540 3221224592 3221223312 134556674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179554 171713 1111 63 0 179491 0
vsize: 718216
[startup+810.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184857 0 0 0 80491 523 0 0 25 0 1 0 835524559 735526912 171753 4294967295 134512640 134714540 3221224592 3221223212 134538732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179572 171753 1111 63 0 179509 0
vsize: 718288
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 184937 0 0 0 81490 524 0 0 25 0 1 0 835524559 735641600 171783 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179600 171783 1111 63 0 179537 0
vsize: 718400
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185061 0 0 0 82489 525 0 0 25 0 1 0 835524559 736231424 171906 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179744 171906 1111 63 0 179681 0
vsize: 718976
[startup+840.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185086 0 0 0 83488 527 0 0 25 0 1 0 835524559 736231424 171927 4294967295 134512640 134714540 3221224592 3221223440 134595134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179744 171927 1111 63 0 179681 0
vsize: 718976
[startup+850.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185091 0 0 0 84487 528 0 0 25 0 1 0 835524559 736329728 171932 4294967295 134512640 134714540 3221224592 3221223164 134613956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179768 171932 1111 63 0 179705 0
vsize: 719072
[startup+860.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185107 0 0 0 85486 529 0 0 25 0 1 0 835524559 736329728 171948 4294967295 134512640 134714540 3221224592 3221223276 134518132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179768 171948 1111 63 0 179705 0
vsize: 719072
[startup+870.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185147 0 0 0 86485 530 0 0 25 0 1 0 835524559 736579584 171988 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 171988 1111 63 0 179766 0
vsize: 719316
[startup+880.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185147 0 0 0 87484 531 0 0 25 0 1 0 835524559 736579584 171988 4294967295 134512640 134714540 3221224592 3221223200 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 171988 1111 63 0 179766 0
vsize: 719316
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185149 0 0 0 88484 532 0 0 25 0 1 0 835524559 736579584 171990 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 171990 1111 63 0 179766 0
vsize: 719316
[startup+900.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185149 0 0 0 89483 533 0 0 25 0 1 0 835524559 736579584 171990 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 171990 1111 63 0 179766 0
vsize: 719316
[startup+910.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185166 0 0 0 90482 534 0 0 25 0 1 0 835524559 736579584 172007 4294967295 134512640 134714540 3221224592 3221223240 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172007 1111 63 0 179766 0
vsize: 719316
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185166 0 0 0 91481 535 0 0 25 0 1 0 835524559 736579584 172007 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172007 1111 63 0 179766 0
vsize: 719316
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185168 0 0 0 92479 537 0 0 25 0 1 0 835524559 736579584 172009 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172009 1111 63 0 179766 0
vsize: 719316
[startup+940.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185168 0 0 0 93478 538 0 0 25 0 1 0 835524559 736579584 172009 4294967295 134512640 134714540 3221224592 3221223368 134624425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172009 1111 63 0 179766 0
vsize: 719316
[startup+950.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185171 0 0 0 94477 539 0 0 25 0 1 0 835524559 736579584 172012 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172012 1111 63 0 179766 0
vsize: 719316
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185171 0 0 0 95476 540 0 0 25 0 1 0 835524559 736579584 172012 4294967295 134512640 134714540 3221224592 3221223292 134535606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179829 172012 1111 63 0 179766 0
vsize: 719316
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185191 0 0 0 96475 541 0 0 25 0 1 0 835524559 736714752 172032 4294967295 134512640 134714540 3221224592 3221223428 134623280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179862 172032 1111 63 0 179799 0
vsize: 719448
[startup+980.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185191 0 0 0 97475 543 0 0 25 0 1 0 835524559 736714752 172032 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179862 172032 1111 63 0 179799 0
vsize: 719448
[startup+990.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185191 0 0 0 98473 544 0 0 25 0 1 0 835524559 736714752 172032 4294967295 134512640 134714540 3221224592 3221223168 134535427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179862 172032 1111 63 0 179799 0
vsize: 719448
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185205 0 0 0 99472 546 0 0 25 0 1 0 835524559 736792576 172046 4294967295 134512640 134714540 3221224592 3221223184 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179881 172046 1111 63 0 179818 0
vsize: 719524
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185214 0 0 0 100471 547 0 0 25 0 1 0 835524559 736792576 172055 4294967295 134512640 134714540 3221224592 3221223292 134535512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179881 172055 1111 63 0 179818 0
vsize: 719524
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185225 0 0 0 101470 547 0 0 25 0 1 0 835524559 736759808 172056 4294967295 134512640 134714540 3221224592 3221223296 134556924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179873 172056 1111 63 0 179810 0
vsize: 719492
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185225 0 0 0 102470 548 0 0 25 0 1 0 835524559 736759808 172056 4294967295 134512640 134714540 3221224592 3221223300 134603829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179873 172056 1111 63 0 179810 0
vsize: 719492
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185225 0 0 0 103469 550 0 0 25 0 1 0 835524559 736759808 172056 4294967295 134512640 134714540 3221224592 3221223340 134543569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179873 172056 1111 63 0 179810 0
vsize: 719492
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 104467 551 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 105467 552 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 106466 553 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 107465 554 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 108465 555 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 109464 555 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223296 134556899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 110464 555 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223292 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 111462 557 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223120 134539893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 112461 559 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223124 134696293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185270 0 0 0 113460 560 0 0 25 0 1 0 835524559 736972800 172093 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179925 172093 1111 63 0 179862 0
vsize: 719700
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185286 0 0 0 114460 561 0 0 25 0 1 0 835524559 737107968 172109 4294967295 134512640 134714540 3221224592 3221223200 1077378566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179958 172109 1111 63 0 179895 0
vsize: 719832
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185286 0 0 0 115459 562 0 0 25 0 1 0 835524559 737107968 172109 4294967295 134512640 134714540 3221224592 3221223348 134624796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179958 172109 1111 63 0 179895 0
vsize: 719832
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185286 0 0 0 116458 563 0 0 25 0 1 0 835524559 737107968 172109 4294967295 134512640 134714540 3221224592 3221223316 134542595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179958 172109 1111 63 0 179895 0
vsize: 719832
[startup+1175.14 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 832
Raw data (stat): 832 (bsolo_mis) R 831 24821 24820 0 -1 0 185286 0 0 0 116458 563 0 0 25 0 1 0 835524559 737107968 172109 4294967295 134512640 134714540 3221224592 3221223316 134542595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179958 172109 1111 63 0 179895 0
vsize: 0

Child status: 0
Real time (s): 1175.14
CPU time (s): 1175.34
CPU user time (s): 1169.38
CPU system time (s): 5.96009
CPU usage (%): 100.017
Max. virtual memory (Kb): 719832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####