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-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
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	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 27730

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 23:01:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16136 boxname=wulflinc23 idbench=1242 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 16136
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        865552 kB
Buffers:         10080 kB
Cached:         137452 kB
SwapCached:        640 kB
Active:          33424 kB
Inactive:       116576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        865300 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5624 kB
Slab:            13428 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:21:14 (client local time) WITH STATUS 0 IN 1175.31 SECONDS
stats: 16136 7 1175.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 4060 variables and 294 constraints.
c After prepocess the problem consists of 3659 variables and 293 constraints.
c preprocess terminated 1.621 s
c Initial Lower Bound: -16383
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.69 0.85 0.87 2/54 11797
Raw data (stat): 11797 (runsolver) R 11796 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834041237 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.74 0.86 0.87 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 4050 0 0 0 990 8 0 0 25 0 1 0 834041237 20320256 4026 4294967295 134512640 134714540 3221224592 3221223424 134623286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4961 4026 1111 63 0 4898 0
vsize: 19844
[startup+20.0012 s]
Raw data (loadavg): 0.78 0.86 0.87 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 5806 0 0 0 1984 14 0 0 25 0 1 0 834041237 27496448 5782 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6713 5782 1111 63 0 6650 0
vsize: 26852
[startup+30.0015 s]
Raw data (loadavg): 0.81 0.86 0.87 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 7437 0 0 0 2979 20 0 0 25 0 1 0 834041237 34340864 7413 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8384 7413 1111 63 0 8321 0
vsize: 33536
[startup+40.0016 s]
Raw data (loadavg): 0.84 0.87 0.87 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 9069 0 0 0 3973 25 0 0 25 0 1 0 834041237 41488384 9020 4294967295 134512640 134714540 3221224592 3221223312 134556899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10129 9020 1111 63 0 10066 0
vsize: 40516
[startup+50.0022 s]
Raw data (loadavg): 0.86 0.87 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 10585 0 0 0 4970 29 0 0 25 0 1 0 834041237 47558656 10534 4294967295 134512640 134714540 3221224592 3221223340 134536856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11611 10534 1111 63 0 11548 0
vsize: 46444
[startup+60.0014 s]
Raw data (loadavg): 0.88 0.88 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 12441 0 0 0 5962 36 0 0 25 0 1 0 834041237 55832576 12303 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13631 12303 1111 63 0 13568 0
vsize: 54524
[startup+70.0025 s]
Raw data (loadavg): 0.90 0.88 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 13843 0 0 0 6959 40 0 0 25 0 1 0 834041237 61435904 13693 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14999 13693 1111 63 0 14936 0
vsize: 59996
[startup+80.0031 s]
Raw data (loadavg): 0.92 0.88 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 15226 0 0 0 7953 46 0 0 25 0 1 0 834041237 66977792 15076 4294967295 134512640 134714540 3221224592 3221223312 134556498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16352 15076 1111 63 0 16289 0
vsize: 65408
[startup+90.0024 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 16716 0 0 0 8948 51 0 0 25 0 1 0 834041237 72986624 16561 4294967295 134512640 134714540 3221224592 3221223292 134558607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17819 16561 1111 63 0 17756 0
vsize: 71276
[startup+100.002 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 18099 0 0 0 9943 56 0 0 25 0 1 0 834041237 78393344 17944 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19139 17944 1111 63 0 19076 0
vsize: 76556
[startup+110.003 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 19456 0 0 0 10940 60 0 0 25 0 1 0 834041237 83800064 19301 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20459 19301 1111 63 0 20396 0
vsize: 81836
[startup+120.003 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 21599 0 0 0 11935 64 0 0 25 0 1 0 834041237 94740480 21264 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23130 21264 1111 63 0 23067 0
vsize: 92520
[startup+130.003 s]
Raw data (loadavg): 0.96 0.90 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 22996 0 0 0 12931 69 0 0 25 0 1 0 834041237 100347904 22652 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24499 22652 1111 63 0 24436 0
vsize: 97996
[startup+140.003 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 24264 0 0 0 13926 74 0 0 25 0 1 0 834041237 105414656 23911 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25736 23911 1111 63 0 25673 0
vsize: 102944
[startup+150.003 s]
Raw data (loadavg): 1.05 0.92 0.89 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 25612 0 0 0 14920 80 0 0 25 0 1 0 834041237 110686208 25259 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27023 25259 1111 63 0 26960 0
vsize: 108092
[startup+160.003 s]
Raw data (loadavg): 1.04 0.92 0.89 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 26970 0 0 0 15917 83 0 0 25 0 1 0 834041237 116092928 26617 4294967295 134512640 134714540 3221224592 3221223432 134623277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28343 26617 1111 63 0 28280 0
vsize: 113372
[startup+170.004 s]
Raw data (loadavg): 1.04 0.92 0.89 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 28323 0 0 0 16913 87 0 0 25 0 1 0 834041237 121606144 27957 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29689 27957 1111 63 0 29626 0
vsize: 118756
[startup+180.004 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 29861 0 0 0 17908 93 0 0 25 0 1 0 834041237 127655936 29495 4294967295 134512640 134714540 3221224592 3221223328 134556562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31166 29495 1111 63 0 31103 0
vsize: 124664
[startup+190.004 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 31200 0 0 0 18904 97 0 0 25 0 1 0 834041237 132927488 30834 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32453 30834 1111 63 0 32390 0
vsize: 129812
[startup+200.005 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 32477 0 0 0 19900 101 0 0 25 0 1 0 834041237 137928704 32111 4294967295 134512640 134714540 3221224592 3221223424 134623286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33674 32111 1111 63 0 33611 0
vsize: 134696
[startup+210.005 s]
Raw data (loadavg): 1.02 0.93 0.90 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 33852 0 0 0 20895 106 0 0 25 0 1 0 834041237 143335424 33486 4294967295 134512640 134714540 3221224592 3221223296 134556911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34994 33486 1111 63 0 34931 0
vsize: 139976
[startup+220.01 s]
Raw data (loadavg): 1.01 0.93 0.90 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 35200 0 0 0 21890 111 0 0 25 0 1 0 834041237 148742144 34834 4294967295 134512640 134714540 3221224592 3221223348 134624487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36314 34834 1111 63 0 36251 0
vsize: 145256
[startup+230.011 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 38952 0 0 0 22880 121 0 0 25 0 1 0 834041237 164687872 36905 4294967295 134512640 134714540 3221224592 3221223332 134556384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40207 36905 1111 63 0 40144 0
vsize: 160828
[startup+240.01 s]
Raw data (loadavg): 1.09 0.95 0.90 2/54 11797
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 40301 0 0 0 23876 126 0 0 25 0 1 0 834041237 169959424 38254 4294967295 134512640 134714540 3221224592 3221223316 134556497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41494 38254 1111 63 0 41431 0
vsize: 165976
[startup+250.011 s]
Raw data (loadavg): 1.15 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 41769 0 0 0 24871 131 0 0 25 0 1 0 834041237 175562752 39640 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42862 39640 1111 63 0 42799 0
vsize: 171448
[startup+260.012 s]
Raw data (loadavg): 1.13 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 43135 0 0 0 25866 136 0 0 25 0 1 0 834041237 180969472 41006 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44182 41006 1111 63 0 44119 0
vsize: 176728
[startup+270.012 s]
Raw data (loadavg): 1.11 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 44302 0 0 0 26863 139 0 0 25 0 1 0 834041237 185487360 42091 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45285 42091 1111 63 0 45222 0
vsize: 181140
[startup+280.012 s]
Raw data (loadavg): 1.09 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 45614 0 0 0 27858 144 0 0 25 0 1 0 834041237 190623744 43403 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46539 43403 1111 63 0 46476 0
vsize: 186156
[startup+290.013 s]
Raw data (loadavg): 1.08 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 46920 0 0 0 28854 148 0 0 25 0 1 0 834041237 195624960 44709 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47760 44709 1111 63 0 47697 0
vsize: 191040
[startup+300.013 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 48210 0 0 0 29850 153 0 0 25 0 1 0 834041237 200761344 45999 4294967295 134512640 134714540 3221224592 3221223136 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49014 45999 1111 63 0 48951 0
vsize: 196056
[startup+310.013 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 49493 0 0 0 30847 156 0 0 25 0 1 0 834041237 205762560 47282 4294967295 134512640 134714540 3221224592 3221223308 134553612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50235 47282 1111 63 0 50172 0
vsize: 200940
[startup+320.014 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 50796 0 0 0 31843 160 0 0 25 0 1 0 834041237 210898944 48585 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51489 48585 1111 63 0 51426 0
vsize: 205956
[startup+330.014 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 52103 0 0 0 32837 166 0 0 25 0 1 0 834041237 216035328 49892 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52743 49892 1111 63 0 52680 0
vsize: 210972
[startup+340.014 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 53455 0 0 0 33833 170 0 0 25 0 1 0 834041237 221433856 51153 4294967295 134512640 134714540 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54061 51153 1111 63 0 53998 0
vsize: 216244
[startup+350.014 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 54768 0 0 0 34828 175 0 0 25 0 1 0 834041237 226570240 52466 4294967295 134512640 134714540 3221224592 3221223380 134625040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55315 52466 1111 63 0 55252 0
vsize: 221260
[startup+360.015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 56695 0 0 0 35822 181 0 0 25 0 1 0 834041237 233103360 54137 4294967295 134512640 134714540 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56910 54137 1111 63 0 56847 0
vsize: 227640
[startup+370.12 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 57997 0 0 0 36829 185 0 0 25 0 1 0 834041237 238239744 55439 4294967295 134512640 134714540 3221224592 3221223328 134556562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58164 55439 1111 63 0 58101 0
vsize: 232656
[startup+380.12 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 59309 0 0 0 37824 190 0 0 25 0 1 0 834041237 243376128 56751 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59418 56751 1111 63 0 59355 0
vsize: 237672
[startup+390.12 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 60586 0 0 0 38819 195 0 0 25 0 1 0 834041237 248512512 58028 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60672 58028 1111 63 0 60609 0
vsize: 242688
[startup+400.121 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 61892 0 0 0 39816 199 0 0 25 0 1 0 834041237 253513728 59334 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61893 59334 1111 63 0 61830 0
vsize: 247572
[startup+410.12 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 63067 0 0 0 40811 203 0 0 25 0 1 0 834041237 258109440 60509 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63015 60509 1111 63 0 62952 0
vsize: 252060
[startup+420.121 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 64358 0 0 0 41807 208 0 0 25 0 1 0 834041237 263245824 61800 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64269 61800 1111 63 0 64206 0
vsize: 257076
[startup+430.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 65659 0 0 0 42803 211 0 0 25 0 1 0 834041237 268382208 63101 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65523 63101 1111 63 0 65460 0
vsize: 262092
[startup+440.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 66945 0 0 0 43799 216 0 0 25 0 1 0 834041237 273383424 64387 4294967295 134512640 134714540 3221224592 3221223312 134556763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66744 64387 1111 63 0 66681 0
vsize: 266976
[startup+450.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 73367 0 0 0 44786 229 0 0 25 0 1 0 834041237 297336832 67002 4294967295 134512640 134714540 3221224592 3221223312 134556498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72592 67002 1111 63 0 72529 0
vsize: 290368
[startup+460.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 75163 0 0 0 45781 235 0 0 25 0 1 0 834041237 303878144 68150 4294967295 134512640 134714540 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74189 68150 1111 63 0 74126 0
vsize: 296756
[startup+470.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 76678 0 0 0 46775 240 0 0 25 0 1 0 834041237 309534720 69503 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75570 69503 1111 63 0 75507 0
vsize: 302280
[startup+480.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 77929 0 0 0 47771 245 0 0 25 0 1 0 834041237 314400768 70754 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76758 70754 1111 63 0 76695 0
vsize: 307032
[startup+490.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 79234 0 0 0 48768 248 0 0 25 0 1 0 834041237 319537152 72059 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78012 72059 1111 63 0 77949 0
vsize: 312048
[startup+500.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 80733 0 0 0 49762 254 0 0 25 0 1 0 834041237 325328896 73396 4294967295 134512640 134714540 3221224592 3221223292 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79426 73396 1111 63 0 79363 0
vsize: 317704
[startup+510.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 82010 0 0 0 50757 259 0 0 25 0 1 0 834041237 330194944 74673 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80614 74673 1111 63 0 80551 0
vsize: 322456
[startup+520.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 83327 0 0 0 51752 264 0 0 25 0 1 0 834041237 335331328 75990 4294967295 134512640 134714540 3221224592 3221223360 134624430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81868 75990 1111 63 0 81805 0
vsize: 327472
[startup+530.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 84625 0 0 0 52750 267 0 0 25 0 1 0 834041237 340467712 77288 4294967295 134512640 134714540 3221224592 3221223360 134624479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83122 77288 1111 63 0 83059 0
vsize: 332488
[startup+540.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 85860 0 0 0 53746 271 0 0 25 0 1 0 834041237 345333760 78523 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84310 78523 1111 63 0 84247 0
vsize: 337240
[startup+550.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 86861 0 0 0 54743 274 0 0 25 0 1 0 834041237 349097984 79362 4294967295 134512640 134714540 3221224592 3221223296 134556927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85229 79362 1111 63 0 85166 0
vsize: 340916
[startup+560.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 88166 0 0 0 55740 277 0 0 25 0 1 0 834041237 354099200 80667 4294967295 134512640 134714540 3221224592 3221223276 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86450 80667 1111 63 0 86387 0
vsize: 345800
[startup+570.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 89462 0 0 0 56736 282 0 0 25 0 1 0 834041237 359100416 81963 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87671 81963 1111 63 0 87608 0
vsize: 350684
[startup+580.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 90730 0 0 0 57733 285 0 0 25 0 1 0 834041237 364101632 83231 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88892 83231 1111 63 0 88829 0
vsize: 355568
[startup+590.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 92011 0 0 0 58729 289 0 0 25 0 1 0 834041237 369102848 84512 4294967295 134512640 134714540 3221224592 3221223312 134556894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90113 84512 1111 63 0 90050 0
vsize: 360452
[startup+600.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 93304 0 0 0 59724 294 0 0 25 0 1 0 834041237 374104064 85805 4294967295 134512640 134714540 3221224592 3221223312 134556498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91334 85805 1111 63 0 91271 0
vsize: 365336
[startup+610.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 94601 0 0 0 60720 299 0 0 25 0 1 0 834041237 379244544 87102 4294967295 134512640 134714540 3221224592 3221223340 134543556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92589 87102 1111 63 0 92526 0
vsize: 370356
[startup+620.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 95819 0 0 0 61715 304 0 0 25 0 1 0 834041237 383975424 88320 4294967295 134512640 134714540 3221224592 3221223296 134556906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93744 88320 1111 63 0 93681 0
vsize: 374976
[startup+630.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 97107 0 0 0 62711 308 0 0 25 0 1 0 834041237 388976640 89608 4294967295 134512640 134714540 3221224592 3221223272 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94965 89608 1111 63 0 94902 0
vsize: 379860
[startup+640.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 98388 0 0 0 63708 311 0 0 25 0 1 0 834041237 393977856 90889 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96186 90889 1111 63 0 96123 0
vsize: 384744
[startup+650.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 99640 0 0 0 64705 315 0 0 25 0 1 0 834041237 398843904 92141 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97374 92141 1111 63 0 97311 0
vsize: 389496
[startup+660.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 100904 0 0 0 65700 320 0 0 25 0 1 0 834041237 403845120 93405 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98595 93405 1111 63 0 98532 0
vsize: 394380
[startup+670.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 102179 0 0 0 66696 325 0 0 25 0 1 0 834041237 408846336 94680 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99816 94680 1111 63 0 99753 0
vsize: 399264
[startup+680.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 103465 0 0 0 67691 329 0 0 25 0 1 0 834041237 413847552 95966 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101037 95966 1111 63 0 100974 0
vsize: 404148
[startup+690.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 104901 0 0 0 68686 334 0 0 25 0 1 0 834041237 419291136 97158 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102366 97158 1111 63 0 102303 0
vsize: 409464
[startup+700.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 106190 0 0 0 69683 338 0 0 25 0 1 0 834041237 424296448 98447 4294967295 134512640 134714540 3221224592 3221223396 134610593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103588 98447 1111 63 0 103525 0
vsize: 414352
[startup+710.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 107468 0 0 0 70679 343 0 0 25 0 1 0 834041237 429162496 99725 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104776 99725 1111 63 0 104713 0
vsize: 419104
[startup+720.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 108727 0 0 0 71675 347 0 0 25 0 1 0 834041237 434163712 100984 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105997 100985 1111 63 0 105934 0
vsize: 423988
[startup+730.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 111503 0 0 0 72668 354 0 0 25 0 1 0 834041237 442150912 102998 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107947 102998 1111 63 0 107884 0
vsize: 431788
[startup+740.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 112784 0 0 0 73664 358 0 0 25 0 1 0 834041237 447152128 104279 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109168 104279 1111 63 0 109105 0
vsize: 436672
[startup+750.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 114067 0 0 0 74660 362 0 0 25 0 1 0 834041237 452153344 105562 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110389 105562 1111 63 0 110326 0
vsize: 441556
[startup+760.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 115273 0 0 0 75657 365 0 0 25 0 1 0 834041237 456884224 106768 4294967295 134512640 134714540 3221224592 3221223312 134556758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111544 106768 1111 63 0 111481 0
vsize: 446176
[startup+770.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 116556 0 0 0 76652 371 0 0 25 0 1 0 834041237 461885440 108051 4294967295 134512640 134714540 3221224592 3221223296 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112765 108051 1111 63 0 112702 0
vsize: 451060
[startup+780.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 117834 0 0 0 77647 375 0 0 25 0 1 0 834041237 466890752 109329 4294967295 134512640 134714540 3221224592 3221223384 134624375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113987 109329 1111 63 0 113924 0
vsize: 455948
[startup+790.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 119095 0 0 0 78644 379 0 0 25 0 1 0 834041237 471891968 110590 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115208 110590 1111 63 0 115145 0
vsize: 460832
[startup+800.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 120346 0 0 0 79638 384 0 0 25 0 1 0 834041237 476758016 111841 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116396 111841 1111 63 0 116333 0
vsize: 465584
[startup+810.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 121620 0 0 0 80635 388 0 0 25 0 1 0 834041237 481624064 113115 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117584 113115 1111 63 0 117521 0
vsize: 470336
[startup+820.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 122874 0 0 0 81632 392 0 0 25 0 1 0 834041237 486625280 114369 4294967295 134512640 134714540 3221224592 3221223296 134556775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118805 114369 1111 63 0 118742 0
vsize: 475220
[startup+830.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 123875 0 0 0 82631 394 0 0 25 0 1 0 834041237 490409984 115370 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119729 115370 1111 63 0 119666 0
vsize: 478916
[startup+840.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 125160 0 0 0 83626 399 0 0 25 0 1 0 834041237 495411200 116655 4294967295 134512640 134714540 3221224592 3221223384 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120950 116655 1111 63 0 120887 0
vsize: 483800
[startup+850.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 126412 0 0 0 84621 404 0 0 25 0 1 0 834041237 500412416 117907 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122171 117907 1111 63 0 122108 0
vsize: 488684
[startup+860.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 127701 0 0 0 85617 408 0 0 25 0 1 0 834041237 505413632 119196 4294967295 134512640 134714540 3221224592 3221223360 134624405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123392 119196 1111 63 0 123329 0
vsize: 493568
[startup+870.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 128963 0 0 0 86614 412 0 0 25 0 1 0 834041237 510283776 120458 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124581 120458 1111 63 0 124518 0
vsize: 498324
[startup+880.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 130227 0 0 0 87609 417 0 0 25 0 1 0 834041237 515284992 121722 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125802 121722 1111 63 0 125739 0
vsize: 503208
[startup+890.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 131498 0 0 0 88605 421 0 0 25 0 1 0 834041237 520286208 122993 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127023 122993 1111 63 0 126960 0
vsize: 508092
[startup+900.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 132732 0 0 0 89600 426 0 0 25 0 1 0 834041237 525017088 124227 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128178 124227 1111 63 0 128115 0
vsize: 512712
[startup+910.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 134001 0 0 0 90596 431 0 0 25 0 1 0 834041237 530018304 125496 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129399 125496 1111 63 0 129336 0
vsize: 517596
[startup+920.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 135275 0 0 0 91592 435 0 0 25 0 1 0 834041237 535019520 126770 4294967295 134512640 134714540 3221224592 3221223300 134556757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130620 126770 1111 63 0 130557 0
vsize: 522480
[startup+930.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 147898 0 0 0 92568 460 0 0 25 0 1 0 834041237 577744896 130216 4294967295 134512640 134714540 3221224592 3221223268 134553176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141051 130216 1111 63 0 140988 0
vsize: 564204
[startup+940.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 149560 0 0 0 93563 464 0 0 25 0 1 0 834041237 583921664 131556 4294967295 134512640 134714540 3221224592 3221223332 134556744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142559 131556 1111 63 0 142496 0
vsize: 570236
[startup+950.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 151224 0 0 0 94559 469 0 0 25 0 1 0 834041237 590233600 132898 4294967295 134512640 134714540 3221224592 3221223280 134556770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144100 132898 1111 63 0 144037 0
vsize: 576400
[startup+960.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 152499 0 0 0 95555 473 0 0 25 0 1 0 834041237 595234816 134173 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145321 134173 1111 63 0 145258 0
vsize: 581284
[startup+970.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 154042 0 0 0 96550 477 0 0 25 0 1 0 834041237 600870912 135394 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146697 135394 1111 63 0 146634 0
vsize: 586788
[startup+980.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 155288 0 0 0 97547 481 0 0 25 0 1 0 834041237 605872128 136640 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147918 136640 1111 63 0 147855 0
vsize: 591672
[startup+990.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 156567 0 0 0 98543 486 0 0 25 0 1 0 834041237 610873344 137919 4294967295 134512640 134714540 3221224592 3221223360 134624430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149139 137919 1111 63 0 149076 0
vsize: 596556
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 157856 0 0 0 99539 489 0 0 25 0 1 0 834041237 615874560 139208 4294967295 134512640 134714540 3221224592 3221223292 134558630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150360 139208 1111 63 0 150297 0
vsize: 601440
[startup+1010.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 159493 0 0 0 100534 495 0 0 25 0 1 0 834041237 622051328 140523 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151868 140523 1111 63 0 151805 0
vsize: 607472
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 160778 0 0 0 101530 498 0 0 25 0 1 0 834041237 627052544 141808 4294967295 134512640 134714540 3221224592 3221223328 134556870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153089 141808 1111 63 0 153026 0
vsize: 612356
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 162057 0 0 0 102527 502 0 0 25 0 1 0 834041237 632053760 143087 4294967295 134512640 134714540 3221224592 3221223352 134556377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154310 143088 1111 63 0 154247 0
vsize: 617240
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 163303 0 0 0 103523 506 0 0 25 0 1 0 834041237 636919808 144333 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155498 144333 1111 63 0 155435 0
vsize: 621992
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 164507 0 0 0 104520 510 0 0 25 0 1 0 834041237 641650688 145537 4294967295 134512640 134714540 3221224592 3221223312 134556870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156653 145537 1111 63 0 156590 0
vsize: 626612
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 165790 0 0 0 105516 513 0 0 25 0 1 0 834041237 646516736 146820 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157841 146820 1111 63 0 157778 0
vsize: 631364
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 167076 0 0 0 106512 518 0 0 25 0 1 0 834041237 651517952 148106 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159062 148106 1111 63 0 158999 0
vsize: 636248
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 168280 0 0 0 107509 521 0 0 25 0 1 0 834041237 656384000 149310 4294967295 134512640 134714540 3221224592 3221223312 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160250 149310 1111 63 0 160187 0
vsize: 641000
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 169564 0 0 0 108505 525 0 0 25 0 1 0 834041237 661385216 150594 4294967295 134512640 134714540 3221224592 3221223384 134542460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161471 150594 1111 63 0 161408 0
vsize: 645884
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 170805 0 0 0 109501 529 0 0 25 0 1 0 834041237 666116096 151835 4294967295 134512640 134714540 3221224592 3221223336 134556383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162626 151836 1111 63 0 162563 0
vsize: 650504
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 171949 0 0 0 110498 533 0 0 25 0 1 0 834041237 670711808 152979 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163748 152979 1111 63 0 163685 0
vsize: 654992
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 172661 0 0 0 111496 535 0 0 25 0 1 0 834041237 672968704 153369 4294967295 134512640 134714540 3221224592 3221223284 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164299 153369 1111 63 0 164236 0
vsize: 657196
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 173829 0 0 0 112492 539 0 0 25 0 1 0 834041237 677564416 154537 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165421 154537 1111 63 0 165358 0
vsize: 661684
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 175050 0 0 0 113488 543 0 0 25 0 1 0 834041237 682295296 155758 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166576 155758 1111 63 0 166513 0
vsize: 666304
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 176250 0 0 0 114483 548 0 0 25 0 1 0 834041237 687026176 156958 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167731 156958 1111 63 0 167668 0
vsize: 670924
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 177450 0 0 0 115479 552 0 0 25 0 1 0 834041237 691757056 158158 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168886 158158 1111 63 0 168823 0
vsize: 675544
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 178676 0 0 0 116475 557 0 0 25 0 1 0 834041237 696487936 159384 4294967295 134512640 134714540 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170041 159384 1111 63 0 169978 0
vsize: 680164
[startup+1175.16 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 11799
Raw data (stat): 11797 (bsolo_mis) R 11796 5562 5561 0 -1 0 178676 0 0 0 116475 557 0 0 25 0 1 0 834041237 696487936 159384 4294967295 134512640 134714540 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170041 159384 1111 63 0 169978 0
vsize: 0

Child status: 0
Real time (s): 1175.16
CPU time (s): 1175.31
CPU user time (s): 1169.41
CPU system time (s): 5.9001
CPU usage (%): 100.013
Max. virtual memory (Kb): 680164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####