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-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM	5845da453401bb95aae2b4a79f2952fc
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	16
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.082987
Number of variables	338
Total number of constraints	270
Number of constraints which are clauses	240
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	7
Maximum length of a constraint	15
Trace number 23334

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 13:55:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=345 boxname=wulflinc31 idbench=39 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5845da453401bb95aae2b4a79f2952fc  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
IDLAUNCH: 345
/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:        927652 kB
Buffers:         38188 kB
Cached:          46900 kB
SwapCached:        864 kB
Active:          71992 kB
Inactive:        15512 kB
HighTotal:      131008 kB
HighFree:        83104 kB
LowTotal:       903652 kB
LowFree:        844548 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13948 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 14:14:56 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 345 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 338 variables and 270 constraints.
c After prepocess the problem consists of 338 variables and 270 constraints.
c preprocess terminated 0.192 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.95 0.95 2/54 24477
Raw data (stat): 24477 (runsolver) R 24476 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640639502 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.01 0.97 0.95 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 2947 0 0 0 985 11 0 0 25 0 1 0 640639502 15720448 2922 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2922 1111 63 0 3775 0
vsize: 15352
[startup+20.0015 s]
Raw data (loadavg): 1.01 0.97 0.95 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 4076 0 0 0 1981 16 0 0 25 0 1 0 640639502 20324352 4051 4294967295 134512640 134714540 3221221776 3221220532 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4962 4051 1111 63 0 4899 0
vsize: 19848
[startup+30.0018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 5465 0 0 0 2975 21 0 0 25 0 1 0 640639502 26001408 5440 4294967295 134512640 134714540 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6348 5440 1111 63 0 6285 0
vsize: 25392
[startup+40.0014 s]
Raw data (loadavg): 1.08 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 6225 0 0 0 3972 25 0 0 25 0 1 0 640639502 29118464 6200 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7109 6200 1111 63 0 7046 0
vsize: 28436
[startup+50.0023 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 7125 0 0 0 4967 29 0 0 25 0 1 0 640639502 32768000 7100 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7100 1111 63 0 7937 0
vsize: 32000
[startup+60.0025 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 8001 0 0 0 5965 32 0 0 25 0 1 0 640639502 36417536 7976 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8891 7976 1111 63 0 8828 0
vsize: 35564
[startup+70.0032 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 8478 0 0 0 6963 34 0 0 25 0 1 0 640639502 38461440 8453 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9390 8453 1111 63 0 9327 0
vsize: 37560
[startup+80.0031 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 9168 0 0 0 7960 37 0 0 25 0 1 0 640639502 41164800 9143 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10050 9143 1111 63 0 9987 0
vsize: 40200
[startup+90.0034 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 9596 0 0 0 8958 39 0 0 25 0 1 0 640639502 42926080 9571 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10480 9571 1111 63 0 10417 0
vsize: 41920
[startup+100.004 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 9937 0 0 0 9957 41 0 0 25 0 1 0 640639502 44417024 9912 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10844 9912 1111 63 0 10781 0
vsize: 43376
[startup+110.004 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 10772 0 0 0 10953 45 0 0 25 0 1 0 640639502 47841280 10747 4294967295 134512640 134714540 3221221776 3221220368 134549748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11680 10747 1111 63 0 11617 0
vsize: 46720
[startup+120.005 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 11380 0 0 0 11950 48 0 0 25 0 1 0 640639502 50274304 11355 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12274 11355 1111 63 0 12211 0
vsize: 49096
[startup+130.005 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 11951 0 0 0 12949 50 0 0 25 0 1 0 640639502 52760576 11923 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12881 11923 1111 63 0 12818 0
vsize: 51524
[startup+140.005 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 12347 0 0 0 13947 52 0 0 25 0 1 0 640639502 54382592 12318 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13277 12318 1111 63 0 13214 0
vsize: 53108
[startup+150.006 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 12614 0 0 0 14945 53 0 0 25 0 1 0 640639502 55468032 12585 4294967295 134512640 134714540 3221221776 3221220544 134592128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13542 12585 1111 63 0 13479 0
vsize: 54168
[startup+160.006 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 12921 0 0 0 15944 54 0 0 25 0 1 0 640639502 56684544 12890 4294967295 134512640 134714540 3221221776 3221220284 134535962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13839 12890 1111 63 0 13776 0
vsize: 55356
[startup+170.006 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 13170 0 0 0 16943 56 0 0 25 0 1 0 640639502 57774080 13139 4294967295 134512640 134714540 3221221776 3221220428 134536804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14105 13139 1111 63 0 14042 0
vsize: 56420
[startup+180.006 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 13417 0 0 0 17942 58 0 0 25 0 1 0 640639502 58896384 13384 4294967295 134512640 134714540 3221221776 3221220500 134535753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14379 13384 1111 63 0 14316 0
vsize: 57516
[startup+190.005 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 13739 0 0 0 18941 58 0 0 25 0 1 0 640639502 60252160 13705 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14710 13705 1111 63 0 14647 0
vsize: 58840
[startup+200.005 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 14136 0 0 0 19938 61 0 0 25 0 1 0 640639502 61800448 14099 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15088 14099 1111 63 0 15025 0
vsize: 60352
[startup+210.006 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 14490 0 0 0 20936 63 0 0 25 0 1 0 640639502 63287296 14452 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 14452 1111 63 0 15388 0
vsize: 61804
[startup+220.006 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 14765 0 0 0 21935 65 0 0 25 0 1 0 640639502 64524288 14726 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15753 14726 1111 63 0 15690 0
vsize: 63012
[startup+230.006 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 14969 0 0 0 22934 66 0 0 25 0 1 0 640639502 65474560 14930 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15985 14930 1111 63 0 15922 0
vsize: 63940
[startup+240.006 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 15399 0 0 0 23933 67 0 0 25 0 1 0 640639502 67264512 15358 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16422 15358 1111 63 0 16359 0
vsize: 65688
[startup+250.007 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 15703 0 0 0 24932 68 0 0 25 0 1 0 640639502 68485120 15659 4294967295 134512640 134714540 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16720 15659 1111 63 0 16657 0
vsize: 66880
[startup+260.007 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 16086 0 0 0 25930 70 0 0 25 0 1 0 640639502 70135808 16041 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17123 16041 1111 63 0 17060 0
vsize: 68492
[startup+270.007 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 16427 0 0 0 26929 72 0 0 25 0 1 0 640639502 71663616 16378 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17496 16378 1111 63 0 17433 0
vsize: 69984
[startup+280.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24477
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 16814 0 0 0 27928 73 0 0 25 0 1 0 640639502 73306112 16764 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17897 16764 1111 63 0 17834 0
vsize: 71588
[startup+290.008 s]
Raw data (loadavg): 1.09 1.02 0.97 2/58 24529
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 17235 0 0 0 28927 74 0 0 25 0 1 0 640639502 74936320 17184 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17184 1111 63 0 18232 0
vsize: 73180
[startup+300.009 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 17415 0 0 0 29926 76 0 0 25 0 1 0 640639502 75751424 17364 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18494 17364 1111 63 0 18431 0
vsize: 73976
[startup+310.009 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 18001 0 0 0 30923 78 0 0 25 0 1 0 640639502 78196736 17950 4294967295 134512640 134714540 3221221776 3221220488 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19091 17950 1111 63 0 19028 0
vsize: 76364
[startup+320.009 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 19219 0 0 0 31918 83 0 0 25 0 1 0 640639502 83197952 19168 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20312 19168 1111 63 0 20249 0
vsize: 81248
[startup+330.009 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 20455 0 0 0 32913 88 0 0 25 0 1 0 640639502 88199168 20404 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21533 20404 1111 63 0 21470 0
vsize: 86132
[startup+340.008 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 21665 0 0 0 33907 95 0 0 25 0 1 0 640639502 93224960 21614 4294967295 134512640 134714540 3221221776 3221220416 134696095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22760 21614 1111 63 0 22697 0
vsize: 91040
[startup+350.008 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 24530
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 22762 0 0 0 34903 99 0 0 25 0 1 0 640639502 97685504 22711 4294967295 134512640 134714540 3221221776 3221220284 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23849 22711 1111 63 0 23786 0
vsize: 95396
[startup+360.008 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 23514 0 0 0 35900 102 0 0 25 0 1 0 640639502 100810752 23463 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24612 23463 1111 63 0 24549 0
vsize: 98448
[startup+370.009 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 24492 0 0 0 36896 106 0 0 25 0 1 0 640639502 104869888 24441 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25603 24441 1111 63 0 25540 0
vsize: 102412
[startup+380.009 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 25144 0 0 0 37893 109 0 0 25 0 1 0 640639502 107438080 25093 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26230 25093 1111 63 0 26167 0
vsize: 104920
[startup+390.009 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 25721 0 0 0 38890 112 0 0 25 0 1 0 640639502 109871104 25670 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26824 25670 1111 63 0 26761 0
vsize: 107296
[startup+400.01 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 26533 0 0 0 39888 115 0 0 25 0 1 0 640639502 113115136 26482 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27616 26482 1111 63 0 27553 0
vsize: 110464
[startup+410.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 27211 0 0 0 40885 118 0 0 25 0 1 0 640639502 115953664 27160 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28309 27160 1111 63 0 28246 0
vsize: 113236
[startup+420.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 27733 0 0 0 41883 121 0 0 25 0 1 0 640639502 118116352 27682 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28837 27682 1111 63 0 28774 0
vsize: 115348
[startup+430.011 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 28361 0 0 0 42880 123 0 0 25 0 1 0 640639502 120688640 28310 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29465 28310 1111 63 0 29402 0
vsize: 117860
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 28813 0 0 0 43879 124 0 0 25 0 1 0 640639502 122458112 28760 4294967295 134512640 134714540 3221221776 3221220464 134551944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29897 28760 1111 63 0 29834 0
vsize: 119588
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 29281 0 0 0 44878 126 0 0 25 0 1 0 640639502 124350464 29228 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30359 29228 1111 63 0 30296 0
vsize: 121436
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 29706 0 0 0 45875 129 0 0 25 0 1 0 640639502 126107648 29653 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30788 29653 1111 63 0 30725 0
vsize: 123152
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 30043 0 0 0 46874 130 0 0 25 0 1 0 640639502 127463424 29990 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31119 29990 1111 63 0 31056 0
vsize: 124476
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 30337 0 0 0 47873 131 0 0 25 0 1 0 640639502 128684032 30283 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31417 30283 1111 63 0 31354 0
vsize: 125668
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 30515 0 0 0 48873 132 0 0 25 0 1 0 640639502 129359872 30461 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31582 30461 1111 63 0 31519 0
vsize: 126328
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 31067 0 0 0 49870 134 0 0 25 0 1 0 640639502 131715072 31013 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32157 31013 1111 63 0 32094 0
vsize: 128628
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 31630 0 0 0 50869 136 0 0 25 0 1 0 640639502 134012928 31576 4294967295 134512640 134714540 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32718 31576 1111 63 0 32655 0
vsize: 130872
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 32660 0 0 0 51864 141 0 0 25 0 1 0 640639502 138203136 32606 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33741 32606 1111 63 0 33678 0
vsize: 134964
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 33377 0 0 0 52862 143 0 0 25 0 1 0 640639502 141189120 33323 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34470 33323 1111 63 0 34407 0
vsize: 137880
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 34105 0 0 0 53860 146 0 0 25 0 1 0 640639502 144179200 34051 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35200 34051 1111 63 0 35137 0
vsize: 140800
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 34707 0 0 0 54858 148 0 0 25 0 1 0 640639502 146612224 34653 4294967295 134512640 134714540 3221221776 3221220480 134528680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35794 34653 1111 63 0 35731 0
vsize: 143176
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 35291 0 0 0 55856 149 0 0 25 0 1 0 640639502 149045248 35237 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36388 35237 1111 63 0 36325 0
vsize: 145552
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 35807 0 0 0 56855 151 0 0 25 0 1 0 640639502 151207936 35753 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36916 35753 1111 63 0 36853 0
vsize: 147664
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24532
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 36345 0 0 0 57853 154 0 0 25 0 1 0 640639502 153378816 36291 4294967295 134512640 134714540 3221221776 3221220356 134549799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37446 36291 1111 63 0 37383 0
vsize: 149784
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 36765 0 0 0 58851 155 0 0 25 0 1 0 640639502 155156480 36711 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37880 36711 1111 63 0 37817 0
vsize: 151520
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 37110 0 0 0 59850 156 0 0 25 0 1 0 640639502 156520448 37056 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38213 37056 1111 63 0 38150 0
vsize: 152852
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 37439 0 0 0 60849 158 0 0 25 0 1 0 640639502 157888512 37385 4294967295 134512640 134714540 3221221776 3221220480 134528434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38547 37385 1111 63 0 38484 0
vsize: 154188
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 37772 0 0 0 61848 159 0 0 25 0 1 0 640639502 159375360 37718 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38910 37718 1111 63 0 38847 0
vsize: 155640
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 38034 0 0 0 62847 160 0 0 25 0 1 0 640639502 160321536 37980 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39141 37980 1111 63 0 39078 0
vsize: 156564
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 38424 0 0 0 63846 161 0 0 25 0 1 0 640639502 161943552 38370 4294967295 134512640 134714540 3221221776 3221220340 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39537 38370 1111 63 0 39474 0
vsize: 158148
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 38724 0 0 0 64845 163 0 0 25 0 1 0 640639502 163160064 38670 4294967295 134512640 134714540 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39834 38670 1111 63 0 39771 0
vsize: 159336
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 39142 0 0 0 65843 164 0 0 25 0 1 0 640639502 164917248 39088 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40263 39088 1111 63 0 40200 0
vsize: 161052
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 39429 0 0 0 66842 166 0 0 25 0 1 0 640639502 166133760 39375 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40560 39375 1111 63 0 40497 0
vsize: 162240
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 39790 0 0 0 67841 167 0 0 25 0 1 0 640639502 167485440 39736 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40890 39736 1111 63 0 40827 0
vsize: 163560
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 40124 0 0 0 68840 168 0 0 25 0 1 0 640639502 168837120 40070 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41220 40070 1111 63 0 41157 0
vsize: 164880
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 40545 0 0 0 69839 170 0 0 25 0 1 0 640639502 170594304 40491 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41649 40491 1111 63 0 41586 0
vsize: 166596
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 40801 0 0 0 70838 170 0 0 25 0 1 0 640639502 171687936 40747 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41916 40747 1111 63 0 41853 0
vsize: 167664
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 41047 0 0 0 71837 171 0 0 25 0 1 0 640639502 172666880 40992 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42155 40992 1111 63 0 42092 0
vsize: 168620
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 41378 0 0 0 72836 173 0 0 25 0 1 0 640639502 174018560 41323 4294967295 134512640 134714540 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42485 41323 1111 63 0 42422 0
vsize: 169940
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 41580 0 0 0 73835 174 0 0 25 0 1 0 640639502 174866432 41525 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42692 41525 1111 63 0 42629 0
vsize: 170768
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 41847 0 0 0 74835 175 0 0 25 0 1 0 640639502 175947776 41792 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42956 41792 1111 63 0 42893 0
vsize: 171824
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 42185 0 0 0 75834 176 0 0 25 0 1 0 640639502 177496064 42126 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43334 42126 1111 63 0 43271 0
vsize: 173336
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 42614 0 0 0 76833 177 0 0 25 0 1 0 640639502 179113984 42555 4294967295 134512640 134714540 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43729 42555 1111 63 0 43666 0
vsize: 174916
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 42822 0 0 0 77832 178 0 0 25 0 1 0 640639502 180092928 42763 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43968 42763 1111 63 0 43905 0
vsize: 175872
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 42968 0 0 0 78832 178 0 0 25 0 1 0 640639502 180633600 42909 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44100 42909 1111 63 0 44037 0
vsize: 176400
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 43138 0 0 0 79831 179 0 0 25 0 1 0 640639502 181321728 43078 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44268 43078 1111 63 0 44205 0
vsize: 177072
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 43295 0 0 0 80830 181 0 0 25 0 1 0 640639502 181997568 43234 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44433 43234 1111 63 0 44370 0
vsize: 177732
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 43597 0 0 0 81829 182 0 0 25 0 1 0 640639502 183214080 43536 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44730 43536 1111 63 0 44667 0
vsize: 178920
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 43743 0 0 0 82829 182 0 0 25 0 1 0 640639502 183889920 43682 4294967295 134512640 134714540 3221221776 3221220368 134549764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44895 43682 1111 63 0 44832 0
vsize: 179580
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 43982 0 0 0 83827 185 0 0 25 0 1 0 640639502 184836096 43921 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45126 43921 1111 63 0 45063 0
vsize: 180504
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 44279 0 0 0 84826 185 0 0 25 0 1 0 640639502 186159104 44218 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45449 44218 1111 63 0 45386 0
vsize: 181796
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 44585 0 0 0 85825 187 0 0 25 0 1 0 640639502 187424768 44520 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45758 44520 1111 63 0 45695 0
vsize: 183032
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 45018 0 0 0 86824 188 0 0 25 0 1 0 640639502 189181952 44953 4294967295 134512640 134714540 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46187 44953 1111 63 0 46124 0
vsize: 184748
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 45326 0 0 0 87822 190 0 0 25 0 1 0 640639502 190464000 45257 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46500 45257 1111 63 0 46437 0
vsize: 186000
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 45700 0 0 0 88821 191 0 0 25 0 1 0 640639502 191987712 45631 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46872 45631 1111 63 0 46809 0
vsize: 187488
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 46023 0 0 0 89820 192 0 0 25 0 1 0 640639502 193368064 45950 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47209 45950 1111 63 0 47146 0
vsize: 188836
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 46365 0 0 0 90819 194 0 0 25 0 1 0 640639502 194727936 46292 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47541 46292 1111 63 0 47478 0
vsize: 190164
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 46817 0 0 0 91818 195 0 0 25 0 1 0 640639502 196689920 46744 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48020 46744 1111 63 0 47957 0
vsize: 192080
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 47078 0 0 0 92817 196 0 0 25 0 1 0 640639502 197804032 47005 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48292 47005 1111 63 0 48229 0
vsize: 193168
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24543
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 47466 0 0 0 93815 198 0 0 25 0 1 0 640639502 199323648 47390 4294967295 134512640 134714540 3221221776 3221220436 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48663 47390 1111 63 0 48600 0
vsize: 194652
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 47767 0 0 0 94814 200 0 0 25 0 1 0 640639502 200540160 47691 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48960 47691 1111 63 0 48897 0
vsize: 195840
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 48164 0 0 0 95813 201 0 0 25 0 1 0 640639502 202219520 48085 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49370 48085 1111 63 0 49307 0
vsize: 197480
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 48513 0 0 0 96811 202 0 0 25 0 1 0 640639502 203735040 48430 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49740 48430 1111 63 0 49677 0
vsize: 198960
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 48788 0 0 0 97810 204 0 0 25 0 1 0 640639502 204832768 48703 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50008 48703 1111 63 0 49945 0
vsize: 200032
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 49130 0 0 0 98809 205 0 0 25 0 1 0 640639502 206184448 49045 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50338 49045 1111 63 0 50275 0
vsize: 201352
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 49516 0 0 0 99808 207 0 0 25 0 1 0 640639502 207872000 49422 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50750 49422 1111 63 0 50687 0
vsize: 203000
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 49736 0 0 0 100806 208 0 0 25 0 1 0 640639502 208678912 49642 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50947 49642 1111 63 0 50884 0
vsize: 203788
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 49839 0 0 0 101806 209 0 0 25 0 1 0 640639502 209092608 49745 4294967295 134512640 134714540 3221221776 3221220372 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51048 49745 1111 63 0 50985 0
vsize: 204192
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 50119 0 0 0 102805 210 0 0 25 0 1 0 640639502 210305024 50025 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51344 50025 1111 63 0 51281 0
vsize: 205376
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 50436 0 0 0 103803 212 0 0 25 0 1 0 640639502 211714048 50341 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51688 50341 1111 63 0 51625 0
vsize: 206752
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 50643 0 0 0 104802 213 0 0 25 0 1 0 640639502 212520960 50548 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51885 50548 1111 63 0 51822 0
vsize: 207540
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 50843 0 0 0 105802 214 0 0 25 0 1 0 640639502 213340160 50748 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52085 50748 1111 63 0 52022 0
vsize: 208340
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 51036 0 0 0 106801 215 0 0 25 0 1 0 640639502 214151168 50941 4294967295 134512640 134714540 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52283 50941 1111 63 0 52220 0
vsize: 209132
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 51224 0 0 0 107799 217 0 0 25 0 1 0 640639502 214962176 51129 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52481 51129 1111 63 0 52418 0
vsize: 209924
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 51273 0 0 0 108799 217 0 0 25 0 1 0 640639502 215261184 51177 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52554 51177 1111 63 0 52491 0
vsize: 210216
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 51520 0 0 0 109799 218 0 0 25 0 1 0 640639502 216211456 51423 4294967295 134512640 134714540 3221221776 3221220480 134535812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52786 51423 1111 63 0 52723 0
vsize: 211144
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 51759 0 0 0 110798 219 0 0 25 0 1 0 640639502 217223168 51654 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53033 51654 1111 63 0 52970 0
vsize: 212132
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 52111 0 0 0 111796 221 0 0 25 0 1 0 640639502 218574848 52006 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53363 52006 1111 63 0 53300 0
vsize: 213452
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 52408 0 0 0 112796 221 0 0 25 0 1 0 640639502 219860992 52298 4294967295 134512640 134714540 3221221776 3221220480 134528735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53677 52298 1111 63 0 53614 0
vsize: 214708
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 52609 0 0 0 113795 222 0 0 25 0 1 0 640639502 220672000 52499 4294967295 134512640 134714540 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53875 52499 1111 63 0 53812 0
vsize: 215500
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 52922 0 0 0 114794 224 0 0 25 0 1 0 640639502 222023680 52812 4294967295 134512640 134714540 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54205 52812 1111 63 0 54142 0
vsize: 216820
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 53118 0 0 0 115793 225 0 0 25 0 1 0 640639502 222834688 53008 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54403 53008 1111 63 0 54340 0
vsize: 217612
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 53348 0 0 0 116792 226 0 0 25 0 1 0 640639502 223805440 53238 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54640 53238 1111 63 0 54577 0
vsize: 218560
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 24545
Raw data (stat): 24477 (bsolo_mis) R 24476 7876 7672 0 -1 0 53348 0 0 0 116792 226 0 0 25 0 1 0 640639502 223805440 53238 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54640 53238 1111 63 0 54577 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.13
CPU user time (s): 1172.77
CPU system time (s): 2.36664
CPU usage (%): 100.012
Max. virtual memory (Kb): 218560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####