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-fpga35_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23394

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 03:42:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=453 boxname=wulflinc31 idbench=51 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 453
/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:        924044 kB
Buffers:         39260 kB
Cached:          49284 kB
SwapCached:        944 kB
Active:          74080 kB
Inactive:        16900 kB
HighTotal:      131008 kB
HighFree:        80752 kB
LowTotal:       903652 kB
LowFree:        843292 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14168 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 04:02:29 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 453 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1838 variables and 1330 constraints.
c After prepocess the problem consists of 1838 variables and 1330 constraints.
c preprocess terminated 3.514 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): 1.06 0.99 0.98 2/54 31003
Raw data (stat): 31003 (runsolver) R 31002 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645605389 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.001 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 1722 0 0 0 989 8 0 0 25 0 1 0 645605389 10665984 1697 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1697 1111 63 0 2541 0
vsize: 10416
[startup+20.0027 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 1857 0 0 0 1986 11 0 0 25 0 1 0 645605389 11317248 1832 4294967295 134512640 134714540 3221221776 3221220320 134696501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1832 1111 63 0 2700 0
vsize: 11052
[startup+30.0038 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2162 0 0 0 2983 13 0 0 25 0 1 0 645605389 12533760 2137 4294967295 134512640 134714540 3221221776 3221220416 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2137 1111 63 0 2997 0
vsize: 12240
[startup+40.0037 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2246 0 0 0 3981 15 0 0 25 0 1 0 645605389 12939264 2221 4294967295 134512640 134714540 3221221776 3221220528 134592340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2221 1111 63 0 3096 0
vsize: 12636
[startup+50.0042 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2404 0 0 0 4979 18 0 0 25 0 1 0 645605389 13463552 2379 4294967295 134512640 134714540 3221221776 3221220172 1077379903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2379 1111 63 0 3224 0
vsize: 13148
[startup+60.0046 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2470 0 0 0 5977 20 0 0 25 0 1 0 645605389 13733888 2445 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2445 1111 63 0 3290 0
vsize: 13412
[startup+70.0047 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2513 0 0 0 6976 21 0 0 25 0 1 0 645605389 14004224 2488 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2488 1111 63 0 3356 0
vsize: 13676
[startup+80.006 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2549 0 0 0 7974 23 0 0 25 0 1 0 645605389 14139392 2524 4294967295 134512640 134714540 3221221776 3221220712 134576609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3452 2524 1111 63 0 3389 0
vsize: 13808
[startup+90.0065 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2592 0 0 0 8972 25 0 0 25 0 1 0 645605389 14274560 2567 4294967295 134512640 134714540 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2567 1111 63 0 3422 0
vsize: 13940
[startup+100.006 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2635 0 0 0 9971 26 0 0 25 0 1 0 645605389 14409728 2610 4294967295 134512640 134714540 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3518 2610 1111 63 0 3455 0
vsize: 14072
[startup+110.008 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2907 0 0 0 10969 29 0 0 25 0 1 0 645605389 15626240 2882 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2882 1111 63 0 3752 0
vsize: 15260
[startup+120.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2940 0 0 0 11967 31 0 0 25 0 1 0 645605389 15761408 2915 4294967295 134512640 134714540 3221221776 3221220528 134534146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2915 1111 63 0 3785 0
vsize: 15392
[startup+130.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2951 0 0 0 12966 32 0 0 25 0 1 0 645605389 15761408 2926 4294967295 134512640 134714540 3221221776 3221220356 1077378598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2926 1111 63 0 3785 0
vsize: 15392
[startup+140.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2951 0 0 0 13965 33 0 0 25 0 1 0 645605389 15761408 2926 4294967295 134512640 134714540 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2926 1111 63 0 3785 0
vsize: 15392
[startup+150.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 2994 0 0 0 14964 34 0 0 25 0 1 0 645605389 15896576 2969 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3881 2969 1111 63 0 3818 0
vsize: 15524
[startup+160.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 15962 36 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+170.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 16961 37 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+180.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 17960 38 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+190.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 18960 38 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+200.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 19959 39 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220336 134696619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+210.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 20958 41 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3019 0 0 0 21956 42 0 0 25 0 1 0 645605389 16031744 2994 4294967295 134512640 134714540 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 2994 1111 63 0 3851 0
vsize: 15656
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3032 0 0 0 22955 43 0 0 25 0 1 0 645605389 16031744 3007 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 3007 1111 63 0 3851 0
vsize: 15656
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3083 0 0 0 23953 45 0 0 25 0 1 0 645605389 16302080 3058 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3058 1111 63 0 3917 0
vsize: 15920
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3083 0 0 0 24952 46 0 0 25 0 1 0 645605389 16285696 3058 4294967295 134512640 134714540 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3058 1111 63 0 3913 0
vsize: 15904
[startup+260.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 25950 49 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+270.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 26948 50 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 27946 53 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 28944 55 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220288 134535020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 29942 57 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 30941 58 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220172 1077379895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3100 0 0 0 31940 59 0 0 25 0 1 0 645605389 16306176 3074 4294967295 134512640 134714540 3221221776 3221220480 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3074 1111 63 0 3918 0
vsize: 15924
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3192 0 0 0 32938 62 0 0 25 0 1 0 645605389 16711680 3166 4294967295 134512640 134714540 3221221776 3221220496 134584746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4080 3166 1111 63 0 4017 0
vsize: 16320
[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3254 0 0 0 33936 63 0 0 25 0 1 0 645605389 16818176 3199 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 3199 1111 63 0 4043 0
vsize: 16424
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3254 0 0 0 34935 65 0 0 25 0 1 0 645605389 16818176 3199 4294967295 134512640 134714540 3221221776 3221220464 134594336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 3199 1111 63 0 4043 0
vsize: 16424
[startup+360.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3340 0 0 0 35933 67 0 0 25 0 1 0 645605389 17223680 3285 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3285 1111 63 0 4142 0
vsize: 16820
[startup+370.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3408 0 0 0 36933 67 0 0 25 0 1 0 645605389 17494016 3353 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4271 3353 1111 63 0 4208 0
vsize: 17084
[startup+380.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3408 0 0 0 37932 68 0 0 25 0 1 0 645605389 17494016 3353 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4271 3353 1111 63 0 4208 0
vsize: 17084
[startup+390.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3408 0 0 0 38932 69 0 0 25 0 1 0 645605389 17494016 3353 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4271 3353 1111 63 0 4208 0
vsize: 17084
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3408 0 0 0 39932 69 0 0 25 0 1 0 645605389 17494016 3353 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4271 3353 1111 63 0 4208 0
vsize: 17084
[startup+410.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3408 0 0 0 40931 70 0 0 25 0 1 0 645605389 17494016 3353 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4271 3353 1111 63 0 4208 0
vsize: 17084
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3427 0 0 0 41931 70 0 0 25 0 1 0 645605389 17604608 3372 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3372 1111 63 0 4235 0
vsize: 17192
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3434 0 0 0 42930 71 0 0 25 0 1 0 645605389 17588224 3379 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4294 3379 1111 63 0 4231 0
vsize: 17176
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3447 0 0 0 43930 72 0 0 25 0 1 0 645605389 17723392 3392 4294967295 134512640 134714540 3221221776 3221220400 134696057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4327 3392 1111 63 0 4264 0
vsize: 17308
[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3458 0 0 0 44929 72 0 0 25 0 1 0 645605389 17723392 3403 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4327 3403 1111 63 0 4264 0
vsize: 17308
[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3494 0 0 0 45928 73 0 0 25 0 1 0 645605389 17801216 3439 4294967295 134512640 134714540 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4346 3439 1111 63 0 4283 0
vsize: 17384
[startup+470.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3522 0 0 0 46928 74 0 0 25 0 1 0 645605389 17911808 3466 4294967295 134512640 134714540 3221221776 3221220336 134696615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4373 3466 1111 63 0 4310 0
vsize: 17492
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3537 0 0 0 47927 75 0 0 25 0 1 0 645605389 18046976 3481 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4406 3481 1111 63 0 4343 0
vsize: 17624
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 48926 76 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 49925 77 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 50924 78 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 51923 80 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 52922 81 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 53921 82 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220480 134528625 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 54920 83 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 55919 84 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 56918 86 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220376 134549857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 57917 87 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 58916 88 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 59915 89 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 60914 91 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 61913 92 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 62912 93 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 63911 94 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220512 134591994 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 64910 95 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 65908 97 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 66907 99 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 67906 100 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3679 0 0 0 68905 101 0 0 25 0 1 0 645605389 18587648 3623 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3623 1111 63 0 4475 0
vsize: 18152
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3711 0 0 0 69904 102 0 0 25 0 1 0 645605389 18722816 3655 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4571 3656 1111 63 0 4508 0
vsize: 18284
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3889 0 0 0 70902 104 0 0 25 0 1 0 645605389 19533824 3833 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3833 1111 63 0 4706 0
vsize: 19076
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3915 0 0 0 71901 105 0 0 25 0 1 0 645605389 19533824 3859 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3859 1111 63 0 4706 0
vsize: 19076
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3915 0 0 0 72900 106 0 0 25 0 1 0 645605389 19533824 3859 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3859 1111 63 0 4706 0
vsize: 19076
[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3918 0 0 0 73900 106 0 0 25 0 1 0 645605389 19533824 3862 4294967295 134512640 134714540 3221221776 3221220512 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3862 1111 63 0 4706 0
vsize: 19076
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3930 0 0 0 74899 108 0 0 25 0 1 0 645605389 19668992 3874 4294967295 134512640 134714540 3221221776 3221220432 134524086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3874 1111 63 0 4739 0
vsize: 19208
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3966 0 0 0 75898 109 0 0 25 0 1 0 645605389 19804160 3910 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3910 1111 63 0 4772 0
vsize: 19340
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3966 0 0 0 76897 110 0 0 25 0 1 0 645605389 19804160 3910 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3910 1111 63 0 4772 0
vsize: 19340
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3966 0 0 0 77897 111 0 0 25 0 1 0 645605389 19804160 3910 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3910 1111 63 0 4772 0
vsize: 19340
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3966 0 0 0 78896 112 0 0 25 0 1 0 645605389 19804160 3910 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3910 1111 63 0 4772 0
vsize: 19340
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 3997 0 0 0 79895 113 0 0 25 0 1 0 645605389 19939328 3941 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4868 3941 1111 63 0 4805 0
vsize: 19472
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4030 0 0 0 80894 114 0 0 25 0 1 0 645605389 20074496 3974 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4901 3974 1111 63 0 4838 0
vsize: 19604
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4053 0 0 0 81893 115 0 0 25 0 1 0 645605389 20156416 3997 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 3997 1111 63 0 4858 0
vsize: 19684
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4073 0 0 0 82892 116 0 0 25 0 1 0 645605389 20226048 4017 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4938 4017 1111 63 0 4875 0
vsize: 19752
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4092 0 0 0 83891 117 0 0 25 0 1 0 645605389 20361216 4036 4294967295 134512640 134714540 3221221776 3221220480 134528691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4036 1111 63 0 4908 0
vsize: 19884
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4092 0 0 0 84891 118 0 0 25 0 1 0 645605389 20361216 4036 4294967295 134512640 134714540 3221221776 3221220512 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4036 1111 63 0 4908 0
vsize: 19884
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4092 0 0 0 85890 119 0 0 25 0 1 0 645605389 20361216 4036 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4036 1111 63 0 4908 0
vsize: 19884
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4092 0 0 0 86889 120 0 0 25 0 1 0 645605389 20361216 4036 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4036 1111 63 0 4908 0
vsize: 19884
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4146 0 0 0 87888 121 0 0 25 0 1 0 645605389 20496384 4090 4294967295 134512640 134714540 3221221776 3221220512 134535722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4090 1111 63 0 4941 0
vsize: 20016
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4213 0 0 0 88887 123 0 0 25 0 1 0 645605389 20766720 4157 4294967295 134512640 134714540 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5070 4157 1111 63 0 5007 0
vsize: 20280
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4249 0 0 0 89885 124 0 0 25 0 1 0 645605389 20901888 4193 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5103 4193 1111 63 0 5040 0
vsize: 20412
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4279 0 0 0 90884 126 0 0 25 0 1 0 645605389 21037056 4223 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5136 4223 1111 63 0 5073 0
vsize: 20544
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4316 0 0 0 91884 126 0 0 25 0 1 0 645605389 21172224 4260 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4260 1111 63 0 5106 0
vsize: 20676
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4316 0 0 0 92883 128 0 0 25 0 1 0 645605389 21172224 4260 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4260 1111 63 0 5106 0
vsize: 20676
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4334 0 0 0 93882 129 0 0 25 0 1 0 645605389 21307392 4278 4294967295 134512640 134714540 3221221776 3221220344 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5202 4278 1111 63 0 5139 0
vsize: 20808
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4377 0 0 0 94880 131 0 0 25 0 1 0 645605389 21442560 4321 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5235 4321 1111 63 0 5172 0
vsize: 20940
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4404 0 0 0 95879 132 0 0 25 0 1 0 645605389 21577728 4348 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5268 4348 1111 63 0 5205 0
vsize: 21072
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4435 0 0 0 96877 133 0 0 25 0 1 0 645605389 21708800 4379 4294967295 134512640 134714540 3221221776 3221220312 134613763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5300 4379 1111 63 0 5237 0
vsize: 21200
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4463 0 0 0 97876 135 0 0 25 0 1 0 645605389 21843968 4407 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4407 1111 63 0 5270 0
vsize: 21332
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4722 0 0 0 98874 137 0 0 25 0 1 0 645605389 22925312 4666 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5597 4666 1111 63 0 5534 0
vsize: 22388
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4773 0 0 0 99873 139 0 0 25 0 1 0 645605389 23060480 4717 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4717 1111 63 0 5567 0
vsize: 22520
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4773 0 0 0 100872 140 0 0 25 0 1 0 645605389 23060480 4717 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4717 1111 63 0 5567 0
vsize: 22520
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31003
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4773 0 0 0 101870 141 0 0 25 0 1 0 645605389 23060480 4717 4294967295 134512640 134714540 3221221776 3221220720 134575037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4717 1111 63 0 5567 0
vsize: 22520
[startup+1030.04 s]
Raw data (loadavg): 1.08 1.00 0.99 2/55 31004
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4801 0 0 0 102869 143 0 0 25 0 1 0 645605389 23138304 4742 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5649 4742 1111 63 0 5586 0
vsize: 22596
[startup+1040.04 s]
Raw data (loadavg): 1.14 1.02 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4826 0 0 0 103868 144 0 0 25 0 1 0 645605389 23273472 4767 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5682 4767 1111 63 0 5619 0
vsize: 22728
[startup+1050.04 s]
Raw data (loadavg): 1.12 1.02 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4845 0 0 0 104868 144 0 0 25 0 1 0 645605389 23363584 4786 4294967295 134512640 134714540 3221221776 3221220336 134542362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4786 1111 63 0 5641 0
vsize: 22816
[startup+1060.04 s]
Raw data (loadavg): 1.10 1.02 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4845 0 0 0 105868 145 0 0 25 0 1 0 645605389 23363584 4786 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4786 1111 63 0 5641 0
vsize: 22816
[startup+1070.04 s]
Raw data (loadavg): 1.08 1.02 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4845 0 0 0 106867 145 0 0 25 0 1 0 645605389 23363584 4786 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4786 1111 63 0 5641 0
vsize: 22816
[startup+1080.04 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4863 0 0 0 107867 146 0 0 25 0 1 0 645605389 23498752 4804 4294967295 134512640 134714540 3221221776 3221220404 134549516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4804 1111 63 0 5674 0
vsize: 22948
[startup+1090.04 s]
Raw data (loadavg): 1.06 1.01 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4863 0 0 0 108866 147 0 0 25 0 1 0 645605389 23498752 4804 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4804 1111 63 0 5674 0
vsize: 22948
[startup+1100.04 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 31057
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4867 0 0 0 109865 148 0 0 25 0 1 0 645605389 23498752 4808 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4808 1111 63 0 5674 0
vsize: 22948
[startup+1110.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4882 0 0 0 110864 149 0 0 25 0 1 0 645605389 23498752 4823 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4823 1111 63 0 5674 0
vsize: 22948
[startup+1120.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 111863 150 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1130.04 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 112862 152 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1140.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 113861 153 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1150.1 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 114866 154 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1160.1 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 115866 155 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220360 134543628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1170.12 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 116866 156 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 23080
[startup+1174.96 s]
Raw data (loadavg): 1.01 1.01 0.99 1/53 31059
Raw data (stat): 31003 (bsolo_mis) R 31002 7876 7672 0 -1 0 4911 0 0 0 116866 156 0 0 25 0 1 0 645605389 23633920 4852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4852 1111 63 0 5707 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.05
CPU user time (s): 1173.46
CPU system time (s): 1.58676
CPU usage (%): 100.007
Max. virtual memory (Kb): 23080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####