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/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
MD5SUM	4313884ec3fa396c713faf5f812fe6b8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	600
Total number of constraints	460
Number of constraints which are clauses	420
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23349

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 16:54:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=372 boxname=wulflinc31 idbench=42 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4313884ec3fa396c713faf5f812fe6b8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
IDLAUNCH: 372
/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:        927040 kB
Buffers:         38452 kB
Cached:          47236 kB
SwapCached:        944 kB
Active:          72340 kB
Inactive:        15772 kB
HighTotal:      131008 kB
HighFree:        82796 kB
LowTotal:       903652 kB
LowFree:        844244 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13896 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 17:14:17 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 372 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 600 variables and 460 constraints.
c After prepocess the problem consists of 600 variables and 460 constraints.
c preprocess terminated 0.472 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/54 26093
Raw data (stat): 26093 (runsolver) R 26092 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641715710 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 2058 0 0 0 984 9 0 0 25 0 1 0 641715710 12087296 2033 4294967295 134512640 134714540 3221221776 3221220724 134575033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2033 1111 63 0 2888 0
vsize: 11804
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 2777 0 0 0 1980 13 0 0 25 0 1 0 641715710 15044608 2752 4294967295 134512640 134714540 3221221776 3221220404 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2752 1111 63 0 3610 0
vsize: 14692
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 3757 0 0 0 2978 16 0 0 25 0 1 0 641715710 19095552 3732 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3732 1111 63 0 4599 0
vsize: 18648
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4305 0 0 0 3975 18 0 0 25 0 1 0 641715710 21258240 4280 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4280 1111 63 0 5127 0
vsize: 20760
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4594 0 0 0 4974 19 0 0 25 0 1 0 641715710 22462464 4569 4294967295 134512640 134714540 3221221776 3221220448 134542865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5484 4569 1111 63 0 5421 0
vsize: 21936
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4704 0 0 0 5973 20 0 0 25 0 1 0 641715710 22859776 4679 4294967295 134512640 134714540 3221221776 3221220592 134590269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5581 4679 1111 63 0 5518 0
vsize: 22324
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 4896 0 0 0 6972 22 0 0 25 0 1 0 641715710 23670784 4871 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5779 4871 1111 63 0 5716 0
vsize: 23116
[startup+80.0186 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5069 0 0 0 7971 24 0 0 25 0 1 0 641715710 24346624 5044 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5944 5044 1111 63 0 5881 0
vsize: 23776
[startup+90.0185 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5227 0 0 0 8970 26 0 0 25 0 1 0 641715710 25022464 5202 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6109 5202 1111 63 0 6046 0
vsize: 24436
[startup+100.019 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5413 0 0 0 9969 27 0 0 25 0 1 0 641715710 25817088 5388 4294967295 134512640 134714540 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6303 5388 1111 63 0 6240 0
vsize: 25212
[startup+110.02 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5620 0 0 0 10968 28 0 0 25 0 1 0 641715710 26779648 5595 4294967295 134512640 134714540 3221221776 3221220428 134536804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6538 5595 1111 63 0 6475 0
vsize: 26152
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5767 0 0 0 11967 30 0 0 25 0 1 0 641715710 27295744 5742 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6664 5742 1111 63 0 6601 0
vsize: 26656
[startup+130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 5884 0 0 0 12965 31 0 0 25 0 1 0 641715710 27832320 5858 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6795 5858 1111 63 0 6732 0
vsize: 27180
[startup+140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6021 0 0 0 13965 32 0 0 25 0 1 0 641715710 28348416 5995 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6921 5995 1111 63 0 6858 0
vsize: 27684
[startup+150.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6180 0 0 0 14963 34 0 0 25 0 1 0 641715710 29024256 6154 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6154 1111 63 0 7023 0
vsize: 28344
[startup+160.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6309 0 0 0 15962 35 0 0 25 0 1 0 641715710 29573120 6283 4294967295 134512640 134714540 3221221776 3221220524 134558545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7220 6283 1111 63 0 7157 0
vsize: 28880
[startup+170.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6373 0 0 0 16961 37 0 0 25 0 1 0 641715710 29843456 6347 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7286 6347 1111 63 0 7223 0
vsize: 29144
[startup+180.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6425 0 0 0 17960 37 0 0 25 0 1 0 641715710 30109696 6399 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7351 6399 1111 63 0 7288 0
vsize: 29404
[startup+190.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6508 0 0 0 18960 38 0 0 25 0 1 0 641715710 30380032 6482 4294967295 134512640 134714540 3221221776 3221220544 134551791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6482 1111 63 0 7354 0
vsize: 29668
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6532 0 0 0 19959 39 0 0 25 0 1 0 641715710 30523392 6506 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7452 6506 1111 63 0 7389 0
vsize: 29808
[startup+210.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6572 0 0 0 20959 40 0 0 25 0 1 0 641715710 30658560 6546 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6546 1111 63 0 7422 0
vsize: 29940
[startup+220.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6604 0 0 0 21960 41 0 0 25 0 1 0 641715710 30781440 6578 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6578 1111 63 0 7452 0
vsize: 30060
[startup+230.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6709 0 0 0 22960 42 0 0 25 0 1 0 641715710 31191040 6683 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7615 6683 1111 63 0 7552 0
vsize: 30460
[startup+240.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6817 0 0 0 23959 43 0 0 25 0 1 0 641715710 31707136 6791 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7741 6791 1111 63 0 7678 0
vsize: 30964
[startup+250.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6854 0 0 0 24958 44 0 0 25 0 1 0 641715710 31842304 6828 4294967295 134512640 134714540 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7774 6828 1111 63 0 7711 0
vsize: 31096
[startup+260.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6868 0 0 0 25957 45 0 0 25 0 1 0 641715710 31842304 6842 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7774 6842 1111 63 0 7711 0
vsize: 31096
[startup+270.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6872 0 0 0 26957 45 0 0 25 0 1 0 641715710 31842304 6846 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7774 6846 1111 63 0 7711 0
vsize: 31096
[startup+280.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6915 0 0 0 27957 46 0 0 25 0 1 0 641715710 32112640 6889 4294967295 134512640 134714540 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7840 6889 1111 63 0 7777 0
vsize: 31360
[startup+290.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6917 0 0 0 28957 46 0 0 25 0 1 0 641715710 32112640 6891 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7840 6891 1111 63 0 7777 0
vsize: 31360
[startup+300.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6926 0 0 0 29957 46 0 0 25 0 1 0 641715710 32112640 6900 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7840 6900 1111 63 0 7777 0
vsize: 31360
[startup+310.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6959 0 0 0 30955 48 0 0 25 0 1 0 641715710 32247808 6933 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 6933 1111 63 0 7810 0
vsize: 31492
[startup+320.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26093
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 31955 49 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 6946 1111 63 0 7810 0
vsize: 31492
[startup+330.055 s]
Raw data (loadavg): 1.07 0.99 0.97 2/56 26141
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 32953 50 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 6946 1111 63 0 7810 0
vsize: 31492
[startup+340.055 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6972 0 0 0 33953 51 0 0 25 0 1 0 641715710 32247808 6946 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 6946 1111 63 0 7810 0
vsize: 31492
[startup+350.056 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 6982 0 0 0 34952 51 0 0 25 0 1 0 641715710 32387072 6956 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7907 6956 1111 63 0 7844 0
vsize: 31628
[startup+360.057 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7022 0 0 0 35952 52 0 0 25 0 1 0 641715710 32518144 6996 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7939 6996 1111 63 0 7876 0
vsize: 31756
[startup+370.057 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7092 0 0 0 36952 53 0 0 25 0 1 0 641715710 32788480 7066 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8005 7066 1111 63 0 7942 0
vsize: 32020
[startup+380.058 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7109 0 0 0 37951 54 0 0 25 0 1 0 641715710 32911360 7083 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7083 1111 63 0 7972 0
vsize: 32140
[startup+390.058 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 26146
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7131 0 0 0 38949 55 0 0 25 0 1 0 641715710 32911360 7105 4294967295 134512640 134714540 3221221776 3221220464 134551942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7105 1111 63 0 7972 0
vsize: 32140
[startup+400.058 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7157 0 0 0 39949 56 0 0 25 0 1 0 641715710 33026048 7131 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7131 1111 63 0 8000 0
vsize: 32252
[startup+410.059 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7224 0 0 0 40948 56 0 0 25 0 1 0 641715710 33300480 7198 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8130 7198 1111 63 0 8067 0
vsize: 32520
[startup+420.058 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7235 0 0 0 41948 57 0 0 25 0 1 0 641715710 33435648 7209 4294967295 134512640 134714540 3221221776 3221220284 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8163 7209 1111 63 0 8100 0
vsize: 32652
[startup+430.059 s]
Raw data (loadavg): 1.08 1.00 0.97 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7271 0 0 0 42947 58 0 0 25 0 1 0 641715710 33570816 7245 4294967295 134512640 134714540 3221221776 3221220332 134535652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7245 1111 63 0 8133 0
vsize: 32784
[startup+440.06 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7273 0 0 0 43947 59 0 0 25 0 1 0 641715710 33570816 7247 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7247 1111 63 0 8133 0
vsize: 32784
[startup+450.06 s]
Raw data (loadavg): 1.22 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7281 0 0 0 44946 60 0 0 25 0 1 0 641715710 33570816 7255 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7255 1111 63 0 8133 0
vsize: 32784
[startup+460.061 s]
Raw data (loadavg): 1.19 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7281 0 0 0 45945 61 0 0 25 0 1 0 641715710 33570816 7255 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7255 1111 63 0 8133 0
vsize: 32784
[startup+470.061 s]
Raw data (loadavg): 1.16 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7324 0 0 0 46945 62 0 0 25 0 1 0 641715710 33832960 7298 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8260 7298 1111 63 0 8197 0
vsize: 33040
[startup+480.062 s]
Raw data (loadavg): 1.13 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7363 0 0 0 47944 62 0 0 25 0 1 0 641715710 33968128 7337 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8293 7337 1111 63 0 8230 0
vsize: 33172
[startup+490.062 s]
Raw data (loadavg): 1.11 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7367 0 0 0 48944 63 0 0 25 0 1 0 641715710 33968128 7341 4294967295 134512640 134714540 3221221776 3221220548 134529275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8293 7341 1111 63 0 8230 0
vsize: 33172
[startup+500.063 s]
Raw data (loadavg): 1.09 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7389 0 0 0 49943 64 0 0 25 0 1 0 641715710 34103296 7363 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8326 7363 1111 63 0 8263 0
vsize: 33304
[startup+510.064 s]
Raw data (loadavg): 1.08 1.03 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7405 0 0 0 50942 65 0 0 25 0 1 0 641715710 34103296 7379 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8326 7379 1111 63 0 8263 0
vsize: 33304
[startup+520.064 s]
Raw data (loadavg): 1.07 1.02 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7433 0 0 0 51942 65 0 0 25 0 1 0 641715710 34226176 7407 4294967295 134512640 134714540 3221221776 3221220400 134542340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8356 7407 1111 63 0 8293 0
vsize: 33424
[startup+530.065 s]
Raw data (loadavg): 1.06 1.02 0.98 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7500 0 0 0 52941 67 0 0 25 0 1 0 641715710 34492416 7474 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8421 7474 1111 63 0 8358 0
vsize: 33684
[startup+540.065 s]
Raw data (loadavg): 1.13 1.04 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7656 0 0 0 53939 68 0 0 25 0 1 0 641715710 35123200 7630 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8575 7630 1111 63 0 8512 0
vsize: 34300
[startup+550.064 s]
Raw data (loadavg): 1.11 1.04 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7771 0 0 0 54939 69 0 0 25 0 1 0 641715710 35627008 7745 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8698 7745 1111 63 0 8635 0
vsize: 34792
[startup+560.066 s]
Raw data (loadavg): 1.09 1.04 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 7881 0 0 0 55938 70 0 0 25 0 1 0 641715710 36032512 7855 4294967295 134512640 134714540 3221221776 3221220272 134535394 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8797 7855 1111 63 0 8734 0
vsize: 35188
[startup+570.066 s]
Raw data (loadavg): 1.08 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8031 0 0 0 56937 71 0 0 25 0 1 0 641715710 36646912 8005 4294967295 134512640 134714540 3221221776 3221220480 134528576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8947 8005 1111 63 0 8884 0
vsize: 35788
[startup+580.066 s]
Raw data (loadavg): 1.06 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8087 0 0 0 57936 72 0 0 25 0 1 0 641715710 36917248 8061 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9013 8061 1111 63 0 8950 0
vsize: 36052
[startup+590.067 s]
Raw data (loadavg): 1.05 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8141 0 0 0 58936 73 0 0 25 0 1 0 641715710 37187584 8115 4294967295 134512640 134714540 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 8115 1111 63 0 9016 0
vsize: 36316
[startup+600.066 s]
Raw data (loadavg): 1.04 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 8610 0 0 0 59934 74 0 0 25 0 1 0 641715710 39079936 8584 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9541 8584 1111 63 0 9478 0
vsize: 38164
[startup+610.066 s]
Raw data (loadavg): 1.04 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 9333 0 0 0 60931 78 0 0 25 0 1 0 641715710 42061824 9307 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10269 9308 1111 63 0 10206 0
vsize: 41076
[startup+620.066 s]
Raw data (loadavg): 1.03 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 10635 0 0 0 61926 83 0 0 25 0 1 0 641715710 47329280 10609 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11555 10609 1111 63 0 11492 0
vsize: 46220
[startup+630.067 s]
Raw data (loadavg): 1.03 1.03 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 11085 0 0 0 62925 84 0 0 25 0 1 0 641715710 49221632 11059 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12017 11059 1111 63 0 11954 0
vsize: 48068
[startup+640.067 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 11725 0 0 0 63922 87 0 0 25 0 1 0 641715710 51810304 11699 4294967295 134512640 134714540 3221221776 3221220416 134539455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12649 11699 1111 63 0 12586 0
vsize: 50596
[startup+650.067 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 12426 0 0 0 64919 91 0 0 25 0 1 0 641715710 54779904 12400 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13374 12400 1111 63 0 13311 0
vsize: 53496
[startup+660.068 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 12798 0 0 0 65917 92 0 0 25 0 1 0 641715710 56270848 12772 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13738 12772 1111 63 0 13675 0
vsize: 54952
[startup+670.068 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13228 0 0 0 66915 95 0 0 25 0 1 0 641715710 58028032 13202 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13202 1111 63 0 14104 0
vsize: 56668
[startup+680.068 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 26148
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13690 0 0 0 67914 96 0 0 25 0 1 0 641715710 59924480 13664 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14630 13664 1111 63 0 14567 0
vsize: 58520
[startup+690.068 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 13868 0 0 0 68913 97 0 0 25 0 1 0 641715710 60608512 13842 4294967295 134512640 134714540 3221221776 3221220272 134535457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14797 13842 1111 63 0 14734 0
vsize: 59188
[startup+700.067 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14075 0 0 0 69912 99 0 0 25 0 1 0 641715710 61554688 14049 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15028 14049 1111 63 0 14965 0
vsize: 60112
[startup+710.068 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14358 0 0 0 70911 99 0 0 25 0 1 0 641715710 62619648 14332 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15288 14332 1111 63 0 15225 0
vsize: 61152
[startup+720.067 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14542 0 0 0 71910 100 0 0 25 0 1 0 641715710 63430656 14516 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15486 14516 1111 63 0 15423 0
vsize: 61944
[startup+730.068 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 14875 0 0 0 72909 102 0 0 25 0 1 0 641715710 64819200 14849 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15825 14849 1111 63 0 15762 0
vsize: 63300
[startup+740.068 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15087 0 0 0 73909 102 0 0 25 0 1 0 641715710 65769472 15061 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16057 15061 1111 63 0 15994 0
vsize: 64228
[startup+750.068 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15325 0 0 0 74907 104 0 0 25 0 1 0 641715710 66715648 15299 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16288 15299 1111 63 0 16225 0
vsize: 65152
[startup+760.069 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15596 0 0 0 75906 105 0 0 25 0 1 0 641715710 67936256 15570 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16586 15570 1111 63 0 16523 0
vsize: 66344
[startup+770.069 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15759 0 0 0 76905 106 0 0 25 0 1 0 641715710 68603904 15733 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16749 15733 1111 63 0 16686 0
vsize: 66996
[startup+780.07 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 15850 0 0 0 77905 107 0 0 25 0 1 0 641715710 68907008 15823 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16823 15823 1111 63 0 16760 0
vsize: 67292
[startup+790.07 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16050 0 0 0 78904 108 0 0 25 0 1 0 641715710 69718016 16023 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17021 16023 1111 63 0 16958 0
vsize: 68084
[startup+800.07 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16197 0 0 0 79903 109 0 0 25 0 1 0 641715710 70430720 16170 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16170 1111 63 0 17132 0
vsize: 68780
[startup+810.071 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16263 0 0 0 80902 110 0 0 25 0 1 0 641715710 70725632 16236 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17267 16236 1111 63 0 17204 0
vsize: 69068
[startup+820.071 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16475 0 0 0 81902 111 0 0 25 0 1 0 641715710 71536640 16446 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17465 16446 1111 63 0 17402 0
vsize: 69860
[startup+830.071 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16610 0 0 0 82901 111 0 0 25 0 1 0 641715710 72077312 16581 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17597 16581 1111 63 0 17534 0
vsize: 70388
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16771 0 0 0 83900 113 0 0 25 0 1 0 641715710 72781824 16741 4294967295 134512640 134714540 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17769 16741 1111 63 0 17706 0
vsize: 71076
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 16960 0 0 0 84899 114 0 0 25 0 1 0 641715710 73601024 16929 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17969 16929 1111 63 0 17906 0
vsize: 71876
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17161 0 0 0 85898 115 0 0 25 0 1 0 641715710 74391552 17130 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18162 17130 1111 63 0 18099 0
vsize: 72648
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17275 0 0 0 86898 116 0 0 25 0 1 0 641715710 74797056 17244 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18261 17244 1111 63 0 18198 0
vsize: 73044
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17410 0 0 0 87897 117 0 0 25 0 1 0 641715710 75468800 17379 4294967295 134512640 134714540 3221221776 3221220484 134535806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18425 17379 1111 63 0 18362 0
vsize: 73700
[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17514 0 0 0 88896 118 0 0 25 0 1 0 641715710 75870208 17483 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18523 17483 1111 63 0 18460 0
vsize: 74092
[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17574 0 0 0 89896 118 0 0 25 0 1 0 641715710 76152832 17542 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18592 17542 1111 63 0 18529 0
vsize: 74368
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17631 0 0 0 90895 119 0 0 25 0 1 0 641715710 76288000 17599 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17599 1111 63 0 18562 0
vsize: 74500
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17668 0 0 0 91895 119 0 0 25 0 1 0 641715710 76423168 17636 4294967295 134512640 134714540 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18658 17636 1111 63 0 18595 0
vsize: 74632
[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17804 0 0 0 92894 120 0 0 25 0 1 0 641715710 77131776 17772 4294967295 134512640 134714540 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18831 17772 1111 63 0 18768 0
vsize: 75324
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 17908 0 0 0 93893 121 0 0 25 0 1 0 641715710 77541376 17876 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18931 17876 1111 63 0 18868 0
vsize: 75724
[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 18984 0 0 0 94890 125 0 0 25 0 1 0 641715710 81862656 18952 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19986 18952 1111 63 0 19923 0
vsize: 79944
[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 19759 0 0 0 95887 128 0 0 25 0 1 0 641715710 85106688 19727 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20778 19727 1111 63 0 20715 0
vsize: 83112
[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 20431 0 0 0 96884 131 0 0 25 0 1 0 641715710 87818240 20399 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21440 20399 1111 63 0 21377 0
vsize: 85760
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 20986 0 0 0 97881 134 0 0 25 0 1 0 641715710 90120192 20954 4294967295 134512640 134714540 3221221776 3221220560 134529395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22002 20954 1111 63 0 21939 0
vsize: 88008
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21385 0 0 0 98879 136 0 0 25 0 1 0 641715710 91742208 21353 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22398 21353 1111 63 0 22335 0
vsize: 89592
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21588 0 0 0 99879 137 0 0 25 0 1 0 641715710 92565504 21556 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22599 21556 1111 63 0 22536 0
vsize: 90396
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 21840 0 0 0 100878 138 0 0 25 0 1 0 641715710 93659136 21808 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22866 21808 1111 63 0 22803 0
vsize: 91464
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22030 0 0 0 101877 139 0 0 25 0 1 0 641715710 94482432 21997 4294967295 134512640 134714540 3221221776 3221220332 134535658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23067 21997 1111 63 0 23004 0
vsize: 92268
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22122 0 0 0 102877 139 0 0 25 0 1 0 641715710 94760960 22089 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23135 22089 1111 63 0 23072 0
vsize: 92540
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 22924 0 0 0 103875 142 0 0 25 0 1 0 641715710 98148352 22891 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23962 22891 1111 63 0 23899 0
vsize: 95848
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 23508 0 0 0 104872 145 0 0 25 0 1 0 641715710 100450304 23475 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24524 23475 1111 63 0 24461 0
vsize: 98096
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 23973 0 0 0 105871 146 0 0 25 0 1 0 641715710 102342656 23940 4294967295 134512640 134714540 3221221776 3221220560 134529184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24986 23940 1111 63 0 24923 0
vsize: 99944
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24199 0 0 0 106870 148 0 0 25 0 1 0 641715710 103288832 24166 4294967295 134512640 134714540 3221221776 3221220428 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25217 24166 1111 63 0 25154 0
vsize: 100868
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24501 0 0 0 107868 149 0 0 25 0 1 0 641715710 104689664 24467 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25559 24467 1111 63 0 25496 0
vsize: 102236
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24628 0 0 0 108868 150 0 0 25 0 1 0 641715710 105095168 24593 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25658 24593 1111 63 0 25595 0
vsize: 102632
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24739 0 0 0 109867 151 0 0 25 0 1 0 641715710 105639936 24704 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25791 24704 1111 63 0 25728 0
vsize: 103164
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 24805 0 0 0 110867 151 0 0 25 0 1 0 641715710 105910272 24770 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25857 24770 1111 63 0 25794 0
vsize: 103428
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25347 0 0 0 111866 152 0 0 25 0 1 0 641715710 108068864 25311 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26384 25311 1111 63 0 26321 0
vsize: 105536
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25575 0 0 0 112865 154 0 0 25 0 1 0 641715710 109010944 25539 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26614 25539 1111 63 0 26551 0
vsize: 106456
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 25976 0 0 0 113864 155 0 0 25 0 1 0 641715710 110694400 25938 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27025 25938 1111 63 0 26962 0
vsize: 108100
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26227 0 0 0 114862 156 0 0 25 0 1 0 641715710 111796224 26189 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27294 26189 1111 63 0 27231 0
vsize: 109176
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26437 0 0 0 115862 157 0 0 25 0 1 0 641715710 112746496 26399 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27526 26399 1111 63 0 27463 0
vsize: 110104
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26617 0 0 0 116862 158 0 0 25 0 1 0 641715710 113426432 26578 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27692 26578 1111 63 0 27629 0
vsize: 110768
[startup+1175.06 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 26150
Raw data (stat): 26093 (bsolo_mis) R 26092 7876 7672 0 -1 0 26617 0 0 0 116862 158 0 0 25 0 1 0 641715710 113426432 26578 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27692 26578 1111 63 0 27629 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.18
CPU user time (s): 1173.54
CPU system time (s): 1.63475
CPU usage (%): 100.01
Max. virtual memory (Kb): 110768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####