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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
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.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23409

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 07:43:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=480 boxname=wulflinc31 idbench=54 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 480
/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:        922568 kB
Buffers:         39548 kB
Cached:          50288 kB
SwapCached:        944 kB
Active:          75272 kB
Inactive:        16972 kB
HighTotal:      131008 kB
HighFree:        79716 kB
LowTotal:       903652 kB
LowFree:        842852 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14192 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 08:03:23 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 480 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2400 variables and 1720 constraints.
c After prepocess the problem consists of 2400 variables and 1720 constraints.
c preprocess terminated 5.877 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.92 0.98 0.99 2/54 32656
Raw data (stat): 32656 (runsolver) R 32655 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 647050947 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.0011 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 1745 0 0 0 987 8 0 0 25 0 1 0 647050947 10850304 1720 4294967295 134512640 134714540 3221221776 3221220528 134534148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2649 1720 1111 63 0 2586 0
vsize: 10596
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 1833 0 0 0 1985 10 0 0 25 0 1 0 647050947 11227136 1808 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2741 1808 1111 63 0 2678 0
vsize: 10964
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 1929 0 0 0 2983 13 0 0 25 0 1 0 647050947 11628544 1904 4294967295 134512640 134714540 3221221776 3221220336 134535985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2839 1904 1111 63 0 2776 0
vsize: 11356
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 1960 0 0 0 3981 15 0 0 25 0 1 0 647050947 11763712 1935 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2872 1935 1111 63 0 2809 0
vsize: 11488
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 1984 0 0 0 4979 17 0 0 25 0 1 0 647050947 11763712 1959 4294967295 134512640 134714540 3221221776 3221220416 134696109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2872 1959 1111 63 0 2809 0
vsize: 11488
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2013 0 0 0 5977 19 0 0 25 0 1 0 647050947 11898880 1988 4294967295 134512640 134714540 3221221776 3221220416 134523345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2905 1988 1111 63 0 2842 0
vsize: 11620
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2046 0 0 0 6975 21 0 0 25 0 1 0 647050947 12034048 2021 4294967295 134512640 134714540 3221221776 3221220504 1076647870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2938 2021 1111 63 0 2875 0
vsize: 11752
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2110 0 0 0 7973 23 0 0 25 0 1 0 647050947 12304384 2085 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3004 2085 1111 63 0 2941 0
vsize: 12016
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2163 0 0 0 8972 25 0 0 25 0 1 0 647050947 12574720 2138 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2138 1111 63 0 3007 0
vsize: 12280
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2284 0 0 0 9970 27 0 0 25 0 1 0 647050947 13111296 2259 4294967295 134512640 134714540 3221221776 3221220456 134551953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2259 1111 63 0 3138 0
vsize: 12804
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2433 0 0 0 10967 30 0 0 25 0 1 0 647050947 13651968 2408 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2408 1111 63 0 3270 0
vsize: 13332
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2704 0 0 0 11965 32 0 0 25 0 1 0 647050947 14733312 2679 4294967295 134512640 134714540 3221221776 3221220180 134697475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2679 1111 63 0 3534 0
vsize: 14388
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2838 0 0 0 12964 33 0 0 25 0 1 0 647050947 15253504 2812 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2812 1111 63 0 3661 0
vsize: 14896
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 13964 34 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 14964 34 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 15963 35 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220384 134548605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 16963 35 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220416 134696043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 17961 37 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 18960 39 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 19959 40 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220304 1076648048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 20958 41 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2864 0 0 0 21957 42 0 0 25 0 1 0 647050947 15388672 2838 4294967295 134512640 134714540 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2838 1111 63 0 3694 0
vsize: 15028
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2943 0 0 0 22956 43 0 0 25 0 1 0 647050947 15794176 2917 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2917 1111 63 0 3793 0
vsize: 15424
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2943 0 0 0 23955 44 0 0 25 0 1 0 647050947 15503360 2873 4294967295 134512640 134714540 3221221776 3221220412 134696428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2873 1111 63 0 3722 0
vsize: 15140
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2966 0 0 0 24955 45 0 0 25 0 1 0 647050947 15638528 2896 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2896 1111 63 0 3755 0
vsize: 15272
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2966 0 0 0 25954 46 0 0 25 0 1 0 647050947 15638528 2896 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2896 1111 63 0 3755 0
vsize: 15272
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2966 0 0 0 26952 48 0 0 25 0 1 0 647050947 15638528 2896 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2896 1111 63 0 3755 0
vsize: 15272
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2969 0 0 0 27952 48 0 0 25 0 1 0 647050947 15638528 2899 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2899 1111 63 0 3755 0
vsize: 15272
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2989 0 0 0 28950 50 0 0 25 0 1 0 647050947 15773696 2919 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2919 1111 63 0 3788 0
vsize: 15404
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 29950 51 0 0 25 0 1 0 647050947 15835136 2922 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2922 1111 63 0 3803 0
vsize: 15464
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 30949 52 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 31949 52 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 32949 52 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 33949 53 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220272 134697128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 34948 54 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220260 134697228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 35948 54 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220344 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 36947 55 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220336 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 37947 55 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220528 134592343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 2992 0 0 0 38947 56 0 0 25 0 1 0 647050947 15699968 2921 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2921 1111 63 0 3770 0
vsize: 15332
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3008 0 0 0 39947 56 0 0 25 0 1 0 647050947 15835136 2937 4294967295 134512640 134714540 3221221776 3221220392 134613761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2937 1111 63 0 3803 0
vsize: 15464
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3032 0 0 0 40945 58 0 0 25 0 1 0 647050947 15966208 2961 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3898 2961 1111 63 0 3835 0
vsize: 15592
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3083 0 0 0 41943 60 0 0 25 0 1 0 647050947 16072704 3012 4294967295 134512640 134714540 3221221776 3221220440 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3924 3012 1111 63 0 3861 0
vsize: 15696
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3087 0 0 0 42942 61 0 0 25 0 1 0 647050947 16158720 3016 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3016 1111 63 0 3882 0
vsize: 15780
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3105 0 0 0 43941 63 0 0 25 0 1 0 647050947 16158720 3033 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3033 1111 63 0 3882 0
vsize: 15780
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3126 0 0 0 44939 64 0 0 25 0 1 0 647050947 16293888 3054 4294967295 134512640 134714540 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3978 3054 1111 63 0 3915 0
vsize: 15912
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 45938 65 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 46937 67 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 47936 68 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 48936 69 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 49934 71 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 50932 72 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 51931 74 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 52930 75 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 53928 77 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 54926 79 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 55925 80 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220316 134697116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 56924 82 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220344 1077378323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 57922 84 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 58922 84 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3308 0 0 0 59921 85 0 0 25 0 1 0 647050947 17002496 3236 4294967295 134512640 134714540 3221221776 3221220320 134696761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3236 1111 63 0 4088 0
vsize: 16604
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3316 0 0 0 60920 86 0 0 25 0 1 0 647050947 17051648 3244 4294967295 134512640 134714540 3221221776 3221220476 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3244 1111 63 0 4100 0
vsize: 16652
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3316 0 0 0 61919 88 0 0 25 0 1 0 647050947 17051648 3244 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3244 1111 63 0 4100 0
vsize: 16652
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3316 0 0 0 62918 89 0 0 25 0 1 0 647050947 17051648 3244 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3244 1111 63 0 4100 0
vsize: 16652
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3316 0 0 0 63917 90 0 0 25 0 1 0 647050947 17051648 3244 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3244 1111 63 0 4100 0
vsize: 16652
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3355 0 0 0 64915 92 0 0 25 0 1 0 647050947 17305600 3283 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3283 1111 63 0 4162 0
vsize: 16900
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 65914 93 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 66913 95 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220336 134696576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 67912 96 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 68910 97 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 69909 99 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 70908 100 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 71908 100 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220600 134594833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 72908 100 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 73907 101 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 74906 103 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220528 134591920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 75905 104 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 76905 104 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 77904 105 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220280 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 78904 106 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 79903 107 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220416 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 80903 107 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 81902 108 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220536 134543557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 82901 109 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3412 0 0 0 83900 110 0 0 25 0 1 0 647050947 17428480 3340 4294967295 134512640 134714540 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3340 1111 63 0 4192 0
vsize: 17020
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 84900 111 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220560 134584901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 85899 112 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220440 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 86899 112 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220540 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 87898 113 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 88897 114 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+900.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 89896 115 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3415 0 0 0 90896 116 0 0 25 0 1 0 647050947 17428480 3343 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4255 3343 1111 63 0 4192 0
vsize: 17020
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 91895 117 0 0 25 0 1 0 647050947 17694720 3396 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3396 1111 63 0 4257 0
vsize: 17280
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 92894 118 0 0 25 0 1 0 647050947 17694720 3396 4294967295 134512640 134714540 3221221776 3221220172 1077379863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3396 1111 63 0 4257 0
vsize: 17280
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 93893 119 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 94891 122 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+960.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 95890 123 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32656
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 96888 125 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220248 1077378287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+980.113 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32659
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 97895 126 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220332 134535552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+990.232 s]
Raw data (loadavg): 1.15 1.02 1.00 2/58 32699
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 98904 129 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1000.3 s]
Raw data (loadavg): 1.20 1.03 1.01 2/56 32703
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 99910 131 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1010.3 s]
Raw data (loadavg): 1.40 1.08 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 100908 132 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1020.4 s]
Raw data (loadavg): 1.34 1.08 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 101916 135 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1030.4 s]
Raw data (loadavg): 1.29 1.07 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 102915 136 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1040.4 s]
Raw data (loadavg): 1.24 1.07 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 103913 138 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1050.4 s]
Raw data (loadavg): 1.20 1.07 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 104913 139 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1060.4 s]
Raw data (loadavg): 1.17 1.06 1.02 2/54 32709
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 105912 140 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1070.4 s]
Raw data (loadavg): 1.14 1.06 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 106911 141 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220528 134588020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1080.4 s]
Raw data (loadavg): 1.12 1.06 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3468 0 0 0 107910 142 0 0 25 0 1 0 647050947 17539072 3370 4294967295 134512640 134714540 3221221776 3221220540 134673074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3370 1111 63 0 4219 0
vsize: 17128
[startup+1090.4 s]
Raw data (loadavg): 1.10 1.06 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 108909 143 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1100.4 s]
Raw data (loadavg): 1.09 1.05 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 109908 144 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1110.41 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 110906 146 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1120.41 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 111904 148 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1130.41 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 112903 149 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220512 134523891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1140.41 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3509 0 0 0 113902 151 0 0 25 0 1 0 647050947 17809408 3411 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3411 1111 63 0 4285 0
vsize: 17392
[startup+1150.41 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3601 0 0 0 114901 152 0 0 25 0 1 0 647050947 18214912 3503 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3503 1111 63 0 4384 0
vsize: 17788
[startup+1160.41 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3601 0 0 0 115900 153 0 0 25 0 1 0 647050947 18214912 3503 4294967295 134512640 134714540 3221221776 3221220432 1077378571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3503 1111 63 0 4384 0
vsize: 17788
[startup+1170.41 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3601 0 0 0 116899 154 0 0 25 0 1 0 647050947 18214912 3503 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3503 1111 63 0 4384 0
vsize: 17788
[startup+1174.91 s]
Raw data (loadavg): 1.02 1.04 1.00 1/53 32711
Raw data (stat): 32656 (bsolo_mis) R 32655 7876 7672 0 -1 0 3601 0 0 0 116899 154 0 0 25 0 1 0 647050947 18214912 3503 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3503 1111 63 0 4384 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1173.49
CPU system time (s): 1.55976
CPU usage (%): 100.012
Max. virtual memory (Kb): 17788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####