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-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
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	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 27824

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        886108 kB
Buffers:         14212 kB
Cached:          96176 kB
SwapCached:        452 kB
Active:          19096 kB
Inactive:       108104 kB
HighTotal:      131008 kB
HighFree:        82684 kB
LowTotal:       903652 kB
LowFree:        803424 kB
SwapTotal:     2097892 kB
SwapFree:      2096860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            15620 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:36:07 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 15694 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 36360 variables and 2220 constraints.
c After prepocess the problem consists of 16254 variables and 2220 constraints.
c preprocess terminated 323.955 s
c Initial Lower Bound: -72887101
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.92 0.95 0.97 2/54 14135
Raw data (stat): 14135 (runsolver) R 14134 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834140465 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 1215 0 0 0 996 2 0 0 25 0 1 0 834140465 18034688 1193 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 1193 1111 63 0 4340 0
vsize: 17612
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 1979 0 0 0 1995 4 0 0 25 0 1 0 834140465 21139456 1957 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5161 1957 1111 63 0 5098 0
vsize: 20644
[startup+30 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 2757 0 0 0 2993 5 0 0 25 0 1 0 834140465 24383488 2735 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 2735 1111 63 0 5890 0
vsize: 23812
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 3557 0 0 0 3992 7 0 0 25 0 1 0 834140465 27656192 3535 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6752 3535 1111 63 0 6689 0
vsize: 27008
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 4360 0 0 0 4990 9 0 0 25 0 1 0 834140465 30904320 4338 4294967295 134512640 134714540 3221224592 3221222680 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7545 4339 1111 63 0 7482 0
vsize: 30180
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 5218 0 0 0 5988 11 0 0 25 0 1 0 834140465 34435072 5196 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8407 5196 1111 63 0 8344 0
vsize: 33628
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 6125 0 0 0 6987 12 0 0 25 0 1 0 834140465 38285312 6103 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9347 6103 1111 63 0 9284 0
vsize: 37388
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 7079 0 0 0 7986 14 0 0 25 0 1 0 834140465 42098688 7057 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10278 7057 1111 63 0 10215 0
vsize: 41112
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 8103 0 0 0 8984 16 0 0 25 0 1 0 834140465 46333952 8081 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11312 8081 1111 63 0 11249 0
vsize: 45248
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 9152 0 0 0 9983 17 0 0 25 0 1 0 834140465 50569216 9130 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 9130 1111 63 0 12283 0
vsize: 49384
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 10293 0 0 0 10980 20 0 0 25 0 1 0 834140465 55226368 10271 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13483 10271 1111 63 0 13420 0
vsize: 53932
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 11542 0 0 0 11979 22 0 0 25 0 1 0 834140465 60309504 11520 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14724 11520 1111 63 0 14661 0
vsize: 58896
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 12846 0 0 0 12977 23 0 0 25 0 1 0 834140465 65781760 12824 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16060 12824 1111 63 0 15997 0
vsize: 64240
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 14214 0 0 0 13975 26 0 0 25 0 1 0 834140465 71430144 14192 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17439 14192 1111 63 0 17376 0
vsize: 69756
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 15639 0 0 0 14972 29 0 0 25 0 1 0 834140465 77221888 15617 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18853 15617 1111 63 0 18790 0
vsize: 75412
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 17133 0 0 0 15970 32 0 0 25 0 1 0 834140465 83292160 17111 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20335 17111 1111 63 0 20272 0
vsize: 81340
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 18613 0 0 0 16967 34 0 0 25 0 1 0 834140465 89362432 18591 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21817 18591 1111 63 0 21754 0
vsize: 87268
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 20134 0 0 0 17963 38 0 0 25 0 1 0 834140465 95576064 20112 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23334 20112 1111 63 0 23271 0
vsize: 93336
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 21711 0 0 0 18961 41 0 0 25 0 1 0 834140465 102076416 21689 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24921 21689 1111 63 0 24858 0
vsize: 99684
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 26483 0 0 0 19951 50 0 0 25 0 1 0 834140465 121815040 26456 4294967295 134512640 134714540 3221224592 3221221132 1077091164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29740 26456 1111 63 0 29677 0
vsize: 118960
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 27958 0 0 0 20946 55 0 0 25 0 1 0 834140465 127918080 27931 4294967295 134512640 134714540 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31230 27931 1111 63 0 31167 0
vsize: 124920
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 28773 0 0 0 21943 58 0 0 25 0 1 0 834140465 131457024 28746 4294967295 134512640 134714540 3221224592 3221222868 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32094 28746 1111 63 0 32031 0
vsize: 128376
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 29279 0 0 0 22942 60 0 0 25 0 1 0 834140465 133525504 29252 4294967295 134512640 134714540 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32599 29252 1111 63 0 32536 0
vsize: 130396
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 30923 0 0 0 23936 65 0 0 25 0 1 0 834140465 140292096 30896 4294967295 134512640 134714540 3221224592 3221221068 1077198272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34251 30896 1111 63 0 34188 0
vsize: 137004
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 31941 0 0 0 24933 68 0 0 25 0 1 0 834140465 144494592 31914 4294967295 134512640 134714540 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35277 31914 1111 63 0 35214 0
vsize: 141108
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 32788 0 0 0 25931 70 0 0 25 0 1 0 834140465 148213760 32761 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36185 32761 1111 63 0 36122 0
vsize: 144740
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 33429 0 0 0 26929 72 0 0 25 0 1 0 834140465 150949888 33402 4294967295 134512640 134714540 3221224592 3221223148 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36853 33402 1111 63 0 36790 0
vsize: 147412
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 34036 0 0 0 27926 74 0 0 25 0 1 0 834140465 153563136 34009 4294967295 134512640 134714540 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37491 34009 1111 63 0 37428 0
vsize: 149964
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 35033 0 0 0 28925 77 0 0 25 0 1 0 834140465 157650944 35006 4294967295 134512640 134714540 3221224592 3221221212 1077253688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38489 35006 1111 63 0 38426 0
vsize: 153956
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 57983 0 0 0 29874 127 0 0 25 0 1 0 834140465 168017920 39650 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41020 39650 1111 63 0 40957 0
vsize: 164080
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 236883 0 0 0 30474 528 0 0 25 0 1 0 834140465 192028672 45534 4294967295 134512640 134714540 3221224592 3221223180 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46882 45534 1111 63 0 46819 0
vsize: 187528
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 412112 0 0 0 31080 922 0 0 25 0 1 0 834140465 183623680 43427 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44830 43427 1111 63 0 44767 0
vsize: 179320
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475741 0 0 0 31941 1061 0 0 25 0 1 0 834140465 193650688 45818 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47278 45818 1111 63 0 47215 0
vsize: 189112
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475741 0 0 0 32941 1061 0 0 25 0 1 0 834140465 193650688 45818 4294967295 134512640 134714540 3221224592 3221223328 134695267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47278 45818 1111 63 0 47215 0
vsize: 189112
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475741 0 0 0 33941 1062 0 0 25 0 1 0 834140465 193650688 45818 4294967295 134512640 134714540 3221224592 3221223328 134556480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47278 45818 1111 63 0 47215 0
vsize: 189112
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475741 0 0 0 34940 1062 0 0 25 0 1 0 834140465 193650688 45818 4294967295 134512640 134714540 3221224592 3221223312 134556870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47278 45818 1111 63 0 47215 0
vsize: 189112
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475741 0 0 0 35940 1063 0 0 25 0 1 0 834140465 193650688 45818 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45818 1111 63 0 47215 0
vsize: 189112
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475743 0 0 0 36940 1063 0 0 25 0 1 0 834140465 193650688 45820 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45820 1111 63 0 47215 0
vsize: 189112
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475743 0 0 0 37940 1063 0 0 25 0 1 0 834140465 193650688 45820 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45820 1111 63 0 47215 0
vsize: 189112
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475743 0 0 0 38940 1063 0 0 25 0 1 0 834140465 193650688 45820 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45820 1111 63 0 47215 0
vsize: 189112
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475743 0 0 0 39941 1063 0 0 25 0 1 0 834140465 193650688 45820 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45820 1111 63 0 47215 0
vsize: 189112
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475743 0 0 0 40941 1063 0 0 25 0 1 0 834140465 193650688 45820 4294967295 134512640 134714540 3221224592 3221223328 134695322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45820 1111 63 0 47215 0
vsize: 189112
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475745 0 0 0 41942 1063 0 0 25 0 1 0 834140465 193650688 45822 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45822 1111 63 0 47215 0
vsize: 189112
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475745 0 0 0 42942 1063 0 0 25 0 1 0 834140465 193650688 45822 4294967295 134512640 134714540 3221224592 3221223232 134695885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45822 1111 63 0 47215 0
vsize: 189112
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475745 0 0 0 43942 1063 0 0 25 0 1 0 834140465 193650688 45822 4294967295 134512640 134714540 3221224592 3221223408 134611108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45822 1111 63 0 47215 0
vsize: 189112
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475745 0 0 0 44942 1063 0 0 25 0 1 0 834140465 193650688 45822 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45822 1111 63 0 47215 0
vsize: 189112
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475745 0 0 0 45942 1063 0 0 25 0 1 0 834140465 193650688 45822 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45822 1111 63 0 47215 0
vsize: 189112
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475747 0 0 0 46942 1064 0 0 25 0 1 0 834140465 193650688 45824 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45824 1111 63 0 47215 0
vsize: 189112
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475748 0 0 0 47942 1064 0 0 25 0 1 0 834140465 193650688 45825 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45825 1111 63 0 47215 0
vsize: 189112
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475748 0 0 0 48942 1064 0 0 25 0 1 0 834140465 193650688 45825 4294967295 134512640 134714540 3221224592 3221223328 134695338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45825 1111 63 0 47215 0
vsize: 189112
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475750 0 0 0 49942 1064 0 0 25 0 1 0 834140465 193650688 45827 4294967295 134512640 134714540 3221224592 3221223184 134695889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45827 1111 63 0 47215 0
vsize: 189112
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475750 0 0 0 50942 1064 0 0 25 0 1 0 834140465 193650688 45827 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45827 1111 63 0 47215 0
vsize: 189112
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475750 0 0 0 51943 1064 0 0 25 0 1 0 834140465 193650688 45827 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45827 1111 63 0 47215 0
vsize: 189112
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475750 0 0 0 52942 1064 0 0 25 0 1 0 834140465 193650688 45827 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45827 1111 63 0 47215 0
vsize: 189112
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475752 0 0 0 53942 1065 0 0 25 0 1 0 834140465 193650688 45829 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45829 1111 63 0 47215 0
vsize: 189112
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 54943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 55943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 56943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 57943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 58943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475753 0 0 0 59943 1065 0 0 25 0 1 0 834140465 193650688 45830 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45830 1111 63 0 47215 0
vsize: 189112
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 60943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223356 134556732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 61943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223408 134611584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 62943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 63943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 64943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475754 0 0 0 65943 1066 0 0 25 0 1 0 834140465 193650688 45831 4294967295 134512640 134714540 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45831 1111 63 0 47215 0
vsize: 189112
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475755 0 0 0 66943 1067 0 0 25 0 1 0 834140465 193650688 45832 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45832 1111 63 0 47215 0
vsize: 189112
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 67943 1067 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 68943 1067 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 69943 1067 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223376 134624772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 70943 1067 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 71943 1068 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475756 0 0 0 72943 1068 0 0 25 0 1 0 834140465 193650688 45833 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45833 1111 63 0 47215 0
vsize: 189112
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475757 0 0 0 73943 1068 0 0 25 0 1 0 834140465 193650688 45834 4294967295 134512640 134714540 3221224592 3221223396 134611046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45834 1111 63 0 47215 0
vsize: 189112
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 74943 1068 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 75943 1068 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 76943 1068 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223312 134556884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 77943 1068 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 78943 1069 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223312 134556894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475758 0 0 0 79943 1069 0 0 25 0 1 0 834140465 193650688 45835 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45835 1111 63 0 47215 0
vsize: 189112
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475759 0 0 0 80943 1069 0 0 25 0 1 0 834140465 193650688 45836 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45836 1111 63 0 47215 0
vsize: 189112
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475759 0 0 0 81943 1069 0 0 25 0 1 0 834140465 193650688 45836 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45836 1111 63 0 47215 0
vsize: 189112
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475759 0 0 0 82943 1069 0 0 25 0 1 0 834140465 193650688 45836 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45836 1111 63 0 47215 0
vsize: 189112
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475759 0 0 0 83943 1070 0 0 25 0 1 0 834140465 193650688 45836 4294967295 134512640 134714540 3221224592 3221223308 134558607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45836 1111 63 0 47215 0
vsize: 189112
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475759 0 0 0 84943 1070 0 0 25 0 1 0 834140465 193650688 45836 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45836 1111 63 0 47215 0
vsize: 189112
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 85943 1070 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223328 134695388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 86943 1070 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 87943 1070 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223328 134695331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 88943 1071 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223328 134695206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 89943 1071 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475760 0 0 0 90943 1071 0 0 25 0 1 0 834140465 193650688 45837 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47278 45837 1111 63 0 47215 0
vsize: 189112
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475761 0 0 0 91943 1071 0 0 25 0 1 0 834140465 193785856 45838 4294967295 134512640 134714540 3221224592 3221223388 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45838 1111 63 0 47248 0
vsize: 189244
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475761 0 0 0 92943 1072 0 0 25 0 1 0 834140465 193785856 45838 4294967295 134512640 134714540 3221224592 3221223328 134695382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45838 1111 63 0 47248 0
vsize: 189244
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475761 0 0 0 93943 1072 0 0 25 0 1 0 834140465 193785856 45838 4294967295 134512640 134714540 3221224592 3221223312 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45838 1111 63 0 47248 0
vsize: 189244
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475761 0 0 0 94943 1072 0 0 25 0 1 0 834140465 193785856 45838 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45838 1111 63 0 47248 0
vsize: 189244
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475762 0 0 0 95943 1072 0 0 25 0 1 0 834140465 193785856 45839 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45839 1111 63 0 47248 0
vsize: 189244
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475762 0 0 0 96943 1072 0 0 25 0 1 0 834140465 193785856 45839 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45839 1111 63 0 47248 0
vsize: 189244
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475762 0 0 0 97943 1072 0 0 25 0 1 0 834140465 193785856 45839 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45839 1111 63 0 47248 0
vsize: 189244
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475762 0 0 0 98943 1072 0 0 25 0 1 0 834140465 193785856 45839 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45839 1111 63 0 47248 0
vsize: 189244
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 3/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475762 0 0 0 99943 1073 0 0 25 0 1 0 834140465 193785856 45839 4294967295 134512640 134714540 3221224592 3221223408 134611108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45839 1111 63 0 47248 0
vsize: 189244
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475763 0 0 0 100943 1073 0 0 25 0 1 0 834140465 193785856 45840 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45840 1111 63 0 47248 0
vsize: 189244
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475763 0 0 0 101943 1073 0 0 25 0 1 0 834140465 193785856 45840 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45840 1111 63 0 47248 0
vsize: 189244
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475763 0 0 0 102943 1073 0 0 25 0 1 0 834140465 193785856 45840 4294967295 134512640 134714540 3221224592 3221223376 134624457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45840 1111 63 0 47248 0
vsize: 189244
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475763 0 0 0 103943 1073 0 0 25 0 1 0 834140465 193785856 45840 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45840 1111 63 0 47248 0
vsize: 189244
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475763 0 0 0 104944 1073 0 0 25 0 1 0 834140465 193785856 45840 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45840 1111 63 0 47248 0
vsize: 189244
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475765 0 0 0 105944 1073 0 0 25 0 1 0 834140465 193785856 45842 4294967295 134512640 134714540 3221224592 3221223328 134695349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45842 1111 63 0 47248 0
vsize: 189244
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475765 0 0 0 106944 1074 0 0 25 0 1 0 834140465 193785856 45842 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45842 1111 63 0 47248 0
vsize: 189244
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475765 0 0 0 107944 1074 0 0 25 0 1 0 834140465 193785856 45842 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45842 1111 63 0 47248 0
vsize: 189244
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475765 0 0 0 108944 1074 0 0 25 0 1 0 834140465 193785856 45842 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45842 1111 63 0 47248 0
vsize: 189244
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475765 0 0 0 109944 1074 0 0 25 0 1 0 834140465 193785856 45842 4294967295 134512640 134714540 3221224592 3221223360 134695709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45842 1111 63 0 47248 0
vsize: 189244
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475766 0 0 0 110944 1074 0 0 25 0 1 0 834140465 193785856 45843 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45843 1111 63 0 47248 0
vsize: 189244
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475766 0 0 0 111944 1074 0 0 25 0 1 0 834140465 193785856 45843 4294967295 134512640 134714540 3221224592 3221223328 134695292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45843 1111 63 0 47248 0
vsize: 189244
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475766 0 0 0 112944 1075 0 0 25 0 1 0 834140465 193785856 45843 4294967295 134512640 134714540 3221224592 3221223312 134556653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45843 1111 63 0 47248 0
vsize: 189244
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475766 0 0 0 113944 1075 0 0 25 0 1 0 834140465 193785856 45843 4294967295 134512640 134714540 3221224592 3221223280 134695926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45843 1111 63 0 47248 0
vsize: 189244
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475768 0 0 0 114944 1075 0 0 25 0 1 0 834140465 193785856 45845 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45845 1111 63 0 47248 0
vsize: 189244
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475768 0 0 0 115944 1075 0 0 25 0 1 0 834140465 193785856 45845 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45845 1111 63 0 47248 0
vsize: 189244
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 14135
Raw data (stat): 14135 (bsolo_mis) R 14134 7475 7474 0 -1 0 475768 0 0 0 115944 1075 0 0 25 0 1 0 834140465 193785856 45845 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47311 45845 1111 63 0 47248 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.11
CPU user time (s): 1164.27
CPU system time (s): 10.8424
CPU usage (%): 100.015
Max. virtual memory (Kb): 189244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####