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/miplib3/normalized-mps-v2-20-10-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	920
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.54
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 28359

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917576 kB
Buffers:          8288 kB
Cached:          88528 kB
SwapCached:        696 kB
Active:          18692 kB
Inactive:        80524 kB
HighTotal:      131008 kB
HighFree:        96068 kB
LowTotal:       903652 kB
LowFree:        821508 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12156 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:15:22 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 13146 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 330 constraints.
c preprocess terminated 7.884 s
c Initial Lower Bound: 332
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.92 2/54 6986
Raw data (stat): 6986 (runsolver) R 6985 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776865834 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.0007 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 11784 0 0 0 969 29 0 0 25 0 1 0 776865834 51892224 11754 4294967295 134512640 134714540 3221224592 3221223212 134613764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12669 11754 1111 63 0 12606 0
vsize: 50676
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 12198 0 0 0 1966 32 0 0 25 0 1 0 776865834 53649408 12168 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13098 12168 1111 63 0 13035 0
vsize: 52392
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 12604 0 0 0 2965 34 0 0 25 0 1 0 776865834 55271424 12574 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13494 12574 1111 63 0 13431 0
vsize: 53976
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 12862 0 0 0 3963 35 0 0 25 0 1 0 776865834 56352768 12832 4294967295 134512640 134714540 3221224592 3221223308 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13758 12832 1111 63 0 13695 0
vsize: 55032
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 12998 0 0 0 4963 36 0 0 25 0 1 0 776865834 56893440 12968 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13890 12968 1111 63 0 13827 0
vsize: 55560
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13202 0 0 0 5962 37 0 0 25 0 1 0 776865834 57704448 13172 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14088 13172 1111 63 0 14025 0
vsize: 56352
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13316 0 0 0 6961 38 0 0 25 0 1 0 776865834 58245120 13286 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14220 13286 1111 63 0 14157 0
vsize: 56880
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13417 0 0 0 7961 39 0 0 25 0 1 0 776865834 58650624 13387 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14319 13387 1111 63 0 14256 0
vsize: 57276
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13608 0 0 0 8960 40 0 0 25 0 1 0 776865834 59326464 13578 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14484 13578 1111 63 0 14421 0
vsize: 57936
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13735 0 0 0 9960 40 0 0 25 0 1 0 776865834 59867136 13705 4294967295 134512640 134714540 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14616 13705 1111 63 0 14553 0
vsize: 58464
[startup+110.02 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 13867 0 0 0 10960 41 0 0 25 0 1 0 776865834 60407808 13837 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14748 13837 1111 63 0 14685 0
vsize: 58992
[startup+120.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 14326 0 0 0 11958 43 0 0 25 0 1 0 776865834 62300160 14296 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15210 14296 1111 63 0 15147 0
vsize: 60840
[startup+130.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 14600 0 0 0 12958 45 0 0 25 0 1 0 776865834 63479808 14570 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15498 14570 1111 63 0 15435 0
vsize: 61992
[startup+140.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 14838 0 0 0 13956 46 0 0 25 0 1 0 776865834 64401408 14808 4294967295 134512640 134714540 3221224592 3221223152 134540186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15723 14808 1111 63 0 15660 0
vsize: 62892
[startup+150.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15047 0 0 0 14955 47 0 0 25 0 1 0 776865834 65347584 15017 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15954 15017 1111 63 0 15891 0
vsize: 63816
[startup+160.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15378 0 0 0 15954 49 0 0 25 0 1 0 776865834 66707456 15348 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16286 15348 1111 63 0 16223 0
vsize: 65144
[startup+170.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15583 0 0 0 16953 50 0 0 25 0 1 0 776865834 67522560 15553 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16485 15553 1111 63 0 16422 0
vsize: 65940
[startup+180.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15606 0 0 0 17953 50 0 0 25 0 1 0 776865834 67522560 15576 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16485 15576 1111 63 0 16422 0
vsize: 65940
[startup+190.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15945 0 0 0 18952 51 0 0 25 0 1 0 776865834 69013504 15915 4294967295 134512640 134714540 3221224592 3221223488 134621504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16849 15915 1111 63 0 16786 0
vsize: 67396
[startup+200.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 15945 0 0 0 19951 52 0 0 25 0 1 0 776865834 69013504 15915 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16849 15915 1111 63 0 16786 0
vsize: 67396
[startup+210.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16030 0 0 0 20951 53 0 0 25 0 1 0 776865834 69283840 16000 4294967295 134512640 134714540 3221224592 3221223264 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16915 16000 1111 63 0 16852 0
vsize: 67660
[startup+220.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16105 0 0 0 21949 54 0 0 25 0 1 0 776865834 69554176 16075 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 16075 1111 63 0 16918 0
vsize: 67924
[startup+230.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16255 0 0 0 22948 56 0 0 25 0 1 0 776865834 70234112 16225 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16225 1111 63 0 17084 0
vsize: 68588
[startup+240.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16461 0 0 0 23947 57 0 0 25 0 1 0 776865834 71045120 16431 4294967295 134512640 134714540 3221224592 3221223168 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16431 1111 63 0 17282 0
vsize: 69380
[startup+250.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6986
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16461 0 0 0 24947 57 0 0 25 0 1 0 776865834 71045120 16431 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16431 1111 63 0 17282 0
vsize: 69380
[startup+260.044 s]
Raw data (loadavg): 0.99 0.97 0.92 3/57 7022
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16465 0 0 0 25948 57 0 0 25 0 1 0 776865834 71045120 16435 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16435 1111 63 0 17282 0
vsize: 69380
[startup+270.044 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16467 0 0 0 26948 57 0 0 25 0 1 0 776865834 71045120 16437 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16437 1111 63 0 17282 0
vsize: 69380
[startup+280.044 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16569 0 0 0 27948 57 0 0 25 0 1 0 776865834 71585792 16539 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17477 16539 1111 63 0 17414 0
vsize: 69908
[startup+290.052 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16635 0 0 0 28948 58 0 0 25 0 1 0 776865834 71856128 16605 4294967295 134512640 134714540 3221224592 3221223312 134622735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17543 16605 1111 63 0 17480 0
vsize: 70172
[startup+300.058 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16667 0 0 0 29949 58 0 0 25 0 1 0 776865834 71856128 16637 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17543 16637 1111 63 0 17480 0
vsize: 70172
[startup+310.058 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16791 0 0 0 30949 58 0 0 25 0 1 0 776865834 72396800 16761 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17675 16761 1111 63 0 17612 0
vsize: 70700
[startup+320.063 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7039
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16819 0 0 0 31949 59 0 0 25 0 1 0 776865834 72531968 16789 4294967295 134512640 134714540 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17708 16789 1111 63 0 17645 0
vsize: 70832
[startup+330.073 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16897 0 0 0 32950 59 0 0 25 0 1 0 776865834 72802304 16867 4294967295 134512640 134714540 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17774 16867 1111 63 0 17711 0
vsize: 71096
[startup+340.073 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 16970 0 0 0 33949 60 0 0 25 0 1 0 776865834 73207808 16940 4294967295 134512640 134714540 3221224592 3221223400 134622200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17873 16940 1111 63 0 17810 0
vsize: 71492
[startup+350.074 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17212 0 0 0 34949 61 0 0 25 0 1 0 776865834 74153984 17182 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18104 17182 1111 63 0 18041 0
vsize: 72416
[startup+360.075 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17301 0 0 0 35949 61 0 0 25 0 1 0 776865834 74559488 17271 4294967295 134512640 134714540 3221224592 3221223392 134588065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18203 17271 1111 63 0 18140 0
vsize: 72812
[startup+370.074 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17301 0 0 0 36948 61 0 0 25 0 1 0 776865834 74559488 17271 4294967295 134512640 134714540 3221224592 3221223148 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18203 17271 1111 63 0 18140 0
vsize: 72812
[startup+380.074 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17349 0 0 0 37948 62 0 0 25 0 1 0 776865834 74694656 17319 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18236 17319 1111 63 0 18173 0
vsize: 72944
[startup+390.078 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17419 0 0 0 38949 62 0 0 25 0 1 0 776865834 74936320 17389 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17389 1111 63 0 18232 0
vsize: 73180
[startup+400.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17419 0 0 0 39950 62 0 0 25 0 1 0 776865834 74936320 17389 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17389 1111 63 0 18232 0
vsize: 73180
[startup+410.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17467 0 0 0 40950 62 0 0 25 0 1 0 776865834 75206656 17437 4294967295 134512640 134714540 3221224592 3221223352 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17437 1111 63 0 18298 0
vsize: 73444
[startup+420.106 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17490 0 0 0 41952 62 0 0 25 0 1 0 776865834 75296768 17460 4294967295 134512640 134714540 3221224592 3221223260 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18383 17460 1111 63 0 18320 0
vsize: 73532
[startup+430.129 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17580 0 0 0 42954 62 0 0 25 0 1 0 776865834 75702272 17550 4294967295 134512640 134714540 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+440.129 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17580 0 0 0 43954 63 0 0 25 0 1 0 776865834 75702272 17550 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+450.129 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17580 0 0 0 44954 63 0 0 25 0 1 0 776865834 75702272 17550 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+460.131 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17582 0 0 0 45954 63 0 0 25 0 1 0 776865834 75702272 17552 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17552 1111 63 0 18419 0
vsize: 73928
[startup+470.133 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17640 0 0 0 46954 64 0 0 25 0 1 0 776865834 75972608 17610 4294967295 134512640 134714540 3221224592 3221223164 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18548 17610 1111 63 0 18485 0
vsize: 74192
[startup+480.133 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17640 0 0 0 47954 64 0 0 25 0 1 0 776865834 75972608 17610 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18548 17610 1111 63 0 18485 0
vsize: 74192
[startup+490.133 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17695 0 0 0 48953 64 0 0 25 0 1 0 776865834 76107776 17665 4294967295 134512640 134714540 3221224592 3221223256 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18581 17665 1111 63 0 18518 0
vsize: 74324
[startup+500.135 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17824 0 0 0 49953 65 0 0 25 0 1 0 776865834 76697600 17794 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17794 1111 63 0 18662 0
vsize: 74900
[startup+510.136 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17824 0 0 0 50953 65 0 0 25 0 1 0 776865834 76697600 17794 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17794 1111 63 0 18662 0
vsize: 74900
[startup+520.135 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17886 0 0 0 51953 65 0 0 25 0 1 0 776865834 76972032 17856 4294967295 134512640 134714540 3221224592 3221223320 134622780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18792 17856 1111 63 0 18729 0
vsize: 75168
[startup+530.135 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 17939 0 0 0 52953 66 0 0 25 0 1 0 776865834 77107200 17909 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17909 1111 63 0 18762 0
vsize: 75300
[startup+540.136 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18123 0 0 0 53952 67 0 0 25 0 1 0 776865834 77918208 18093 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18093 1111 63 0 18960 0
vsize: 76092
[startup+550.136 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18123 0 0 0 54952 67 0 0 25 0 1 0 776865834 77918208 18093 4294967295 134512640 134714540 3221224592 3221223376 134622290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18093 1111 63 0 18960 0
vsize: 76092
[startup+560.137 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18165 0 0 0 55953 67 0 0 25 0 1 0 776865834 78053376 18135 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19056 18135 1111 63 0 18993 0
vsize: 76224
[startup+570.138 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7041
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18253 0 0 0 56953 67 0 0 25 0 1 0 776865834 78442496 18223 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19151 18223 1111 63 0 19088 0
vsize: 76604
[startup+580.138 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18377 0 0 0 57952 68 0 0 25 0 1 0 776865834 78983168 18347 4294967295 134512640 134714540 3221224592 3221223216 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19283 18347 1111 63 0 19220 0
vsize: 77132
[startup+590.138 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18579 0 0 0 58952 68 0 0 25 0 1 0 776865834 79781888 18549 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19478 18549 1111 63 0 19415 0
vsize: 77912
[startup+600.138 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 59952 68 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+610.155 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 60954 68 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+620.154 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 61954 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+630.172 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 62956 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+640.181 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 63956 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+650.181 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 64957 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223356 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+660.181 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 65957 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+670.182 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 66957 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223328 134695292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+680.182 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 67957 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223232 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+690.182 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 68957 69 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+700.183 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18676 0 0 0 69957 70 0 0 25 0 1 0 776865834 80187392 18646 4294967295 134512640 134714540 3221224592 3221223212 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+710.183 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18711 0 0 0 70957 70 0 0 25 0 1 0 776865834 80322560 18681 4294967295 134512640 134714540 3221224592 3221223296 134531581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19610 18681 1111 63 0 19547 0
vsize: 78440
[startup+720.183 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18711 0 0 0 71957 70 0 0 25 0 1 0 776865834 80322560 18681 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19610 18681 1111 63 0 19547 0
vsize: 78440
[startup+730.184 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 18839 0 0 0 72956 71 0 0 25 0 1 0 776865834 80838656 18809 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19736 18809 1111 63 0 19673 0
vsize: 78944
[startup+740.185 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19047 0 0 0 73956 71 0 0 25 0 1 0 776865834 81649664 19017 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 19017 1111 63 0 19871 0
vsize: 79736
[startup+750.185 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19047 0 0 0 74956 71 0 0 25 0 1 0 776865834 81649664 19017 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 19017 1111 63 0 19871 0
vsize: 79736
[startup+760.193 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19122 0 0 0 75957 71 0 0 25 0 1 0 776865834 81920000 19092 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20000 19092 1111 63 0 19937 0
vsize: 80000
[startup+770.193 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19265 0 0 0 76957 72 0 0 25 0 1 0 776865834 82599936 19235 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20166 19235 1111 63 0 20103 0
vsize: 80664
[startup+780.193 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19265 0 0 0 77957 72 0 0 25 0 1 0 776865834 82599936 19235 4294967295 134512640 134714540 3221224592 3221223304 134543189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20166 19235 1111 63 0 20103 0
vsize: 80664
[startup+790.193 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19369 0 0 0 78957 72 0 0 25 0 1 0 776865834 82944000 19339 4294967295 134512640 134714540 3221224592 3221223260 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20250 19339 1111 63 0 20187 0
vsize: 81000
[startup+800.193 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19664 0 0 0 79957 73 0 0 25 0 1 0 776865834 84164608 19634 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19634 1111 63 0 20485 0
vsize: 82192
[startup+810.195 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19664 0 0 0 80957 73 0 0 25 0 1 0 776865834 84164608 19634 4294967295 134512640 134714540 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19634 1111 63 0 20485 0
vsize: 82192
[startup+820.194 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19664 0 0 0 81957 73 0 0 25 0 1 0 776865834 84164608 19634 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19634 1111 63 0 20485 0
vsize: 82192
[startup+830.195 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19753 0 0 0 82957 73 0 0 25 0 1 0 776865834 84574208 19723 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20648 19723 1111 63 0 20585 0
vsize: 82592
[startup+840.195 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 19969 0 0 0 83956 74 0 0 25 0 1 0 776865834 85389312 19939 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20847 19939 1111 63 0 20784 0
vsize: 83388
[startup+850.195 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 84956 74 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+860.196 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 85956 74 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+870.196 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 86956 75 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223384 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+880.196 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 87956 75 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+890.196 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 88956 75 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+900.197 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20151 0 0 0 89956 75 0 0 25 0 1 0 776865834 86200320 20121 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+910.198 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20154 0 0 0 90956 76 0 0 25 0 1 0 776865834 86200320 20124 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20124 1111 63 0 20982 0
vsize: 84180
[startup+920.197 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20154 0 0 0 91956 76 0 0 25 0 1 0 776865834 86200320 20124 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20124 1111 63 0 20982 0
vsize: 84180
[startup+930.202 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20165 0 0 0 92957 76 0 0 25 0 1 0 776865834 86200320 20135 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+940.203 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20165 0 0 0 93957 76 0 0 25 0 1 0 776865834 86200320 20135 4294967295 134512640 134714540 3221224592 3221223164 134539341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+950.203 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20165 0 0 0 94957 76 0 0 25 0 1 0 776865834 86200320 20135 4294967295 134512640 134714540 3221224592 3221223384 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+960.203 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20165 0 0 0 95957 76 0 0 25 0 1 0 776865834 86200320 20135 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+970.205 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20203 0 0 0 96957 76 0 0 25 0 1 0 776865834 86470656 20173 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21111 20173 1111 63 0 21048 0
vsize: 84444
[startup+980.205 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20234 0 0 0 97957 76 0 0 25 0 1 0 776865834 86470656 20204 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21111 20204 1111 63 0 21048 0
vsize: 84444
[startup+990.205 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20294 0 0 0 98957 77 0 0 25 0 1 0 776865834 86745088 20264 4294967295 134512640 134714540 3221224592 3221223408 134622429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21178 20264 1111 63 0 21115 0
vsize: 84712
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20355 0 0 0 99957 77 0 0 25 0 1 0 776865834 87015424 20325 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21244 20325 1111 63 0 21181 0
vsize: 84976
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20397 0 0 0 100957 77 0 0 25 0 1 0 776865834 87150592 20367 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21277 20367 1111 63 0 21214 0
vsize: 85108
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20534 0 0 0 101957 77 0 0 25 0 1 0 776865834 87789568 20504 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21433 20504 1111 63 0 21370 0
vsize: 85732
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20534 0 0 0 102957 78 0 0 25 0 1 0 776865834 87789568 20504 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21433 20504 1111 63 0 21370 0
vsize: 85732
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20592 0 0 0 103957 78 0 0 25 0 1 0 776865834 88059904 20562 4294967295 134512640 134714540 3221224592 3221223368 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 20562 1111 63 0 21436 0
vsize: 85996
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20592 0 0 0 104957 78 0 0 25 0 1 0 776865834 88059904 20562 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 20562 1111 63 0 21436 0
vsize: 85996
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20623 0 0 0 105957 78 0 0 25 0 1 0 776865834 88059904 20593 4294967295 134512640 134714540 3221224592 3221223388 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 20593 1111 63 0 21436 0
vsize: 85996
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20716 0 0 0 106956 79 0 0 25 0 1 0 776865834 88469504 20686 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21599 20686 1111 63 0 21536 0
vsize: 86396
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 107956 79 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 108956 80 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 109956 80 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 110957 80 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1120.22 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 111957 80 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 112958 81 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1140.23 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20749 0 0 0 113959 81 0 0 25 0 1 0 776865834 88604672 20719 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1150.25 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20827 0 0 0 114960 81 0 0 25 0 1 0 776865834 89010176 20797 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21731 20797 1111 63 0 21668 0
vsize: 86924
[startup+1160.26 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20827 0 0 0 115961 81 0 0 25 0 1 0 776865834 89010176 20797 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21731 20797 1111 63 0 21668 0
vsize: 86924
[startup+1170.27 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20950 0 0 0 116962 82 0 0 25 0 1 0 776865834 89415680 20920 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21830 20920 1111 63 0 21767 0
vsize: 87320
[startup+1175.1 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 7043
Raw data (stat): 6986 (bsolo_mis) R 6985 31399 31398 0 -1 0 20950 0 0 0 116962 82 0 0 25 0 1 0 776865834 89415680 20920 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21830 20920 1111 63 0 21767 0
vsize: 0

Child status: 0
Real time (s): 1175.09
CPU time (s): 1175.06
CPU user time (s): 1174.2
CPU system time (s): 0.865868
CPU usage (%): 99.9973
Max. virtual memory (Kb): 87320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####