PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 26591

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 16:21:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12431 boxname=wulflinc11 idbench=957 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 12431
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        409508 kB
Buffers:         38200 kB
Cached:         551208 kB
SwapCached:         84 kB
Active:          74096 kB
Inactive:       527992 kB
HighTotal:      131008 kB
HighFree:        29064 kB
LowTotal:       903652 kB
LowFree:        380444 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            17536 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:40:53 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 12431 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1232 constraints.
c preprocess terminated 259.483 s
c Initial Lower Bound: 19659
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.92 0.96 0.98 2/54 26848
Raw data (stat): 26848 (runsolver) R 26847 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773411465 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 41941 0 0 0 921 77 0 0 25 0 1 0 773411465 185405440 41919 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45265 41919 1111 63 0 45202 0
vsize: 181060
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 55368 0 0 0 1899 98 0 0 25 0 1 0 773411465 240439296 55346 4294967295 134512640 134714540 3221224592 3221222896 134566804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58701 55346 1111 63 0 58638 0
vsize: 234804
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 56748 0 0 0 2895 102 0 0 25 0 1 0 773411465 246116352 56726 4294967295 134512640 134714540 3221224592 3221223092 1077757598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60087 56726 1111 63 0 60024 0
vsize: 240348
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 57997 0 0 0 3892 105 0 0 25 0 1 0 773411465 241340416 57939 4294967295 134512640 134714540 3221224592 3221222972 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58921 57939 1111 63 0 58858 0
vsize: 235684
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58000 0 0 0 4892 105 0 0 25 0 1 0 773411465 241340416 57942 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58921 57942 1111 63 0 58858 0
vsize: 235684
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58004 0 0 0 5892 106 0 0 25 0 1 0 773411465 241340416 57946 4294967295 134512640 134714540 3221224592 3221222976 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58921 57946 1111 63 0 58858 0
vsize: 235684
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58007 0 0 0 6892 106 0 0 25 0 1 0 773411465 241340416 57949 4294967295 134512640 134714540 3221224592 3221222956 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58921 57949 1111 63 0 58858 0
vsize: 235684
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58012 0 0 0 7892 106 0 0 25 0 1 0 773411465 241475584 57954 4294967295 134512640 134714540 3221224592 3221223148 134542983 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58954 57954 1111 63 0 58891 0
vsize: 235816
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58021 0 0 0 8891 107 0 0 25 0 1 0 773411465 241475584 57963 4294967295 134512640 134714540 3221224592 3221223464 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58954 57963 1111 63 0 58891 0
vsize: 235816
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58028 0 0 0 9891 107 0 0 25 0 1 0 773411465 241475584 57970 4294967295 134512640 134714540 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58954 57970 1111 63 0 58891 0
vsize: 235816
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58034 0 0 0 10891 107 0 0 25 0 1 0 773411465 241475584 57976 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58954 57976 1111 63 0 58891 0
vsize: 235816
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58041 0 0 0 11891 108 0 0 25 0 1 0 773411465 241475584 57983 4294967295 134512640 134714540 3221224592 3221223120 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58954 57983 1111 63 0 58891 0
vsize: 235816
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58047 0 0 0 12890 108 0 0 25 0 1 0 773411465 241610752 57989 4294967295 134512640 134714540 3221224592 3221223216 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 57989 1111 63 0 58924 0
vsize: 235948
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58051 0 0 0 13890 108 0 0 25 0 1 0 773411465 241610752 57993 4294967295 134512640 134714540 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 57993 1111 63 0 58924 0
vsize: 235948
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58055 0 0 0 14890 109 0 0 25 0 1 0 773411465 241610752 57997 4294967295 134512640 134714540 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 57997 1111 63 0 58924 0
vsize: 235948
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58063 0 0 0 15890 109 0 0 25 0 1 0 773411465 241610752 58005 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 58005 1111 63 0 58924 0
vsize: 235948
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58068 0 0 0 16889 109 0 0 25 0 1 0 773411465 241610752 58010 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 58010 1111 63 0 58924 0
vsize: 235948
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58073 0 0 0 17889 110 0 0 25 0 1 0 773411465 241610752 58015 4294967295 134512640 134714540 3221224592 3221223060 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58987 58015 1111 63 0 58924 0
vsize: 235948
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58076 0 0 0 18889 110 0 0 25 0 1 0 773411465 241745920 58018 4294967295 134512640 134714540 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59020 58018 1111 63 0 58957 0
vsize: 236080
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58082 0 0 0 19888 110 0 0 25 0 1 0 773411465 241745920 58024 4294967295 134512640 134714540 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59020 58024 1111 63 0 58957 0
vsize: 236080
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58088 0 0 0 20888 111 0 0 25 0 1 0 773411465 241745920 58030 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59020 58030 1111 63 0 58957 0
vsize: 236080
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58096 0 0 0 21888 111 0 0 25 0 1 0 773411465 241745920 58038 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59020 58038 1111 63 0 58957 0
vsize: 236080
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58102 0 0 0 22888 112 0 0 25 0 1 0 773411465 241745920 58044 4294967295 134512640 134714540 3221224592 3221223100 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59020 58044 1111 63 0 58957 0
vsize: 236080
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58111 0 0 0 23887 112 0 0 25 0 1 0 773411465 241885184 58053 4294967295 134512640 134714540 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59054 58053 1111 63 0 58991 0
vsize: 236216
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58116 0 0 0 24887 112 0 0 25 0 1 0 773411465 241885184 58058 4294967295 134512640 134714540 3221224592 3221222972 134539270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59054 58058 1111 63 0 58991 0
vsize: 236216
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58463 0 0 0 25886 113 0 0 25 0 1 0 773411465 243331072 58405 4294967295 134512640 134714540 3221224592 3221223328 134695241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59407 58405 1111 63 0 59344 0
vsize: 237628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58537 0 0 0 26885 114 0 0 25 0 1 0 773411465 243601408 58479 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59473 58479 1111 63 0 59410 0
vsize: 237892
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58667 0 0 0 27884 115 0 0 25 0 1 0 773411465 244142080 58609 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59605 58609 1111 63 0 59542 0
vsize: 238420
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58777 0 0 0 28884 115 0 0 25 0 1 0 773411465 244547584 58719 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59704 58719 1111 63 0 59641 0
vsize: 238816
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58804 0 0 0 29883 116 0 0 25 0 1 0 773411465 244682752 58746 4294967295 134512640 134714540 3221224592 3221223168 134542753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59737 58746 1111 63 0 59674 0
vsize: 238948
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58850 0 0 0 30883 117 0 0 25 0 1 0 773411465 244817920 58792 4294967295 134512640 134714540 3221224592 3221223220 134696293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59770 58792 1111 63 0 59707 0
vsize: 239080
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 58945 0 0 0 31882 118 0 0 25 0 1 0 773411465 245223424 58887 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59869 58887 1111 63 0 59806 0
vsize: 239476
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59005 0 0 0 32881 118 0 0 25 0 1 0 773411465 245493760 58947 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59935 58947 1111 63 0 59872 0
vsize: 239740
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59169 0 0 0 33881 119 0 0 25 0 1 0 773411465 246169600 59111 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60100 59111 1111 63 0 60037 0
vsize: 240400
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59169 0 0 0 34880 119 0 0 25 0 1 0 773411465 246169600 59111 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60100 59111 1111 63 0 60037 0
vsize: 240400
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59189 0 0 0 35880 119 0 0 25 0 1 0 773411465 246304768 59131 4294967295 134512640 134714540 3221224592 3221223148 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60133 59131 1111 63 0 60070 0
vsize: 240532
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59239 0 0 0 36879 120 0 0 25 0 1 0 773411465 246439936 59181 4294967295 134512640 134714540 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60166 59181 1111 63 0 60103 0
vsize: 240664
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59293 0 0 0 37879 120 0 0 25 0 1 0 773411465 246710272 59235 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60232 59235 1111 63 0 60169 0
vsize: 240928
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59328 0 0 0 38879 120 0 0 25 0 1 0 773411465 246845440 59270 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60265 59270 1111 63 0 60202 0
vsize: 241060
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59408 0 0 0 39878 121 0 0 25 0 1 0 773411465 247115776 59350 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60331 59350 1111 63 0 60268 0
vsize: 241324
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59420 0 0 0 40878 122 0 0 25 0 1 0 773411465 247250944 59362 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60364 59362 1111 63 0 60301 0
vsize: 241456
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59486 0 0 0 41877 122 0 0 25 0 1 0 773411465 247521280 59428 4294967295 134512640 134714540 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60430 59428 1111 63 0 60367 0
vsize: 241720
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59510 0 0 0 42877 122 0 0 25 0 1 0 773411465 247521280 59452 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60430 59452 1111 63 0 60367 0
vsize: 241720
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59510 0 0 0 43877 123 0 0 25 0 1 0 773411465 247521280 59452 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60430 59452 1111 63 0 60367 0
vsize: 241720
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59540 0 0 0 44876 123 0 0 25 0 1 0 773411465 247656448 59482 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60463 59482 1111 63 0 60400 0
vsize: 241852
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59540 0 0 0 45876 124 0 0 25 0 1 0 773411465 247656448 59482 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60463 59482 1111 63 0 60400 0
vsize: 241852
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59554 0 0 0 46876 124 0 0 25 0 1 0 773411465 247791616 59496 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60496 59496 1111 63 0 60433 0
vsize: 241984
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59608 0 0 0 47875 124 0 0 25 0 1 0 773411465 247926784 59550 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60529 59550 1111 63 0 60466 0
vsize: 242116
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59716 0 0 0 48874 125 0 0 25 0 1 0 773411465 248430592 59658 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60652 59658 1111 63 0 60589 0
vsize: 242608
[startup+500.019 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59716 0 0 0 49874 125 0 0 25 0 1 0 773411465 248430592 59658 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60652 59658 1111 63 0 60589 0
vsize: 242608
[startup+510.019 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59716 0 0 0 50874 125 0 0 25 0 1 0 773411465 248430592 59658 4294967295 134512640 134714540 3221224592 3221223328 134695303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60652 59658 1111 63 0 60589 0
vsize: 242608
[startup+520.019 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59721 0 0 0 51873 126 0 0 25 0 1 0 773411465 248430592 59663 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60652 59663 1111 63 0 60589 0
vsize: 242608
[startup+530.02 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59851 0 0 0 52873 127 0 0 25 0 1 0 773411465 248971264 59793 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60784 59793 1111 63 0 60721 0
vsize: 243136
[startup+540.021 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59851 0 0 0 53873 127 0 0 25 0 1 0 773411465 248971264 59793 4294967295 134512640 134714540 3221224592 3221223216 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60784 59793 1111 63 0 60721 0
vsize: 243136
[startup+550.02 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59851 0 0 0 54872 128 0 0 25 0 1 0 773411465 248971264 59793 4294967295 134512640 134714540 3221224592 3221223280 134556775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60784 59793 1111 63 0 60721 0
vsize: 243136
[startup+560.021 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59854 0 0 0 55872 128 0 0 25 0 1 0 773411465 248971264 59796 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60784 59796 1111 63 0 60721 0
vsize: 243136
[startup+570.022 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 59869 0 0 0 56872 128 0 0 25 0 1 0 773411465 248971264 59811 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60784 59811 1111 63 0 60721 0
vsize: 243136
[startup+580.022 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60116 0 0 0 57871 129 0 0 25 0 1 0 773411465 250052608 60058 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61048 60058 1111 63 0 60985 0
vsize: 244192
[startup+590.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60133 0 0 0 58871 129 0 0 25 0 1 0 773411465 250052608 60075 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61048 60075 1111 63 0 60985 0
vsize: 244192
[startup+600.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60133 0 0 0 59870 130 0 0 25 0 1 0 773411465 250052608 60075 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61048 60075 1111 63 0 60985 0
vsize: 244192
[startup+610.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60133 0 0 0 60870 130 0 0 25 0 1 0 773411465 250052608 60075 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61048 60075 1111 63 0 60985 0
vsize: 244192
[startup+620.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60144 0 0 0 61870 130 0 0 25 0 1 0 773411465 250187776 60086 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61081 60086 1111 63 0 61018 0
vsize: 244324
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60144 0 0 0 62870 130 0 0 25 0 1 0 773411465 250187776 60086 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61081 60086 1111 63 0 61018 0
vsize: 244324
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60144 0 0 0 63870 131 0 0 25 0 1 0 773411465 250187776 60086 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61081 60086 1111 63 0 61018 0
vsize: 244324
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60144 0 0 0 64870 131 0 0 25 0 1 0 773411465 250187776 60086 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61081 60086 1111 63 0 61018 0
vsize: 244324
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60179 0 0 0 65870 131 0 0 25 0 1 0 773411465 250322944 60121 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61114 60121 1111 63 0 61051 0
vsize: 244456
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60202 0 0 0 66870 131 0 0 25 0 1 0 773411465 250458112 60144 4294967295 134512640 134714540 3221224592 3221223320 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61147 60144 1111 63 0 61084 0
vsize: 244588
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60202 0 0 0 67870 132 0 0 25 0 1 0 773411465 250458112 60144 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61147 60144 1111 63 0 61084 0
vsize: 244588
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60217 0 0 0 68869 132 0 0 25 0 1 0 773411465 250458112 60159 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61147 60159 1111 63 0 61084 0
vsize: 244588
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60217 0 0 0 69869 133 0 0 25 0 1 0 773411465 250458112 60159 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61147 60159 1111 63 0 61084 0
vsize: 244588
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60217 0 0 0 70869 133 0 0 25 0 1 0 773411465 250458112 60159 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61147 60159 1111 63 0 61084 0
vsize: 244588
[startup+720.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60403 0 0 0 71868 134 0 0 25 0 1 0 773411465 251269120 60345 4294967295 134512640 134714540 3221224592 3221223152 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61345 60345 1111 63 0 61282 0
vsize: 245380
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60403 0 0 0 72868 134 0 0 25 0 1 0 773411465 251265024 60345 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60345 1111 63 0 61281 0
vsize: 245376
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 73867 135 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 74867 135 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 75867 136 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223336 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+770.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 76867 136 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 77866 136 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223152 134696619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60415 0 0 0 78866 136 0 0 25 0 1 0 773411465 251265024 60357 4294967295 134512640 134714540 3221224592 3221223216 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61344 60357 1111 63 0 61281 0
vsize: 245376
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60610 0 0 0 79865 137 0 0 25 0 1 0 773411465 252076032 60552 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61542 60552 1111 63 0 61479 0
vsize: 246168
[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60610 0 0 0 80865 138 0 0 25 0 1 0 773411465 252076032 60552 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61542 60552 1111 63 0 61479 0
vsize: 246168
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60610 0 0 0 81864 139 0 0 25 0 1 0 773411465 252076032 60552 4294967295 134512640 134714540 3221224592 3221223184 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61542 60552 1111 63 0 61479 0
vsize: 246168
[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60610 0 0 0 82864 139 0 0 25 0 1 0 773411465 252076032 60552 4294967295 134512640 134714540 3221224592 3221223352 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61542 60552 1111 63 0 61479 0
vsize: 246168
[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60709 0 0 0 83864 140 0 0 25 0 1 0 773411465 252481536 60651 4294967295 134512640 134714540 3221224592 3221223232 134696092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61641 60651 1111 63 0 61578 0
vsize: 246564
[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60709 0 0 0 84864 140 0 0 25 0 1 0 773411465 252481536 60651 4294967295 134512640 134714540 3221224592 3221223328 134622774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61641 60651 1111 63 0 61578 0
vsize: 246564
[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60713 0 0 0 85864 141 0 0 25 0 1 0 773411465 252481536 60655 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61641 60655 1111 63 0 61578 0
vsize: 246564
[startup+870.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60862 0 0 0 86863 142 0 0 25 0 1 0 773411465 253157376 60804 4294967295 134512640 134714540 3221224592 3221223384 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61806 60804 1111 63 0 61743 0
vsize: 247224
[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60866 0 0 0 87862 142 0 0 25 0 1 0 773411465 253157376 60808 4294967295 134512640 134714540 3221224592 3221223360 134556745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61806 60808 1111 63 0 61743 0
vsize: 247224
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60866 0 0 0 88862 142 0 0 25 0 1 0 773411465 253157376 60808 4294967295 134512640 134714540 3221224592 3221223408 134611108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61806 60808 1111 63 0 61743 0
vsize: 247224
[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60888 0 0 0 89862 143 0 0 25 0 1 0 773411465 253157376 60830 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61806 60830 1111 63 0 61743 0
vsize: 247224
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 60959 0 0 0 90862 143 0 0 25 0 1 0 773411465 253562880 60901 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61905 60901 1111 63 0 61842 0
vsize: 247620
[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61055 0 0 0 91861 144 0 0 25 0 1 0 773411465 253833216 60997 4294967295 134512640 134714540 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61971 60997 1111 63 0 61908 0
vsize: 247884
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61055 0 0 0 92861 144 0 0 25 0 1 0 773411465 253833216 60997 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61971 60997 1111 63 0 61908 0
vsize: 247884
[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61078 0 0 0 93860 145 0 0 25 0 1 0 773411465 253968384 61020 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62004 61020 1111 63 0 61941 0
vsize: 248016
[startup+950.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61078 0 0 0 94860 146 0 0 25 0 1 0 773411465 253968384 61020 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62004 61020 1111 63 0 61941 0
vsize: 248016
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61091 0 0 0 95860 146 0 0 25 0 1 0 773411465 254103552 61033 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62037 61033 1111 63 0 61974 0
vsize: 248148
[startup+970.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61150 0 0 0 96859 147 0 0 25 0 1 0 773411465 254238720 61092 4294967295 134512640 134714540 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62070 61092 1111 63 0 62007 0
vsize: 248280
[startup+980.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61177 0 0 0 97859 147 0 0 25 0 1 0 773411465 254373888 61119 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62103 61119 1111 63 0 62040 0
vsize: 248412
[startup+990.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61204 0 0 0 98859 148 0 0 25 0 1 0 773411465 254509056 61146 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62136 61146 1111 63 0 62073 0
vsize: 248544
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61204 0 0 0 99858 148 0 0 25 0 1 0 773411465 254509056 61146 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62136 61146 1111 63 0 62073 0
vsize: 248544
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61291 0 0 0 100858 148 0 0 25 0 1 0 773411465 254914560 61233 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62235 61233 1111 63 0 62172 0
vsize: 248940
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61300 0 0 0 101858 149 0 0 25 0 1 0 773411465 254914560 61242 4294967295 134512640 134714540 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62235 61242 1111 63 0 62172 0
vsize: 248940
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 102858 149 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223364 134624428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 103858 149 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223320 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 104857 150 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 105857 150 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 106857 150 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 107857 151 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223352 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 108856 152 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223312 134622791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 109856 152 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 110856 152 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 111856 152 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 112856 153 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 113856 153 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223172 134696296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 114855 154 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 115855 154 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 116855 154 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 249204
[startup+1175.08 s]
Raw data (loadavg): 1.00 0.99 0.99 1/53 26848
Raw data (stat): 26848 (bsolo_mis) R 26847 25830 25829 0 -1 0 61375 0 0 0 116855 154 0 0 25 0 1 0 773411465 255184896 61317 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62301 61317 1111 63 0 62238 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.13
CPU user time (s): 1173.47
CPU system time (s): 1.65675
CPU usage (%): 100.004
Max. virtual memory (Kb): 249204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####