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-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 23174

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 02:00:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=57 boxname=wulflinc31 idbench=7 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  808390b13d2d87ec4e78f628ed3af9ba  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
IDLAUNCH: 57
/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:        931704 kB
Buffers:         35468 kB
Cached:          44792 kB
SwapCached:        864 kB
Active:          68264 kB
Inactive:        15100 kB
HighTotal:      131008 kB
HighFree:        84420 kB
LowTotal:       903652 kB
LowFree:        847284 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6464 kB
Slab:            13936 kB
Committed_AS:    65484 kB
PageTables:        364 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 02:19:46 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 57 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 750 variables and 80 constraints.
c After prepocess the problem consists of 750 variables and 80 constraints.
c preprocess terminated 0.178 s
c Not 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): 1.07 1.02 0.93 1/58 7133
Raw data (stat): 7133 (runsolver) R 7132 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 627707029 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 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.0009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 3531 0 0 0 972 12 0 0 25 0 1 0 627707029 18173952 3506 4294967295 134512640 134714540 3221221744 3221220216 134613962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3506 1111 63 0 4374 0
vsize: 17748
[startup+20.0013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 5141 0 0 0 1967 17 0 0 25 0 1 0 627707029 24682496 5115 4294967295 134512640 134714540 3221221744 3221220312 1077377385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6026 5115 1111 63 0 5963 0
vsize: 24104
[startup+30.0012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 6298 0 0 0 2963 22 0 0 25 0 1 0 627707029 29446144 6272 4294967295 134512640 134714540 3221221744 3221220456 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7189 6272 1111 63 0 7126 0
vsize: 28756
[startup+40.0015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 7187 0 0 0 3959 26 0 0 25 0 1 0 627707029 33243136 7161 4294967295 134512640 134714540 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7161 1111 63 0 8053 0
vsize: 32464
[startup+50.0021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 8783 0 0 0 4954 31 0 0 25 0 1 0 627707029 39731200 8757 4294967295 134512640 134714540 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9700 8757 1111 63 0 9637 0
vsize: 38800
[startup+60.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7143
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 10205 0 0 0 5950 36 0 0 25 0 1 0 627707029 45559808 10179 4294967295 134512640 134714540 3221221744 3221220480 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11123 10179 1111 63 0 11060 0
vsize: 44492
[startup+70.0023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 12043 0 0 0 6943 42 0 0 25 0 1 0 627707029 53137408 12017 4294967295 134512640 134714540 3221221744 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12973 12017 1111 63 0 12910 0
vsize: 51892
[startup+80.0029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 13574 0 0 0 7939 46 0 0 25 0 1 0 627707029 59490304 13546 4294967295 134512640 134714540 3221221744 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14524 13546 1111 63 0 14461 0
vsize: 58096
[startup+90.0029 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 14627 0 0 0 8934 51 0 0 25 0 1 0 627707029 63815680 14596 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15580 14596 1111 63 0 15517 0
vsize: 62320
[startup+100.003 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 15570 0 0 0 9930 56 0 0 25 0 1 0 627707029 67743744 15538 4294967295 134512640 134714540 3221221744 3221220352 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16539 15538 1111 63 0 16476 0
vsize: 66156
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 16529 0 0 0 10926 60 0 0 25 0 1 0 627707029 71696384 16495 4294967295 134512640 134714540 3221221744 3221220472 134552630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17504 16495 1111 63 0 17441 0
vsize: 70016
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 17277 0 0 0 11923 63 0 0 25 0 1 0 627707029 74735616 17242 4294967295 134512640 134714540 3221221744 3221220384 134696126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18246 17242 1111 63 0 18183 0
vsize: 72984
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 18028 0 0 0 12920 66 0 0 25 0 1 0 627707029 77877248 17992 4294967295 134512640 134714540 3221221744 3221220484 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19013 17992 1111 63 0 18950 0
vsize: 76052
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 18500 0 0 0 13919 68 0 0 25 0 1 0 627707029 79777792 18463 4294967295 134512640 134714540 3221221744 3221220336 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19477 18463 1111 63 0 19414 0
vsize: 77908
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 18959 0 0 0 14917 70 0 0 25 0 1 0 627707029 81670144 18921 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19939 18922 1111 63 0 19876 0
vsize: 79756
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 20286 0 0 0 15913 74 0 0 25 0 1 0 627707029 87162880 20244 4294967295 134512640 134714540 3221221744 3221220236 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21280 20244 1111 63 0 21217 0
vsize: 85120
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 21210 0 0 0 16909 78 0 0 25 0 1 0 627707029 90947584 21168 4294967295 134512640 134714540 3221221744 3221220384 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22204 21168 1111 63 0 22141 0
vsize: 88816
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 21844 0 0 0 17907 80 0 0 25 0 1 0 627707029 93589504 21798 4294967295 134512640 134714540 3221221744 3221220384 134696148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22849 21798 1111 63 0 22786 0
vsize: 91396
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 22491 0 0 0 18905 83 0 0 25 0 1 0 627707029 96157696 22445 4294967295 134512640 134714540 3221221744 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23476 22445 1111 63 0 23413 0
vsize: 93904
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 23199 0 0 0 19902 85 0 0 25 0 1 0 627707029 99131392 23153 4294967295 134512640 134714540 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24202 23153 1111 63 0 24139 0
vsize: 96808
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 23853 0 0 0 20900 88 0 0 25 0 1 0 627707029 101736448 23807 4294967295 134512640 134714540 3221221744 3221220448 134528691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24838 23807 1111 63 0 24775 0
vsize: 99352
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 24328 0 0 0 21899 90 0 0 25 0 1 0 627707029 103804928 24282 4294967295 134512640 134714540 3221221744 3221220400 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25343 24282 1111 63 0 25280 0
vsize: 101372
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 24638 0 0 0 22897 91 0 0 25 0 1 0 627707029 105091072 24592 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25657 24592 1111 63 0 25594 0
vsize: 102628
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 25633 0 0 0 23894 95 0 0 25 0 1 0 627707029 109219840 25586 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26665 25586 1111 63 0 26602 0
vsize: 106660
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 26198 0 0 0 24892 97 0 0 25 0 1 0 627707029 111525888 26147 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27228 26147 1111 63 0 27165 0
vsize: 108912
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 26693 0 0 0 25890 99 0 0 25 0 1 0 627707029 113729536 26641 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27766 26641 1111 63 0 27703 0
vsize: 111064
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 27271 0 0 0 26889 101 0 0 25 0 1 0 627707029 116027392 27219 4294967295 134512640 134714540 3221221744 3221220396 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28327 27219 1111 63 0 28264 0
vsize: 113308
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 27794 0 0 0 27887 103 0 0 25 0 1 0 627707029 118214656 27741 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28861 27741 1111 63 0 28798 0
vsize: 115444
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 28251 0 0 0 28884 105 0 0 25 0 1 0 627707029 119971840 28198 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29290 28198 1111 63 0 29227 0
vsize: 117160
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 28716 0 0 0 29883 107 0 0 25 0 1 0 627707029 121888768 28663 4294967295 134512640 134714540 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29758 28663 1111 63 0 29695 0
vsize: 119032
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 29035 0 0 0 30882 108 0 0 25 0 1 0 627707029 123248640 28982 4294967295 134512640 134714540 3221221744 3221220300 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30090 28982 1111 63 0 30027 0
vsize: 120360
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 29546 0 0 0 31879 111 0 0 25 0 1 0 627707029 125353984 29487 4294967295 134512640 134714540 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30604 29487 1111 63 0 30541 0
vsize: 122416
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 29903 0 0 0 32877 113 0 0 25 0 1 0 627707029 126873600 29843 4294967295 134512640 134714540 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30975 29843 1111 63 0 30912 0
vsize: 123900
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 30280 0 0 0 33876 114 0 0 25 0 1 0 627707029 128520192 30216 4294967295 134512640 134714540 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31377 30216 1111 63 0 31314 0
vsize: 125508
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 30561 0 0 0 34875 116 0 0 25 0 1 0 627707029 129617920 30496 4294967295 134512640 134714540 3221221744 3221220336 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31645 30496 1111 63 0 31582 0
vsize: 126580
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7145
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 31220 0 0 0 35873 117 0 0 25 0 1 0 627707029 132399104 31153 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32324 31153 1111 63 0 32261 0
vsize: 129296
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 31769 0 0 0 36871 120 0 0 25 0 1 0 627707029 134561792 31702 4294967295 134512640 134714540 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32852 31702 1111 63 0 32789 0
vsize: 131408
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 32353 0 0 0 37869 122 0 0 25 0 1 0 627707029 136994816 32286 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33446 32286 1111 63 0 33383 0
vsize: 133784
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 32798 0 0 0 38866 125 0 0 25 0 1 0 627707029 138952704 32722 4294967295 134512640 134714540 3221221744 3221220300 134535518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33924 32722 1111 63 0 33861 0
vsize: 135696
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 33279 0 0 0 39865 126 0 0 25 0 1 0 627707029 140980224 33203 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34419 33203 1111 63 0 34356 0
vsize: 137676
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 33615 0 0 0 40864 128 0 0 25 0 1 0 627707029 142225408 33539 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34723 33539 1111 63 0 34660 0
vsize: 138892
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 33878 0 0 0 41863 129 0 0 25 0 1 0 627707029 143470592 33801 4294967295 134512640 134714540 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35027 33801 1111 63 0 34964 0
vsize: 140108
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 34148 0 0 0 42862 130 0 0 25 0 1 0 627707029 144551936 34071 4294967295 134512640 134714540 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35291 34071 1111 63 0 35228 0
vsize: 141164
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 34425 0 0 0 43861 131 0 0 25 0 1 0 627707029 145637376 34348 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35556 34348 1111 63 0 35493 0
vsize: 142224
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 34708 0 0 0 44860 132 0 0 25 0 1 0 627707029 146771968 34629 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35833 34629 1111 63 0 35770 0
vsize: 143332
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 35064 0 0 0 45859 133 0 0 25 0 1 0 627707029 148258816 34985 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36196 34985 1111 63 0 36133 0
vsize: 144784
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 35386 0 0 0 46859 134 0 0 25 0 1 0 627707029 149626880 35306 4294967295 134512640 134714540 3221221744 3221220448 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36530 35306 1111 63 0 36467 0
vsize: 146120
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 35698 0 0 0 47858 135 0 0 25 0 1 0 627707029 150876160 35618 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36835 35618 1111 63 0 36772 0
vsize: 147340
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 36086 0 0 0 48856 137 0 0 25 0 1 0 627707029 152363008 36006 4294967295 134512640 134714540 3221221744 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37198 36006 1111 63 0 37135 0
vsize: 148792
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 36676 0 0 0 49854 140 0 0 25 0 1 0 627707029 154918912 36589 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37822 36589 1111 63 0 37759 0
vsize: 151288
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 37077 0 0 0 50852 141 0 0 25 0 1 0 627707029 156540928 36990 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38218 36990 1111 63 0 38155 0
vsize: 152872
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 37421 0 0 0 51851 142 0 0 25 0 1 0 627707029 158064640 37334 4294967295 134512640 134714540 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38590 37334 1111 63 0 38527 0
vsize: 154360
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 37674 0 0 0 52850 144 0 0 25 0 1 0 627707029 159084544 37586 4294967295 134512640 134714540 3221221744 3221220480 134528738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38839 37586 1111 63 0 38776 0
vsize: 155356
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 38001 0 0 0 53849 145 0 0 25 0 1 0 627707029 160436224 37913 4294967295 134512640 134714540 3221221744 3221220320 134549718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39169 37913 1111 63 0 39106 0
vsize: 156676
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 38289 0 0 0 54848 146 0 0 25 0 1 0 627707029 161517568 38201 4294967295 134512640 134714540 3221221744 3221220336 134549770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39433 38201 1111 63 0 39370 0
vsize: 157732
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 38569 0 0 0 55847 148 0 0 25 0 1 0 627707029 162877440 38472 4294967295 134512640 134714540 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39765 38472 1111 63 0 39702 0
vsize: 159060
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 38901 0 0 0 56846 148 0 0 25 0 1 0 627707029 164294656 38795 4294967295 134512640 134714540 3221221744 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40111 38795 1111 63 0 40048 0
vsize: 160444
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 39187 0 0 0 57846 149 0 0 25 0 1 0 627707029 165666816 39080 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40446 39080 1111 63 0 40383 0
vsize: 161784
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 39426 0 0 0 58845 150 0 0 25 0 1 0 627707029 166477824 39319 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40644 39319 1111 63 0 40581 0
vsize: 162576
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 39681 0 0 0 59844 152 0 0 25 0 1 0 627707029 167628800 39574 4294967295 134512640 134714540 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40925 39574 1111 63 0 40862 0
vsize: 163700
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 39950 0 0 0 60842 153 0 0 25 0 1 0 627707029 168714240 39843 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41190 39843 1111 63 0 41127 0
vsize: 164760
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 40172 0 0 0 61841 154 0 0 25 0 1 0 627707029 169582592 40064 4294967295 134512640 134714540 3221221744 3221220464 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41402 40064 1111 63 0 41339 0
vsize: 165608
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 40527 0 0 0 62840 155 0 0 25 0 1 0 627707029 171134976 40410 4294967295 134512640 134714540 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41781 40410 1111 63 0 41718 0
vsize: 167124
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 40743 0 0 0 63839 157 0 0 25 0 1 0 627707029 171999232 40626 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41992 40626 1111 63 0 41929 0
vsize: 167968
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 40989 0 0 0 64838 158 0 0 25 0 1 0 627707029 173043712 40871 4294967295 134512640 134714540 3221221744 3221220336 134549550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42247 40871 1111 63 0 42184 0
vsize: 168988
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 41249 0 0 0 65837 159 0 0 25 0 1 0 627707029 174178304 41131 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42524 41131 1111 63 0 42461 0
vsize: 170096
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 41502 0 0 0 66837 160 0 0 25 0 1 0 627707029 175124480 41384 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42755 41384 1111 63 0 42692 0
vsize: 171020
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 41750 0 0 0 67836 161 0 0 25 0 1 0 627707029 176140288 41630 4294967295 134512640 134714540 3221221744 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43003 41630 1111 63 0 42940 0
vsize: 172012
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 42018 0 0 0 68835 162 0 0 25 0 1 0 627707029 177299456 41898 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43286 41898 1111 63 0 43223 0
vsize: 173144
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 42340 0 0 0 69834 163 0 0 25 0 1 0 627707029 178515968 42220 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43583 42220 1111 63 0 43520 0
vsize: 174332
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 42590 0 0 0 70833 164 0 0 25 0 1 0 627707029 179884032 42465 4294967295 134512640 134714540 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43917 42465 1111 63 0 43854 0
vsize: 175668
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 42808 0 0 0 71833 164 0 0 25 0 1 0 627707029 180850688 42677 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44153 42677 1111 63 0 44090 0
vsize: 176612
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 43113 0 0 0 72832 166 0 0 25 0 1 0 627707029 182251520 42972 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44495 42972 1111 63 0 44432 0
vsize: 177980
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 43337 0 0 0 73831 166 0 0 25 0 1 0 627707029 183312384 43193 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44754 43193 1111 63 0 44691 0
vsize: 179016
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 43543 0 0 0 74830 168 0 0 25 0 1 0 627707029 184070144 43397 4294967295 134512640 134714540 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44939 43397 1111 63 0 44876 0
vsize: 179756
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 43701 0 0 0 75830 168 0 0 25 0 1 0 627707029 184840192 43551 4294967295 134512640 134714540 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45127 43551 1111 63 0 45064 0
vsize: 180508
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 43862 0 0 0 76830 168 0 0 25 0 1 0 627707029 185479168 43710 4294967295 134512640 134714540 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45283 43710 1111 63 0 45220 0
vsize: 181132
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 44023 0 0 0 77830 169 0 0 25 0 1 0 627707029 186200064 43871 4294967295 134512640 134714540 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45459 43871 1111 63 0 45396 0
vsize: 181836
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 44143 0 0 0 78829 169 0 0 25 0 1 0 627707029 186667008 43989 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45573 43989 1111 63 0 45510 0
vsize: 182292
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 44339 0 0 0 79829 170 0 0 25 0 1 0 627707029 187478016 44185 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45771 44185 1111 63 0 45708 0
vsize: 183084
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 44654 0 0 0 80829 171 0 0 25 0 1 0 627707029 188829696 44499 4294967295 134512640 134714540 3221221744 3221220448 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46101 44499 1111 63 0 46038 0
vsize: 184404
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 46018 0 0 0 81825 174 0 0 25 0 1 0 627707029 194379776 45863 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47456 45863 1111 63 0 47393 0
vsize: 189824
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 47004 0 0 0 82823 176 0 0 25 0 1 0 627707029 198520832 46843 4294967295 134512640 134714540 3221221744 3221220464 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48467 46843 1111 63 0 48404 0
vsize: 193868
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 48211 0 0 0 83820 180 0 0 25 0 1 0 627707029 203522048 48050 4294967295 134512640 134714540 3221221744 3221220232 134697469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49688 48050 1111 63 0 49625 0
vsize: 198752
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 48809 0 0 0 84818 182 0 0 25 0 1 0 627707029 205955072 48648 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50282 48648 1111 63 0 50219 0
vsize: 201128
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 49840 0 0 0 85815 185 0 0 25 0 1 0 627707029 210186240 49675 4294967295 134512640 134714540 3221221744 3221220448 134528680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51315 49675 1111 63 0 51252 0
vsize: 205260
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 50437 0 0 0 86813 187 0 0 25 0 1 0 627707029 212619264 50272 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51909 50272 1111 63 0 51846 0
vsize: 207636
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 51033 0 0 0 87811 190 0 0 25 0 1 0 627707029 215052288 50867 4294967295 134512640 134714540 3221221744 3221220328 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52503 50867 1111 63 0 52440 0
vsize: 210012
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 51825 0 0 0 88807 193 0 0 25 0 1 0 627707029 218296320 51659 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53295 51659 1111 63 0 53232 0
vsize: 213180
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 52336 0 0 0 89806 195 0 0 25 0 1 0 627707029 220323840 52170 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53790 52170 1111 63 0 53727 0
vsize: 215160
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 52865 0 0 0 90803 198 0 0 25 0 1 0 627707029 222486528 52699 4294967295 134512640 134714540 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54318 52699 1111 63 0 54255 0
vsize: 217272
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 53295 0 0 0 91802 199 0 0 25 0 1 0 627707029 224395264 53129 4294967295 134512640 134714540 3221221744 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54784 53129 1111 63 0 54721 0
vsize: 219136
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 53790 0 0 0 92800 201 0 0 25 0 1 0 627707029 226500608 53622 4294967295 134512640 134714540 3221221744 3221220432 134528605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55298 53622 1111 63 0 55235 0
vsize: 221192
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 54070 0 0 0 93799 203 0 0 25 0 1 0 627707029 227598336 53901 4294967295 134512640 134714540 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55566 53901 1111 63 0 55503 0
vsize: 222264
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 54941 0 0 0 94797 205 0 0 25 0 1 0 627707029 231243776 54770 4294967295 134512640 134714540 3221221744 3221220256 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56456 54770 1111 63 0 56393 0
vsize: 225824
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 55803 0 0 0 95794 208 0 0 25 0 1 0 627707029 234758144 55632 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57314 55632 1111 63 0 57251 0
vsize: 229256
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 56497 0 0 0 96791 211 0 0 25 0 1 0 627707029 237531136 56322 4294967295 134512640 134714540 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57991 56322 1111 63 0 57928 0
vsize: 231964
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 57081 0 0 0 97789 214 0 0 25 0 1 0 627707029 239964160 56906 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58585 56906 1111 63 0 58522 0
vsize: 234340
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 57539 0 0 0 98787 216 0 0 25 0 1 0 627707029 241856512 57364 4294967295 134512640 134714540 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59047 57364 1111 63 0 58984 0
vsize: 236188
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 57979 0 0 0 99785 218 0 0 25 0 1 0 627707029 243613696 57804 4294967295 134512640 134714540 3221221744 3221220384 134696112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59476 57804 1111 63 0 59413 0
vsize: 237904
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 58673 0 0 0 100783 220 0 0 25 0 1 0 627707029 246452224 58498 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60169 58498 1111 63 0 60106 0
vsize: 240676
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 59053 0 0 0 101782 221 0 0 25 0 1 0 627707029 247939072 58878 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60532 58878 1111 63 0 60469 0
vsize: 242128
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 59485 0 0 0 102781 223 0 0 25 0 1 0 627707029 249729024 59309 4294967295 134512640 134714540 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60969 59309 1111 63 0 60906 0
vsize: 243876
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 59946 0 0 0 103780 224 0 0 25 0 1 0 627707029 251756544 59769 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61464 59769 1111 63 0 61401 0
vsize: 245856
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 60347 0 0 0 104778 226 0 0 25 0 1 0 627707029 253390848 60169 4294967295 134512640 134714540 3221221744 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61863 60169 1111 63 0 61800 0
vsize: 247452
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 60690 0 0 0 105777 228 0 0 25 0 1 0 627707029 254742528 60512 4294967295 134512640 134714540 3221221744 3221220336 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62193 60512 1111 63 0 62130 0
vsize: 248772
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 60862 0 0 0 106776 228 0 0 25 0 1 0 627707029 255451136 60684 4294967295 134512640 134714540 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62366 60684 1111 63 0 62303 0
vsize: 249464
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 61237 0 0 0 107775 229 0 0 25 0 1 0 627707029 256966656 61058 4294967295 134512640 134714540 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62736 61058 1111 63 0 62673 0
vsize: 250944
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 62059 0 0 0 108773 232 0 0 25 0 1 0 627707029 260390912 61876 4294967295 134512640 134714540 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63572 61876 1111 63 0 63509 0
vsize: 254288
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 62480 0 0 0 109771 234 0 0 25 0 1 0 627707029 262148096 62297 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64001 62297 1111 63 0 63938 0
vsize: 256004
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 63015 0 0 0 110769 236 0 0 25 0 1 0 627707029 264335360 62832 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64535 62832 1111 63 0 64472 0
vsize: 258140
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 63531 0 0 0 111767 238 0 0 25 0 1 0 627707029 266498048 63348 4294967295 134512640 134714540 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65063 63348 1111 63 0 65000 0
vsize: 260252
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 64079 0 0 0 112766 240 0 0 25 0 1 0 627707029 268726272 63887 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65607 63887 1111 63 0 65544 0
vsize: 262428
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 64564 0 0 0 113764 242 0 0 25 0 1 0 627707029 270786560 64371 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66110 64371 1111 63 0 66047 0
vsize: 264440
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 65063 0 0 0 114762 244 0 0 25 0 1 0 627707029 272809984 64870 4294967295 134512640 134714540 3221221744 3221220480 134524043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66604 64870 1111 63 0 66541 0
vsize: 266416
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 65481 0 0 0 115761 245 0 0 25 0 1 0 627707029 274567168 65288 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67033 65288 1111 63 0 66970 0
vsize: 268132
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 65853 0 0 0 116759 247 0 0 25 0 1 0 627707029 276054016 65660 4294967295 134512640 134714540 3221221744 3221220384 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67396 65660 1111 63 0 67333 0
vsize: 269584
[startup+1175.13 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 7147
Raw data (stat): 7133 (bsolo_mis) R 7132 3722 3553 0 -1 0 65853 0 0 0 116759 247 0 0 25 0 1 0 627707029 276054016 65660 4294967295 134512640 134714540 3221221744 3221220384 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67396 65660 1111 63 0 67333 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.16
CPU user time (s): 1172.55
CPU system time (s): 2.6096
CPU usage (%): 100.002
Max. virtual memory (Kb): 269584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####