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-chnl10_20_pb.cnf.cr.opb
MD5SUM	f6063d1ff7b0ba7c7cab7a438daedff8
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	21
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.013997
Number of variables	400
Total number of constraints	60
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	20
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 23159

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 22:01:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=30 boxname=wulflinc31 idbench=4 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 30
/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:        932972 kB
Buffers:         35180 kB
Cached:          44672 kB
SwapCached:        864 kB
Active:          67316 kB
Inactive:        14828 kB
HighTotal:      131008 kB
HighFree:        85400 kB
LowTotal:       903652 kB
LowFree:        847572 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13828 kB
Committed_AS:    63688 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 22:19:15 (client local time) WITH STATUS 20 IN 1074.53 SECONDS
stats: 30 7 1074.53 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 400 variables and 60 constraints.
c After prepocess the problem consists of 400 variables and 60 constraints.
c preprocess terminated 0.083 s
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 1074.45 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.94 0.97 0.91 2/54 5525
Raw data (stat): 5525 (runsolver) R 5524 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626273788 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.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 2567 0 0 0 986 10 0 0 25 0 1 0 626273788 14131200 2542 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2542 1111 63 0 3387 0
vsize: 13800
[startup+20.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 3466 0 0 0 1983 13 0 0 25 0 1 0 626273788 17788928 3441 4294967295 134512640 134714540 3221221744 3221220304 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4343 3441 1111 63 0 4280 0
vsize: 17372
[startup+30.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 4324 0 0 0 2980 17 0 0 25 0 1 0 626273788 21303296 4298 4294967295 134512640 134714540 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4298 1111 63 0 5138 0
vsize: 20804
[startup+40.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 4981 0 0 0 3977 20 0 0 25 0 1 0 626273788 24031232 4955 4294967295 134512640 134714540 3221221744 3221220316 134535876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5867 4955 1111 63 0 5804 0
vsize: 23468
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 5681 0 0 0 4974 23 0 0 25 0 1 0 626273788 27021312 5655 4294967295 134512640 134714540 3221221744 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6597 5655 1111 63 0 6534 0
vsize: 26388
[startup+60.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 6202 0 0 0 5971 26 0 0 25 0 1 0 626273788 29089792 6175 4294967295 134512640 134714540 3221221744 3221220384 134696117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7102 6175 1111 63 0 7039 0
vsize: 28408
[startup+70.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 6623 0 0 0 6969 28 0 0 25 0 1 0 626273788 30932992 6596 4294967295 134512640 134714540 3221221744 3221220432 134551950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7552 6596 1111 63 0 7489 0
vsize: 30208
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 7624 0 0 0 7965 32 0 0 25 0 1 0 626273788 35123200 7597 4294967295 134512640 134714540 3221221744 3221220372 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8575 7597 1111 63 0 8512 0
vsize: 34300
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 8491 0 0 0 8962 36 0 0 25 0 1 0 626273788 38641664 8462 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9434 8462 1111 63 0 9371 0
vsize: 37736
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 9093 0 0 0 9960 37 0 0 25 0 1 0 626273788 41140224 9060 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10044 9060 1111 63 0 9981 0
vsize: 40176
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 9669 0 0 0 10958 40 0 0 25 0 1 0 626273788 43614208 9636 4294967295 134512640 134714540 3221221744 3221220336 134549648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 9636 1111 63 0 10585 0
vsize: 42592
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 10179 0 0 0 11956 43 0 0 25 0 1 0 626273788 45678592 10145 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11152 10145 1111 63 0 11089 0
vsize: 44608
[startup+130.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 10620 0 0 0 12954 44 0 0 25 0 1 0 626273788 47435776 10586 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11581 10586 1111 63 0 11518 0
vsize: 46324
[startup+140.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 11045 0 0 0 13952 46 0 0 25 0 1 0 626273788 49217536 11011 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12016 11011 1111 63 0 11953 0
vsize: 48064
[startup+150.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 11406 0 0 0 14951 48 0 0 25 0 1 0 626273788 50733056 11370 4294967295 134512640 134714540 3221221744 3221220480 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12386 11370 1111 63 0 12323 0
vsize: 49544
[startup+160.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 11701 0 0 0 15950 49 0 0 25 0 1 0 626273788 52183040 11660 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12740 11660 1111 63 0 12677 0
vsize: 50960
[startup+170.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 12215 0 0 0 16948 51 0 0 25 0 1 0 626273788 54259712 12172 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13247 12172 1111 63 0 13184 0
vsize: 52988
[startup+180.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 12802 0 0 0 17945 54 0 0 25 0 1 0 626273788 56729600 12754 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13850 12754 1111 63 0 13787 0
vsize: 55400
[startup+190.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 13186 0 0 0 18944 56 0 0 25 0 1 0 626273788 58351616 13138 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14246 13138 1111 63 0 14183 0
vsize: 56984
[startup+200.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 13596 0 0 0 19942 58 0 0 25 0 1 0 626273788 59973632 13548 4294967295 134512640 134714540 3221221744 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14642 13548 1111 63 0 14579 0
vsize: 58568
[startup+210.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 13922 0 0 0 20941 59 0 0 25 0 1 0 626273788 61329408 13874 4294967295 134512640 134714540 3221221744 3221220300 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14973 13874 1111 63 0 14910 0
vsize: 59892
[startup+220.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 14197 0 0 0 21940 60 0 0 25 0 1 0 626273788 62410752 14149 4294967295 134512640 134714540 3221221744 3221220300 134535484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15237 14149 1111 63 0 15174 0
vsize: 60948
[startup+230.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 14470 0 0 0 22939 61 0 0 25 0 1 0 626273788 63655936 14421 4294967295 134512640 134714540 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15541 14421 1111 63 0 15478 0
vsize: 62164
[startup+240.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 14699 0 0 0 23939 62 0 0 25 0 1 0 626273788 64671744 14648 4294967295 134512640 134714540 3221221744 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15789 14648 1111 63 0 15726 0
vsize: 63156
[startup+250.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 14958 0 0 0 24938 63 0 0 25 0 1 0 626273788 65617920 14904 4294967295 134512640 134714540 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16020 14904 1111 63 0 15957 0
vsize: 64080
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 15219 0 0 0 25937 64 0 0 25 0 1 0 626273788 66736128 15160 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16293 15160 1111 63 0 16230 0
vsize: 65172
[startup+270.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 15498 0 0 0 26936 65 0 0 25 0 1 0 626273788 67891200 15434 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16575 15434 1111 63 0 16512 0
vsize: 66300
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 15820 0 0 0 27935 67 0 0 25 0 1 0 626273788 69386240 15751 4294967295 134512640 134714540 3221221744 3221220288 134696450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16940 15751 1111 63 0 16877 0
vsize: 67760
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 16098 0 0 0 28934 67 0 0 25 0 1 0 626273788 70483968 16029 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17208 16029 1111 63 0 17145 0
vsize: 68832
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 16378 0 0 0 29933 69 0 0 25 0 1 0 626273788 71598080 16308 4294967295 134512640 134714540 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17480 16308 1111 63 0 17417 0
vsize: 69920
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 16563 0 0 0 30932 70 0 0 25 0 1 0 626273788 72445952 16493 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17687 16493 1111 63 0 17624 0
vsize: 70748
[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 17206 0 0 0 31930 72 0 0 25 0 1 0 626273788 75075584 17132 4294967295 134512640 134714540 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18329 17132 1111 63 0 18266 0
vsize: 73316
[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 17654 0 0 0 32928 74 0 0 25 0 1 0 626273788 76869632 17579 4294967295 134512640 134714540 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17579 1111 63 0 18704 0
vsize: 75068
[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 17942 0 0 0 33927 75 0 0 25 0 1 0 626273788 78086144 17867 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19064 17867 1111 63 0 19001 0
vsize: 76256
[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 18237 0 0 0 34926 77 0 0 25 0 1 0 626273788 79306752 18162 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18162 1111 63 0 19299 0
vsize: 77448
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 18629 0 0 0 35924 79 0 0 25 0 1 0 626273788 81022976 18545 4294967295 134512640 134714540 3221221744 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19781 18545 1111 63 0 19718 0
vsize: 79124
[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 18963 0 0 0 36923 80 0 0 25 0 1 0 626273788 82374656 18879 4294967295 134512640 134714540 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20111 18879 1111 63 0 20048 0
vsize: 80444
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 19206 0 0 0 37922 81 0 0 25 0 1 0 626273788 83320832 19122 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20342 19122 1111 63 0 20279 0
vsize: 81368
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 19428 0 0 0 38921 82 0 0 25 0 1 0 626273788 84131840 19344 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20540 19344 1111 63 0 20477 0
vsize: 82160
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 19569 0 0 0 39921 83 0 0 25 0 1 0 626273788 84807680 19485 4294967295 134512640 134714540 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20705 19485 1111 63 0 20642 0
vsize: 82820
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 19982 0 0 0 40920 83 0 0 25 0 1 0 626273788 86687744 19894 4294967295 134512640 134714540 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21164 19894 1111 63 0 21101 0
vsize: 84656
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 20235 0 0 0 41919 85 0 0 25 0 1 0 626273788 87633920 20147 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21395 20147 1111 63 0 21332 0
vsize: 85580
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 20560 0 0 0 42917 87 0 0 25 0 1 0 626273788 88985600 20472 4294967295 134512640 134714540 3221221744 3221220468 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20472 1111 63 0 21662 0
vsize: 86900
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 20840 0 0 0 43916 89 0 0 25 0 1 0 626273788 90066944 20752 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21989 20752 1111 63 0 21926 0
vsize: 87956
[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 21103 0 0 0 44915 90 0 0 25 0 1 0 626273788 91287552 21015 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22287 21015 1111 63 0 22224 0
vsize: 89148
[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 21404 0 0 0 45914 91 0 0 25 0 1 0 626273788 92504064 21316 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22584 21316 1111 63 0 22521 0
vsize: 90336
[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 21577 0 0 0 46913 92 0 0 25 0 1 0 626273788 93220864 21489 4294967295 134512640 134714540 3221221744 3221220480 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22759 21489 1111 63 0 22696 0
vsize: 91036
[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 21811 0 0 0 47912 93 0 0 25 0 1 0 626273788 94236672 21715 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23007 21715 1111 63 0 22944 0
vsize: 92028
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 22094 0 0 0 48911 95 0 0 25 0 1 0 626273788 95354880 21997 4294967295 134512640 134714540 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23280 21997 1111 63 0 23217 0
vsize: 93120
[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 22352 0 0 0 49910 96 0 0 25 0 1 0 626273788 96542720 22254 4294967295 134512640 134714540 3221221744 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23570 22254 1111 63 0 23507 0
vsize: 94280
[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 22556 0 0 0 50909 97 0 0 25 0 1 0 626273788 97505280 22456 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23805 22456 1111 63 0 23742 0
vsize: 95220
[startup+520.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 22733 0 0 0 51908 98 0 0 25 0 1 0 626273788 98492416 22631 4294967295 134512640 134714540 3221221744 3221220400 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24046 22631 1111 63 0 23983 0
vsize: 96184
[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 22849 0 0 0 52907 99 0 0 25 0 1 0 626273788 99082240 22746 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24190 22746 1111 63 0 24127 0
vsize: 96760
[startup+540.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 23035 0 0 0 53906 100 0 0 25 0 1 0 626273788 99758080 22932 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24355 22932 1111 63 0 24292 0
vsize: 97420
[startup+550.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 23242 0 0 0 54905 101 0 0 25 0 1 0 626273788 100634624 23136 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24569 23136 1111 63 0 24506 0
vsize: 98276
[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 23463 0 0 0 55904 102 0 0 25 0 1 0 626273788 101695488 23342 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24828 23342 1111 63 0 24765 0
vsize: 99312
[startup+570.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 23773 0 0 0 56903 104 0 0 25 0 1 0 626273788 103165952 23639 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25187 23639 1111 63 0 25124 0
vsize: 100748
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 24093 0 0 0 57902 105 0 0 25 0 1 0 626273788 104382464 23959 4294967295 134512640 134714540 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25484 23959 1111 63 0 25421 0
vsize: 101936
[startup+590.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 24329 0 0 0 58901 106 0 0 25 0 1 0 626273788 105336832 24195 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25717 24195 1111 63 0 25654 0
vsize: 102868
[startup+600.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 24568 0 0 0 59900 107 0 0 25 0 1 0 626273788 106283008 24434 4294967295 134512640 134714540 3221221744 3221220396 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25948 24434 1111 63 0 25885 0
vsize: 103792
[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 24750 0 0 0 60900 108 0 0 25 0 1 0 626273788 107094016 24616 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26146 24616 1111 63 0 26083 0
vsize: 104584
[startup+620.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 24884 0 0 0 61899 109 0 0 25 0 1 0 626273788 107634688 24750 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26278 24750 1111 63 0 26215 0
vsize: 105112
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 25090 0 0 0 62898 110 0 0 25 0 1 0 626273788 108576768 24946 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26508 24946 1111 63 0 26445 0
vsize: 106032
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 25282 0 0 0 63898 111 0 0 25 0 1 0 626273788 109506560 25134 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26735 25134 1111 63 0 26672 0
vsize: 106940
[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 25440 0 0 0 64898 111 0 0 25 0 1 0 626273788 110137344 25291 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26889 25291 1111 63 0 26826 0
vsize: 107556
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 25688 0 0 0 65897 112 0 0 25 0 1 0 626273788 111333376 25530 4294967295 134512640 134714540 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27181 25530 1111 63 0 27118 0
vsize: 108724
[startup+670.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 25824 0 0 0 66897 112 0 0 25 0 1 0 626273788 111738880 25666 4294967295 134512640 134714540 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27280 25666 1111 63 0 27217 0
vsize: 109120
[startup+680.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 26009 0 0 0 67896 113 0 0 25 0 1 0 626273788 112693248 25845 4294967295 134512640 134714540 3221221744 3221220528 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27513 25845 1111 63 0 27450 0
vsize: 110052
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 26254 0 0 0 68896 114 0 0 25 0 1 0 626273788 113639424 26090 4294967295 134512640 134714540 3221221744 3221220448 134528738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27744 26090 1111 63 0 27681 0
vsize: 110976
[startup+700.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 26459 0 0 0 69895 115 0 0 25 0 1 0 626273788 114450432 26295 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27942 26295 1111 63 0 27879 0
vsize: 111768
[startup+710.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 26647 0 0 0 70895 116 0 0 25 0 1 0 626273788 115171328 26482 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28118 26482 1111 63 0 28055 0
vsize: 112472
[startup+720.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 26886 0 0 0 71894 117 0 0 25 0 1 0 626273788 116318208 26717 4294967295 134512640 134714540 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28398 26717 1111 63 0 28335 0
vsize: 113592
[startup+730.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27109 0 0 0 72893 117 0 0 25 0 1 0 626273788 117293056 26940 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28636 26940 1111 63 0 28573 0
vsize: 114544
[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27249 0 0 0 73893 118 0 0 25 0 1 0 626273788 117841920 27080 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28770 27080 1111 63 0 28707 0
vsize: 115080
[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27454 0 0 0 74893 118 0 0 25 0 1 0 626273788 118747136 27274 4294967295 134512640 134714540 3221221744 3221220300 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28991 27274 1111 63 0 28928 0
vsize: 115964
[startup+760.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27624 0 0 0 75892 119 0 0 25 0 1 0 626273788 119422976 27444 4294967295 134512640 134714540 3221221744 3221220080 134697531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29156 27444 1111 63 0 29093 0
vsize: 116624
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27752 0 0 0 76891 120 0 0 25 0 1 0 626273788 119980032 27572 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29292 27572 1111 63 0 29229 0
vsize: 117168
[startup+780.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 27902 0 0 0 77891 121 0 0 25 0 1 0 626273788 120786944 27713 4294967295 134512640 134714540 3221221744 3221220300 134535962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29489 27713 1111 63 0 29426 0
vsize: 117956
[startup+790.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28010 0 0 0 78890 122 0 0 25 0 1 0 626273788 121233408 27821 4294967295 134512640 134714540 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29598 27821 1111 63 0 29535 0
vsize: 118392
[startup+800.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28187 0 0 0 79890 122 0 0 25 0 1 0 626273788 122109952 27989 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29812 27989 1111 63 0 29749 0
vsize: 119248
[startup+810.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28349 0 0 0 80889 123 0 0 25 0 1 0 626273788 122720256 28142 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29961 28142 1111 63 0 29898 0
vsize: 119844
[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28512 0 0 0 81889 123 0 0 25 0 1 0 626273788 123396096 28305 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30126 28305 1111 63 0 30063 0
vsize: 120504
[startup+830.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28650 0 0 0 82888 124 0 0 25 0 1 0 626273788 123981824 28443 4294967295 134512640 134714540 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30269 28443 1111 63 0 30206 0
vsize: 121076
[startup+840.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28808 0 0 0 83888 125 0 0 25 0 1 0 626273788 124723200 28596 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30450 28596 1111 63 0 30387 0
vsize: 121800
[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 28901 0 0 0 84888 125 0 0 25 0 1 0 626273788 125128704 28689 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30549 28689 1111 63 0 30486 0
vsize: 122196
[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29062 0 0 0 85887 126 0 0 25 0 1 0 626273788 125870080 28846 4294967295 134512640 134714540 3221221744 3221220464 134535767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30730 28846 1111 63 0 30667 0
vsize: 122920
[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29182 0 0 0 86887 126 0 0 25 0 1 0 626273788 126275584 28966 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30829 28966 1111 63 0 30766 0
vsize: 123316
[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29327 0 0 0 87887 127 0 0 25 0 1 0 626273788 126865408 29110 4294967295 134512640 134714540 3221221744 3221220300 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30973 29110 1111 63 0 30910 0
vsize: 123892
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29451 0 0 0 88886 127 0 0 25 0 1 0 626273788 127541248 29224 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31138 29224 1111 63 0 31075 0
vsize: 124552
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29543 0 0 0 89886 127 0 0 25 0 1 0 626273788 127877120 29307 4294967295 134512640 134714540 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31220 29307 1111 63 0 31157 0
vsize: 124880
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29712 0 0 0 90885 128 0 0 25 0 1 0 626273788 128692224 29467 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31419 29467 1111 63 0 31356 0
vsize: 125676
[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 29979 0 0 0 91885 130 0 0 25 0 1 0 626273788 129773568 29734 4294967295 134512640 134714540 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31683 29734 1111 63 0 31620 0
vsize: 126732
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30151 0 0 0 92884 130 0 0 25 0 1 0 626273788 130514944 29898 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31864 29898 1111 63 0 31801 0
vsize: 127456
[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30315 0 0 0 93884 131 0 0 25 0 1 0 626273788 131190784 30062 4294967295 134512640 134714540 3221221744 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32029 30062 1111 63 0 31966 0
vsize: 128116
[startup+950.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30425 0 0 0 94884 131 0 0 25 0 1 0 626273788 131653632 30172 4294967295 134512640 134714540 3221221744 3221220400 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32142 30172 1111 63 0 32079 0
vsize: 128568
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30515 0 0 0 95883 132 0 0 25 0 1 0 626273788 132059136 30262 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32241 30262 1111 63 0 32178 0
vsize: 128964
[startup+970.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30615 0 0 0 96883 132 0 0 25 0 1 0 626273788 132534272 30362 4294967295 134512640 134714540 3221221744 3221220396 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32357 30362 1111 63 0 32294 0
vsize: 129428
[startup+980.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30712 0 0 0 97883 132 0 0 25 0 1 0 626273788 132984832 30457 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32467 30457 1111 63 0 32404 0
vsize: 129868
[startup+990.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30808 0 0 0 98883 133 0 0 25 0 1 0 626273788 133390336 30553 4294967295 134512640 134714540 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32566 30553 1111 63 0 32503 0
vsize: 130264
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 30923 0 0 0 99883 133 0 0 25 0 1 0 626273788 133795840 30668 4294967295 134512640 134714540 3221221744 3221220448 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32665 30668 1111 63 0 32602 0
vsize: 130660
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31042 0 0 0 100882 134 0 0 25 0 1 0 626273788 134201344 30787 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32764 30787 1111 63 0 32701 0
vsize: 131056
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31183 0 0 0 101882 134 0 0 25 0 1 0 626273788 134877184 30928 4294967295 134512640 134714540 3221221744 3221220528 134529412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32929 30928 1111 63 0 32866 0
vsize: 131716
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31313 0 0 0 102882 135 0 0 25 0 1 0 626273788 135344128 31055 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33043 31055 1111 63 0 32980 0
vsize: 132172
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31406 0 0 0 103882 135 0 0 25 0 1 0 626273788 135786496 31148 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33151 31148 1111 63 0 33088 0
vsize: 132604
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31472 0 0 0 104882 135 0 0 25 0 1 0 626273788 136056832 31214 4294967295 134512640 134714540 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33217 31214 1111 63 0 33154 0
vsize: 132868
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31548 0 0 0 105882 135 0 0 25 0 1 0 626273788 136327168 31290 4294967295 134512640 134714540 3221221744 3221220148 134697228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33283 31290 1111 63 0 33220 0
vsize: 133132
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31628 0 0 0 106881 136 0 0 25 0 1 0 626273788 136605696 31370 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33351 31370 1111 63 0 33288 0
vsize: 133404
[startup+1074.4 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 5527
Raw data (stat): 5525 (bsolo_mis) R 5524 3722 3553 0 -1 0 31628 0 0 0 106881 136 0 0 25 0 1 0 626273788 136605696 31370 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33351 31370 1111 63 0 33288 0
vsize: 0

Child status: 20
Real time (s): 1074.4
CPU time (s): 1074.53
CPU user time (s): 1073.11
CPU system time (s): 1.42178
CPU usage (%): 100.012
Max. virtual memory (Kb): 133404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####