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/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb
MD5SUM	7d64f372313e74de659e9e56ab2d9bab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	68
Optimality of the best value was proved	NO
Number of terms in the objective function	840
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	840
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	840
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04684
Number of variables	840
Total number of constraints	2526
Number of constraints which are clauses	2502
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	35
Trace number 24364

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 20:44:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2199 boxname=wulflinc31 idbench=245 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  7d64f372313e74de659e9e56ab2d9bab  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-9pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-9pb.opb
IDLAUNCH: 2199
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        136236 kB
Buffers:         45480 kB
Cached:         818292 kB
SwapCached:        644 kB
Active:         492952 kB
Inactive:       373196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135984 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26432 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 21:03:50 (client local time) WITH STATUS 0 IN 1176.87 SECONDS
stats: 2199 7 1176.87 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 840 variables and 2526 constraints.
c After prepocess the problem consists of 700 variables and 2079 constraints.
c preprocess terminated 0.614 s
c Initial Lower Bound: 49
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.83 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.89 0.94 0.90 2/54 2838
Raw data (stat): 2838 (runsolver) R 2837 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 703579943 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 1719 0 0 0 989 7 0 0 25 0 1 0 703579943 10629120 1693 4294967295 134512640 134714540 3221221792 3221220120 1077377254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2595 1693 1111 63 0 2532 0
vsize: 10380
[startup+20 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 1866 0 0 0 1988 8 0 0 25 0 1 0 703579943 11304960 1840 4294967295 134512640 134714540 3221221792 3221220608 134622189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2760 1840 1111 63 0 2697 0
vsize: 11040
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2020 0 0 0 2988 9 0 0 25 0 1 0 703579943 11845632 1994 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1994 1111 63 0 2829 0
vsize: 11568
[startup+40.0009 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2123 0 0 0 3987 10 0 0 25 0 1 0 703579943 12386304 2097 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2097 1111 63 0 2961 0
vsize: 12096
[startup+50.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2268 0 0 0 4986 11 0 0 25 0 1 0 703579943 12926976 2242 4294967295 134512640 134714540 3221221792 3221220528 134622749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3156 2242 1111 63 0 3093 0
vsize: 12624
[startup+60.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2550 0 0 0 5986 12 0 0 25 0 1 0 703579943 14143488 2524 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2524 1111 63 0 3390 0
vsize: 13812
[startup+70.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2827 0 0 0 6984 13 0 0 25 0 1 0 703579943 15224832 2801 4294967295 134512640 134714540 3221221792 3221220576 134529398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2801 1111 63 0 3654 0
vsize: 14868
[startup+80.0029 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 2956 0 0 0 7984 13 0 0 25 0 1 0 703579943 15765504 2930 4294967295 134512640 134714540 3221221792 3221220572 134543124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 2930 1111 63 0 3786 0
vsize: 15396
[startup+90.0028 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3146 0 0 0 8983 15 0 0 25 0 1 0 703579943 16580608 3120 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3120 1111 63 0 3985 0
vsize: 16192
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3437 0 0 0 9981 17 0 0 25 0 1 0 703579943 17661952 3411 4294967295 134512640 134714540 3221221792 3221220488 134558561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4312 3411 1111 63 0 4249 0
vsize: 17248
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3491 0 0 0 10981 17 0 0 25 0 1 0 703579943 17932288 3465 4294967295 134512640 134714540 3221221792 3221220600 134622412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4378 3465 1111 63 0 4315 0
vsize: 17512
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3557 0 0 0 11980 18 0 0 25 0 1 0 703579943 18202624 3531 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4444 3531 1111 63 0 4381 0
vsize: 17776
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3753 0 0 0 12979 19 0 0 25 0 1 0 703579943 19030016 3727 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4646 3727 1111 63 0 4583 0
vsize: 18584
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3879 0 0 0 13979 20 0 0 25 0 1 0 703579943 19591168 3853 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3853 1111 63 0 4720 0
vsize: 19132
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 3934 0 0 0 14979 20 0 0 25 0 1 0 703579943 19726336 3908 4294967295 134512640 134714540 3221221792 3221220544 134624488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4816 3908 1111 63 0 4753 0
vsize: 19264
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4036 0 0 0 15979 20 0 0 25 0 1 0 703579943 20267008 4010 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4948 4010 1111 63 0 4885 0
vsize: 19792
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4104 0 0 0 16978 21 0 0 25 0 1 0 703579943 20537344 4078 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4078 1111 63 0 4951 0
vsize: 20056
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4180 0 0 0 17978 21 0 0 25 0 1 0 703579943 20807680 4154 4294967295 134512640 134714540 3221221792 3221220384 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4154 1111 63 0 5017 0
vsize: 20320
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4253 0 0 0 18977 22 0 0 25 0 1 0 703579943 21078016 4227 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4227 1111 63 0 5083 0
vsize: 20584
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4253 0 0 0 19978 22 0 0 25 0 1 0 703579943 21078016 4227 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4227 1111 63 0 5083 0
vsize: 20584
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4254 0 0 0 20978 22 0 0 25 0 1 0 703579943 21078016 4228 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4228 1111 63 0 5083 0
vsize: 20584
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4255 0 0 0 21978 22 0 0 25 0 1 0 703579943 21078016 4229 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4229 1111 63 0 5083 0
vsize: 20584
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4256 0 0 0 22978 23 0 0 25 0 1 0 703579943 21078016 4230 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4230 1111 63 0 5083 0
vsize: 20584
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4256 0 0 0 23978 23 0 0 25 0 1 0 703579943 21078016 4230 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 4230 1111 63 0 5083 0
vsize: 20584
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4263 0 0 0 24978 23 0 0 25 0 1 0 703579943 21213184 4237 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5179 4237 1111 63 0 5116 0
vsize: 20716
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4351 0 0 0 25978 23 0 0 25 0 1 0 703579943 21483520 4325 4294967295 134512640 134714540 3221221792 3221220332 134539251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5245 4325 1111 63 0 5182 0
vsize: 20980
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 4835 0 0 0 26976 25 0 0 25 0 1 0 703579943 23605248 4808 4294967295 134512640 134714540 3221221792 3221220324 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5763 4808 1111 63 0 5700 0
vsize: 23052
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5220 0 0 0 27974 27 0 0 25 0 1 0 703579943 25096192 5193 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6127 5193 1111 63 0 6064 0
vsize: 24508
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5397 0 0 0 28972 29 0 0 25 0 1 0 703579943 25931776 5370 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6331 5370 1111 63 0 6268 0
vsize: 25324
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5563 0 0 0 29972 30 0 0 25 0 1 0 703579943 26607616 5536 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6496 5536 1111 63 0 6433 0
vsize: 25984
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5614 0 0 0 30971 30 0 0 25 0 1 0 703579943 26742784 5587 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6529 5587 1111 63 0 6466 0
vsize: 26116
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5626 0 0 0 31971 30 0 0 25 0 1 0 703579943 26877952 5599 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5599 1111 63 0 6499 0
vsize: 26248
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5630 0 0 0 32972 30 0 0 25 0 1 0 703579943 26877952 5603 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5603 1111 63 0 6499 0
vsize: 26248
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5633 0 0 0 33972 30 0 0 25 0 1 0 703579943 26877952 5606 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5606 1111 63 0 6499 0
vsize: 26248
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5633 0 0 0 34972 30 0 0 25 0 1 0 703579943 26877952 5606 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5606 1111 63 0 6499 0
vsize: 26248
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5642 0 0 0 35972 30 0 0 25 0 1 0 703579943 26877952 5615 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5615 1111 63 0 6499 0
vsize: 26248
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5651 0 0 0 36972 31 0 0 25 0 1 0 703579943 26877952 5624 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5624 1111 63 0 6499 0
vsize: 26248
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5657 0 0 0 37972 31 0 0 25 0 1 0 703579943 27013120 5630 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5630 1111 63 0 6532 0
vsize: 26380
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5664 0 0 0 38972 31 0 0 25 0 1 0 703579943 27013120 5637 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5637 1111 63 0 6532 0
vsize: 26380
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5672 0 0 0 39972 31 0 0 25 0 1 0 703579943 27013120 5645 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5645 1111 63 0 6532 0
vsize: 26380
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5681 0 0 0 40972 31 0 0 25 0 1 0 703579943 27013120 5654 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5654 1111 63 0 6532 0
vsize: 26380
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5697 0 0 0 41972 31 0 0 25 0 1 0 703579943 27148288 5670 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6628 5670 1111 63 0 6565 0
vsize: 26512
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5721 0 0 0 42972 32 0 0 25 0 1 0 703579943 27148288 5694 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6628 5694 1111 63 0 6565 0
vsize: 26512
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5737 0 0 0 43972 32 0 0 25 0 1 0 703579943 27283456 5710 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6661 5710 1111 63 0 6598 0
vsize: 26644
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5753 0 0 0 44972 32 0 0 25 0 1 0 703579943 27283456 5726 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6661 5726 1111 63 0 6598 0
vsize: 26644
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5768 0 0 0 45972 32 0 0 25 0 1 0 703579943 27418624 5741 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6694 5741 1111 63 0 6631 0
vsize: 26776
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5776 0 0 0 46972 32 0 0 25 0 1 0 703579943 27418624 5749 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6694 5749 1111 63 0 6631 0
vsize: 26776
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5792 0 0 0 47972 32 0 0 25 0 1 0 703579943 27553792 5765 4294967295 134512640 134714540 3221221792 3221220596 134622413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6727 5765 1111 63 0 6664 0
vsize: 26908
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5796 0 0 0 48972 32 0 0 25 0 1 0 703579943 27553792 5769 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6727 5769 1111 63 0 6664 0
vsize: 26908
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5826 0 0 0 49972 32 0 0 25 0 1 0 703579943 27688960 5799 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6760 5799 1111 63 0 6697 0
vsize: 27040
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5856 0 0 0 50972 33 0 0 25 0 1 0 703579943 27824128 5829 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6793 5829 1111 63 0 6730 0
vsize: 27172
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5882 0 0 0 51972 33 0 0 25 0 1 0 703579943 27824128 5855 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6793 5855 1111 63 0 6730 0
vsize: 27172
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5903 0 0 0 52972 33 0 0 25 0 1 0 703579943 27959296 5875 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5875 1111 63 0 6763 0
vsize: 27304
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5912 0 0 0 53973 33 0 0 25 0 1 0 703579943 27959296 5884 4294967295 134512640 134714540 3221221792 3221220512 134622791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5884 1111 63 0 6763 0
vsize: 27304
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5966 0 0 0 54973 33 0 0 25 0 1 0 703579943 28229632 5937 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5937 1111 63 0 6829 0
vsize: 27568
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5966 0 0 0 55973 33 0 0 25 0 1 0 703579943 28229632 5937 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5937 1111 63 0 6829 0
vsize: 27568
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5966 0 0 0 56973 33 0 0 25 0 1 0 703579943 28229632 5937 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5937 1111 63 0 6829 0
vsize: 27568
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5967 0 0 0 57973 33 0 0 25 0 1 0 703579943 28229632 5938 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5938 1111 63 0 6829 0
vsize: 27568
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 5967 0 0 0 58973 33 0 0 25 0 1 0 703579943 28229632 5938 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5938 1111 63 0 6829 0
vsize: 27568
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 59973 33 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 60973 34 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220592 134622422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 61973 34 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 62973 34 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 63973 34 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6061 0 0 0 64973 34 0 0 25 0 1 0 703579943 28667904 6032 4294967295 134512640 134714540 3221221792 3221220576 134622318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6032 1111 63 0 6936 0
vsize: 27996
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6091 0 0 0 65974 34 0 0 25 0 1 0 703579943 28667904 6062 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6062 1111 63 0 6936 0
vsize: 27996
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6107 0 0 0 66974 34 0 0 25 0 1 0 703579943 28803072 6078 4294967295 134512640 134714540 3221221792 3221220584 134536901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7032 6078 1111 63 0 6969 0
vsize: 28128
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6121 0 0 0 67974 34 0 0 25 0 1 0 703579943 28803072 6092 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7032 6092 1111 63 0 6969 0
vsize: 28128
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6143 0 0 0 68974 35 0 0 25 0 1 0 703579943 28938240 6114 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7065 6114 1111 63 0 7002 0
vsize: 28260
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6147 0 0 0 69974 35 0 0 25 0 1 0 703579943 28938240 6118 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7065 6118 1111 63 0 7002 0
vsize: 28260
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6194 0 0 0 70974 35 0 0 25 0 1 0 703579943 29208576 6165 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7131 6165 1111 63 0 7068 0
vsize: 28524
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6238 0 0 0 71974 35 0 0 25 0 1 0 703579943 29343744 6209 4294967295 134512640 134714540 3221221792 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6209 1111 63 0 7101 0
vsize: 28656
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6245 0 0 0 72974 35 0 0 25 0 1 0 703579943 29343744 6216 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6216 1111 63 0 7101 0
vsize: 28656
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6254 0 0 0 73974 35 0 0 25 0 1 0 703579943 29343744 6225 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6225 1111 63 0 7101 0
vsize: 28656
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6255 0 0 0 74974 35 0 0 25 0 1 0 703579943 29343744 6226 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6226 1111 63 0 7101 0
vsize: 28656
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6272 0 0 0 75974 36 0 0 25 0 1 0 703579943 29478912 6243 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7197 6243 1111 63 0 7134 0
vsize: 28788
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6324 0 0 0 76974 36 0 0 25 0 1 0 703579943 29749248 6295 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7263 6295 1111 63 0 7200 0
vsize: 29052
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6383 0 0 0 77973 36 0 0 25 0 1 0 703579943 29884416 6354 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7296 6354 1111 63 0 7233 0
vsize: 29184
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6429 0 0 0 78973 37 0 0 25 0 1 0 703579943 30154752 6400 4294967295 134512640 134714540 3221221792 3221220576 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7362 6400 1111 63 0 7299 0
vsize: 29448
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6526 0 0 0 79973 38 0 0 25 0 1 0 703579943 30584832 6494 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7467 6494 1111 63 0 7404 0
vsize: 29868
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6672 0 0 0 80972 38 0 0 25 0 1 0 703579943 31125504 6640 4294967295 134512640 134714540 3221221792 3221220572 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6640 1111 63 0 7536 0
vsize: 30396
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6774 0 0 0 81972 39 0 0 25 0 1 0 703579943 31666176 6742 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 6742 1111 63 0 7668 0
vsize: 30924
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6792 0 0 0 82972 39 0 0 25 0 1 0 703579943 31666176 6760 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 6760 1111 63 0 7668 0
vsize: 30924
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6792 0 0 0 83972 39 0 0 25 0 1 0 703579943 31666176 6760 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 6760 1111 63 0 7668 0
vsize: 30924
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6871 0 0 0 84972 39 0 0 25 0 1 0 703579943 31936512 6839 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7797 6839 1111 63 0 7734 0
vsize: 31188
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6879 0 0 0 85972 40 0 0 25 0 1 0 703579943 32071680 6847 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7830 6847 1111 63 0 7767 0
vsize: 31320
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6909 0 0 0 86972 40 0 0 25 0 1 0 703579943 32223232 6876 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7867 6876 1111 63 0 7804 0
vsize: 31468
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6920 0 0 0 87972 40 0 0 25 0 1 0 703579943 32223232 6887 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7867 6887 1111 63 0 7804 0
vsize: 31468
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6931 0 0 0 88972 40 0 0 25 0 1 0 703579943 32223232 6898 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7867 6898 1111 63 0 7804 0
vsize: 31468
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6955 0 0 0 89972 40 0 0 25 0 1 0 703579943 32358400 6922 4294967295 134512640 134714540 3221221792 3221220332 134539270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7900 6922 1111 63 0 7837 0
vsize: 31600
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6965 0 0 0 90971 41 0 0 25 0 1 0 703579943 32358400 6932 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7900 6932 1111 63 0 7837 0
vsize: 31600
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6972 0 0 0 91972 41 0 0 25 0 1 0 703579943 32358400 6939 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7900 6939 1111 63 0 7837 0
vsize: 31600
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 92972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220596 134622632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 93972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 94972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 95972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 96972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6977 0 0 0 97972 41 0 0 25 0 1 0 703579943 32493568 6944 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6944 1111 63 0 7870 0
vsize: 31732
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 6985 0 0 0 98973 41 0 0 25 0 1 0 703579943 32493568 6952 4294967295 134512640 134714540 3221221792 3221220584 134542401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6952 1111 63 0 7870 0
vsize: 31732
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7020 0 0 0 99973 41 0 0 25 0 1 0 703579943 32628736 6987 4294967295 134512640 134714540 3221221792 3221220516 134556931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7966 6987 1111 63 0 7903 0
vsize: 31864
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7221 0 0 0 100972 42 0 0 25 0 1 0 703579943 33452032 7186 4294967295 134512640 134714540 3221221792 3221220600 134611410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8167 7186 1111 63 0 8104 0
vsize: 32668
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7330 0 0 0 101972 42 0 0 25 0 1 0 703579943 33861632 7295 4294967295 134512640 134714540 3221221792 3221220504 134543154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8267 7295 1111 63 0 8204 0
vsize: 33068
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7427 0 0 0 102972 43 0 0 25 0 1 0 703579943 34267136 7392 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8366 7392 1111 63 0 8303 0
vsize: 33464
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7569 0 0 0 103971 43 0 0 25 0 1 0 703579943 34959360 7533 4294967295 134512640 134714540 3221221792 3221220520 134622755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8535 7533 1111 63 0 8472 0
vsize: 34140
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7725 0 0 0 104971 44 0 0 25 0 1 0 703579943 35508224 7688 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8669 7688 1111 63 0 8606 0
vsize: 34676
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7817 0 0 0 105971 44 0 0 25 0 1 0 703579943 35913728 7780 4294967295 134512640 134714540 3221221792 3221220592 134622304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8768 7780 1111 63 0 8705 0
vsize: 35072
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 7935 0 0 0 106970 45 0 0 25 0 1 0 703579943 36454400 7898 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8900 7898 1111 63 0 8837 0
vsize: 35600
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8011 0 0 0 107970 45 0 0 25 0 1 0 703579943 36724736 7974 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8966 7974 1111 63 0 8903 0
vsize: 35864
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8123 0 0 0 108970 46 0 0 25 0 1 0 703579943 37138432 8086 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9067 8086 1111 63 0 9004 0
vsize: 36268
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8197 0 0 0 109970 46 0 0 25 0 1 0 703579943 37543936 8160 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9166 8160 1111 63 0 9103 0
vsize: 36664
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8287 0 0 0 110970 46 0 0 25 0 1 0 703579943 37830656 8250 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9236 8250 1111 63 0 9173 0
vsize: 36944
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8366 0 0 0 111969 47 0 0 25 0 1 0 703579943 38236160 8329 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9335 8329 1111 63 0 9272 0
vsize: 37340
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8478 0 0 0 112969 47 0 0 25 0 1 0 703579943 38649856 8441 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9436 8441 1111 63 0 9373 0
vsize: 37744
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8540 0 0 0 113969 48 0 0 25 0 1 0 703579943 38920192 8503 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9502 8503 1111 63 0 9439 0
vsize: 38008
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8620 0 0 0 114968 48 0 0 25 0 1 0 703579943 39337984 8582 4294967295 134512640 134714540 3221221792 3221220588 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9604 8582 1111 63 0 9541 0
vsize: 38416
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8701 0 0 0 115968 49 0 0 25 0 1 0 703579943 39608320 8663 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9670 8663 1111 63 0 9607 0
vsize: 38680
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8781 0 0 0 116968 49 0 0 25 0 1 0 703579943 39878656 8743 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8743 1111 63 0 9673 0
vsize: 38944
[startup+1176.72 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2838
Raw data (stat): 2838 (bsolo_mis) R 2837 7876 7672 0 -1 0 8781 0 0 0 116968 49 0 0 25 0 1 0 703579943 39878656 8743 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8743 1111 63 0 9673 0
vsize: 0

Child status: 0
Real time (s): 1176.72
CPU time (s): 1176.87
CPU user time (s): 1176.36
CPU system time (s): 0.512922
CPU usage (%): 100.013
Max. virtual memory (Kb): 38944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####