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-fpga13_13_sat_pb.cnf.cr.opb
MD5SUM	477af24fc30fd084c6281beb06bd14f4
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	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05599
Number of variables	254
Total number of constraints	208
Number of constraints which are clauses	182
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23304

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 07:56:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=291 boxname=wulflinc31 idbench=33 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  477af24fc30fd084c6281beb06bd14f4  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb
IDLAUNCH: 291
/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:        928324 kB
Buffers:         37692 kB
Cached:          46580 kB
SwapCached:        864 kB
Active:          71632 kB
Inactive:        15056 kB
HighTotal:      131008 kB
HighFree:        83328 kB
LowTotal:       903652 kB
LowFree:        844996 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13948 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 08:16:32 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 291 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 254 variables and 208 constraints.
c After prepocess the problem consists of 254 variables and 208 constraints.
c preprocess terminated 0.125 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (runsolver) R 21274 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638488874 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 2943 0 0 0 986 10 0 0 25 0 1 0 638488874 15736832 2918 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3842 2918 1111 63 0 3779 0
vsize: 15368
[startup+20.0022 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 4526 0 0 0 1981 15 0 0 25 0 1 0 638488874 22237184 4501 4294967295 134512640 134714540 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5429 4501 1111 63 0 5366 0
vsize: 21716
[startup+30.0016 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 6261 0 0 0 2975 22 0 0 25 0 1 0 638488874 29335552 6234 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7162 6234 1111 63 0 7099 0
vsize: 28648
[startup+40.0018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 7464 0 0 0 3970 26 0 0 25 0 1 0 638488874 34349056 7434 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8386 7434 1111 63 0 8323 0
vsize: 33544
[startup+50.0017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 8574 0 0 0 4965 31 0 0 25 0 1 0 638488874 38969344 8544 4294967295 134512640 134714540 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9514 8544 1111 63 0 9451 0
vsize: 38056
[startup+60.0024 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 9323 0 0 0 5963 34 0 0 25 0 1 0 638488874 41955328 9292 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10243 9292 1111 63 0 10180 0
vsize: 40972
[startup+70.0026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 9914 0 0 0 6960 36 0 0 25 0 1 0 638488874 44388352 9883 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10837 9883 1111 63 0 10774 0
vsize: 43348
[startup+80.0025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 10817 0 0 0 7957 40 0 0 25 0 1 0 638488874 48181248 10786 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11763 10786 1111 63 0 11700 0
vsize: 47052
[startup+90.0021 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 11603 0 0 0 8953 44 0 0 25 0 1 0 638488874 51466240 11572 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12565 11572 1111 63 0 12502 0
vsize: 50260
[startup+100.002 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 12408 0 0 0 9951 47 0 0 25 0 1 0 638488874 54747136 12376 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13366 12376 1111 63 0 13303 0
vsize: 53464
[startup+110.003 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 13100 0 0 0 10949 49 0 0 25 0 1 0 638488874 57585664 13068 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14059 13068 1111 63 0 13996 0
vsize: 56236
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 13674 0 0 0 11946 51 0 0 25 0 1 0 638488874 59940864 13639 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14634 13639 1111 63 0 14571 0
vsize: 58536
[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 14365 0 0 0 12944 54 0 0 25 0 1 0 638488874 62816256 14328 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15336 14328 1111 63 0 15273 0
vsize: 61344
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 14943 0 0 0 13942 57 0 0 25 0 1 0 638488874 65273856 14904 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15936 14904 1111 63 0 15873 0
vsize: 63744
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 15387 0 0 0 14940 59 0 0 25 0 1 0 638488874 67031040 15348 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16365 15348 1111 63 0 16302 0
vsize: 65460
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 15965 0 0 0 15938 61 0 0 25 0 1 0 638488874 69345280 15926 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16930 15926 1111 63 0 16867 0
vsize: 67720
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 16549 0 0 0 16935 64 0 0 25 0 1 0 638488874 71794688 16510 4294967295 134512640 134714540 3221221776 3221220368 134549651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17528 16510 1111 63 0 17465 0
vsize: 70112
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.97 2/54 21275
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 17101 0 0 0 17933 65 0 0 25 0 1 0 638488874 73977856 17062 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18061 17062 1111 63 0 17998 0
vsize: 72244
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.97 2/57 21278
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 17618 0 0 0 18931 68 0 0 25 0 1 0 638488874 76140544 17579 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18589 17579 1111 63 0 18526 0
vsize: 74356
[startup+200.006 s]
Raw data (loadavg): 1.07 1.02 0.97 2/58 21318
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 18276 0 0 0 19928 71 0 0 25 0 1 0 638488874 78843904 18237 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19249 18237 1111 63 0 19186 0
vsize: 76996
[startup+210.118 s]
Raw data (loadavg): 1.14 1.03 0.98 3/58 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 18977 0 0 0 20937 73 0 0 25 0 1 0 638488874 81698816 18934 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19946 18934 1111 63 0 19883 0
vsize: 79784
[startup+220.119 s]
Raw data (loadavg): 1.34 1.08 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 19620 0 0 0 21935 76 0 0 25 0 1 0 638488874 84402176 19577 4294967295 134512640 134714540 3221221776 3221220512 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20606 19577 1111 63 0 20543 0
vsize: 82424
[startup+230.119 s]
Raw data (loadavg): 1.29 1.08 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 20446 0 0 0 22931 80 0 0 25 0 1 0 638488874 87846912 20401 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21447 20401 1111 63 0 21384 0
vsize: 85788
[startup+240.119 s]
Raw data (loadavg): 1.24 1.07 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 21048 0 0 0 23928 82 0 0 25 0 1 0 638488874 90279936 21003 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22041 21003 1111 63 0 21978 0
vsize: 88164
[startup+250.119 s]
Raw data (loadavg): 1.21 1.07 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 21657 0 0 0 24926 85 0 0 25 0 1 0 638488874 92794880 21612 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22655 21612 1111 63 0 22592 0
vsize: 90620
[startup+260.12 s]
Raw data (loadavg): 1.17 1.07 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 22568 0 0 0 25922 89 0 0 25 0 1 0 638488874 96579584 22523 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23579 22523 1111 63 0 23516 0
vsize: 94316
[startup+270.12 s]
Raw data (loadavg): 1.15 1.06 1.00 2/54 21328
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 23333 0 0 0 26919 92 0 0 25 0 1 0 638488874 99733504 23288 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24349 23288 1111 63 0 24286 0
vsize: 97396
[startup+280.12 s]
Raw data (loadavg): 1.12 1.06 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 24066 0 0 0 27917 95 0 0 25 0 1 0 638488874 102748160 24021 4294967295 134512640 134714540 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25085 24021 1111 63 0 25022 0
vsize: 100340
[startup+290.121 s]
Raw data (loadavg): 1.10 1.06 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 24723 0 0 0 28915 97 0 0 25 0 1 0 638488874 105484288 24677 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25753 24677 1111 63 0 25690 0
vsize: 103012
[startup+300.121 s]
Raw data (loadavg): 1.09 1.06 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 25416 0 0 0 29911 100 0 0 25 0 1 0 638488874 108322816 25370 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26446 25370 1111 63 0 26383 0
vsize: 105784
[startup+310.121 s]
Raw data (loadavg): 1.07 1.05 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 26006 0 0 0 30909 103 0 0 25 0 1 0 638488874 110755840 25959 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27040 25959 1111 63 0 26977 0
vsize: 108160
[startup+320.122 s]
Raw data (loadavg): 1.06 1.05 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 26422 0 0 0 31907 105 0 0 25 0 1 0 638488874 112394240 26373 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27440 26373 1111 63 0 27377 0
vsize: 109760
[startup+330.122 s]
Raw data (loadavg): 1.05 1.05 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 26784 0 0 0 32906 106 0 0 25 0 1 0 638488874 113881088 26735 4294967295 134512640 134714540 3221221776 3221220480 134528724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27803 26735 1111 63 0 27740 0
vsize: 111212
[startup+340.122 s]
Raw data (loadavg): 1.04 1.05 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 27141 0 0 0 33905 108 0 0 25 0 1 0 638488874 115441664 27089 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28184 27089 1111 63 0 28121 0
vsize: 112736
[startup+350.122 s]
Raw data (loadavg): 1.04 1.05 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 27474 0 0 0 34903 109 0 0 25 0 1 0 638488874 116793344 27422 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28514 27422 1111 63 0 28451 0
vsize: 114056
[startup+360.123 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 27990 0 0 0 35901 112 0 0 25 0 1 0 638488874 118820864 27938 4294967295 134512640 134714540 3221221776 3221220540 134552693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29009 27938 1111 63 0 28946 0
vsize: 116036
[startup+370.123 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 28290 0 0 0 36899 114 0 0 25 0 1 0 638488874 120107008 28238 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29323 28238 1111 63 0 29260 0
vsize: 117292
[startup+380.123 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 28572 0 0 0 37898 115 0 0 25 0 1 0 638488874 121339904 28520 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29624 28520 1111 63 0 29561 0
vsize: 118496
[startup+390.124 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 28819 0 0 0 38898 116 0 0 25 0 1 0 638488874 122421248 28767 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29888 28767 1111 63 0 29825 0
vsize: 119552
[startup+400.124 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 29073 0 0 0 39897 116 0 0 25 0 1 0 638488874 123367424 29021 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30119 29021 1111 63 0 30056 0
vsize: 120476
[startup+410.124 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 29300 0 0 0 40896 117 0 0 25 0 1 0 638488874 124313600 29248 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30350 29248 1111 63 0 30287 0
vsize: 121400
[startup+420.124 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 29511 0 0 0 41895 119 0 0 25 0 1 0 638488874 125190144 29456 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30564 29456 1111 63 0 30501 0
vsize: 122256
[startup+430.124 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 29721 0 0 0 42895 119 0 0 25 0 1 0 638488874 126140416 29666 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30796 29666 1111 63 0 30733 0
vsize: 123184
[startup+440.124 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 29921 0 0 0 43894 120 0 0 25 0 1 0 638488874 126951424 29865 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30994 29865 1111 63 0 30931 0
vsize: 123976
[startup+450.124 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 30118 0 0 0 44893 121 0 0 25 0 1 0 638488874 127766528 30062 4294967295 134512640 134714540 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31193 30062 1111 63 0 31130 0
vsize: 124772
[startup+460.125 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 30316 0 0 0 45893 121 0 0 25 0 1 0 638488874 128577536 30260 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31391 30260 1111 63 0 31328 0
vsize: 125564
[startup+470.125 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 30561 0 0 0 46892 123 0 0 25 0 1 0 638488874 129576960 30505 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31635 30505 1111 63 0 31572 0
vsize: 126540
[startup+480.125 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 30802 0 0 0 47892 123 0 0 25 0 1 0 638488874 130658304 30746 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31899 30746 1111 63 0 31836 0
vsize: 127596
[startup+490.124 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 31052 0 0 0 48891 124 0 0 25 0 1 0 638488874 131678208 30993 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32148 30993 1111 63 0 32085 0
vsize: 128592
[startup+500.125 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 31236 0 0 0 49891 125 0 0 25 0 1 0 638488874 132378624 31177 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32319 31177 1111 63 0 32256 0
vsize: 129276
[startup+510.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 31478 0 0 0 50890 126 0 0 25 0 1 0 638488874 133476352 31419 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32587 31419 1111 63 0 32524 0
vsize: 130348
[startup+520.125 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 31739 0 0 0 51889 127 0 0 25 0 1 0 638488874 134557696 31679 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32851 31679 1111 63 0 32788 0
vsize: 131404
[startup+530.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 31931 0 0 0 52888 128 0 0 25 0 1 0 638488874 135233536 31871 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33016 31871 1111 63 0 32953 0
vsize: 132064
[startup+540.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 32150 0 0 0 53888 128 0 0 25 0 1 0 638488874 136179712 32090 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33247 32090 1111 63 0 33184 0
vsize: 132988
[startup+550.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21330
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 32457 0 0 0 54887 129 0 0 25 0 1 0 638488874 137609216 32392 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33596 32392 1111 63 0 33533 0
vsize: 134384
[startup+560.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 32673 0 0 0 55887 130 0 0 25 0 1 0 638488874 138498048 32602 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33813 32602 1111 63 0 33750 0
vsize: 135252
[startup+570.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 32818 0 0 0 56886 131 0 0 25 0 1 0 638488874 139038720 32747 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33945 32747 1111 63 0 33882 0
vsize: 135780
[startup+580.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33005 0 0 0 57885 132 0 0 25 0 1 0 638488874 139784192 32930 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34127 32930 1111 63 0 34064 0
vsize: 136508
[startup+590.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33143 0 0 0 58885 132 0 0 25 0 1 0 638488874 140460032 33068 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34292 33068 1111 63 0 34229 0
vsize: 137168
[startup+600.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33278 0 0 0 59884 133 0 0 25 0 1 0 638488874 141000704 33203 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34424 33203 1111 63 0 34361 0
vsize: 137696
[startup+610.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33425 0 0 0 60884 134 0 0 25 0 1 0 638488874 141541376 33350 4294967295 134512640 134714540 3221221776 3221220512 134524043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34556 33350 1111 63 0 34493 0
vsize: 138224
[startup+620.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33578 0 0 0 61883 134 0 0 25 0 1 0 638488874 142217216 33503 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34721 33503 1111 63 0 34658 0
vsize: 138884
[startup+630.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33742 0 0 0 62883 135 0 0 25 0 1 0 638488874 142954496 33666 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34901 33666 1111 63 0 34838 0
vsize: 139604
[startup+640.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 33882 0 0 0 63882 135 0 0 25 0 1 0 638488874 143495168 33806 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35033 33806 1111 63 0 34970 0
vsize: 140132
[startup+650.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34035 0 0 0 64882 136 0 0 25 0 1 0 638488874 144109568 33956 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35183 33956 1111 63 0 35120 0
vsize: 140732
[startup+660.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34193 0 0 0 65881 137 0 0 25 0 1 0 638488874 144785408 34114 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35348 34114 1111 63 0 35285 0
vsize: 141392
[startup+670.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34334 0 0 0 66880 138 0 0 25 0 1 0 638488874 145326080 34255 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35480 34255 1111 63 0 35417 0
vsize: 141920
[startup+680.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34465 0 0 0 67880 138 0 0 25 0 1 0 638488874 145866752 34386 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35612 34386 1111 63 0 35549 0
vsize: 142448
[startup+690.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34598 0 0 0 68879 139 0 0 25 0 1 0 638488874 146407424 34519 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35744 34519 1111 63 0 35681 0
vsize: 142976
[startup+700.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34756 0 0 0 69879 140 0 0 25 0 1 0 638488874 146964480 34676 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35880 34676 1111 63 0 35817 0
vsize: 143520
[startup+710.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 34952 0 0 0 70878 141 0 0 25 0 1 0 638488874 147832832 34867 4294967295 134512640 134714540 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36092 34867 1111 63 0 36029 0
vsize: 144368
[startup+720.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35097 0 0 0 71877 142 0 0 25 0 1 0 638488874 148385792 35012 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36227 35012 1111 63 0 36164 0
vsize: 144908
[startup+730.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35270 0 0 0 72877 142 0 0 25 0 1 0 638488874 149209088 35185 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36428 35185 1111 63 0 36365 0
vsize: 145712
[startup+740.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35409 0 0 0 73877 143 0 0 25 0 1 0 638488874 149749760 35324 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36560 35324 1111 63 0 36497 0
vsize: 146240
[startup+750.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35566 0 0 0 74876 143 0 0 25 0 1 0 638488874 150441984 35481 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36729 35481 1111 63 0 36666 0
vsize: 146916
[startup+760.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35752 0 0 0 75876 144 0 0 25 0 1 0 638488874 151117824 35667 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36894 35667 1111 63 0 36831 0
vsize: 147576
[startup+770.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 35870 0 0 0 76876 145 0 0 25 0 1 0 638488874 151658496 35785 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37026 35785 1111 63 0 36963 0
vsize: 148104
[startup+780.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36029 0 0 0 77875 145 0 0 25 0 1 0 638488874 152334336 35944 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37191 35944 1111 63 0 37128 0
vsize: 148764
[startup+790.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36201 0 0 0 78874 146 0 0 25 0 1 0 638488874 153010176 36116 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37356 36116 1111 63 0 37293 0
vsize: 149424
[startup+800.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36369 0 0 0 79874 147 0 0 25 0 1 0 638488874 153686016 36284 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37521 36284 1111 63 0 37458 0
vsize: 150084
[startup+810.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36520 0 0 0 80873 148 0 0 25 0 1 0 638488874 154226688 36435 4294967295 134512640 134714540 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37653 36435 1111 63 0 37590 0
vsize: 150612
[startup+820.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36764 0 0 0 81872 149 0 0 25 0 1 0 638488874 155308032 36679 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37917 36679 1111 63 0 37854 0
vsize: 151668
[startup+830.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 36971 0 0 0 82871 150 0 0 25 0 1 0 638488874 156139520 36886 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38120 36886 1111 63 0 38057 0
vsize: 152480
[startup+840.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 37118 0 0 0 83870 151 0 0 25 0 1 0 638488874 156815360 37033 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38285 37033 1111 63 0 38222 0
vsize: 153140
[startup+850.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 37296 0 0 0 84869 152 0 0 25 0 1 0 638488874 157491200 37211 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38450 37211 1111 63 0 38387 0
vsize: 153800
[startup+860.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 37488 0 0 0 85868 153 0 0 25 0 1 0 638488874 158302208 37403 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38648 37403 1111 63 0 38585 0
vsize: 154592
[startup+870.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 37685 0 0 0 86867 155 0 0 25 0 1 0 638488874 159113216 37600 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38846 37600 1111 63 0 38783 0
vsize: 155384
[startup+880.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 37943 0 0 0 87866 156 0 0 25 0 1 0 638488874 160210944 37858 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39114 37858 1111 63 0 39051 0
vsize: 156456
[startup+890.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 38179 0 0 0 88865 157 0 0 25 0 1 0 638488874 161157120 38094 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39345 38094 1111 63 0 39282 0
vsize: 157380
[startup+900.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 38402 0 0 0 89864 158 0 0 25 0 1 0 638488874 162103296 38317 4294967295 134512640 134714540 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39576 38317 1111 63 0 39513 0
vsize: 158304
[startup+910.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 38627 0 0 0 90864 159 0 0 25 0 1 0 638488874 163049472 38542 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39807 38542 1111 63 0 39744 0
vsize: 159228
[startup+920.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 38863 0 0 0 91862 161 0 0 25 0 1 0 638488874 163995648 38778 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40038 38778 1111 63 0 39975 0
vsize: 160152
[startup+930.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 39094 0 0 0 92861 162 0 0 25 0 1 0 638488874 164941824 39009 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40269 39009 1111 63 0 40206 0
vsize: 161076
[startup+940.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 39320 0 0 0 93860 163 0 0 25 0 1 0 638488874 165961728 39232 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40518 39232 1111 63 0 40455 0
vsize: 162072
[startup+950.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 39483 0 0 0 94859 164 0 0 25 0 1 0 638488874 166502400 39395 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40650 39395 1111 63 0 40587 0
vsize: 162600
[startup+960.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 39672 0 0 0 95858 165 0 0 25 0 1 0 638488874 167313408 39584 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40848 39584 1111 63 0 40785 0
vsize: 163392
[startup+970.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 39846 0 0 0 96857 166 0 0 25 0 1 0 638488874 167989248 39758 4294967295 134512640 134714540 3221221776 3221220520 134523854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41013 39758 1111 63 0 40950 0
vsize: 164052
[startup+980.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 40031 0 0 0 97857 167 0 0 25 0 1 0 638488874 168800256 39943 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41211 39943 1111 63 0 41148 0
vsize: 164844
[startup+990.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 40163 0 0 0 98856 168 0 0 25 0 1 0 638488874 169340928 40075 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41343 40075 1111 63 0 41280 0
vsize: 165372
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 40378 0 0 0 99856 168 0 0 25 0 1 0 638488874 170213376 40290 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41556 40290 1111 63 0 41493 0
vsize: 166224
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 40959 0 0 0 100854 170 0 0 25 0 1 0 638488874 172658688 40871 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42153 40871 1111 63 0 42090 0
vsize: 168612
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 41454 0 0 0 101852 173 0 0 25 0 1 0 638488874 174686208 41366 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42648 41366 1111 63 0 42585 0
vsize: 170592
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 42066 0 0 0 102850 175 0 0 25 0 1 0 638488874 177266688 41969 4294967295 134512640 134714540 3221221776 3221220720 134598432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43278 41969 1111 63 0 43215 0
vsize: 173112
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 42689 0 0 0 103848 177 0 0 25 0 1 0 638488874 179834880 42592 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43905 42592 1111 63 0 43842 0
vsize: 175620
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 43191 0 0 0 104845 180 0 0 25 0 1 0 638488874 181866496 43094 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44401 43094 1111 63 0 44338 0
vsize: 177604
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 43641 0 0 0 105843 182 0 0 25 0 1 0 638488874 183758848 43544 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44863 43544 1111 63 0 44800 0
vsize: 179452
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 44004 0 0 0 106842 184 0 0 25 0 1 0 638488874 185245696 43907 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45226 43907 1111 63 0 45163 0
vsize: 180904
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 44351 0 0 0 107841 185 0 0 25 0 1 0 638488874 186597376 44254 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45556 44254 1111 63 0 45493 0
vsize: 182224
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 44729 0 0 0 108839 187 0 0 25 0 1 0 638488874 188219392 44632 4294967295 134512640 134714540 3221221776 3221220492 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45952 44632 1111 63 0 45889 0
vsize: 183808
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 45174 0 0 0 109837 189 0 0 25 0 1 0 638488874 189980672 45077 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46382 45077 1111 63 0 46319 0
vsize: 185528
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 45520 0 0 0 110835 191 0 0 25 0 1 0 638488874 191467520 45423 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46745 45423 1111 63 0 46682 0
vsize: 186980
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 45963 0 0 0 111834 192 0 0 25 0 1 0 638488874 193298432 45865 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47192 45865 1111 63 0 47129 0
vsize: 188768
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 46375 0 0 0 112833 194 0 0 25 0 1 0 638488874 195055616 46277 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47621 46277 1111 63 0 47558 0
vsize: 190484
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 46884 0 0 0 113830 197 0 0 25 0 1 0 638488874 197083136 46786 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48116 46786 1111 63 0 48053 0
vsize: 192464
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 47309 0 0 0 114828 199 0 0 25 0 1 0 638488874 198840320 47211 4294967295 134512640 134714540 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48545 47211 1111 63 0 48482 0
vsize: 194180
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 47543 0 0 0 115828 200 0 0 25 0 1 0 638488874 199786496 47445 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48776 47445 1111 63 0 48713 0
vsize: 195104
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 47778 0 0 0 116827 201 0 0 25 0 1 0 638488874 200732672 47680 4294967295 134512640 134714540 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49007 47680 1111 63 0 48944 0
vsize: 196028
[startup+1175.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 21332
Raw data (stat): 21275 (bsolo_mis) R 21274 7876 7672 0 -1 0 47778 0 0 0 116827 201 0 0 25 0 1 0 638488874 200732672 47680 4294967295 134512640 134714540 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49007 47680 1111 63 0 48944 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.16
CPU user time (s): 1173.05
CPU system time (s): 2.10368
CPU usage (%): 100.012
Max. virtual memory (Kb): 196028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####