PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
MD5SUM	6d2898572483dddc248ecc48cac97a0c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5657891
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	6207564000
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	6207564000
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	390.25
Number of variables	9600
Total number of constraints	300
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	300
Minimum length of a constraint	60
Maximum length of a constraint	440
Trace number 27701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 22:53:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16305 boxname=wulflinc27 idbench=1255 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6d2898572483dddc248ecc48cac97a0c  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-sctap1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-sctap1.opb
IDLAUNCH: 16305
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        810412 kB
Buffers:         16276 kB
Cached:         186404 kB
SwapCached:        640 kB
Active:          42104 kB
Inactive:       162996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        810160 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13324 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:13:24 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 16305 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9600 variables and 404 constraints.
c After prepocess the problem consists of 5280 variables and 404 constraints.
c preprocess terminated 9.607 s
c Initial Lower Bound: 2
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.91 0.95 0.90 2/54 9509
Raw data (stat): 9509 (runsolver) R 9508 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833986621 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 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 8870 0 0 0 980 18 0 0 25 0 1 0 833986621 40251392 8810 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 8810 1111 63 0 9764 0
vsize: 39308
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 8872 0 0 0 1979 19 0 0 25 0 1 0 833986621 40251392 8812 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 8812 1111 63 0 9764 0
vsize: 39308
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 9052 0 0 0 2978 20 0 0 25 0 1 0 833986621 40927232 8992 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9992 8992 1111 63 0 9929 0
vsize: 39968
[startup+40.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 10611 0 0 0 3974 24 0 0 25 0 1 0 833986621 47325184 10551 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11554 10551 1111 63 0 11491 0
vsize: 46216
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 11909 0 0 0 4971 27 0 0 25 0 1 0 833986621 52596736 11849 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12841 11849 1111 63 0 12778 0
vsize: 51364
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 13332 0 0 0 5968 30 0 0 25 0 1 0 833986621 58892288 13271 4294967295 134512640 134714540 3221224592 3221223316 134556497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14378 13271 1111 63 0 14315 0
vsize: 57512
[startup+70.0089 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 14621 0 0 0 6965 34 0 0 25 0 1 0 833986621 64028672 14559 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15632 14559 1111 63 0 15569 0
vsize: 62528
[startup+80.0101 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 16223 0 0 0 7961 38 0 0 25 0 1 0 833986621 71090176 16097 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17356 16097 1111 63 0 17293 0
vsize: 69424
[startup+90.0098 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 17432 0 0 0 8957 43 0 0 25 0 1 0 833986621 75821056 17304 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18511 17304 1111 63 0 18448 0
vsize: 74044
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 18653 0 0 0 9954 46 0 0 25 0 1 0 833986621 80687104 18523 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19699 18523 1111 63 0 19636 0
vsize: 78796
[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 19854 0 0 0 10951 49 0 0 25 0 1 0 833986621 85434368 19724 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20858 19724 1111 63 0 20795 0
vsize: 83432
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 21058 0 0 0 11947 53 0 0 25 0 1 0 833986621 90374144 20928 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22064 20928 1111 63 0 22001 0
vsize: 88256
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 22594 0 0 0 12944 57 0 0 25 0 1 0 833986621 98205696 22356 4294967295 134512640 134714540 3221224592 3221223312 134556906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23976 22356 1111 63 0 23913 0
vsize: 95904
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 22594 0 0 0 13943 57 0 0 25 0 1 0 833986621 98205696 22356 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23976 22356 1111 63 0 23913 0
vsize: 95904
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 23484 0 0 0 14941 59 0 0 25 0 1 0 833986621 101855232 23246 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24867 23246 1111 63 0 24804 0
vsize: 99468
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 24909 0 0 0 15938 63 0 0 25 0 1 0 833986621 107827200 24671 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26325 24671 1111 63 0 26262 0
vsize: 105300
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 26409 0 0 0 16933 68 0 0 25 0 1 0 833986621 114130944 26154 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27864 26154 1111 63 0 27801 0
vsize: 111456
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 27738 0 0 0 17930 71 0 0 25 0 1 0 833986621 119418880 27481 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29155 27481 1111 63 0 29092 0
vsize: 116620
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 29308 0 0 0 18926 76 0 0 25 0 1 0 833986621 126554112 29020 4294967295 134512640 134714540 3221224592 3221223308 134553612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30897 29020 1111 63 0 30834 0
vsize: 123588
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 30593 0 0 0 19923 79 0 0 25 0 1 0 833986621 131874816 30297 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32196 30297 1111 63 0 32133 0
vsize: 128784
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 31826 0 0 0 20919 83 0 0 25 0 1 0 833986621 136740864 31530 4294967295 134512640 134714540 3221224592 3221223428 134623280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33384 31530 1111 63 0 33321 0
vsize: 133536
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 33186 0 0 0 21916 86 0 0 25 0 1 0 833986621 142139392 32889 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34702 32889 1111 63 0 34639 0
vsize: 138808
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 34452 0 0 0 22912 91 0 0 25 0 1 0 833986621 147140608 34155 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35923 34155 1111 63 0 35860 0
vsize: 143692
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 36350 0 0 0 23907 96 0 0 25 0 1 0 833986621 156606464 35925 4294967295 134512640 134714540 3221224592 3221223296 134556513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38234 35925 1111 63 0 38171 0
vsize: 152936
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 37405 0 0 0 24904 99 0 0 25 0 1 0 833986621 160796672 36979 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39257 36979 1111 63 0 39194 0
vsize: 157028
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 38563 0 0 0 25901 102 0 0 25 0 1 0 833986621 165466112 38131 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40397 38131 1111 63 0 40334 0
vsize: 161588
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 39661 0 0 0 26898 105 0 0 25 0 1 0 833986621 169811968 39228 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41458 39228 1111 63 0 41395 0
vsize: 165832
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 39701 0 0 0 27897 106 0 0 25 0 1 0 833986621 169947136 39268 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41491 39268 1111 63 0 41428 0
vsize: 165964
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 40057 0 0 0 28896 108 0 0 25 0 1 0 833986621 171433984 39624 4294967295 134512640 134714540 3221224592 3221223288 134558568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41854 39624 1111 63 0 41791 0
vsize: 167416
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 41639 0 0 0 29892 112 0 0 25 0 1 0 833986621 177954816 41206 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43446 41206 1111 63 0 43383 0
vsize: 173784
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 43115 0 0 0 30890 114 0 0 25 0 1 0 833986621 184385536 42666 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45016 42666 1111 63 0 44953 0
vsize: 180064
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 44462 0 0 0 31885 119 0 0 25 0 1 0 833986621 189661184 44013 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46304 44013 1111 63 0 46241 0
vsize: 185216
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 45742 0 0 0 32882 122 0 0 25 0 1 0 833986621 194932736 45293 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47591 45293 1111 63 0 47528 0
vsize: 190364
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 47345 0 0 0 33879 125 0 0 25 0 1 0 833986621 202108928 46827 4294967295 134512640 134714540 3221224592 3221223300 134556757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49343 46827 1111 63 0 49280 0
vsize: 197372
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 48587 0 0 0 34876 128 0 0 25 0 1 0 833986621 206974976 48067 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50531 48067 1111 63 0 50468 0
vsize: 202124
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 49828 0 0 0 35871 133 0 0 25 0 1 0 833986621 211976192 49307 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51752 49307 1111 63 0 51689 0
vsize: 207008
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9509
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 51065 0 0 0 36869 136 0 0 25 0 1 0 833986621 216854528 50544 4294967295 134512640 134714540 3221224592 3221223340 134543569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52943 50544 1111 63 0 52880 0
vsize: 211772
[startup+380.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 52971 0 0 0 37862 141 0 0 25 0 1 0 833986621 225902592 52335 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55152 52335 1111 63 0 55089 0
vsize: 220608
[startup+390.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 53996 0 0 0 38859 144 0 0 25 0 1 0 833986621 230297600 53335 4294967295 134512640 134714540 3221224592 3221223364 134624782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56225 53335 1111 63 0 56162 0
vsize: 224900
[startup+400.022 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 55333 0 0 0 39855 148 0 0 25 0 1 0 833986621 235724800 54672 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57550 54672 1111 63 0 57487 0
vsize: 230200
[startup+410.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 56497 0 0 0 40851 152 0 0 25 0 1 0 833986621 240590848 55836 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58738 55836 1111 63 0 58675 0
vsize: 234952
[startup+420.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 56925 0 0 0 41850 153 0 0 25 0 1 0 833986621 242819072 56264 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59282 56264 1111 63 0 59219 0
vsize: 237128
[startup+430.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 56931 0 0 0 42849 154 0 0 25 0 1 0 833986621 242819072 56270 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59282 56270 1111 63 0 59219 0
vsize: 237128
[startup+440.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9562
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 56997 0 0 0 43849 154 0 0 25 0 1 0 833986621 243089408 56336 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59348 56336 1111 63 0 59285 0
vsize: 237392
[startup+450.026 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 58382 0 0 0 44846 158 0 0 25 0 1 0 833986621 247984128 57568 4294967295 134512640 134714540 3221224592 3221223428 134623280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60543 57568 1111 63 0 60480 0
vsize: 242172
[startup+460.026 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 59605 0 0 0 45844 160 0 0 25 0 1 0 833986621 252919808 58786 4294967295 134512640 134714540 3221224592 3221223328 134556870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61748 58786 1111 63 0 61685 0
vsize: 246992
[startup+470.026 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 60819 0 0 0 46841 164 0 0 25 0 1 0 833986621 257785856 59999 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62936 59999 1111 63 0 62873 0
vsize: 251744
[startup+480.027 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 62043 0 0 0 47838 167 0 0 25 0 1 0 833986621 262651904 61223 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64124 61223 1111 63 0 64061 0
vsize: 256496
[startup+490.027 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 62195 0 0 0 48837 167 0 0 25 0 1 0 833986621 263327744 61375 4294967295 134512640 134714540 3221224592 3221223288 134558561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64289 61375 1111 63 0 64226 0
vsize: 257156
[startup+500.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 62415 0 0 0 49837 168 0 0 25 0 1 0 833986621 264273920 61595 4294967295 134512640 134714540 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64520 61595 1111 63 0 64457 0
vsize: 258080
[startup+510.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 62538 0 0 0 50836 169 0 0 25 0 1 0 833986621 264679424 61718 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64619 61718 1111 63 0 64556 0
vsize: 258476
[startup+520.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 63446 0 0 0 51833 172 0 0 25 0 1 0 833986621 268468224 62626 4294967295 134512640 134714540 3221224592 3221223168 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 62626 1111 63 0 65481 0
vsize: 262176
[startup+530.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 63501 0 0 0 52834 172 0 0 25 0 1 0 833986621 268603392 62681 4294967295 134512640 134714540 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65577 62681 1111 63 0 65514 0
vsize: 262308
[startup+540.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 63753 0 0 0 53833 172 0 0 25 0 1 0 833986621 269684736 62933 4294967295 134512640 134714540 3221224592 3221223376 134624377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65841 62933 1111 63 0 65778 0
vsize: 263364
[startup+550.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 63935 0 0 0 54833 173 0 0 25 0 1 0 833986621 270495744 63115 4294967295 134512640 134714540 3221224592 3221223296 134556763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66039 63115 1111 63 0 65976 0
vsize: 264156
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 64093 0 0 0 55832 174 0 0 25 0 1 0 833986621 271036416 63273 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66171 63273 1111 63 0 66108 0
vsize: 264684
[startup+570.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 64708 0 0 0 56830 176 0 0 25 0 1 0 833986621 273612800 63888 4294967295 134512640 134714540 3221224592 3221223408 134622189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66800 63888 1111 63 0 66737 0
vsize: 267200
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 64894 0 0 0 57830 177 0 0 25 0 1 0 833986621 274423808 64074 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66998 64074 1111 63 0 66935 0
vsize: 267992
[startup+590.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 64894 0 0 0 58830 177 0 0 25 0 1 0 833986621 274423808 64074 4294967295 134512640 134714540 3221224592 3221223328 134556884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66998 64074 1111 63 0 66935 0
vsize: 267992
[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65103 0 0 0 59829 178 0 0 25 0 1 0 833986621 275238912 64283 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67197 64283 1111 63 0 67134 0
vsize: 268788
[startup+610.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65138 0 0 0 60828 179 0 0 25 0 1 0 833986621 275374080 64318 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67230 64318 1111 63 0 67167 0
vsize: 268920
[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 61828 180 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 62828 180 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223388 134673068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+640.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 63828 180 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 64828 180 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223408 134610886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 65828 180 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+670.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 66828 181 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223392 134610922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+680.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 67828 181 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+690.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 68828 181 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+700.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 69828 182 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65335 0 0 0 70828 182 0 0 25 0 1 0 833986621 276185088 64515 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67428 64515 1111 63 0 67365 0
vsize: 269712
[startup+720.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9564
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 65533 0 0 0 71828 183 0 0 25 0 1 0 833986621 276996096 64713 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67626 64713 1111 63 0 67563 0
vsize: 270504
[startup+730.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 66054 0 0 0 72827 184 0 0 25 0 1 0 833986621 279166976 65234 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68156 65234 1111 63 0 68093 0
vsize: 272624
[startup+740.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 66714 0 0 0 73825 185 0 0 25 0 1 0 833986621 281886720 65894 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68820 65894 1111 63 0 68757 0
vsize: 275280
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 67287 0 0 0 74824 187 0 0 25 0 1 0 833986621 284192768 66467 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69383 66467 1111 63 0 69320 0
vsize: 277532
[startup+760.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 67834 0 0 0 75822 189 0 0 25 0 1 0 833986621 286490624 67014 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69944 67014 1111 63 0 69881 0
vsize: 279776
[startup+770.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 68551 0 0 0 76820 191 0 0 25 0 1 0 833986621 289808384 67720 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70754 67720 1111 63 0 70691 0
vsize: 283016
[startup+780.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 68653 0 0 0 77820 192 0 0 25 0 1 0 833986621 290213888 67822 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70853 67822 1111 63 0 70790 0
vsize: 283412
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 68703 0 0 0 78820 192 0 0 25 0 1 0 833986621 290357248 67872 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70888 67872 1111 63 0 70825 0
vsize: 283552
[startup+800.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 69178 0 0 0 79818 193 0 0 25 0 1 0 833986621 292388864 68347 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71384 68347 1111 63 0 71321 0
vsize: 285536
[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 69845 0 0 0 80816 196 0 0 25 0 1 0 833986621 295100416 69014 4294967295 134512640 134714540 3221224592 3221223368 134543141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72046 69014 1111 63 0 71983 0
vsize: 288184
[startup+820.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 70631 0 0 0 81815 198 0 0 25 0 1 0 833986621 298377216 69800 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72846 69800 1111 63 0 72783 0
vsize: 291384
[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 71421 0 0 0 82813 199 0 0 25 0 1 0 833986621 301625344 70590 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73639 70590 1111 63 0 73576 0
vsize: 294556
[startup+840.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 72279 0 0 0 83811 202 0 0 25 0 1 0 833986621 305172480 71448 4294967295 134512640 134714540 3221224592 3221223336 134536883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74505 71448 1111 63 0 74442 0
vsize: 298020
[startup+850.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 73021 0 0 0 84808 205 0 0 25 0 1 0 833986621 308281344 72190 4294967295 134512640 134714540 3221224592 3221223292 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75264 72190 1111 63 0 75201 0
vsize: 301056
[startup+860.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 73800 0 0 0 85806 207 0 0 25 0 1 0 833986621 311873536 72965 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76141 72965 1111 63 0 76078 0
vsize: 304564
[startup+870.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 74912 0 0 0 86804 210 0 0 25 0 1 0 833986621 316338176 74077 4294967295 134512640 134714540 3221224592 3221223328 134556870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77231 74077 1111 63 0 77168 0
vsize: 308924
[startup+880.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 76601 0 0 0 87799 215 0 0 25 0 1 0 833986621 323383296 75766 4294967295 134512640 134714540 3221224592 3221223312 134556677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78951 75766 1111 63 0 78888 0
vsize: 315804
[startup+890.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 78417 0 0 0 88795 219 0 0 25 0 1 0 833986621 330924032 77569 4294967295 134512640 134714540 3221224592 3221223352 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80792 77569 1111 63 0 80729 0
vsize: 323168
[startup+900.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 79984 0 0 0 89791 224 0 0 25 0 1 0 833986621 337276928 79136 4294967295 134512640 134714540 3221224592 3221223304 134558568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82343 79136 1111 63 0 82280 0
vsize: 329372
[startup+910.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 81916 0 0 0 90785 229 0 0 25 0 1 0 833986621 345919488 81028 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84453 81028 1111 63 0 84390 0
vsize: 337812
[startup+920.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 83564 0 0 0 91782 233 0 0 25 0 1 0 833986621 352407552 82676 4294967295 134512640 134714540 3221224592 3221223312 134556674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86037 82676 1111 63 0 85974 0
vsize: 344148
[startup+930.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 85224 0 0 0 92778 237 0 0 25 0 1 0 833986621 359030784 84334 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87654 84334 1111 63 0 87591 0
vsize: 350616
[startup+940.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86101 0 0 0 93775 240 0 0 25 0 1 0 833986621 362680320 85211 4294967295 134512640 134714540 3221224592 3221223328 134556523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88545 85211 1111 63 0 88482 0
vsize: 354180
[startup+950.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86442 0 0 0 94774 242 0 0 25 0 1 0 833986621 364040192 85552 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88877 85552 1111 63 0 88814 0
vsize: 355508
[startup+960.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86442 0 0 0 95774 242 0 0 25 0 1 0 833986621 364040192 85552 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88877 85552 1111 63 0 88814 0
vsize: 355508
[startup+970.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86442 0 0 0 96774 242 0 0 25 0 1 0 833986621 364040192 85552 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88877 85552 1111 63 0 88814 0
vsize: 355508
[startup+980.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86442 0 0 0 97774 243 0 0 25 0 1 0 833986621 364040192 85552 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88877 85552 1111 63 0 88814 0
vsize: 355508
[startup+990.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86493 0 0 0 98773 244 0 0 25 0 1 0 833986621 364285952 85603 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88937 85603 1111 63 0 88874 0
vsize: 355748
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86546 0 0 0 99773 244 0 0 25 0 1 0 833986621 364421120 85656 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88970 85656 1111 63 0 88907 0
vsize: 355880
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86624 0 0 0 100773 244 0 0 25 0 1 0 833986621 364802048 85734 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89063 85734 1111 63 0 89000 0
vsize: 356252
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86628 0 0 0 101773 245 0 0 25 0 1 0 833986621 364802048 85738 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89063 85738 1111 63 0 89000 0
vsize: 356252
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86628 0 0 0 102773 245 0 0 25 0 1 0 833986621 364802048 85738 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89063 85738 1111 63 0 89000 0
vsize: 356252
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86667 0 0 0 103773 245 0 0 25 0 1 0 833986621 364941312 85777 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89097 85777 1111 63 0 89034 0
vsize: 356388
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86667 0 0 0 104773 245 0 0 25 0 1 0 833986621 364941312 85777 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89097 85777 1111 63 0 89034 0
vsize: 356388
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86667 0 0 0 105773 245 0 0 25 0 1 0 833986621 364941312 85777 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89097 85777 1111 63 0 89034 0
vsize: 356388
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86667 0 0 0 106773 245 0 0 25 0 1 0 833986621 364941312 85777 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89097 85777 1111 63 0 89034 0
vsize: 356388
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86667 0 0 0 107773 245 0 0 25 0 1 0 833986621 364941312 85777 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89097 85777 1111 63 0 89034 0
vsize: 356388
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86677 0 0 0 108773 246 0 0 25 0 1 0 833986621 364941312 85787 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89097 85787 1111 63 0 89034 0
vsize: 356388
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86767 0 0 0 109772 246 0 0 25 0 1 0 833986621 365346816 85877 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89196 85877 1111 63 0 89133 0
vsize: 356784
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86767 0 0 0 110772 247 0 0 25 0 1 0 833986621 365346816 85877 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89196 85877 1111 63 0 89133 0
vsize: 356784
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86767 0 0 0 111772 247 0 0 25 0 1 0 833986621 365346816 85877 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89196 85877 1111 63 0 89133 0
vsize: 356784
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 86767 0 0 0 112772 247 0 0 25 0 1 0 833986621 365346816 85877 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89196 85877 1111 63 0 89133 0
vsize: 356784
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 87182 0 0 0 113771 248 0 0 25 0 1 0 833986621 367112192 86292 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89627 86292 1111 63 0 89564 0
vsize: 358508
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 87347 0 0 0 114770 249 0 0 25 0 1 0 833986621 367652864 86457 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89759 86457 1111 63 0 89696 0
vsize: 359036
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 87347 0 0 0 115770 249 0 0 25 0 1 0 833986621 367652864 86457 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89759 86457 1111 63 0 89696 0
vsize: 359036
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 87347 0 0 0 116770 249 0 0 25 0 1 0 833986621 367652864 86457 4294967295 134512640 134714540 3221224592 3221223376 134622095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89759 86457 1111 63 0 89696 0
vsize: 359036
[startup+1175.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 9566
Raw data (stat): 9509 (bsolo_mis) R 9508 3394 3393 0 -1 0 87347 0 0 0 116770 249 0 0 25 0 1 0 833986621 367652864 86457 4294967295 134512640 134714540 3221224592 3221223376 134622095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89759 86457 1111 63 0 89696 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.17
CPU user time (s): 1172.51
CPU system time (s): 2.65859
CPU usage (%): 100.012
Max. virtual memory (Kb): 359036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####